Results 61 to 70 of about 973,083 (329)

Interaction between Molten Al‐Killed Mn–B Steel and Carbon‐Bonded MgO Refractories Based on Recyclates

Advanced Engineering Materials, EarlyView.
High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé, Lukas Neubert, Anton Yehorov, Till M. J. Stadtmüller, Christos G. Aneziris, Olena Volkova   +5 more
wiley   +1 more source

A Social Pragmatic View on the Concept of Normative Consistency [PDF]

, 2015
The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-
Žarnić, Berislav
core   +1 more source

A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data

Advanced Engineering Materials, EarlyView.
Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour, Prithwish Tarafder, Anton Wiberg, Huanyu Li, Johan Moverare, Patrick Lambrix   +5 more
wiley   +1 more source

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

The hardness of the iconic must: Can Peirce’s existential graphs assist modal epistemology? [PDF]

, 2009
The current of development in 20th century logic bypassed Peirce’s existential graphs, but recently much good work has been done by formal logicians excavating the graphs from Peirce’s manuscripts, regularizing them and demonstrating the soundness and ...
Legg, Catherine
core   +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 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

Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets

, 2010
In the context of strategic games, we provide an axiomatic proof of the statement Common knowledge of rationality implies that the players will choose only strategies that survive the iterated elimination of strictly dominated strategies.
A. Dawar, A. Tarski, B.D. Bernheim, B.L. Lipman, D. Kozen, K. Fine, K.R. Apt, K.R. Apt, M.J. Osborne, P. Battigalli, R. Fagin, R.J. Aumann   +11 more
core   +1 more source

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +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, Max Gießübel, Pankaj Dharpure, Andrea Albert, Vira Niestierkina, Paul Mulvaney, Mukundan Thelakkat, Jürgen Köhler   +7 more
wiley   +1 more source