Results 1 to 10 of about 991,150 (298)
Material Modeling in Semiconductor Process Applications
Journal of Microelectronic Manufacturing, 2020 During the past decade, significant progress has been achieved in the application of material modeling to aid technology development in semiconductor manufacturing companies such as Intel.
Boris A. Voinov +4 more
doaj +1 more source
Journal of Electrochemical Science and Engineering, 2020 When performing electrochemical impedance spectroscopy (EIS) measurements on a system, we must make sure it fulfills certain conditions. One of them is that it should be stationary that is to say, steady-state and time-invariant. Commonly studied systems
Nicolas Murer +2 more
doaj +1 more source
The Review of Symbolic LogicAbstract We investigate a system of modal semantics in which $\Box \phi $ is true if and only if
openaire +1 more source
On Affine Logic and Łukasiewicz Logic
CoRR, 2014 The multi-valued logic of Łukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of Łukasiewicz logic can be improved by separating its classical and intuitionistic aspects.
Rob Arthan, Paulo Oliva
openaire +3 more sources
Possibilistic logic as interpretability logic [PDF]
, 1995 It is shown that a variant of qualitative (comparative) possibilistic logic is closely related to modal interpretability logic, as studied in the metamathematics of first-order arithmetic. This contributes to our knowledge on the relations of logics of uncertainty to classical systems of modal logic.
openaire +3 more sources
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
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
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