Results 81 to 90 of about 1,020,940 (299)
CeBr3 gamma-ray logging probe qualification for uranium mining applications [PDF]
EPJ Web of ConferencesThe development and optimization of gamma-ray spectrometry tools are crucial for ORANO Mining and geophysical exploration. This study presents a comprehensive study on the ALT QL40-SGR-2G spectrometric probe, equipped with a cerium bromide (CeBr3 ...
Marchais Thomas +10 more
doaj +1 more source
Science of Computer Programming, 2012 We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML.
Carroline Dewi Puspa Kencana Ramli +2 more
openaire +3 more sources
Advanced Functional Materials, EarlyView.Nitride MXenes remain constrained by a persistent gap between computational prediction and experimental realization. This Review identifies the thermodynamic, kinetic, and chemical barriers limiting their synthesis, critically evaluates emerging fabrication routes, and proposes a multidimensional computational‐experimental framework to accelerate the ...
Naresh Varnakavi, Masoud Soroush
wiley +1 more source
Remarks on the applications of paraconsistent logic to physics [PDF]
, 2003 In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories.
Krause, Décio, da Costa, Newton C. A.
core
Encoding of Planning Problems and Their Optimizations in Linear Logic [PDF]
, 2009 Girard’s Linear Logic is a formalism which can be used to manage a lot of problems with consumable resources. Its expressiveness is quite good for an easily understandable encoding of many problems.
Chrpa, Lukáš +5 more
core +1 more source
Advanced Functional Materials, EarlyView.Defect‐free transfer principles enable scalable fabrication of 15 µm‐thin garnet‐based hybrid solid electrolytes. Hansen solubility parameters correlate interfacial compatibility with coating, transfer, and impregnation behavior, guiding rational selection of slurry/substrate, binder/substrate, and binder/polymer electrolyte combinations.
Seul Gi Chu +8 more
wiley +1 more source
Frontiers in EducationThis study explored strategies for bridging AI-mediated educational inequalities in Open and Distance eLearning (ODeL) using Zimbabwe Open University as a case study.
Logic Magwa
doaj +1 more source
Analog Performance and its Variability in Sub-10 nm Fin-Width FinFETs: a Detailed Analysis
IEEE Journal of the Electron Devices Society, 2019 This paper discusses in detail the effects of Sub-10nm fin-width (Wfin) on the analog performance and variability of FinFETs. It is observed through detailed measurements that the transconductance degrades and output conductance improves with the ...
Mandar S. Bhoir +6 more
doaj +1 more source
The Review of Symbolic Logic, 2009 We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notions of size, using them as building blocks.
Gabbay, Dov, Schlechta, K
openaire +4 more sources
Logic Programming as Constructivism [PDF]
, 1989 The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming.
Bry, François
core +1 more source