Results 81 to 90 of about 1,544,053 (248)
Epitaxially Integrated Electro‐Optic KNbO3 Thin Films on Silicon
Advanced Materials, EarlyView.We demonstrate the first epitaxial integration of electro‐optic KNbO3 thin films on silicon using suboxide molecular‐beam epitaxy. Combining adsorption‐controlled molecular‐beam epitaxy, advanced characterization, and phase‐field modeling, we demonstrate phase‐pure crystalline films mirroring bulk crystals with robust Pockels response, enabling future ...
Sankalpa Hazra +17 more
wiley +1 more source
Using the Fuzzy Logic in Assessing the Programming Performance of Students
International Journal of Assessment Tools in Education, 2018 The overall objective of this study is to understandhow the fuzzy logic theory can be used in measuring the programming performanceof the undergraduate students, as well as proving the advantages of using fuzzylogic in evaluation of students’ performance.
Ozan Şenkal, Nihan Arslan Namlı
doaj +1 more source
Towards a Parallel Virtual Machine for Functional Logic Programming [PDF]
, 2010 Functional logic programming is a multi-paradigm programming that combines the best features of functional programming and logic programming. Functional programming provides mechanisms for demand-driven evaluation, higher order functions and polymorphic ...
Alqaddoumi, Abdulla
core +1 more source
Advanced Materials, EarlyView.Self‐invalidating multilayer physical unclonable functions (PUFs) integrate fingerprint‐like metal nanopattern bilayers from block copolymer templates with highly reactive reduced graphene oxide (rGO) interlayers. This tamper‐responsive architecture blocks all unauthorized physical and chemical replication attempts while autonomously deactivating ...
Gyu Hui Jo +7 more
wiley +1 more source
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
Phase‐Engineered MoS2 Quantum Monolayer Catalysts
Advanced Materials, EarlyView.A new type of catalyst model—phase‐engineered MoS2 quantum‐monolayer catalyst (∼0.8 nm thick, < 6 nm in the lateral size; switchable freely among metallic 1T, semiconducting 2H, and a hybrid phase of metallic‐semiconducting 1T‐2H)—is reported. It can efficiently and stably drive photochemical H2, syngas and ammonia synthesis as a catalyst or co ...
Ruijie Yang +12 more
wiley +1 more source
Advanced Materials, EarlyView.Development of a novel method for synthesizing Ni single atom catalysts for highly selective electrochemical CO2 reduction in situ. This catalyst achieves 100% selectivity for CO and is formed in an industrially relevant cell architecture. Using post‐mortem XRD, STEM, and EDS and operando XAS, the identity of the active site and the mechanism behind ...
Ian Street +5 more
wiley +1 more source
ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE
Studia Universitatis Moldaviae: Stiinte Umanistice, 2008 The present article focuses on some events that contributed to the appearance and evolution of formal logic, logic programming and Prolog programming language.
USM ADMIN
doaj
A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems
Foundations of Management, 2014 The paper presents a concept and the outline of the implementation of a hybrid approach to modelling and solving constrained problems. Two environments of mathematical programming (in particular, integer programming) and declarative programming (in ...
Sitek Pawel, Wikarek Jaroslaw
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