Results 41 to 50 of about 633,950 (258)

Definable transductions and weighted logics for texts [PDF]

Theoretical Computer Science, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]

, 2011
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav, Alessandro Artale, Roman Kontchakov, Ryzhikov, V., Vladislav Ryzhikov, Michael Zakharyaschev, Artale, A., Zakharyaschev, Michael, Kontchakov, Roman   +8 more
core   +1 more source

Emerging Post‐CMOS Hardware Neurons for Brain‐Inspired Computing: Devices, Circuits, and System Integration

Advanced Functional Materials, EarlyView.
The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan, Hocheon Yoo, Benoît H. Lessard, Ioannis Kymissis, Chang‐Hyun Kim   +4 more
wiley   +1 more source

Model checking linear coalgebraic temporal logics: an automata-theoretic approach [PDF]

, 2011
We extend the theory of maximal traces of pointed non-deterministic coalgebras by providing an automata-based characterisation of the set of maximal traces for finite such coalgebras.
Cirstea, Corina, Corina Cîrstea
core   +1 more source

Bio‐Inspired Artificial Ionic Mechanoreceptor

Advanced Functional Materials, EarlyView.
A skin‐inspired artificial mechanoreceptor based on ionic interactions is presented for biomimetic tactile sensing. Pressure‐driven ionic redistribution within microfluidic channels generates a self‐powered electrical signal without external bias. The generated waveform exhibits mechanoreceptor‐like temporal features, including overshoot and undershoot,
Mohammad Akbari, Jeppe Don, Lasse A. N. Pedersen, John Noee, Rassoul Tabassian   +4 more
wiley   +1 more source

Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery

Advanced Functional Materials, EarlyView.
Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang, Qian Wang, Seong‐Hoon Jang, Hao Li   +3 more
wiley   +1 more source

Vibration Control of Car Body and Wheel Motions for In-Wheel Motor Vehicles Using Road Type Classification

Actuators
In-wheel motor vehicles are gaining attention as a new type of electric vehicle due to their efficient power units located inside each wheel hub. However, they are more susceptible to wheel resonance due to the increase in unsprung mass caused by the ...
Young-Jun Kim, Youngil Sohn, Sehyun Chang, Seung-Bok Choi, Jong-Seok Oh   +4 more
doaj   +1 more source

Genetically Programmed Shape‐Morphing of Engineered Living Materials

Advanced Functional Materials, EarlyView.
Here, bacterial and mammalian engineered living materials (ELMs) are presented, in which living cells direct genetically programmed and enzymatically mediated shape‐morphing. The resulting deformation and shape‐recovery can be actuated in a genetically controlled manner by an ELM incorporating out‐of‐equilibrium counteracting biochemical reactions with
Jan Becker, Yuchen Liu, Miguel Baños, Rosanne Schmachtenberg, Mahmudul Hasan, Claudia Fink‐Straube, Luai R. Khoury, Wilfried Weber   +7 more
wiley   +1 more source

Spatial Equity of Children’s Extracurricular Activity Facilities Under Government–Market Dual Provision Systems: Evidence from Tianjin

ISPRS International Journal of Geo-Information
Ensuring equitable and inclusive access to children’s extracurricular activity facilities represents a profound manifestation of educational equity and is crucial for promoting children’s holistic development and societal sustainability.
Jiehui Geng, Peng Zeng, Jinxuan Li, Xiaotong Ren, Liangwa Cai   +4 more
doaj   +1 more source

Weighted Muller Tree Automata and Weighted Logics

J. Autom. Lang. Comb., 2007
Journal of Automata, Languages and Combinatorics, Volume 12, Number 4, 2007, 455 ...
openaire   +3 more sources