咨询与建议

限定检索结果

文献类型

  • 46 篇 期刊文献
  • 20 篇 会议

馆藏范围

  • 66 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 44 篇 工学
    • 33 篇 计算机科学与技术...
    • 24 篇 软件工程
    • 6 篇 信息与通信工程
    • 4 篇 电气工程
    • 2 篇 光学工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 控制科学与工程
    • 2 篇 土木工程
    • 2 篇 水利工程
    • 2 篇 化学工程与技术
    • 2 篇 交通运输工程
    • 2 篇 船舶与海洋工程
    • 2 篇 环境科学与工程(可...
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 冶金工程
    • 1 篇 建筑学
  • 26 篇 理学
    • 16 篇 数学
    • 4 篇 物理学
    • 3 篇 地球物理学
    • 3 篇 生物学
    • 2 篇 化学
    • 2 篇 海洋科学
    • 1 篇 统计学(可授理学、...
  • 11 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 6 篇 图书情报与档案管...
    • 3 篇 工商管理
  • 5 篇 法学
    • 4 篇 社会学
    • 2 篇 法学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 农学
  • 1 篇 医学

主题

  • 3 篇 banach spaces
  • 2 篇 computer circuit...
  • 2 篇 optimization
  • 2 篇 computational li...
  • 2 篇 trajectory
  • 2 篇 differential pri...
  • 2 篇 benchmarking
  • 2 篇 embeddings
  • 2 篇 forecasting
  • 1 篇 many valued logi...
  • 1 篇 covid-19
  • 1 篇 cyber attacks
  • 1 篇 hyperbolic funct...
  • 1 篇 eigenvalues and ...
  • 1 篇 reliability
  • 1 篇 millimeter waves
  • 1 篇 standardized ass...
  • 1 篇 reinforcement le...
  • 1 篇 prediction model...
  • 1 篇 carbon capture a...

机构

  • 11 篇 institute for lo...
  • 9 篇 institute for lo...
  • 8 篇 institute for lo...
  • 6 篇 institute for lo...
  • 6 篇 department of co...
  • 5 篇 los faculty of m...
  • 4 篇 data science cen...
  • 4 篇 university of bu...
  • 4 篇 department of co...
  • 4 篇 los-cs-fmi unive...
  • 4 篇 brd groupe socie...
  • 3 篇 simion stoilow i...
  • 3 篇 simion stoilow i...
  • 3 篇 pacmed
  • 3 篇 nvidia united st...
  • 3 篇 national univers...
  • 2 篇 university of mi...
  • 2 篇 sagamihara kanag...
  • 2 篇 tsukuba ibaraki ...
  • 2 篇 kurume universit...

作者

  • 6 篇 paduraru ciprian
  • 6 篇 sipoş andrei
  • 6 篇 stefanescu alin
  • 5 篇 irofti paul
  • 4 篇 rebedea traian
  • 4 篇 masala mihai
  • 4 篇 leuştean laurenţ...
  • 4 篇 velicu horia
  • 4 篇 bloem jelke
  • 3 篇 ilie-ablachim de...
  • 3 篇 corlatescu drago...
  • 3 篇 dascalu mihai
  • 3 篇 cinà giovanni
  • 3 篇 abiad aida
  • 3 篇 zavelca miruna
  • 3 篇 popescu marius
  • 3 篇 patilea catalina...
  • 3 篇 leordeanu marius
  • 3 篇 stoican florin
  • 2 篇 levrier f.

语言

  • 55 篇 英文
  • 11 篇 其他
检索条件"机构=Institute of Logic and Data Science"
66 条 记 录,以下是1-10 订阅
排序:
An Overview of AI Techniques in DYNABIC Project  8
An Overview of AI Techniques in DYNABIC Project
收藏 引用
8th International Joint Conference on Rules and Reasoning, RuleML+RR-Companion 2024
作者: Paduraru, Ciprian Cristea, Rares Stefanescu, Alin University of Bucharest Romania Institute for Logic and Data Science Romania
We present an overview of the AI techniques used in Horizon Project No. 101070455 DYNABIC (Dynamic business continuity and response of critical systems against advanced cyber-physical threats). The project, which star... 详细信息
来源: 评论
CyberGuardian 2: Integrating LLMs and Agentic AI Assistants for Securing Distributed Networks  20
CyberGuardian 2: Integrating LLMs and Agentic AI Assistants ...
收藏 引用
20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025
作者: Paduraru, Ciprian Patilea, Catalina Camelia Stefanescu, Alin Department of Computer Science University of Bucharest Romania Institute for Logic and Data Science Romania
Robust cybersecurity measures are essential to protect complex information systems from a variety of cyber threats, which requires sophisticated security solutions. This paper explores the integration of Large Languag... 详细信息
来源: 评论
LLM-based methods for the creation of unit tests in game development  28th
LLM-based methods for the creation of unit tests in game dev...
收藏 引用
28th International Conference on Knowledge Based and Intelligent information and Engineering Systems, KES 2024
作者: Paduraru, Ciprian Staicu, Adelina Stefanescu, Alin University of Bucharest Department of Computer Science Romania Institute of Logic and Data Science Romania
Problems related to the quality of games, whether on the initial release or after updates, can lead to player dissatisfaction, media attention, and potential financial setbacks. These issues can stem from software bug... 详细信息
来源: 评论
Intuitionistic Propositional logic in Lean  8
Intuitionistic Propositional Logic in Lean
收藏 引用
8th Symposium on Working Formal Methods, FROM 2024
作者: Trufas, Dafina LOS Faculty of Mathematics and Computer Science University of Bucharest Institute for Logic and Data Science Bucharest Romania
In this paper we present a formalization of Intuitionistic Propositional logic in the Lean proof assistant. Our approach focuses on verifying two completeness proofs for the studied logical system, as well as explorin... 详细信息
来源: 评论
CyberGuardian: An Interactive Assistant for Cybersecurity Specialists Using Large Language Models
CyberGuardian: An Interactive Assistant for Cybersecurity Sp...
收藏 引用
19th International Conference on Software Technologies, ICSOFT 2024
作者: Paduraru, Ciprian Patilea, Catalina Camelia Stefanescu, Alin Department of Computer Science University of Bucharest Romania Institute for Logic and Data Science Romania
Cybersecurity plays an important role in protecting people and critical infrastructure. Sectors such as energy, defense and healthcare are increasingly at risk from cyber threats. To address these challenges, dedicate... 详细信息
来源: 评论
RLHR: A Framework for Driving Dynamically Adaptable Questionnaires and Profiling People Using Reinforcement Learning
RLHR: A Framework for Driving Dynamically Adaptable Question...
收藏 引用
19th International Conference on Software Technologies, ICSOFT 2024
作者: Paduraru, Ciprian Patilea, Catalina Camelia Stefanescu, Alin Department of Computer Science University of Bucharest Romania Institute for Logic and Data Science Romania
In today’s corporate landscape, the creation of questionnaires, surveys or evaluation forms for employees is a widespread practice. These tools are regularly used to check various aspects such as motivation, opportun... 详细信息
来源: 评论
Enhancing User Experience in Games with Large Language Models
Enhancing User Experience in Games with Large Language Model...
收藏 引用
19th International Conference on Software Technologies, ICSOFT 2024
作者: Paduraru, Ciprian Cernat, Marina Stefanescu, Alin Department of Computer Science University of Bucharest Romania Institute for Logic and Data Science Romania
This paper explores the application of state-of-the-art natural language processing (NLP) technologies to improve the user experience in games. Our motivation stems from the realization that a virtual assistant’s inp... 详细信息
来源: 评论
Improving Legal Judgement Prediction in Romanian with Long Text Encoders  3
Improving Legal Judgement Prediction in Romanian with Long T...
收藏 引用
3rd Annual Meeting of the ELRA-ISCA Special Interest Group on Under-Resourced Languages, SIGUL 2024
作者: Masala, Mihai Rebedea, Traian Velicu, Horia Institute for Logic and Data Science Romania University Politehnica of Bucharest Romania BRD Groupe Societe Generale Romania
In recent years,the entire field of Natural Language Processing (NLP) has enjoyed amazing novel results achieving almost human-like performance on a variety of tasks. Legal NLP domain has also been part of this proces... 详细信息
来源: 评论
Impact of Task Adapting on Transformer Models for Targeted Sentiment Analysis in Croatian Headlines  30
Impact of Task Adapting on Transformer Models for Targeted S...
收藏 引用
Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024
作者: Lee, Sofia Bloem, Jelke Vrije Universiteit Amsterdam Netherlands Institute for Logic Language and Computation University of Amsterdam Netherlands Data Science Centre University of Amsterdam Netherlands
Transformer models, such as BERT, are often taken off-the-shelf and then fine-tuned on a downstream task. Although this is sufficient for many tasks, low-resource settings require special attention. We demonstrate an ... 详细信息
来源: 评论
LLM-based methods for the creation of unit tests in game development
收藏 引用
Procedia Computer science 2024年 246卷 2459-2468页
作者: Ciprian Paduraru Adelina Staicu Alin Stefanescu University of Bucharest Department of Computer Science Romania Institute of Logic and Data Science Romania
Problems related to the quality of games, whether on the initial release or after updates, can lead to player dissatisfaction, media attention, and potential financial setbacks. These issues can stem from software bug... 详细信息
来源: 评论