Results 81 to 90 of about 8,631,344 (363)
Induction without Probabilities [PDF]
, 2007 A simple indeterministic system is displayed and it is urged that we cannot responsibly infer inductively over it if we presume that the probability calculus is the appropriate logic of induction.
Norton, John D
core
Ìнформаційні технології в освіті, 2008 Sinko Yuri. “The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies”. In the article the speech goes about implementation of new information technologies in process
Y. I. Sinko
doaj
Constructive Type Theory and the Dialogical Approach to Meaning
The Baltic International Yearbook of Cognition, Logic and Communication, 2013 In its origins Dialogical logic constituted one part of a new movement called the Erlangen School or Erlangen Constructivism. Its goal was to provide a new start to a general theory of language and of science.
Shahid Rahman, Nicolas Clerbout
doaj +1 more source
Universal fault-tolerant quantum computing with stabilizer codes
Physical Review Research, 2022 The quantum logic gates used in the design of a quantum computer should be both universal, meaning arbitrary quantum computations can be performed, and fault-tolerant, meaning the gates keep errors from cascading out of control.
Paul Webster +3 more
doaj +1 more source
Advanced Functional Materials, EarlyView.Hybrid nanogenerator (HNG) based on a zinc‐metal‐organic framework‐loaded fibrous film integrated with a hierarchically modified nylon film having micropatterns and micropores is fabricated via an electrospinning technique, and its electrical properties are optimized. The HNGs are incorporated into wearable garments and automobile systems for practical
Sontyana Adonijah Graham +6 more
wiley +1 more source
Modular Labelled Sequent Calculi for Abstract Separation Logics
, 2017 separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" because they are independent of any particular concrete resource model.
Clouston, Ranald +3 more
core +1 more source
Studia Semiotyczne, 2020 DOI: http://doi.org/10.26333/stsen.xxxi.01 In the paper, I have presented a portrait of Jerzy Pelc as a teacher. He followed in the footsteps of Kazimierz Twardowski and his direct disciples and tried to develop his students’ skills of critical ...
doaj
Extensional Semantics for Higher-Order Logic Programs with Negation [PDF]
Logical Methods in Computer Science, 2018 We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order programs.
Panos Rondogiannis, Ioanna Symeonidou
doaj +1 more source
Demonstration of an All‐Optical AND Gate Mediated by Photochromic Molecules
Advanced Functional Materials, EarlyView.A logic AND gate that runs on photons is demonstrated. It relies on two spatially separated photochromic molecules that work in tandem. Abstract The realization of a photonic logic AND gate, i.e. a logic AND gate that runs on photons rather than electrons, and where all steps are controlled by light, is demonstrated. In a proof‐of‐principle experiment,
Heyou Zhang +7 more
wiley +1 more source
Double Helical Plasmonic Antennas
Advanced Functional Materials, EarlyView.Plasmonic double helical antennas funnel circularly polarized light to the nanoscale, offering strong chiroptical interaction and directional light emission. Extending a single helix design tool, this study combines numerical modeling with experimental validation, revealing large, broadband dissymmetry factors in the visible range.
Aleksei Tsarapkin +7 more
wiley +1 more source