Results 131 to 140 of about 6,452,641 (347)
Controlling Frost Propagation on Polymeric Surfaces Using SI‐ATRP Chemical Micropatterning
Advanced Materials Interfaces, EarlyView.Local wettability differences on the polymeric substrates grafted with hydrophilic stripes are linked to local variations in the presence and state of molecular water layer (MWL). The localized MWL results in fast‐propagating freezing events on the hydrophilic stripes followed by slower freezing propagation across the more hydrophobic substrate, thus ...
Miisa J. Tavaststjerna +2 more
wiley +1 more source
Implementation of smart room system based PLC and block diagram function programming
Journal Geuthee of Engineering and EnergyTechnological developments have brought a revolution in the smart home concept, with smart rooms becoming the main focus to increase comfort, efficiency and security.
Santi Triwijaya +4 more
doaj +1 more source
A new approach to on-line, run-time program logic and error debugging using hardware implementation [PDF]
, 1970 Robert S. Enabit
openalex +1 more source
Advanced Materials Interfaces, EarlyView.The movement of pure water droplets on a superhydrophobic glass surface is precisely controlled through electrostatic manipulation using a polytetrafluoroethylene (PTFE) rod from the opposite side. With just a few seconds of triboelectric charging, the PTFE rod directs droplets, achieving acceleration over 10 000 mm s−2.
Wei Chen Huang +4 more
wiley +1 more source
Acta Universitatis Sapientiae: Informatica, 2016 The backward-chaining inference strategy of Prolog is inefficient for a number of problems. The article proposes Contralog: a Prolog-conform, forward-chaining language and an inference engine that is implemented as a preprocessor-compiler to Prolog.
Kilián Imre
doaj +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
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs [PDF]
, 2008 Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination).
openaire +4 more sources
Probabilistic logic programming
Information and Computation, 1992 AbstractOf all scientific investigations into reasoning with uncertainty and chance, probability theory is perhaps the best understood paradigm. Nevertheless, all studies conducted thus far into the semantics of quantitative logic programming have restricted themselves to non-probabilistic semantic characterizations.
Raymond T. Ng, V. S. Subrahmanian
openaire +2 more sources
The Rise of Refractory Transition‐Metal Nitride Films for Advanced Electronics and Plasmonics
Advanced Materials Interfaces, EarlyView.Transition‐metal nitrides (TMNs) are exceptional materials with high stability, biocompatibility, and semiconductor integration, which have been extensively employed in various fields. However, the epitaxial growth of TMN films remains a challenge. The absence of high‐quality TMNs limits the understanding of their condensed matter physics and hinders ...
Jiachang Bi +3 more
wiley +1 more source
Exploiting Parallelism in Coalgebraic Logic Programming [PDF]
arXiv, 2013 We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both corecursion and parallelism.
arxiv