Results 111 to 120 of about 130,323 (314)
In the first part of this article, there are described two ways out of the design process theory: metamodel as a basic principle of a design process description and non-standard logics as a feasible formal background of the design theory.
S. Hostomský, I. Jelínek
doaj
A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang +5 more
wiley +1 more source
Combining Expression and Content in Domains for Dialog Managers
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain description as input and delivers a new dialog manager for the described domain ...
Goerz, Guenther +2 more
core +3 more sources
Expressive probabilistic description logics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
This study establishes a materials‐driven framework for entropy generation within standard CMOS technology. By electrically rebalancing gate‐oxide traps and Si‐channel defects in foundry‐fabricated FDSOI transistors, the work realizes in‐materia control of temporal correlation – achieving task adaptive entropy optimization for reinforcement learning ...
Been Kwak +14 more
wiley +1 more source
Un modello ontologico per l'integrazione delle informazioni del patrimonio culturale: CIDOC-CRM
The article aims at presenting the formal ontology CIDOC-Conceptual Reference Model, used for allowing information and documentation exchange and integration into the diverse sources of cultural heritage, and which is the leading ontology in the field ...
Maria Teresa Biagetti
doaj +1 more source
Computing Horn Rewritings of Description Logics Ontologies
We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary dataset.
Grau, Bernardo Cuenca, Kaminski, Mark
core
DEFINITE DESCRIPTIONS: LANGUAGE, LOGIC, AND ELIMINATION [PDF]
Norbert Gratzl
openalex +1 more source
Observation of Relativistic Domain Wall Motion in Amorphous Ferrimagnets
Domain walls in ferrimagnets and antiferromagnets move as relativistic sine‐Gordon solitons, with the spin‐wave velocity setting their speed limit. Such relativistic domain‐wall motion is demonstrated in amorphous GdFeCo near angular momentum compensation, where current‐driven walls reach 90% of the 2 kms−1 spin‐wave speed, enabling ultrafast, device ...
Pietro Diona +3 more
wiley +1 more source

