Results 121 to 130 of about 751,168 (306)
Gate bias is used to cancel Duffing nonlinearity in atomically thin MoS2 drumhead resonators, switching their response from hardening to softening and creating a nearly linear operating point. This electrical control suppresses hysteresis, enables stronger linear drive, and improves signal‐to‐noise ratio, offering a practical route to stable 2D NEMS ...
Pengcheng Zhang +3 more
wiley +1 more source
The Logic of Consistency and the Logic of Truth
In “Truth and Probability” Ramsey claimed that the logic of consistency for probability is not a logic of truth. After supporting this claim, he proceeded to explore the possibilities for a logic of truth for probability. An examination of Ramsey's intent reveals that Ramsey was far from being an orthodox Bayesian when it comes to statistical reasoning.
openaire +1 more source
Monolithic UV‐ozone oxidation of Ta forms an ultrathin Ta2O5/TaOx bilayer enabling resistive switching with a vertical defect gradient. A stoichiometric surface layer over an oxygen‐deficient sublayer promotes localized filament nucleation near the top interface, enabling low‐voltage operation, and reduced cycle‐to‐cycle variability.
Seunghoon Yang +11 more
wiley +1 more source
Computation in Logic and Logic in Computation
Invited Conference Paper at the Institute for Advanced Studies in Basic Sciences, Gavazangh, Zanjan, Iran (http://www.universal-publishers.com/book.php?method=ISBN&book=161233623X)
openaire +2 more sources
Ambient‐Stable Transparent P‐Type CuI Transistors Via Room‐Temperature Pulsed Laser Deposition
An in situ PLD fabricated AlOx${\rm AlO}_x$/CuI/AlOx${\rm AlO}_x$ sandwich structure enables stable CuI TFTs with a field‐effect mobility of 2.3 ±$\pm$ 0.7 cm2${\rm cm}^{2}$ V−1${\rm V}^{-1}$ s−1${\rm s}^{-1}$ and excellent ambient stability. Complementary inverters based on CuI:Rb and ZnO:Al exhibit rail‐to‐rail voltage transfer characteristics and an
Yang Chen +5 more
wiley +1 more source
Higher-order computational logic [PDF]
This paper presents a case for the use of higher-order logic as a foundation for computational logic. A suitable polymorphically-typed, higher-order logic is introduced and its syntax and proof theory briefly described.
Lloyd, John
core
The design of intrinsically robust stretchable semiconducting polymers was achieved through OTBS‐mediated post‐functionalization of PDPP2T side chains with UPy units, generating dual hydrogen‐bonding motifs comprising weaker urethane linkages and strong quadruple UPy interactions along the long alkyl side chain, which is crucial for achieving desirable
Dinda Bazliah +7 more
wiley +1 more source
Logic and Interactive RAtionality. Yearbook 2009 [PDF]
Following a one-year tradition, this yearbook contains a selection of papers that have been presented and discussed during the year 2009 at the seminar formerly known as "Logics for Dynamics of Information and Preferences" and now called "Logic and ...
Grossi, D. +3 more
core
Ferroelectric nematic liquid crystals (FNLCs) offer fast, tunable polarization and low‐voltage operation but suffer from poor polarization retention at zero field. Semiconductor‐modified FNLCs enhance polarization retention and exhibit short‐ and long‐term electro‐optical responses, while also supporting spike‐type signal integrations.
Kutay Sagdic, Weiming Yao, Danqing Liu
wiley +1 more source
ePyDGGA: automatic configuration for fitting epidemic curves
Many epidemiological models and algorithms are used to fit the parameters of a given epidemic curve. On many occasions, fitting algorithms are interleaved with the actual epidemic models, which yields combinations of model-parameters that are hard to ...
Josep Alòs +5 more
doaj +1 more source

