Results 81 to 90 of about 751,168 (306)
CoRR, 2020 18 pages, to appear in Proceedings of 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
Samson Abramsky, Rui Soares Barbosa
openaire +4 more sources
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
Soft Mechanical‐Electrical Logic Using Liquid Metal‐Filled 3D‐Printed Architectures
Advanced Engineering Materials, EarlyView.We present 3D‐printed soft mechanical–electrical logic elements that use liquid metal–filled silicone tubes actuated by thermoplastic polyurethane/polylactic acid (TPU/PLA) architectures to produce Boolean operations. Complementary normally open and normally closed unit cells perform repeatable binary transitions and can be combined into more complex ...
Christoph Lehmann +2 more
wiley +1 more source
, 2007 The philosophical debate about quantum logic between the late 1960s and the early 1980s was generated mainly by Putnam's claims that quantum mechanics empirically motivates introducing a new form of logic, that such an empirically founded quantum logic ...
Bacciagaluppi, Guido
core
Games as mathematics of logic and computation [PDF]
, 2019 Mathematical logic and theoretical computer science are the mathematical studies of logic and computation, respectively, which largely correspond to each other notably by the Curry-Howard isomorphism.
Yamada, Norihiro
core +2 more sources
Advanced Engineering Materials, EarlyView.A reconfigurable logic‐in‐memory cell composed of triple‐gated feedback field‐effect transistors implements multiple combinational logic functions within a single configuration. By utilizing program gates as dynamic input terminals, the proposed cell performs full adder, full subtractor, 2‐to‐1 multiplexer, and 4‐to‐2 encoder operations without ...
Minhyeok Seol +5 more
wiley +1 more source
Trakhtenbrot Theorem and Fuzzy Logic [PDF]
, 1996 Trakhtenbrot theorem is shown to be valid for the three main fuzzy logics - Lukasiewicz, Gödel and product ...
Petr Hajek, Fuzzy Logic
core
CeBr3 gamma-ray logging probe qualification for uranium mining applications [PDF]
EPJ Web of ConferencesThe development and optimization of gamma-ray spectrometry tools are crucial for ORANO Mining and geophysical exploration. This study presents a comprehensive study on the ALT QL40-SGR-2G spectrometric probe, equipped with a cerium bromide (CeBr3 ...
Marchais Thomas +10 more
doaj +1 more source