Results 91 to 100 of about 6,500,790 (324)
Research on formal description and verification of automated trust negotiation
Tongxin xuebao, 2011 First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1 +3 more
doaj +2 more sources
Near‐Sensor Analog Computing via Monolithic 3D Piezoelectric Sensor–FeFET for Tactile Sensing System
Advanced Functional Materials, EarlyView.A monolithic 3D‐integrated tactile system combines a piezoelectric sensor and ferroelectric field‐effect transistor (FeFET) to process both static and dynamic pressure signals directly at the sensor node. The system enables in‐sensor analog noise filtering with multi‐level memory states, achieving high sensitivity and ultra‐low power operation (≈10 nW),
Woongjin Kim +6 more
wiley +1 more source
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming. [PDF]
Sci Rep, 2022 Abdallah M +3 more
europepmc +1 more source
Advanced Functional Materials, EarlyView.High‐entropy perovskite nanofibers serve as robust and active bifunctional air electrodes in reversible protonic ceramic electrochemical cells. Their compositional complexity stabilizes the lattice, enriches oxygen vacancies, and accelerates surface exchange.
Hyeonggeun Kim +4 more
wiley +1 more source
Paraconsistent logic programming
Theoretical Computer Science, 1987 AbstractThis paper makes two contributions. First, we give a semantics for sets of clauses of the syntactic form L0 ⇍ L1 &⋯& Ln where each Li is a literal. We call such clauses generally Horn clauses. Any such endeavour has to give a coherent, formal treatment of inconsistency (in the sense of two-valued logic).
Howard A. Blair, V. S. Subrahmanian
openaire +3 more sources
Advanced 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
Teaching Artificial Intelligence and Logic Programming in a Competitive Environment
Informatics in Education, 2009 Motivation plays a key role in the learning process. This paper describes an experience in the context of undergraduate teaching of Artificial Intelligence at the Computer Science Department of the Faculty of Sciences in the University of Porto.
Pedro RIBEIRO +2 more
doaj +1 more source
Advances in Stimuli‐Responsive Organic Materials and Polymers toward Intelligent CO2 Capture
Advanced Functional Materials, EarlyView.Schematic illustration of the relationship between different stimuli and stimuli‐responsive organic materials and polymers for carbon dioxide (CO2) capture. Main stimuli include redox, pH, magnetism, temperature, light, and pressure. Furthermore, multi‐responsive materials, due to their high adaptability and scalability in complex environments, are ...
Jian Zhou +2 more
wiley +1 more source
Learning Delayed Influences of Biological Systems
Frontiers in Bioengineering and Biotechnology, 2015 Boolean networks are a widely used model to represent gene interactions and global dynamical behavior of genetic regulatory networks. To understand the memory effect involved in some interactions between biological components, it is necessary to include ...
Tony eRibeiro +3 more
doaj +1 more source
Advanced Healthcare Materials, EarlyView.This research introduces a cold plasma‐based platform for treating breast cancer bone metastases. Using a novel bioprinted 3D tumor‐stroma model, it highlights the selective antitumor effects of plasma‐generated reactive species. The platform aims to advance non‐invasive therapeutic strategies, offering potential clinical applications in controlling ...
Laura M. Bouret +4 more
wiley +1 more source