Results 41 to 50 of about 235,856 (255)

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

Two type-theoretical approaches to privative modification [PDF]

, 2009
In this paper we apply two kinds of procedural semantics to the problem of privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a ...
Jespersen, Bjorn, Primiero, Giuseppe
core  

A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

International Journal of Foundations of Computer Science, 2004
In this paper, we propose a new resolution proof procedure for the branching-time logic programming language Cactus. The particular strength of the new proof procedure, called CSLD-resolution, is that it can handle, in a more general way, open-ended queries, i.e.
Gergatsoulis, M., Nomikos, C.
openaire   +2 more sources

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

Administrative disputes as an integral element of contemporary Russian legal system

Правоприменение, 2022
The subject. The article is devoted to the study of a wide variety of administrative disputes arising in the Russian legal system, but insufficiently studied by domestic administrative legal science.The purpose of the article is scientific substantiation
A. I. Stakhov, S. A. Porivaev
doaj   +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

ARGUMENTATION OF PROCEDURAL DOCUMENTS WITHIN THE FRAMEWORK OF THE CRIMINAL PROSECUTION [PDF]

Legea și Viața
This article is dedicated to the analysis of the role and importance of the argument of procedural acts in criminal proceedings. The article highlights the importance of persuasive argumentation and motivation of procedural acts in each phase of the ...
Sofia PILAT, Artiom PILAT
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, Max Gießübel, Pankaj Dharpure, Andrea Albert, Vira Niestierkina, Paul Mulvaney, Mukundan Thelakkat, Jürgen Köhler   +7 more
wiley   +1 more source

Transforming floundering into success

, 2012
We show how logic programs with "delays" can be transformed to programs without delays in a way which preserves information concerning floundering (also known as deadlock).
Apt, Boye, Codognet, Cortesi, LEE NAISH, Marriott, Marriott, Naish, Naish, Naish, Naish, Naish, Naish, Puebla, Shapiro, Somogyi   +15 more
core   +1 more source

The political economy of recasting the constitutional debate in Hong Kong [PDF]

, 2005
People obtain value, or gain utility, from procedures rather than merely from outcomes. Academic researchers are slowly and selectively coming to terms with this fact, but it is neither sufficiently nor widely appreciated by actors in Hong Kong's ...
Mushkat, M, Mushkat, R
core   +1 more source