Results 41 to 50 of about 545,179 (279)
Planar Solid‐State Nanopores Toward Scalable Nanofluidic Integration Based on CMOS Technology
Advanced Engineering Materials, EarlyView.We present a scalable silicon‐based fabrication strategy for planar solid‐state nanopores to enable their integration with complex nanofluidic systems. Prototype devices demonstrate normal voltage‐current characteristics, good noise performance, and appreciable streaming currents. Our CMOS‐compatible fabrication process offers precise geometric control
Ngan Hoang Pham +7 more
wiley +1 more source
Developing an ontology of mathematical logic [PDF]
, 2010 An ontology provides a mechanism to formally represent a body of knowledge. Ontologies are one of the key technologies supporting the Semantic Web and the desire to add meaning to the information available on the World Wide Web.
Boyatt, Russell, Joy, Mike
core
Discussing a teacher MKT and its role on teacher practice when exploring data analysis [PDF]
, 2012 This article considers teacher knowledge in managing mathematically critical situations and the role of what can be termed a mathematical summary in the analysis of a teaching episode, viewed from the perspective of Mathematical Knowledge for Teaching ...
Carrillo, José, Ribeiro, Carlos Miguel
core +3 more sources
Unlocking Photodetection Mode Switching from a Simple Lateral Design
Advanced Functional Materials, EarlyView.A simple lateral 2D perovskite photodetector capable of switching among transient, continuous, and dual transient/continuous photoresponse modes is achieved by integrating photoconductive effects with capacitive coupling from the SiO2/Si substrate. Such light‐programmable photodetection mode switching enables triple‐channel information transmission and
Zijun (June) Yong +10 more
wiley +1 more source
From Logical Calculus to Logical Formality—What Kant Did with Euler’s Circles [PDF]
, 2017 John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment ...
Lu-Adler, Huaping
core
Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union [PDF]
, 2019 K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician ...
Kilakos, Dimitris
core +2 more sources
Light‐Induced Entropy for Secure Vision
Advanced Materials, EarlyView.This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo +9 more
wiley +1 more source
Measures and Stability in a Model, revisited
Қарағанды университетінің хабаршысы. Математика сериясыThis article is written in honor of the 8th Kazakh–French Logical Colloquium. We expand on an unpublished research note of the second author. We record some results concerning local Keisler measures with respect to a formula which is stable in a model ...
C.M.B.J. D’Elb´ee, K.A.C. Gannon
doaj +1 more source
Methodos, 2009 What is the path in Husserl that takes us from formal to transcendental logic? Does it follow Kant’s course from “general logic” to “transcendental logic”, or does the mathematical character of modern logic divest it of the possibility of serving as a ...
James Dodd
doaj +1 more source
Iterated reflection principles over full disquotational truth [PDF]
, 2017 Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth.
Fischer, Martin +2 more
core +3 more sources