Results 91 to 100 of about 366,917 (330)
Operational Semantics for Functional Logic Languages
Workshop on Functional and Constraint Logic Programming, 2002 In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential, for instance, to have appropriate language deflnitions in order to reason
E. Albert +4 more
semanticscholar +1 more source
Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare
Advanced Science, EarlyView.Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu +10 more
wiley +1 more source
Fuzzy Logic Based Teaching/Learning of a Foreign Language in Multilingual Situations
Acta Linguistica Asiatica, 2017 The concept of Fuzzy Logic (FL) has gained momentum in areas of artificial intelligence and allied researches because of its absolute ability to present efficient solutions to real life problems.
Sweta SINHA
doaj +1 more source
Temporal Phylogenetic Networks and Logic Programming
, 2005 The concept of a temporal phylogenetic network is a mathematical model of evolution of a family of natural languages. It takes into account the fact that languages can trade their characteristics with each other when linguistic communities are in contact,
Erdem, Esra +2 more
core +1 more source
Advanced Science, EarlyView.We investigate whether Montessori and traditional schooling systems shape the developmental trajectory of large‐scale brain dynamics in different ways. We quantify the arrow of time (“non‐reversibility”) in neural activity during resting state and movie‐watching, revealing distinct maturational patterns.
Elvira del Agua +6 more
wiley +1 more source
The atnext/atprevious hierarchy on the starfree languages [PDF]
, 2012 The temporal logic operators atnext and atprevious are alternatives for the operators until and since. P atnext Q has the meaning: at the next position in the future where Q holds it holds P.
Borchert, Bernd, Tesson, Pascal
core
Ferroelectric Devices for In‐Memory and In‐Sensor Computing
Advanced Science, EarlyView.Inspired by biological systems, in‐memory and in‐sensor computing overcome von Neumann bottlenecks. Ferroelectric devices can mimic synaptic functions and sense stimuli like light or force, therefore are ideal for these paradigms. This review introduces the ferroelectric devices applied for in‐memory and in‐sensor computing, covering their structures ...
Hong Fang +5 more
wiley +1 more source
Why is “not infrequent” not always “frequent”? Double negation in political discourse
ExELL (Explorations in English Language and Linguistics), 2015 The aim of this paper is to view double negation in the light of its semantic and pragmatic meaning. While double negation in logic gives a positive value, in natural languages, besides having positive entailment, it can have a range of different ...
Osmankadić Merima
doaj +1 more source
Advanced Science, EarlyView.SETD1A is a key epigenetic regulator in NPCs during IDD. In normal NPCs, it sustains H3K4me3–HELZ2/PPARα–HIF1α signaling to maintain glycolytic energy metabolism and proliferation. In degenerated NPCs, reduced SETD1A disrupts this axis, impairing glycolysis and accelerating senescence, highlighting a promising therapeutic target for IDD.
Jiawei Fu +11 more
wiley +1 more source
A Constructive Mathematic approach for Natural Language formal grammars [PDF]
, 2009 A mathematical description of natural language grammars has been proposed first by Leibniz. After the definition given by Frege of unsaturated expression and the foundation of a logical grammar by Husserl, the application of logic to treat natural ...
Benini, Dr Marco, Gobbo, Dr Federico
core