English
Related papers

Related papers: Level of Scientific Readiness with Ternary Data Ty…

200 papers

In recent years, curial incidents and accidents have been reported due to un-intended control caused by misjudgment of statistical machine learning (SML), which include deep learning. The international functional safety standards for…

Software Engineering · Computer Science 2020-08-05 Akihisa Morikawa , Yutaka Matsubara

Groundbreaking successes have been achieved by Deep Reinforcement Learning (DRL) in solving practical decision-making problems. Robotics, in particular, can involve high-cost hardware and human interactions. Hence, scrupulous evaluations of…

Artificial Intelligence · Computer Science 2020-10-20 Davide Corsi , Enrico Marchesini , Alessandro Farinelli

While the capacity to self-regulate has been found to be crucial for secondary school students, prior studies often rely on self-report surveys and think-aloud protocols that present notable limitations in capturing self-regulated learning…

Human-Computer Interaction · Computer Science 2024-12-13 Yixin Cheng , Rui Guan , Tongguang Li , Mladen Raković , Xinyu Li , Yizhou Fan , Flora Jin , Yi-Shan Tsai , Dragan Gašević , Zachari Swiecki

Systematic Literature Reviews (SLRs) are fundamental to scientific progress, yet the process is hindered by a fragmented tool ecosystem that imposes a high cognitive load. This friction suppresses the iterative, exploratory nature of…

Human-Computer Interaction · Computer Science 2026-03-13 Runlong Ye , Naaz Sibia , Angela Zavaleta Bernuy , Tingting Zhu , Carolina Nobre , Viktoria Pammer-Schindler , Michael Liut

A critical stage in the evolving landscape of VLSI design is the design phase that is transformed into register-transfer level (RTL), which specifies system functionality through hardware description languages like Verilog. Generally,…

Artificial Intelligence · Computer Science 2025-02-25 Anindita Chattopadhyay , Vijay Kumar Sutrakar

Semantic Role Labeling (SRL) is a Natural Language Processing task that enables the detection of events described in sentences and the participants of these events. For Brazilian Portuguese (BP), there are two studies recently concluded…

Computation and Language · Computer Science 2017-04-12 Nathan Siegle Hartmann , Magali Sanches Duran , Sandra Maria Aluísio

We present a policy and process framework for secure environments for productive data science research projects at scale, by combining prevailing data security threat and risk profiles into five sensitivity tiers, and, at each tier,…

Signal Temporal Logic (STL) is an expressive formal language for specifying spatio-temporal requirements over real-valued, real-time signals. It has been widely used for the verification and synthesis of autonomous systems and…

Artificial Intelligence · Computer Science 2026-05-12 Bowen Ye , Zhijian Li , Junyue Huang , Junkai Ma , Xiang Yin

Systematic Literature Reviews (SLRs) play an important role in the Evidence-Based Software Engineering scenario. With the advance of the computer science field and the growth of research publications, new evidence continuously arises. This…

Software Engineering · Computer Science 2021-08-31 Bianca Minetto Napoleão , Fabio Petrillo , Sylvain Hallé

One of the challenges apparent in the organisation of research projects is the uncertainties around the subject of demonstrators. A precise and detailed elicitation of the coverage for project demonstrators is often an afterthought and not…

Software Engineering · Computer Science 2026-05-25 Uraz Odyurt , Richard Loendersloot , Tiedo Tinga

Recommendation systems usually involve exploiting the relations among known features and content that describe items (content-based filtering) or the overlap of similar users who interacted with or rated the target item (collaborative…

Artificial Intelligence · Computer Science 2016-07-06 Shuo Yang , Mohammed Korayem , Khalifeh AlJadda , Trey Grainger , Sriraam Natarajan

In order to evaluate the quality of the scientific research, we introduce a new family of scientific performance measures, called Scientific Research Measures (SRM). Our proposal originates from the more recent developments in the theory of…

Risk Management · Quantitative Finance 2012-05-07 Marco Frittelli , Ilaria Peri

The rise of automated code generation tools, such as large language models (LLMs), has introduced new challenges in ensuring the correctness and efficiency of scientific software, particularly in complex kernels, where numerical stability,…

Programming Languages · Computer Science 2025-01-17 Naifeng Zhang , Sanil Rao , Mike Franusich , Franz Franchetti

The use of semantic technologies is gaining significant traction in science communication with a wide array of applications in disciplines including the Life Sciences, Computer Science, and the Social Sciences. Languages like RDF, OWL, and…

Digital Libraries · Computer Science 2021-11-01 Cristina-Iulia Bucur , Tobias Kuhn , Davide Ceolin , Jacco van Ossenbruggen

Scientists across all disciplines share a common challenge: the divide between their theoretical knowledge and the specialized skills and time needed to build interactive tools to communicate this expertise. While large language models…

[Context] Systematic Literature Review (SLR) has been a major type of study published in Software Engineering (SE) venues for about two decades. However, there is a lack of understanding of whether an SLR is really needed in comparison to a…

Software Engineering · Computer Science 2023-07-13 Xiaofeng Wang , Henry Edison , Dron Khanna , Usman Rafiq

The rise of multi-paradigm languages challenges traditional classification methods, leading to practical software engineering issues like interoperability defects. This systematic literature review (SLR) maps the formal foundations of…

Programming Languages · Computer Science 2025-08-04 Mikel Vandeloise

As large language models (LLMs) transition from general knowledge retrieval to complex scientific discovery, their evaluation standards must also incorporate the rigorous norms of scientific inquiry. Existing benchmarks exhibit a critical…

Artificial Intelligence · Computer Science 2026-01-13 Encheng Su , Jianyu Wu , Chen Tang , Lintao Wang , Pengze Li , Aoran Wang , Jinouwen Zhang , Yizhou Wang , Yuan Meng , Xinzhu Ma , Shixiang Tang , Houqiang Li

Clinical personality assessment screens response validity before interpreting substantive scales. LLM evaluation does not. We apply the validity scaling framework from the PAI and MMPI-3 to metacognitive probe data from 20 frontier models…

Computation and Language · Computer Science 2026-04-21 Jon-Paul Cacioli

This paper presents an original model for assessing scientific productivity, research power ranking, RPR, which is based on the adaptation of the Elo rating system to the context of scientific activity. Unlike traditional scientometric…

Physics and Society · Physics 2025-04-30 Eldar Knar