Results 71 to 80 of about 2,196,068 (340)

Cognitive-evolutionary theory of language: justification

Когниция, коммуникация, дискурс, 2023
This article is devoted to substantiating the cognitive-evolutionary theory of language within the framework of cognitive linguistics. The main principle of cognitive linguistics, “explanation,” serves as the foundation for this theory. It is argued that
Sergiy Popov
doaj   +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

Explicit substitions and all that

Revista Colombiana de Computación, 2000
Explicit substitution calculi are extensions of the calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic based tools as strongly typed programming ...
Mauricio Ayala Rincón, César Muñoz
doaj  

Proof Nets and the Linear Substitution Calculus [PDF]

International Colloquium on Theoretical Aspects of Computing, 2018
Since the very beginning of the theory of linear logic it is known how to represent the \(\lambda \)-calculus as linear logic proof nets. The two systems however have different granularities, in particular proof nets have an explicit notion of sharing ...
Beniamino Accattoli
semanticscholar   +1 more source

Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
2D halide perovskites are promising candidates for field‐effect transistor (FET) applications due to their high stability and suppressed ion migration in the presence of bulky organic spacers. This review systematically summarizes the optimization engineering strategies of 2D perovskite FETs and future challenges, which provide guidance for developing ...
Shuanglong Wang, Zhitian Ling, Paul W. M. Blom, Tomasz Marszalek, Wojciech Pisula   +4 more
wiley   +1 more source

Explicit substitutions and all that [PDF]

, 2004
Explicit substitution calculi are extensions of the λ-calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic based tools as strongly typed programming ...
Ayala Rincón, Mauricio, Muñoz, César
core  

On a Logical Foundation for Explicit Substitutions [PDF]

, 2007
Traditionally, calculi of explicit substitution [1] have been conceived as an implementation technique for β-reduction and studied with the tools of rewriting theory. This computational view has been extremely fruitful (see [2] for a recent survey) and raises the question if there may also be a more abstract underlying logical foundation.
openaire   +2 more sources

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

Cache vs. Key-Dependency: Side Channeling an Implementation of Pilsung

Transactions on Cryptographic Hardware and Embedded Systems, 2019
Over the past two decades, cache attacks have been identified as a threat to the security of cipher implementations. These attacks recover secret information by combining observations of the victim cache accesses with the knowledge of the internal ...
Daniel Genkin, Romain Poussier, Rui Qi Sim, Yuval Yarom, Yuanjing Zhao   +4 more
doaj   +1 more source

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