Results 101 to 110 of about 1,585,173 (321)
An implementation of formal semantics in the formalism of relational databases [PDF]
Proceedings of the 13th conference on Computational linguistics -, 1990 This paper presents an implementation of formal semantics as described in Keenan and Faltz's Boolean Semantics for Natural Language (4). The main characteristic of this implementation is that it avoids the intermediate step of translating NL into a formal language, such as an extended version of predicate calculus.
openaire +2 more sources
Decoding Spatial Heterogeneity and Multi‐Omics Regulation with Hierarchical Graph Learning
Advanced Science, EarlyView.ABSTRACT Recent advances in spatial multi‐omics technologies have enabled the simultaneous profiling of multiple molecular layers within the same tissue slice, providing unprecedented opportunities to investigate tissue spatial organization. However, most existing computational methods identify spatial domains in a purely data‐driven manner, rarely ...
Jiazhou Chen +6 more
wiley +1 more source
Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations [PDF]
, 1997 An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots.
Civello, Franco +4 more
core +1 more source
AgriFood: Journal of Agricultural Products for Food, EarlyView.Fermented citrus transforms bioactive compounds into metabolites with probiotic and prebiotic properties, enhancing gut health, immunity, and metabolic balance. This review highlights fermentation's role in developing sustainable, health‐promoting functional foods while addressing challenges in process optimization, sensory quality, and commercial ...
Sony Kumari +3 more
wiley +1 more source
On the Execution and Runtime Verification of UML Activity Diagrams
SoftwareThe unified modelling language (UML) is an industrial de facto standard for system modelling. It consists of a set of graphical notations (also known as diagrams) and has been used widely in many industrial applications.
François Siewe, Guy Merlin Ngounou
doaj +1 more source
Agribusiness, EarlyView.ABSTRACT Food systems have a significant impact on environmental sustainability, underscoring the need for innovative technologies to support more sustainable agricultural methods. However, the adoption of these technologies hinges on consumer acceptance, making the analysis of consumer perceptions essential.
Greta Castellini, Guendalina Graffigna
wiley +1 more source
AI in chemical engineering: From promise to practice
AIChE Journal, EarlyView.Abstract Artificial intelligence (AI) in chemical engineering has moved from promise to practice: physics‐aware (gray‐box) models are gaining traction, reinforcement learning complements model predictive control (MPC), and generative AI powers documentation, digitization, and safety workflows.
Jia Wei Chew +4 more
wiley +1 more source
Linguistica Brunensia, 2016 This article discusses differing interpretations of constituent negation in Czech and English. It empirically focuses on negated comparatives containing numerals as exemplified in the title.
Mojmír Dočekal
doaj
What is Formal in Formal Semantics?
Dialectica, 2004 Formal semantics is understood either as a formal analysis of semantical features of natural language or as model-theoretic semantics of formal(ized) languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand 'formal' as 'independent of content'.
openaire +1 more source
Advanced Intelligent Discovery, EarlyView.Large language models are transforming microbiome research by enabling advanced sequence profiling, functional prediction, and association mining across complex datasets. They automate microbial classification and disease‐state recognition, improving cross‐study integration and clinical diagnostics.
Jieqi Xing +4 more
wiley +1 more source