Results 11 to 20 of about 438,741 (228)
Collaborative Metadata Definition using Controlled Vocabularies, and Ontologies [PDF]
Research Ideas and Outcomes, 2022 Data's role in a variety of technical and research areas is undeniably growing. This can be seen, for example, in the increased investments in the development of data-intensive analytical methods such as artificial intelligence (Zhang 2022), as well as ...
Ilia Bagov +2 more
doaj +3 more sources
Machine Learning with Applications, 2023 Transformer, a deep learning technology, has achieved great success in various applications such as natural language processing. However, its space–time consumption remains a concern, leading to the issue of AI technology monopoly.
Feng Hsu Wang
doaj +1 more source
Recent Advances in Intelligent Source Code Generation: A Survey on Natural Language Based Studies
Entropy, 2021 Source Code Generation (SCG) is a prevalent research field in the automation software engineering sector that maps specific descriptions to various sorts of executable code.
Chen Yang, Yan Liu, Changqing Yin
doaj +1 more source
eLife, 2022 The lateral prefrontal cortex (LPFC) of humans enables flexible goal-directed behavior. However, its functional organization remains actively debated after decades of research.
Majd Abdallah +3 more
doaj +1 more source
Energies, 2022 This paper deals with the optimal sizing of islanded microgrids (MGs), which use diesel generators to supply energy in off-grid areas. The MG under study integrates photovoltaic (PV) and diesel generation, a battery energy storage System (BESS), and an ...
Wilmer Ropero-Castaño +4 more
doaj +1 more source
Transforming specifications of observable behaviour into programs [PDF]
, 1994 A methodology for deriving programs from specifications of observable behaviour is described. The class of processes to which this methodology is applicable includes those whose state changes are fully definable by labelled transition systems, for ...
Gilbert, D, Hogger, C, Zlatuska, J
core +2 more sources
JMIR Medical Informatics, 2022 BackgroundAutomated extraction of symptoms from clinical notes is a challenging task owing to the multidimensional nature of symptom description.
Marie Humbert-Droz +2 more
doaj +1 more source
Sustainable, Extensible Documentation Generation Using inlinedocs
Journal of Statistical Software, 2013 This article presents inlinedocs, an R package for generating documentation from comments. The concept of structured, interwoven code and documentation has existed for many years, but existing systems that implement this for the R programming language do
Toby Dylan Hocking +3 more
doaj +1 more source
Formal Verification of Security Protocol Implementations: A Survey [PDF]
, 2014 Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages.
A Bauer +27 more
core +3 more sources
A generic persistence model for CLP systems (and two useful implementations) [PDF]
, 2003 This paper describes a model of persistence in (C)LP languages and two different and practically very useful ways to implement this model in current systems. The fundamental idea is that persistence is a characteristic of certain dynamic predicates (Le.,
Cabeza Gras, Daniel +4 more
core +2 more sources