Results 111 to 120 of about 471,293 (319)
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
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
Timetabling in constraint logic programming [PDF]
, 1996 In this paper we describe the timetabling problem and its solvability in a Constraint Logic Programming Language. A solution to the problem has been developed and implemented in ECLiPSe, since it deals with finite domains, it has well-defined ...
Gilbert, D, Kambi, M
core +1 more source
Locking Metastable Topological Domains in Nematic Liquid Crystal Pi Cells
Advanced Functional Materials, EarlyView.Selective photopolymerization in the presence of a controlled voltage defines permanent director walls that lock‐in metastable bend and twist configurations within nematic liquid crystal Pi cells. Q‐tensor simulations corroborate the experiments, demonstrating the topological state stabilization.
Adithya Pradeep +7 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
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming. [PDF]
Sci Rep, 2022 Abdallah M +3 more
europepmc +1 more source
, 2004 We study conditions for a concurrent construction of proof-nets in the framework developed by Andreoli in recent papers. We define specific correctness criteria for that purpose. We first study closed modules (i.e.
Fouquere, Christophe, Mogbil, Virgile
core +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
Catalytic DNA Strand Displacement Cascades Applied to Logic Programming
IEEE Access, 2019 The field of DNA computing is devoted to the creation of devices capable of processing information signals encoded on biological substrates. These signals are intended to propagate in cascades of biochemical reactions in which they naturally undergo a ...
Nelson E. Ordonez-Guillen +1 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