Results 121 to 130 of about 130,323 (314)

Processing Incomplete Query Specifications in a Context-Dependent Reasoning Framework [PDF]

Journal of Systemics, Cybernetics and Informatics, 2013
Search is the most prominent web service, which is about to change dramatically with the transition to the Semantic Web. Semantic Web applications are expected to deal with complex conjunctive queries, and not always such queries can be completely and ...
Neli P. Zlatareva
doaj  

Trap‐Assisted Transport and Neuromorphic Plasticity in Lead‐Free 2D Perovskites PEA2SnI4

Advanced Functional Materials, EarlyView.
An artificial retina built from lead‐free layered perovskite (PEA)2SnI4 converts light input into a persistent photocurrent and sums successive flashes over time. Micro/nanocrystals integrated on electrodes act as synapse‐like pixels that perform temporal integration directly in hardware. This in‐sensor preprocessing merges detection and computation on
Ofelia Durante, Valeria Demontis, Jonas Riisnaes Karl, Lam Hoi Tung, Sebastiano De Stefano, Daniela Marongiu, Adolfo Mazzotti, Aditya Bhardwaj, Francesco Mattana, Elisa Pili, Selene Matta, Federico Paolucci, Michele Saba, Andrea Mura, Giovanni Bongiovanni, Monica F Craciun, Saverio Russo, Antonio Di Bartolomeo   +17 more
wiley   +1 more source

Ontology-Mediated Querying with Horn Description Logics. [PDF]

Kunstliche Intell (Oldenbourg), 2020
Sabellek L.
europepmc   +1 more source

Self‐Feeding of Engineered Tissues via Controlled Glucose Release Facilitates Survival and Vascularization of Living Implants

Advanced Functional Materials, EarlyView.
ABSTRACT Engineering living matter has great clinical potential to deliver functional replacement organs. However, clinical translation remains hampered by the current inability to maintain viability of clinically relevant‐sized constructs. During the pre‐vascular phase, implants rely on nutrient diffusion for survival, which is insufficient at ...
Melvin Gurian, Iris E. Allijn, Laura Veenendaal, Nicole Bassous, Su Ryon Shin, Jeroen Leijten   +5 more
wiley   +1 more source

Towards Light-Weight Probabilistic Model Checking

Journal of Applied Mathematics, 2014
Model checking has been extensively used to verify various systems. However, this usually has been done by experts who have a good understanding of model checking and who are familiar with the syntax of both modelling and property specification languages.
Savas Konur
doaj   +1 more source

Carbon Contacts to Proteins Enable Robust, Biocompatible Electronic Junctions with Near‐Activation‐less Conduction Down to 10 K

Advanced Functional Materials, EarlyView.
A robust solid‐state protein junction with a semi‐transparent eC/Au electrode allows photoexcitation of the bacterio‐rhodopsin, bR layer, to isomerize the bR retinal. The resulting photo‐response shows the protein is functional in the solid‐state junction.
Shailendra K. Saxena, Sudipta Bera, Tatyana Bendikov, Israel Pecht, Mordechai Sheves, David Cahen   +5 more
wiley   +1 more source

Reasoning in the Description Logic ALC under Category Semantics [PDF]

, 2022
Ludovic Brieulle, Chan Le Duc, Pascal Vaillant   +2 more
openalex   +1 more source

Ultrasound‐Triggered Gelation for Restoring Biomechanical Properties of Degenerated Functional Spinal Units

Advanced Healthcare Materials, EarlyView.
This study introduces an innovative approach to treating intervertebral disc degeneration using ultrasound‐triggered in situ hydrogel formation. Proof‐of‐concept experiments using optimized biomaterial and ultrasound parameters demonstrate partial restoration of biomechanical function and successful integration into degenerated disc tissue, offering a ...
Veerle A. Brans, Anna P. Constantinou, Matthew J. Kibble, Valeria Nele, Daniel Reumann, Luca Bau, Sebastien J. P. Callens, James P. K. Armstrong, Nicolas Newell, Constantin C. Coussios, Molly M. Stevens, Michael D. Gray   +11 more
wiley   +1 more source

Redefining Therapies for Drug‐Resistant Tuberculosis: Synergistic Effects of Antimicrobial Peptides, Nanotechnology, and Computational Design

Advanced Healthcare Materials, EarlyView.
Antimicrobial peptide (AMP)‐loaded nanocarriers provide a multifunctional strategy to combat drug‐resistant Mycobacterium tuberculosis. By enhancing intracellular delivery, bypassing efflux pumps, and disrupting bacterial membranes, this platform restores phagolysosome fusion and macrophage function.
Christian S. Carnero Canales, Jessica Ingrid Marquez Cazorla, Renzo Marianito Marquez Cazorla, Aline Martins dos Santos, Jonatas Lobato Duarte, Letícia Oliveira Catarin Nunes, Túlio Custódio Reis, Lara Cerazi Salvador, Norival Alves Santos‐Filho, Rafael Miguel Sábio, Hélder A. Santos, Fernando Rogério Pavan   +11 more
wiley   +1 more source

Design of Vulnerability Ontologies and Application of Logical Inference for Security Information and Events Menegement

Безопасность информационных технологий, 2013
In the paper the usage of the ontological approach, description logics and logical inference to the design of the data model of computer vulnerabilities and attacks is suggested.
Olga Vitalievna Polubelova, Igor Vitalievich Kotenko   +1 more
doaj