Results 111 to 120 of about 130,323 (314)

A Formal Design Method

open access: yesActa Polytechnica, 2000
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  

Synchronized Electro‐Chromo‐Emissive Devices Using a Mixed Ionic‐Electronic Conductive Layer for XR Applications

open access: yesAdvanced Functional Materials, EarlyView.
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

open access: yes, 1998
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

SHACL: A Description Logic in Disguise

open access: green, 2022
Bart Bogaerts   +2 more
openalex   +2 more sources

Expressive probabilistic description logics

open access: yesArtificial Intelligence, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

In Materia Shaping of Randomness with a Standard Complementary Metal‐Oxide‐Semiconductor Transistor for Task‐Adaptive Entropy Generation

open access: yesAdvanced Functional Materials, EarlyView.
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

open access: yesJLIS.it, 2016
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

open access: yes, 2015
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  

Observation of Relativistic Domain Wall Motion in Amorphous Ferrimagnets

open access: yesAdvanced Functional Materials, EarlyView.
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

Home - About - Disclaimer - Privacy