Results 51 to 60 of about 45,065 (245)

Resolution methods in proving the program correctness [PDF]

Yugoslav Journal of Operations Research, 2007
Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas represents
Markoski Branko, Hotomski Petar, Malbaški Dušan, Obradović Danilo   +3 more
doaj   +1 more source

Biointerfacing with AgBiS2 Quantum Dots for Pseudocapacitive Photostimulation

Advanced Functional Materials, EarlyView.
It is demonstrated that AgBiS2 quantum dots exhibit unique photoinduced pseudocapacitive charge transfer properties, enabling efficient light‐to‐electrical energy conversion. These quantum dots facilitate enhanced light absorption and transduction when integrated with ZnO nanowires, which serve as an effective charge transport medium.
Ridvan Balamur, Tarik Safa Kaya, Selin Sariyer, Hümeyra Nur Kaleli, Asim Onal, Ugur Berkay Caliskan, Murat Hasanreisoğlu, Rezan Demir‐Cakan, Sedat Nizamoglu   +8 more
wiley   +1 more source

The Significance of Informal Logic for Philosophy

Informal Logic, 2000
Informal logic is a new sub-discipline of philosophy, roughly definable as the philosophy of argument. Contributors have challenged the traditional concept of an argument as a premiss-conclusion complex, in favour of speech-act, functional and dialogical
David Hitchcock
doaj   +1 more source

Gate‐Tunable Hole Transport in In‐Plane Ge Nanowires by V‐Groove Confined Selective Epitaxy

Advanced Functional Materials, EarlyView.
Ge nanowires are promising for hole spin‐based quantum processors, requiring direct integration onto Si wafers. This work introduces V‐groove‐confined selective epitaxy for in‐plane nanowire growth on Si. Structural and low‐temperature transport measurements confirm their high crystalline quality, gate‐tunable hole densities, and mobility.
Santhanu Panikar Ramanandan, Alban Morelle, Michele Masseroni, Shelly Ben‐David, Sara Martí‐Sánchez, Victor Boureau, Alok Rudra, Thomas Ihn, Jordi Arbiol, W. Craig Carter, Klaus Ensslin, Anna Fontcuberta i Morral   +11 more
wiley   +1 more source

A Resolution Method for Modal Logic S5

EPiC Series in Computing, 2018
The aim of this work is to define a resolution method for the modal logic S5. Wefirst propose a conjunctive normal form (S5-CNF) which is mainly based on using labelsreferring to semantic worlds. In a sense, S5-CNF can be seen as a generalization of theconjunctive normal form in propositional logic by using in the clause structure the modalconnective ...
Salhi, Yakoub, Sioutis, Michael
openaire   +5 more sources

Carbon Nanotube 3D Integrated Circuits: From Design to Applications

Advanced Functional Materials, EarlyView.
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, Yun Sun, Dong‐Ming Sun, Hui‐Ming Cheng   +3 more
wiley   +1 more source

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

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

Deterministic Writing of Field‐Free and Unipolar Spin‐Transfer Torque Magnetic Random‐Access Memory

Advanced Functional Materials, EarlyView.
Deterministic unipolar‐switching STT‐MRAM with field‐free operation is experimentally demonstrated. The device features a compact 4F2 cell architecture using a diode as the access device and a single magnetic tunneling junction. Unlike conventional bipolar switching STT‐MRAM requiring a three‐terminal access transistor in the array, this design offers ...
Ming‐Chun Hong, Ching Shih, Guan‐Long Chen, Yu‐Chen Hsin, Chen‐Yu Yang, Hsin‐Han Lee, Kuan‐Ming Chen, Yu‐Ho Kao, Tsai‐Yu Wu, Chiao‐Yun Lo, Sin‐You Huang, Cheng‐Yi Shih, Shan‐Yi Yang, I‐Jung Wang, Yao‐Jen Chang, Shih‐Ching Chiu, Yi‐Hui Su, Chih‐Yao Wang, Jeng‐Hua Wei, Shyh‐Shyuan Sheu, Wei‐Chung Lo, Shih‐Chieh Chang, Tuo‐Hung Hou   +22 more
wiley   +1 more source

Very High Resolution Satellite Image Classification Using Fuzzy Rule-Based Systems

Algorithms, 2013
The aim of this research is to present a detailed step-by-step method for classification of very high resolution urban satellite images (VHRSI) into specific classes such as road, building, vegetation, etc., using fuzzy logic. In this study, object-based
Yun Zhang, Shabnam Jabari
doaj   +1 more source