Results 51 to 60 of about 349,803 (277)
Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2011 The problem of convergence of iterative procedure for clarification of coefficients of the finite-difference equation in numerical technique for determination of the differential operator parameters for the systems with turbulent friction is considered ...
V. E. Zoteev +2 more
doaj +3 more sources
Consensus Formation and Change are Enhanced by Neutrality
Advanced Science, EarlyView.Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag +3 more
wiley +1 more source
Automated theorem proving in elementary geometry
Le Matematiche, 1988 A survey of the main procedures for automatic theorem proving in geometry is presented.
Alfredo Ferro, Giovanni Gallo
doaj
Linearizing and Forecasting: A Reservoir Computing Route to Digital Twins of the Brain
Advanced Science, EarlyView.A new approach uses simple neural networks to create digital twins of brain activity, capturing how different patterns unfold over time. The method generates and recovers key dynamics even from noisy data. When applied to fMRI, it predicts brain signals and reveals distinctive activity patterns across regions and individuals, opening possibilities for ...
Gabriele Di Antonio +3 more
wiley +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Generating Integrally Indecomposable Newton Polygons with Arbitrary Many Vertices
Mathematics, 2022 In this paper we shall give another proof of a special case of Gao’s theorem for generating integrally indecomposable polygons in the sense of Minkowski.
Petar Ðapić +3 more
doaj +1 more source
Advanced Science, EarlyView.A deep comprehension of biomolecular phenomena at interfaces is significant with their fundamental and practical importance. Our experimental and theoretical investigations reveal that specific amino acids (glutamic acid and aspartic acid) exhibit an orientational coupling with liquid crystals, which can recognize and optically report the interfacial ...
Yena Choi +10 more
wiley +1 more source
Combining logical and distributional methods in type-logical grammars
Journal of Language Modelling, 2019 We propose a low-level way of combining distributional and logical ideas into a single formal system. This will be an instantiation of a more general system, adding weights to proof rules. These weights will not measure some sort of "confidence the proof
Richard Moot
doaj +1 more source
A theorem proving framework for the formal verification of Web Services Composition [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into ...
Petros Papapanagiotou +1 more
doaj +1 more source
ProofPeer - A Cloud-based Interactive Theorem Proving System [PDF]
, 2012 ProofPeer strives to be a system for cloud-based interactive theorem proving. After illustrating why such a system is needed, the paper presents some of the design challenges that ProofPeer needs to meet to succeed.
Obua, Steven
core +1 more source