5,270 Hits in 6.3 sec

Logical approximation II

M. Daňková, I. Perfilieva
2003 Soft Computing - A Fusion of Foundations, Methodologies and Applications  
The paper continues a study of extensional formulas and their representation by normal forms.  ...  It has been proved that extensional formulas can be represented by normal forms of infinite type and "approximated" by normal forms of finite type.  ...  This paper is a contribution to this investigation. Let us discuss the construction of normal forms and its connection with similarity.  ... 
doi:10.1007/s00500-002-0209-3 fatcat:eq5dlwse7fhptca5ox56p324uu

Newsletter on computational and applied mathematics

1994 Journal of Computational and Applied Mathematics  
Nichols (University of Reading). Topics: The conference aims to cover the latest developments in numerical linear algebra, matrix theory and applications of linear algebra.  ...  The normal form reduction used in the construction of a Grijbner basis can be regarded as one of the components of term rewriting algorithms.  ...  The aim of the conference is to celebrate the many contributions of Ake Bjorck to numerical analysis.  ... 
doi:10.1016/0377-0427(94)90095-7 fatcat:332ekfhcgjdn3hm3wuj37tbwdy

An algorithm for U-Pb isotope dilution data reduction and uncertainty propagation

N. M. McLean, J. F. Bowring, S. A. Bowring
2011 Geochemistry Geophysics Geosystems  
The manuscript benefitted from insightful comments by Blair Schoene and Dan Condon and helpful formal reviews from Mark Schmitz and Don Davis.  ...  Acknowledgments [143] This research was made possible by grants EAR-0746205 and EAR-0930166 from the National Science Foundation.  ...  functions in the neighborhood of their observed value by their derivative, and uses the observed values and uncertainties, assumed to be normally distributed, to find the maximum likelihood estimate of  ... 
doi:10.1029/2010gc003478 fatcat:aqobcmrnnnfppne64irt5m3ury

Critical relaxation and the combined effects of spatial and temporal boundaries

Marcuzzi, Gambassi
2014 Condensed Matter Physics  
We determine the short-distance behaviour of its response function within a perturbative approach which does not rely on any a priori assumption on the scaling form of this quantity.  ...  For this purpose, we consider a semi-infinite model with O(n)-symmetry and purely dissipative dynamics which is prepared in a disordered state and then suddenly quenched to its critical temperature.  ...  The results of reference [5] are in agreement with such predictions and, therefore, constitute evidence of the existence of the edge modifications to the scaling laws discussed above.  ... 
doi:10.5488/cmp.17.33603 fatcat:issc6hvojbbfdexngr5xhgmyey

Gross separation approaching a blunt trailing edge as the turbulence intensity increases

B. Scheichl
2014 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
More precisely, by the homogeneity of the equations (4.5), their solutions are, in general, composed of a regular and an irregular contribution.  ...  Let the natural coordinates s, n pointing along and normal from the contour of the body, respectively, and having their origin in its leading edge (front stagnation or branching point of the flow) be non-dimensional  ... 
doi:10.1098/rsta.2014.0001 pmid:24936020 fatcat:55n66ffzrna3vhoemhygzvbmhi

Electroweak baryogenesis at high wall velocities [article]

James M. Cline, Kimmo Kainulainen
2020 arXiv   pre-print
We also make a systematic and critical comparison of our improved transport equations to another one commonly used in the literature, based on the VEV-insertion formalism.  ...  We show that the suppression of the baryon asymmetry is a smooth function of the wall speed and that there is no special behavior when crossing the sound speed barrier.  ...  Postma and S. Tulin for useful correspondence. This work was supported by the Academy of Finland grant 318319 and NSERC (Natural Sciences and Engineering Research Council, Canada).  ... 
arXiv:2001.00568v1 fatcat:cid6hvxs5zektpfks2lq53ucwq

Lie groups in nonequilibrium thermodynamics: Geometric structure behind viscoplasticity

Hans Christian Öttinger
2010 Journal of Non-Newtonian Fluid Mechanics  
This mathematical structure is deeply linked to Lie groups and their Lie algebras.  ...  Poisson brackets provide the mathematical structure required to identify the reversible contribution to dynamic phenomena in nonequilibrium thermodynamics.  ...  After discussing the conformational contributions to the energy and entropy in terms of p Z Z , we need to calculate their functional derivatives.  ... 
doi:10.1016/j.jnnfm.2010.02.009 fatcat:5a23kidfkrehnm6fvla22rtnma

Reflection of internal gravity waves in the form of quasi-axisymmetric beams [article]

Roberta Bianchini
2022 arXiv   pre-print
More precisely, we construct a consistent and Lyapunov stable approximate solution, L^2 -close to the Leray solution, in the form of a beam wave.  ...  We establish a rigorous analysis of this phenomenon in two space dimensions, by providing an explicit description of the form of the leading approximation of the unique Leray solution to the near-critical  ...  Some computations in Section 5.1 have been realized, in the framework of plane waves, when RB was holding a postdoc position under the mentorship of A.-L. Dalibard and L.  ... 
arXiv:2205.06074v2 fatcat:v4d4zpxsgvgmtga4mudf3pntra

Big Bang, Blowup, and Modular Curves: Algebraic Geometry in Cosmology

Yuri I. Manin
2014 Symmetry, Integrability and Geometry: Methods and Applications  
We introduce some algebraic geometric models in cosmology related to the "boundaries" of space-time: Big Bang, Mixmaster Universe, Penrose's crossovers between aeons.  ...  Penrose's idea to see the Big Bang as a sign of crossover from "the end of previous aeon" of the expanding and cooling Universe to the "beginning of the next aeon" is interpreted as an identification of  ...  Y restricted to the complement X \(bl Y ) −1 (Y ) defines its isomorphism with the initial complement X \ Y , whereas (bl Y ) −1 (Y ) is the projectivized normal bundle to Y in X, which bl Y projects to  ... 
doi:10.3842/sigma.2014.073 fatcat:55o7fxwg5bhabicza6vbz6tnje

A Feller Transition Kernel with Measure Supports Given by a Set-Valued Mapping

S. N. Smirnov
2020 Proceedings of the Steklov Institute of Mathematics  
Assume that X is a topological space and Y is a separable metric space. Let these spaces be equipped with Borel σ-algebras B X and B Y  ...  ACKNOWLEDGMENTS The author is indebted to V. I. Tarieladze for discussions and to an anonymous referee for valuable comments that contributed to a substantially improved presentation of the paper.  ...  and the normed vector space M(Y ) of charges (alternating measures) on the space Y with Borel σ-algebra B Y equipped with the Dudley norm 11 μ D = sup f dμ : f BL ≤ 1 .  ... 
doi:10.1134/s0081543820020157 fatcat:ieneoi5qt5e37ad6xy5iylemuq

The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices [article]

Gershom Bazerman, Raymond Puzio
2020 arXiv   pre-print
This paper is motivated by the desire to study package management using the toolkit of the semantics of functional languages.  ...  This work makes a number of related contributions.  ...  disjunctive normal form, and modulo appropriate relations.  ... 
arXiv:2004.05688v1 fatcat:cqtel7s6bzeivage4c2nqvnm3e

Electronic energies from coupled fermionic 'Zombie' states imaginary time evolution [article]

Oliver A. Bramley, Timothy J. H. Hele, Dmitrii V. Shalashilin
2022 arXiv   pre-print
In this work we extend and build on this formalism by developing efficient algorithms for evaluating the Hamiltonian and other operators between Zombie States and address their normalization.  ...  and its ground state and describe a technique of wave function "cleaning" which removes the contributions of configurations with the wrong number of electrons, improving the accuracy further.  ...  ACKNOWLEDGEMENTS The authors would like to thank George Booth for discussions on PySCF and Dmitry Makhov for help with Molpro. The support of EPSRC via the Grant No. EP/P021123/1 is acknowledged.  ... 
arXiv:2202.01539v1 fatcat:7leqp33j5jdybe7q63tdldudpq

Experimentally Assisted Modelling of the Behaviour of Steel Angle Brace

A. M. Barszcz
2014 Archives of Civil Engineering  
They are used for the validation of developed model. Conclusions are formulated with reference to the application of validated brace model in the analysis of braced steel frameworks.  ...  A strut model takes into consideration the effect of brace end connections and softening effect of its force-deformation characteristic.  ...  Acknowledgements Investigations were carried out within the fi nancial support provided by the Ministry of Science and Higher Education within statutory grants of the Faculty of Civil Engi-  ... 
doi:10.2478/ace-2014-0001 fatcat:ktpukebujzfdlftrg42oohh6m4

Reasoning about mathematical fuzzy logic and its future

Vilém Novák
2012 Fuzzy sets and systems (Print)  
Our goal is to think of the state of the art in mathematical fuzzy logic (MFL) and to outline some of the tasks on which, in the author's opinion, MFL should focus in the future.  ...  of the phenomenon of vagueness, and as a reasonable tool for developing models of linguistic semantics.  ...  The main outcome of this approach is the well founded and nicely working approximation of functions that are specified imprecisely (we speak of the fuzzy approximation of functions).  ... 
doi:10.1016/j.fss.2010.09.019 fatcat:rfwjsjroibecfpegdw2cmxjufy

On the algebraic approximation of functions. I

John Coates
1966 Indagationes Mathematicae (Proceedings)  
Some fifty years later, Mahler, in his paper "Zur Approximation der Exponentialfunktion und des Logarithm", returned to Hermite's two types of algebraic approximation of the exponential function.  ...  In a later paper [4], HERMITE introduced a second type of algebraic approximation of the exponential function, by constructing a second system of m polynomials of degrees equal to (Jt-1, !?  ...  As a contribution to this problem, I prove that the local notion of normality always implies certain global properties (see the Normality Zigzag Theorem in part V).  ... 
doi:10.1016/s1385-7258(66)50049-x fatcat:abnvuxpy4be6zoo367qa5jdgfq
« Previous Showing results 1 — 15 out of 5,270 results