Results 31 to 40 of about 22,264 (219)
A Basic Result on the Superposition of Arrival Processes in Deterministic Networks
, 2018 Time-Sensitive Networking (TSN) and Deterministic Networking (DetNet) are emerging standards to enable deterministic, delay-critical communication in such networks. This naturally (re-)calls attention to the network calculus theory (NC), since a rich set
Jiang, Yuming
core +1 more source
Twin-waves propagation phenomena in magnetically-coupled structures [PDF]
, 2017 The use of magnetic dipoles embedding in an elastic support introduces long-range interaction forces. This is a completely new paradigm in structural mechanics, classically based on local short-range particle interaction.
Carcaterra, A. +4 more
core +1 more source
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses
EPiC Series in Computing, 2018 We describe an algorithm that generates prime implicates of equational clause sets without variables and function symbols. The procedure is based on constrained superposition rules, where constraints are used to store literals that are asserted as additional axioms (or hypotheses) during the proof search.
Sophie Tourret +2 more
openaire +2 more sources
Structural biology of ferritin nanocages
FEBS Letters, EarlyView.Ferritin is a conserved iron‐storage protein that sequesters iron as a ferric mineral core within a nanocage, protecting cells from oxidative damage and maintaining iron homeostasis. This review discusses ferritin biology, structure, and function, and highlights recent cryo‐EM studies revealing mechanisms of ferritinophagy, cellular iron uptake, and ...
Eloise Mastrangelo, Flavio Di Pisa
wiley +1 more source
Effect of Structural Parameter on Stiffness of Parallel Two-axis Straight Circular Flexible Hinge
Jixie chuandong, 2020 In order to deeply analyze the micro-displacement deformation performance of parallel two-axis straight circular flexure hinge，based on the assumption of small deformation of elastic beam，the bending theory of variable cross-section continuous beam and ...
Li Cheng +5 more
doaj
Automatic Decidability for Theories Modulo Integer Offsets [PDF]
, 2012 Many verification problems can be reduced to a satisfiability problem modulo theories. For building satisfiability procedures the rewriting-based approach uses a general calculus for equational reasoning named superposition.
Giorgetti, Alain +3 more
core +1 more source
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source
, 2010 One of the most annoying aspects in the formalization of mathematics is the need of transforming notions to match a given, existing result. This kind of transformations, often based on a conspicuous background knowledge in the given scientific domain ...
Asperti, Andrea, Tassi, Enrico
core +3 more sources
FEBS Letters, EarlyView.This study reveals a unique active site enriched in methionine residues and demonstrates that these residues play a critical role by stabilizing carbocation intermediates through novel sulfur–cation interactions. Structure‐guided mutagenesis further revealed variants with significantly altered product profiles, enhancing pseudopterosin formation. These
Marion Ringel +13 more
wiley +1 more source
Quantum Computation Based on Retarded and Advanced Propagation [PDF]
, 1997 Computation is currently seen as a forward propagator that evolves (retards) a completely defined initial vector into a corresponding final vector. Initial and final vectors map the (logical) input and output of a reversible Boolean network respectively,
Aharanov +32 more
core +3 more sources