Results 41 to 50 of about 11,569 (296)
A powerful electronic control system enables a dielectric elastomer pump to operate at resonance, matching conventional pump performance. Using self‐sensing to reconstruct load pressure dynamically, the adaptive control adjusts resonance frequency accordingly.
Matthias Baltes+3 more
wiley +1 more source
Combination of temporal logic with modal logic KD
There is not abstract.
Regimantas Pliuškevičius
doaj +1 more source
Carbon Nanotube 3D Integrated Circuits: From Design to Applications
As Moore's law approaches its physical limits, carbon nanotube (CNT) 3D integrated circuits (ICs) emerge as a promising alternative due to the miniaturization, high mobility, and low power consumption. CNT 3D ICs in optoelectronics, memory, and monolithic ICs are reviewed while addressing challenges in fabrication, design, and integration.
Han‐Yang Liu+3 more
wiley +1 more source
KLAIM is an experimental programming language that supports a programming paradigm where both processes and data can be moved across different computing environments. The language relies on the use of explicit localities, and on allocation environments that associate logical localities to physical sites.
DE NICOLA, ROCCO, LORETI, MICHELE
openaire +5 more sources
Low‐dimensional halide perovskite thin films, (BA)2(MA)n‐1PbnBr3n+1 (n = 1, 2), exhibit both semiconducting and ferroelectric properties, enabling mechanical and light energy harvesting. Using Cr/Cr₂O₃ or PCBM as barrier layers ensures reproducible ferroelectricity.
Raja Sekhar Muddam+8 more
wiley +1 more source
In Hintikka's philosophy the notion of analyticity occupies a special place (e.g., [Hintikka 1973], [Hintikka 2007]); in particular, the Finnish thinker distinguishes two notions of analyticity—one based on the concept of information, the other on the ...
Francesca Poggiolesi
doaj +1 more source
A Modal Logic of Supervenience [PDF]
29 ...
openaire +3 more sources
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+5 more
wiley +1 more source
Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses
We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj +1 more source
Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors
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+4 more
wiley +1 more source