Results 131 to 140 of about 93,434 (314)
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 +4 more sources
Soft Hardware, Flowing Software: Reconfigurable Microfluidics for Adaptable Chemical Computation
A reconfigurable microfluidic platform based on soft, photo‐printable, and chemically erasable hydrogel structures printed and erased in situ is used to control flow routing, mixing, chemical patterning, and even chemical computing. Using hardware to control chemical computations decouples logic function from molecular composition, demonstrated via ...
Piet J. M. Swinkels +4 more
wiley +1 more source
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
This project developed a smart bandage‐like patch (a microneedle array) for repairing diabetic bone damage. It intelligently senses signals from infection and inflammation, then releases its medicines in a specific, timed sequence: first an antibacterial agent, then an anti‐inflammatory agent, and finally growth factors.
Yu Wang +10 more
wiley +1 more source
An RTL-Based General Synthesis Methodology for Device-Independent Ternary Logic Circuits
Ternary logic circuits are considered a high-potential alternative that can continue the technological advance of binary logic. Current studies in ternary logic focus on two aspects: One focuses on designing specific ternary circuits (such as adders ...
Hanmok Park +3 more
doaj +1 more source
Large size (∼100 µm) monolayer MoS2 grown by LPI‐CVD on n‐GaN exhibit a high n‐type doping, very low strain, and a type‐I band alignment at MoS2/GaN interface. Photocurrent measurements under illumination with photon energies from ∼2 to ∼5 eV show superior electro‐optical performances of these MoS2/n‐GaN heterojunctions as compared to Ni/n‐GaN devices ...
Salvatore Ethan Panasci +12 more
wiley +1 more source
Indistinguishability in controlled query evaluation over prioritized description logic ontologies
In this paper we study Controlled Query Evaluation (CQE), a declarative approach to privacy-preserving query answering over databases, knowledge bases, and ontologies. CQE is based on the notion of censor, which defines the answers to each query posed to
Gianluca Cima +4 more
doaj +1 more source
A semantic description framework for web services descriptions and matchmaking [PDF]
In the M.Sc thesis, the project focuses on the problems of semantic-based representing and retrieving Web services based on the capabilities of services. Service description is critical to application development in Web service environments.
Zhang, Ye
core
Interface‐Engineered Binary Framework Composites: Advancing Porous Materials for Precision Medicine
Binary framework composites integrate two complementary porous architectures into a unified platform, enabling multifunctional design, enhanced structural tunability, and improved physicochemical performance. By combining high surface area, ordered porosity, interfacial synergy, and versatile functionalization, these hybrid materials offer new ...
Navid Rabiee +3 more
wiley +1 more source
An Injectable Electroactive Hydrogel Engineered for Stable Bioelectronic Interfaces
Injectable electroconductive hydrogels enable soft, conformal, and stable bioelectronic interfaces for electroceutical therapies. A catechol‐modified hyaluronic acid/alginate/edge‐functionalized graphene platform combines wet adhesion, shear‐thinning injectability, tissue‐matched mechanics, and electrochemical functionality.
Ying Zhou +11 more
wiley +1 more source

