Results 151 to 160 of about 1,045,924 (344)
Mutadelic: mutation analysis using description logic inferencing capabilities. [PDF]
Bioinformatics, 2015 Holford ME, Krauthammer M.
europepmc +1 more source
, 1998 Description Logics (DLs, for short) allow reasoning about individuals and concepts, i.e. set of individuals with common properties. Typically, DLs are limited to dealing with crisp, well defined concepts. That is, concepts for which the problem whether an individual is an instance of it is a yes/no question.
openaire +3 more sources
Advanced Materials, EarlyView.A photo‐patternable solid‐state electrolyte based on 𝜄‐carrageenan (𝜄‐CGN) and poly(ethylene glycol) diacrylate (PEGDA) is developed to enable high‐performance complementary OECT circuits. The successful demonstration of fully implanted devices for vagus nerve stimulation in mice highlights solid‐state 𝜄‐CGN‐based electrolytes as a promising platform ...
Miao Xiong +14 more
wiley +1 more source
Algorithm FLARS and recognition of time series anomalies
Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, 2019 As a rule, algorithms of recognition of time series anomalies are based on time frequency or statistical analysis . This article is devoted to detailed formal description of new fuzzy set based algorithm FLARS (Fuzzy Logic Algorithm for Recognition of ...
A. D. Gvishiani +6 more
doaj
Logic-based Web services composition: from service description to process model [PDF]
, 2004 Jinghai Rao +2 more
openalex +1 more source
The primary purpose of TPG interface (TPGITF) software is to create test patterns, according to a mathematical model, for a real device. In order for the device actually to be tested or to be accurately simulated, a means is required to transform the ...
Pitts, E. R.
core +1 more source
Remorphable Architectures: Reprogramming Global Bistability through Locally Bistable Metamaterials
Advanced Materials, EarlyView.Local bistable reconfiguration in mechanical metamaterials is leveraged in globally bistable architectures to enable in situ reprogrammable transition pathways through state flip of individual building blocks. The local‐to‐global correspondence of instabilities empowers soft robotic systems with on‐demand morphing traits, as well as aerospace ...
Lei Wu +3 more
wiley +1 more source
Description Logics with Aggregates and Concrete Domains, Part II
, 1998 Franz Baader, Ulrike Sattler
openalex +2 more sources
Logic synthesis from DDL description [PDF]
The implementation of DDLTRN and DDLSIM programs on SEL-2 computer system is reported. These programs were tested with DDL descriptions of various complexity. An algorithm to synthesize the combinational logic using the cells available in the standard IC
Shiva, S. G.
core +1 more source
Manipulating Individual Topological Solitons and Bisolitons in an Electronic System
Advanced Materials, EarlyView.While localized topological modes in quantum materials promise loss‐less delivery of classical and quantum information, manipulating them individually has been challenging. This work succeeded in manipulating topological solitons formed along atomic wires on silicon surfaces with high reproducibility in various ways, including translating, transforming
Taehwan Im +2 more
wiley +1 more source