Results 181 to 190 of about 3,682,520 (371)

A metamodel specification tool based on description logic and XML-DATA

Revista Colombiana de Computación, 2001
Interoperation of heterogeneous and autonomous information systems has traditionally been hampered by semantic differences intheir data models. Keywords: Cooperation, extensibility, metamodel, translators, description logic, xml-data.
Christophe Nicolle
doaj  

On the Complexity of Verifying Timed Golog Programs over Description Logic Actions (Extended Version)

, 2018
Benjamin Zarrieß, Patrick Koopmann
openalex   +2 more sources

Soft and Strong: Elastic Conductors with Bio‐Inspired Self‐Protection

Advanced Materials, EarlyView.
A general reverse‐engineering approach is demonstrated for designing functional yarns that uses woven fabric architecture as a structural framework. The fabric‐based stretchable conductive yarns combine flexibility, high elasticity, low stiffness, self‐protection, and weavability with conventional textile processes. By fine‐tuning the number of elastic
Chenglong Zhang, Xiulun Yin, Chris Zhou, Xin Lu, Siying Wu, Ying Li, Addie Bahi, Sukhneet Kaur Dhillon, Orlando J. Rojas, Jinhua Jiang, Nanliang Chen, Frank K. Ko, John D. W. Madden   +12 more
wiley   +1 more source

The Technique of Information Cost Estimation Using Fuzzy Logic Tools

Безопасность информационных технологий, 2012
The paper contains the description of the method of the algorithm of information objects cost estimation in the information security risk analysis using fuzzy logic tools.
E. S. Stepanova
doaj  

Defeasible reasoning in Description Logics: an overview on DL^N [PDF]

, 2020
Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro   +2 more
openalex   +1 more source

Observation of Topological Chirality Switching Induced Freezing of a Skyrmion Crystal

Advanced Materials, EarlyView.
Using Lorentz Transmission electron microscopy, it is shown that in the insulating van der Waals ferromagnet, CrBr3, a magnetic field can cause Bloch skyrmionic bubbles to spontaneously switch their chirality. As achiral type‐II bubbles are an intermediate state, the bubbles rapidly elongate and shrink when switching, thereby inducing a freezing of the
John Fullerton, Yue Li, Harshvardhan Solanki, Sergey Grebenchuk, Magdalena Grzeszczyk, Zhaolong Chen, Makars Šiškins, Kostya S. Novoselov, Maciej Koperski, Elton J. G. Santos, Charudatta Phatak   +10 more
wiley   +1 more source

A Closer Look at the Probabilistic Description Logic Prob-EL

, 2011
Víctor Gutiérrez Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder   +3 more
openalex   +2 more sources

Developments in Nanopatterning of Graphene; Toward Direct Writing

Advanced Materials, EarlyView.
Overview of principal direct‐write graphene patterning methodologies including focused electron beam induced deposition (FEBID), laser induced graphitisation (LIG), focused ion beam (FIB), scanning tunneling microscopy (STM) and atomic force microscopy (AFM) Abstract Graphene, with its exceptional electronic, mechanical, and thermal properties, remains
Szymon Abrahamczyk, Ondřej Sakreida, Alicja Bachmatiuk, Gražyna Simha Martynková, Mark H. Rümmeli   +4 more
wiley   +1 more source

Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics

Advanced Materials, EarlyView.
Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón, Juan Ignacio Beltrán, Matilde Saura‐Múzquiz, Paolo Perna, M. Carmen Muñoz, Lucas Pérez, Maria Varela   +6 more
wiley   +1 more source

A fuzzy description logic based IoT framework: Formal verification and end user programming. [PDF]

PLoS One
Pérez-Gaspar M, Gomez J, Bárcenas E, Garcia F.   +3 more
europepmc   +1 more source