Results 71 to 80 of about 235,856 (255)
Atomic Layer Deposition in Transistors and Monolithic 3D Integration
Advanced Functional Materials, EarlyView.Transistors are fundamental building blocks of modern electronics. This review summarizes recent progress in atomic layer deposition (ALD) for the synthesis of two‐dimensional (2D) metal oxides and transition‐metal dichalcogenides (TMDCs), with particular emphasis on their enabling role in monolithic three‐dimensional (M3D) integration for next ...
Yue Liu +5 more
wiley +1 more source
Learning from AI : new trends in database technology [PDF]
, 1985 Recently some researchers in the areas of database data modelling and knowledge representations in artificial intelligence have recognized that they share many common goals.
Bic, Lubomir, Gilbert, Jonathan P.
core +1 more source
Advanced Functional Materials, EarlyView.Charge transport in 2D tin perovskite FETs is shown to be governed by dielectric interface behavior. Polar polymer dielectrics induce dipolar disorder that localizes carriers, whereas nonpolar polymers suppress trapping and enable superior charge transport, ensuring stable and reliable transistor operation. ABSTRACT Understanding the role of interfaces
Chongyao Li +5 more
wiley +1 more source
A Review of Renaud Colson’s and Stewart Field’s ‘The Transformation of Criminal Justice: Comparing France with England and Wales’ [PDF]
, 2013 This material was first published by Sweet and Maxwell Limited in Dimitrios Giannoulopoulos 'A Review of Renaud Colson’s and Stewart Field’s ‘The Transformation of Criminal Justice: Comparing France with England and Wales', Criminal Law Review, 10, pp ...
Giannoulopoulos, D
core +1 more source
Semantic Decision Procedures for Some Relevant Logics
The Australasian Journal of Logic, 2003 This paper proves decidability of a range of weak relevant logics using decision procedures based on the Routley-Meyer semantics. Logics are categorized as F-logics, for those proved decidable using a filtration method, and U-logics, for those proved decidable using a direct (unfiltered) method. Both of these methods are set out as reductio methods, in
openaire +3 more sources
Unlocking Photodetection Mode Switching from a Simple Lateral Design
Advanced Functional Materials, EarlyView.A simple lateral 2D perovskite photodetector capable of switching among transient, continuous, and dual transient/continuous photoresponse modes is achieved by integrating photoconductive effects with capacitive coupling from the SiO2/Si substrate. Such light‐programmable photodetection mode switching enables triple‐channel information transmission and
Zijun (June) Yong +10 more
wiley +1 more source
Metalevel programming in robotics: Some issues [PDF]
Computing in robotics has two important requirements: efficiency and flexibility. Algorithms for robot actions are implemented usually in procedural languages such as VAL and AL.
Kumarn, A., Parameswaran, N.
core +1 more source
Laser‐Assisted Processing and Modification of Bioactive Glasses: A Review
Advanced Healthcare Materials, EarlyView.Laser technologies provide powerful tools to process and transform bioactive glasses for advanced biomedical applications. This review discusses laser‐matter interaction mechanisms, laser surface engineering, and laser‐assisted fabrication of scaffolds and nanofibers.
Antonio Riveiro +8 more
wiley +1 more source
Communication & Society (Formerly Comunicación y Sociedad), 2017 This paper is part of a research project that looks at how management of intangible assets can play a role to rebuild trust in the public sector. More specifically, it looks at legitimacy conceptualized as an intangible asset.
Carmen María Robles-López +1 more
doaj +1 more source
Clausal intuitionistic logic II. tableau proof procedures
The Journal of Logic Programming, 1988 This is the second part of a paper on clausal intuitionistic logic; while the first part [ibid. 5, No.1, 1-33 (1988; Zbl 0645.03006)] was devoted to model theory, the second one contains a thorough treatment of the proof theory. Contrary to Horn logic, where only rules of the form \(P\Rightarrow Q_ 1,...,Q_ n\) (P, \(Q_ i\) first order atoms) are ...
openaire +1 more source