English
Related papers

Related papers: Valuation theoretic and model theoretic aspects of…

200 papers

We review the methods based on expectation value coupled cluster formalism - a common framework for the derivation of properties: the ground-state average value of an observable, cumulants of the second-order reduced density matrices,…

Chemical Physics · Physics 2021-11-15 Aleksandra M. Tucholska , Robert Moszynski

In this paper, we study a bi-criterion framework for assessing scoring functions in the context of binary classification. The positive and negative predictive values (ppv and npv, respectively) are conditional probabilities of the true…

Machine Learning · Statistics 2020-07-13 Keshav Vemuri , Nathan Srebro

The aim of this paper is to show how free probability theory sheds light on spectral properties of deformed matricial models and provides a unified understanding of various asymptotic phenomena such as spectral measure description,…

Probability · Mathematics 2016-07-20 M Capitaine , C Donati-Martin

We investigate the class field theory for products of open curves over a local field. In particular, we determine the kernel of the reciprocity homomorphism.

Number Theory · Mathematics 2017-12-27 Toshiro Hiranouchi

It has been proposed to study the theory resulting from setting the gravitational constant to zero in the first order formalism for general relativity. In this letter we investigate this theory in the presence of matter fields, establish…

General Relativity and Quantum Cosmology · Physics 2009-10-31 N. Barros e Sa , I. Bengtsson

There are several equivalent characterizations of the valuation rank of an ordered or valued field. In this paper, we extend the theory to the case of an ordered or valued {\it difference} field (that is, ordered or valued field endowed…

Logic · Mathematics 2018-11-08 Salma Kuhlmann , Mickael Matusinski , Francoise Point

Varying coefficient models are useful in applications where the effect of the covariate might depend on some other covariate such as time or location. Various applications of these models often give rise to case-specific prior distributions…

Methodology · Statistics 2019-12-05 Maria Franco-Villoria , Massimo Ventrucci , Håvard Rue

In this paper we consider birational properties of ramification in excellent local rings. We extend earlier results of the author with Olivier Piltant to show that strong local monomialization is true along a valuation dominating a…

Algebraic Geometry · Mathematics 2016-12-05 Steven Dale Cutkosky

Qualitative research is an approach to understanding social phenomenon based around human interpretation of data, particularly text. Probabilistic topic modelling is a machine learning approach that is also based around the analysis of text…

Human-Computer Interaction · Computer Science 2022-10-04 Marco Gillies , Dhiraj Murthy , Harry Brenton , Rapheal Olaniyan

We extend the characterization of extremal valued fields given in \cite{[AKP]} to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that…

Logic · Mathematics 2016-07-12 Sylvy Anscombe , Franz-Viktor Kuhlmann

This work contains a set of lectures on defect structures, mainly in models described by scalar fields in diverse dimensions.

High Energy Physics - Theory · Physics 2007-05-23 Dionisio Bazeia

In this paper we discuss how the gauge principle can be applied to classical-mechanics models with finite degrees of freedom. The local invariance of a model is understood as its invariance under the action of a matrix Lie group of…

Mathematical Physics · Physics 2022-03-03 B. F. Rizzuti , G. F. Vasconcelos

This note aims to subsume several apparently unrelated models under a common framework. Several examples of well-known quantum field theories are listed which are connected via stochastic quantization. We highlight the fact that the…

High Energy Physics - Theory · Physics 2009-10-29 Robbert Dijkgraaf , Domenico Orlando , Susanne Reffert

This is Part II of the series of our papers under the title "Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program)". See http://arxiv.org/abs/math/0607009 for Part I.

Algebraic Geometry · Mathematics 2009-02-02 Hiraku Kawanoue , Kenji Matsuki

We investigate abstract model theoretic properties which holds for models in which a truth or satisfaction predicate for a sublanguage of the signature is definable. We analyse in which cases those properties in fact ensure the definability…

Logic · Mathematics 2023-04-04 Mateusz Łełyk , Bartosz Wcisło

We study groups, exponential groups and ordered groups equipped with valuations. We investigate algebraic and topological features of such valued structures, and apply our findings in order to solve regular equations over groups using…

Group Theory · Mathematics 2025-08-13 Vincent Bagayoko

A general framework for the connection between characteristic formulae and behavioral semantics is described in [2]. This approach does not suitably cover semantics defined by nested fixed points, such as the n-nested simulation semantics…

Logic in Computer Science · Computer Science 2012-02-17 Luca Aceto , Anna Ingólfsdóttir

In this paper we give a method, based on the characteristic function of a set, to solve some difficult problems of set theory in undergraduate research.

General Mathematics · Mathematics 2007-07-23 Mihaly Bencze , Florentin Smarandache

This text surveys different probabilistic aspects of a model which is used to describe the evolution of an object that falls apart randomly as time passes. Each point of view yields useful techniques to establish properties of such random…

Probability · Mathematics 2007-05-23 Jean Bertoin

The present status of Unified Theories is summarized with special emphasis on their possible experimental tests. Outline: i) Unification of couplings; ii) Where can a positive signal come from? iii) HERA anomaly and Unification; iv) Recent…

High Energy Physics - Phenomenology · Physics 2007-05-23 R. Barbieri