Results 91 to 100 of about 165,990,627 (290)
A Study on Molla Sadra’s Evaluation of the Proofs of the Existence of God [PDF]
حکمت اسرا, 2013 Inspecting and analyzing the proofs of the existence of God comprises a significant portion of Sadr al Mote’allehin’s concerns and efforts in theological discussions.
Sayyed Mohammad Entazam
doaj
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 more
wiley +1 more source
A theorem proving framework for the formal verification of Web Services Composition [PDF]
, 2011 We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into ...
Petros Papapanagiotou +3 more
core +1 more source
The Dynamic Epistemic Logic for Actual Knowledge [PDF]
, 2020 The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not ...
Wójcik, Arkadiusz
core +2 more sources
Soft Skins With Reversible Thickness Morphing: Materials, Mechanisms, and Applications
Advanced Materials, EarlyView.Evolution of electronic skin (e‐skin) technologies toward adaptive, multifunctional soft skins. Phase I highlights early rigid and discrete sensory interfaces. Phase II shows the transition toward flexible, stretchable, and large‐area e‐skin. Phase III captures the emergence of computational e‐skin.
Oliver Ozioko +2 more
wiley +1 more source
Advanced Materials, EarlyView.Memristors offer tunable resistance and intrinsic instability, making them promising tunable noise sources. We propose a spiking‐rate‐programmable probabilistic neuron using a Ru/TaOx/Pt memristor, where resistance‐dependent noise enables frequency‐selective encoding.
Do Hoon Kim +8 more
wiley +1 more source
Visualization of Proofs in Defeasible Logic [PDF]
, 2008 The development of the Semantic Web proceeds in steps, building each layer on top of the other. Currently, the focus of research efforts is concentrated on logic and proofs, both of which are essential, since they will allow systems to infer new knowledge by applying principles on the existing data and explain their actions.
Ioannis Avguleas +6 more
openaire +2 more sources
A Universal van der Waals Tunneling Injector for Monolayer CMOS
Advanced Materials, EarlyView.A universal van der Waals injector unlocks polarity‐flexible tunneling contacts for monolayer CMOS. SnSe2, an intrinsically degenerate 2D semiconductor, establishes polarity‐specific band alignments with both WSe2 and MoS2 channels, enabling steep switching, high on/off ratios, and a unified route to low‐power 2D logic.
Hanbin Cho +17 more
wiley +1 more source
Advanced Materials, EarlyView.This work prototypes a carbon nanotube‐based analog tensor core that performs in‐memory, parallel visual processing. Integrating non‐volatile memories and compact circuits, the core enables high‐speed analog matrix multiplications and can demonstrate accurate three dimensional (3D) spatial transformation and edge detection. With lightweight design, the
Jingfang Pei +11 more
wiley +1 more source
A Note on the Use of Sum in the Logic of Proofs
, 2009 The Logic of Proofs~LP, introduced by Artemov, encodes the same reasoning as the modal logic~S4 using proofs explicitly present in the language. In particular, Artemov showed that three operations on proofs (application~$\cdot$, positive introspection~!,
Kuznets, Roman
core +1 more source