Results 21 to 30 of about 108,835 (244)
An application of symbolic computation in the physical sciences [PDF]
Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94, 1994 An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a significant expansion of the range problems that can be solved. Since most interesting problems in the physical sciences eventually require the numerical solution of systems ...
openaire +1 more source
Nested (inverse) binomial sums and new iterated integrals for massive Feynman diagrams [PDF]
, 2014 Nested sums containing binomial coefficients occur in the computation of massive operator matrix elements. Their associated iterated integrals lead to alphabets including radicals, for which we determined a suitable basis.
Ablinger, Jakob +3 more
core +1 more source
Different Approaches to Proof Systems [PDF]
, 2010 The classical approach to proof complexity perceives proof systems as deterministic, uniform, surjective, polynomial-time computable functions that map strings to (propositional) tautologies. This approach has been intensively studied since the late 70’s
Beyersdorff, O, Mueller, S
core +1 more source
Inference of termination conditions for numerical loops in Prolog [PDF]
, 2003 We present a new approach to termination analysis of numerical computations in logic programs. Traditional approaches fail to analyse them due to non well-foundedness of the integers. We present a technique that allows overcoming these difficulties.
Alexander Serebrenik +5 more
core +8 more sources
Applying Formal Methods to Networking: Theory, Techniques and Applications [PDF]
, 2013 Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today.
Hasan, Osman, Qadir, Junaid
core +1 more source
Approximately bisimilar symbolic models for nonlinear control systems [PDF]
, 2007 Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs.
Girard, Antoine +2 more
core +5 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
Integrating multiple sources to answer questions in Algebraic Topology
, 2010 We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and deduction ...
Heras, Jonathan +3 more
core +1 more source
The ubiquitin ligase RNF115 is required for the clearance of damaged lysosomes
FEBS Letters, EarlyView.Upon lysosomal rupture, an E3 ubiquitin ligase RNF115 translocates from the cytosol to the damaged lysosomal membrane. Moreover, RNF115 depletion impairs the clearance of damaged lysosomes, identifying it as a key regulator of lysosomal quality control.
Sae Nakanaga +3 more
wiley +1 more source
Ancient Symbols, Computational Linguistics, and the Reviewing Practices of the General Science Journals [PDF]
Computational Linguistics, 2010 Few archaeological finds are as evocative as artifacts inscribed with symbols. Whenever an archaeologist finds a potsherd or a seal impression that seems to have symbols scratched or impressed on the surface, it is natural to want to “read” the symbols. And if the symbols come from an undeciphered or previously unknown symbol system it is common to ask
openaire +2 more sources