Results 51 to 60 of about 3,530,733 (315)
Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic [PDF]
, 2000 Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Goedel logic based on the truth value set [0,1].
Baaz, Matthias, Zach, Richard
core +4 more sources
Spin‐Selective Anisotropic Magnetoresistance Driven by Chirality in DNA
Advanced Functional Materials, EarlyView.It is shown that magnetoresistance (MR) measurements carried out as a function of angular dependence between the magnetic field and a chiral (DNA) interface provide a valuable new insight into the charge transport mechanism associated with the chiral‐induced spin selectivity (CISS) effect.
Tapan Kumar Das +4 more
wiley +1 more source
arXiv, 2015 Data science is gaining more and more and widespread attention, but no consensus viewpoint on what data science is has emerged. As a new science, its objects of study and scientific issues should not be covered by established sciences. Data in cyberspace have formed what we call datanature.
arxiv
CS 499/699: Logic for Computer Scientists [PDF]
, 2010 Logic is often called the Calculus of Computer Science. Indeed, logic permeates most areas of Computer Science in one way or the other, sometimes more prominently, and sometimes as motivational or formal underpinning.
Hitzler, Pascal
core +4 more sources
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 +3 more
wiley +1 more source
Science in Computational Sciences [PDF]
, 2012 The existing theory in relation to science presents the physics as an ideal, although many sciences not approach the same, so that the current philosophy of science-Theory of Science- is not much help when it comes to analyze the computer science, an ...
Jameson Cerrosen, Jia Pong
core
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 +5 more
wiley +1 more source
Introduction to linear logic and ludics, part II [PDF]
, 2004 This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently developped in an ...
Curien, Pierre-Louis
core +4 more sources
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 +11 more
wiley +1 more source
FAIR and Open Computer Science Research Software [PDF]
arXiv, 2019 In computational science and in computer science, research software is a central asset for research. Computational science is the application of computer science and software engineering principles to solving scientific problems, whereas computer science is the study of computer hardware and software design. The Open Science agenda holds that science
arxiv