Results 81 to 90 of about 2,584,296 (324)

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, Ryan Kalgreen, Laura M. Comella   +2 more
wiley   +1 more source

Evaluation of creative project production performance in mathematical logic and computational thinking skills among gifted high school students

Acta Psychologica
This study examines the experiences of gifted high school students in transforming mathematical logic knowledge and skills into creative project productivity and computational thinking skills (CTS) through their logic-based project productions.
Gülnur Özbek, Gökhan Karaaslan, Ecem Karabulut   +2 more
doaj   +1 more source

The pointer assertion logic engine

ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2000
We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants. Our technique can verify a large class of data structures, namely all those that can be expressed as
Anders Møller, M. I. Schwartzbach
semanticscholar   +1 more source

Reconfigurable Logic‐in‐Memory Operations Enabled by Triple‐Gated Feedback Field‐Effect Transistors for Area‐Efficient Computing

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, Yunwoo Shin, Donghyung Lee, Dongki Kim, Kyoungah Cho, Sangsig Kim   +5 more
wiley   +1 more source

Temporal Landscapes: A Graphical Temporal Logic for Reasoning

, 2019
We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is similar to the usual first-order logic; what differs is the notion of truth ...
Fong, Brendan, Speranzon, Alberto, Spivak, David I.   +2 more
core  

Fuzzy Machine Learning Applications in Environmental Engineering: Does the Ability to Deal with Uncertainty Really Matter?

Sustainability
Statement of Problem: Environmental engineering confronts complex challenges characterized by significant uncertainties. Traditional modeling methods often fail to effectively address these uncertainties.
Adriano Bressane, Ana Júlia da Silva Garcia, M. Castro, Stefano Donatelli Xerfan, G. Ruas, R. Negri   +5 more
semanticscholar   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Evaluation of the Quality of the Entrepreneurial Environment on the Basis of Fuzzy Logic

Littera Scripta, 2016
Investor’s risk involves both economicand non-economic factors, which are evaluated by ratingsagencies.Within this context, estimates are calculated of the percentage value of the qualityof theentrepreneurial environment”p“ for ...
Simona Hašková
doaj  

Paradox

, 2006
Excerpt: ‘Paradox’ is derived from two words that literally mean against opinion. The Oxford English Dictionary (1989; vol. 11, p. 185) identifies several meanings for ‘paradox’.
Bufford, Rodger K.
core