Results 61 to 70 of about 61,671 (307)

Non-Elementary Complexities for Branching VASS, MELL, and Extensions

, 2014
We study the complexity of reachability problems on branching extensions of vector addition systems, which allows us to derive new non-elementary complexity bounds for fragments and variants of propositional linear logic.
Ranko Lazic, Lazić, Ranko, Sylvain Schmitz, Schmitz, Sylvain   +3 more
core   +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 Significance of Informal Logic for Philosophy

Informal Logic, 2000
Informal logic is a new sub-discipline of philosophy, roughly definable as the philosophy of argument. Contributors have challenged the traditional concept of an argument as a premiss-conclusion complex, in favour of speech-act, functional and dialogical
David Hitchcock
doaj   +1 more source

Discussion on Redundant Processing Algorithm of Association Rules Based on Hypergraph in Data Mining

Journal of Robotics, 2022
With the rapid advancement of big data, it is becoming a great problem for people to find objective information in the database. The relevance data processing rule for digging the information can be the way. Relevance data processing rule for digging the
Jintan Zhu
doaj   +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

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

RNA methylation in urological cancers: regulatory logic, biological functions, and clinical relevance

Frontiers in Immunology
Urological malignancies, including prostate, bladder, and renal cancers, remain a major clinical challenge because of tumor heterogeneity, disease progression, and therapeutic resistance.
Jiahao Peng, Chong Xie, Zhangmin Xie, Feng Tang, Zhiying Wang, Minhao Liu, Li Yu, Chenhao Tang, Ziyang Liu, Zuowei Yuan, Longwei Liao, Xinpan Zou, Xuran Liu, Mingyang Yi, Huangheng Tao, Wei Wei, Tao Liu, Yixiang Liao   +17 more
doaj   +1 more source

Deducibility Implies Relevance? A Negative Answer (II) (On the Philosophical Status of Relevant Logic)

Crítica, 2018
En la primera parte de este artículo (Crítica 43) expuse las tesis filosóficas del Entailment de Anderson y Belnap (en adelante citado mediante la abreviatura ‘A & B’), donde se sostiene que no puede haber deducción (en un sentido intuitivo de la ...
Raúl Orayen
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

The Relevance Properties of Core Logic

, 2017
Ironically Anderson and Belnap argue for the rejection of Disjunctive Syllogism by means of an argument that appears to employ it. We aim to establish a ‘variable-sharing’ result for Classical Core Logic that is stronger than any such result for any ...
Neil Tennant
core   +1 more source