Results 61 to 70 of about 53,090 (266)
Linear logic in computer science [PDF]
Journal of Applied Mathematics and Computational Mechanics, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
William Steingartner +3 more
openaire +3 more sources
Arthritis Care &Research, Accepted Article.Objectives This study synthesised the content and reporting completeness of published physical therapist‐led interventions for glenohumeral osteoarthritis (GHOA). Methods This systematic review undertook electronic database searches in PubMed, EMBASE, Cochrane, CINAHL and PEDro (until June 2025) for any peer‐reviewed articles/studies describing ...
Daha G Muhammad +5 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic +2 more
wiley +1 more source
Effective zero-dimensionality for computable metric spaces [PDF]
Logical Methods in Computer Science, 2015 We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent.
Robert Kenny
doaj +1 more source
Advanced Engineering Materials, EarlyView.This perspective reframes additive manufacturing for electrical machines as a qualification‐limited materials and architecture design problem. It links process–structure–property–performance relationships to magnetic, conducting, dielectric, and thermal property windows, highlighting where AM can enable segmented magnetic circuits, permanent magnet ...
Dénes Fodor, Loránd Szabó
wiley +1 more source
Computer Science, Logic, Informatics Education
J. Univers. Comput. Sci., 2006 JUCS - Journal of Universal Computer Science Volume Nr.
Varga,Katalin, Várterész,Magda
openaire +3 more sources
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 +11 more
wiley +1 more source
On noncommutative extensions of linear logic [PDF]
Logical Methods in Computer Science, 2019 Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Sergey Slavnov
doaj +1 more source
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 +8 more
wiley +1 more source
Tree-Automatic Well-Founded Trees [PDF]
Logical Methods in Computer Science, 2013 We investigate tree-automatic well-founded trees. Using Delhomme's decomposition technique for tree-automatic structures, we show that the (ordinal) rank of a tree-automatic well-founded tree is strictly below omega^omega.
Martin Huschenbett +3 more
doaj +1 more source