Results 31 to 40 of about 2,396,703 (177)

Encoding Markov Logic Networks in Possibilistic Logic [PDF]

, 2015
Markov logic uses weighted formulas to compactly encode a probability distribution over possible worlds. Despite the use of logical formulas, Markov logic networks (MLNs) can be difficult to interpret, due to the often counter-intuitive meaning of their ...
Davis, Jesse, Kuzelka, Ondrej, Schockaert, Steven   +2 more
core   +1 more source

Enhanced Magnetization Switching Efficiency via Orbital‐Current‐Induced Torque in Ti/Ta (Pt)/CoFeB/MgO Structures

Advanced Functional Materials, EarlyView.
The orbital‐current‐induced torque is investigated as an efficient method for controlling magnetization direction. By introducing Ti as an orbital current source in Ti/Ta (or Pt)/CoFeB/MgO structures, the switching current is reduced by ∼25% compared to a conventional spin‐orbit torque structure of Ta/CoFeB/MgO.
So y. Shin, Donghyeon Han, Soogil Lee, Byong‐Guk Park   +3 more
wiley   +1 more source

Modal logic S4 as a paraconsistent logic with a topological semantics [PDF]

, 2017
In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models.
E. Coniglio, Marcelo, Prieto-Sanabria, Leonardo   +1 more
core  

Logic programming in the context of multiparadigm programming: the Oz experience

, 2002
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc ...
Brand, P, Duchier, D, Haridi, S., Henz, M, International Conference on Logic Programming, Schulte, C, Van Roy, Peter   +6 more
core   +2 more sources

Dynamic Networks via Polymerizable Deep Eutectic Monomers for Uniform Li+ Transport at Interfaces in Lithium Metal Batteries

Advanced Functional Materials, EarlyView.
The PDEM‐based SIGPE provides a dynamic nanophase from Li+‐bridged molecular self‐association, enhancing electrochemical stability and facilitating uniform Li+ ion flux at the interface. This unique solvation structure results in a hetero species‐driven inorganic‐rich SEI and long‐term cycle stability, suggesting that a PFAS‐free Li+‐containing monomer
Susung Yun, Seonho Kim, Puji Lestari Handayani, Sungyeb Jung, Jae Hyun Park, U Hyeok Choi   +5 more
wiley   +1 more source

Simulation Studies of Nanomagnet-Based Architecture

, 2008
We report a simulation study on interacting ensembles of Co nanomagnets that can perform basic logic operations and propagate logic signals, where the state variable is the magnetization direction.
Behin-Aein B., Cowburn R. P., Cowburn R. P., Csaba G., Donahue M. J., Doyle W., Fidler J., Imre A., Imre A., Parish M.   +9 more
core   +1 more source

Ultrafast Room‐Temperature Nanofabrication via Ozone‐Based Gas‐Phase Metal‐Assisted Chemical Etching for High‐Performance Silicon Photodetectors

Advanced Functional Materials, EarlyView.
Ozone‐based gas‐phase metal‐assisted chemical etching enables unprecedented room‐temperature fabrication of high‐quality silicon nanowires. The superior oxidation potential of O3 drives rapid vertical etching (1 µm min−1) while maintaining exceptional structural integrity. The pristine nanowire surfaces enable high‐performance core‐shell photodetectors
Hyein Cho, Yejin Han, Geonhwi Kim, Jihwan Jeong, Seongmin Lee, Yebin Ahn, Sang Beom Hong, Soohyeok Park, Inkyeong Park, So Eun Jang, Duck Hyun Youn, Han‐Don Um   +11 more
wiley   +1 more source

Ternary Transistors With Reconfigurable Polarities

Advanced Functional Materials, EarlyView.
Polarity‐reconfigurable ternary transistors are demonstrated using black phosphorus homojunction with asymmetric contacts and split‐gate structures. Suppression of majority carrier injection, while Fowler–Nordheim tunneling of low‐density minority carriers persists, enables a well‐defined intermediate state with improved on/off ratios.
Dongju Yeom, Yeonghyeon Ko, Youngkyu Ko, Heungsoon Im, Jungi Song, Yongwook Seok, Hanbyeol Jang, Jaeha Hwang, Seokhun Jin, Kenji Watanabe, Takashi Taniguchi, Kayoung Lee   +11 more
wiley   +1 more source

Constructive Provability Logic [PDF]

, 2011
We present constructive provability logic, an intuitionstic modal logic that validates the L\"ob rule of G\"odel and L\"ob's provability logic by permitting logical reflection over provability.
Simmons, Robert J., Toninho, Bernardo
core   +4 more sources

Deciphering a New Electrolyte Formulation for Intelligent Modulation of Thermal Runaway to Improve the Safety of Lithium‐Ion Batteries

Advanced Functional Materials, EarlyView.
Diels‐Alder clicks chemistry addresses thermal runaway in lithium‐ion batteries. A thermoresponsive electrolyte with lithium salt in vinylene carbonate (VC) and 2,5‐dimethylfuran (DMFu) operates at room temperature but undergoes Diels‐Alder reactions at high temperatures, enabling a two‐step safety mechanism: a warning phase at ≈100 °C and complete ...
Arnab Ghosh, Sunan Tian, Mingyang Zhang, Isaac Lorero Gómez, Qi Chen, Monsur Islam, Bhavika Bhatia, Silvia González Prolongo, Bimlesh Lochab, De‐Yi Wang   +9 more
wiley   +1 more source