Results 111 to 120 of about 138,341 (311)
Efficient and Flexible Access Control via Jones-Optimal Logic Program Specialisation
, 2006 We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a database and an access policy specification.
Varea, Mauricio +2 more
core
Phase Engineering of Atomically Precise Nanoclusters (APNCs) of Gold and Beyond
Advanced Materials, EarlyView.Engineering the structural phase of materials is of paramount importance for both fundamental research and practical applications. In this Review, we summarize the recent progress in controlling the phases of atomically precise nanoclusters (APNCs) of gold, silver and copper, as well as bimetallic systems. The phase‐enabled material properties of APNCs
Yitong Wang +4 more
wiley +1 more source
The Rehabilitation of Deductive Reasoning
THEORIA. An International Journal for Theory, History and Foundations of Science, 2020 The paper aims at the rehabilitation of deductive reasoning. As a paradigm of reliable reasoning, it should be applicable in every confirmation context. In particular, it should transmit inductive justification, so that if D justifies a hypothesis H, then D also justifies all deductive conclusions from H.
openaire +3 more sources
Advanced Materials, EarlyView.ABSTRACT Accurately knowing the frontier orbital energies of the structurally disordered small‐molecule organic semiconductors that are used in optoelectronic devices such as organic light‐emitting diodes is required to rationally improve their performance. Here, we show that these energies can be deduced with a large accuracy from the peak energies of
Christian B. McDonald +7 more
wiley +1 more source
Cabri's role in the task of proving within the activity of building part of an axiomatic system [PDF]
, 2007 We want to show how we use the software Cabri, in a Geometry class for preservice mathematics teachers, in the process of building part of an axiomatic system of Euclidean Geometry.
Camargo, Leonor +2 more
core
Metatheories of deductive systems
, 2004 A deductive system (Hilbert-style) is an algebraic closure system over the set of formulas of given propositional language. Similarly, a Gentzen system is an algebraic closure system over the set of all sequents, i.e., finite sequences of formulas, of ...
Babyonyshev, Sergei
core +1 more source
Advanced Materials, EarlyView.A deep learning inverse‐design framework is established to create versatile reconfigurable terahertz metadevices. By synergizing deep learning with phase‐change materials, this approach enables on‐demand customization of multidimensional electromagnetic responses.
Yisheng Dong +11 more
wiley +1 more source
Advanced Materials Interfaces, EarlyView.Large size (∼100 µm) monolayer MoS2 grown by LPI‐CVD on n‐GaN exhibit a high n‐type doping, very low strain, and a type‐I band alignment at MoS2/GaN interface. Photocurrent measurements under illumination with photon energies from ∼2 to ∼5 eV show superior electro‐optical performances of these MoS2/n‐GaN heterojunctions as compared to Ni/n‐GaN devices ...
Salvatore Ethan Panasci +12 more
wiley +1 more source
An earley parsing algorithm for range concatenation grammars
, 2009 We present a CYK and an Earley-style algorithm for parsing Range Concatenation Grammar (RCG), using the deductive parsing framework. The characteristic property of the Earley parser is that we use a technique of range boundary constraint propagation to ...
Yannick Parmentier +5 more
core +1 more source
Light Switchable Ionic Conductivity of Arylazopyrazole Modified Polysiloxanes
Advanced Materials Technologies, EarlyView.We present a polysiloxane functionalized with a novel arylazopyrazole dye that undergoes reversible photoisomerization. Upon lithium bis(trifluoromethanesulfonyl)imide addition and UV irradiation, the polymer exhibits a shift in tan(d) toward higher frequencies and enhanced ionic conductivity.
Malte S. Beccard +7 more
wiley +1 more source