Results 21 to 30 of about 3,500,861 (360)
Spin and charge drift-diffusion in ultra-scaled MRAM cells
Scientific Reports, 2022 Designing advanced single-digit shape-anisotropy MRAM cells requires an accurate evaluation of spin currents and torques in magnetic tunnel junctions (MTJs) with elongated free and reference layers.
Simone Fiorentini +6 more
doaj +1 more source
Informal Logic referees 2011-2012
Informal Logic, 2013 The Editors express their gratitude and appreciation to the indi-viduals listed below who served as referees for Informal Logic for Volumes 31 (2011) and 32 (2012).
Informal Logic Editors
doaj +3 more sources
Local logics, non-monotonicity and defeasible argumentation [PDF]
, 2004 In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M.
Bodanza, Gustavo Adrian +1 more
core +1 more source
, 2009 It is shown that quantum logic is a logic in the very same way in which classical logic is a logic. Soundness and completeness of both quantum and classical logics have been proved for novel lattice models that are not orthomodular and therefore cannot be distributive either - as opposed to the standard lattice models that are orthomodular and ...
Norman D. Megill, Mladen Pavicic
openaire +3 more sources
Choreographies, Logically [PDF]
Distributed Computing, 2014 In Choreographic Programming, a distributed system is programmed by giving a choreography, a global description of its interactions, instead of separately specifying the behaviour of each of its processes. Process implementations in terms of a distributed language can then be automatically projected from a choreography.
Marco Carbone +2 more
openaire +7 more sources
Interconnected magnetic tunnel junctions for spin-logic applications
AIP Advances, 2018 With the rapid progress of spintronic devices, spin-logic concepts hold promises of energy-delay conscious computation for efficient logic gate operations.
Mauricio Manfrini +18 more
doaj +1 more source
Complexity of validity for propositional dependence logics
, 2014 We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete.
Virtema, Jonni
core +2 more sources
Axiomatization of a Basic Logic of Logical Bilattices [PDF]
, 2016 A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical ...
Takano, Mitio
core +1 more source
Systematic profiling of cancer‐fibroblast interactions reveals drug combinations in ovarian cancer
Molecular Oncology, EarlyView.Fibroblasts, cells in the tumor environment, support ovarian cancer cell growth and alter morphology and drug response. We used fibroblast and cancer cell co‐culture models to test 528 drugs and discovered new drugs for combination treatment. We showed that adding Vorinostat or Birinapant to standard chemotherapy may improve drug response, suggesting ...
Greta Gudoityte +10 more
wiley +1 more source
The Court Tradition of Japan in Konjaku Monogatarishū
Ежегодник Япония, 2023 Among the literary works of the Heian era (late 8th – 12th centuries), Tales of Times Now Past (Konjaku Monogatarishū, 1120s) is notable for covering a much broader range of characters than kagami historical texts, monogatari tales, early gunki ...
N. N. Trubnikova, M. S. Kolyada
doaj +1 more source