Results 41 to 50 of about 555,741 (309)
Revista Tribuna Internacional, 2017 This papers examines the impact of the dictum of the Permanent Court of International Justice in the “S.S. Lotus” case when it stated that “restrictions upon the independence of States cannot be presumed” and that “the rules of law binding upon States ...
Natalia M. Luterstein
doaj +1 more source
Hybrid Rules with Well-Founded Semantics [PDF]
, 2009 A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic
A Levy +21 more
core +2 more sources
A systematic approach to the SILH Lagrangian
Nuclear Physics B, 2015 We consider the electroweak chiral Lagrangian, including a light scalar boson, in the limit of small ξ=v2/f2. Here v is the electroweak scale and f is the corresponding scale of the new strong dynamics.
Gerhard Buchalla +2 more
doaj +1 more source
Radiation-reaction in the Effective Field Theory approach to Post-Minkowskian dynamics
Journal of High Energy Physics, 2023 We extend the Post-Minkowskian (PM) effective field theory (EFT) approach to incorporate conservative and dissipative radiation-reaction effects in a unified framework.
Gregor Kälin +2 more
doaj +1 more source
Self-adjoint elliptic operators with boundary conditions on not closed hypersurfaces [PDF]
, 2016 The abstract theory of self-adjoint extensions of symmetric operators is used to construct self-adjoint realizations of a second-order elliptic operator on $\mathbb{R}^{n}$ with linear boundary conditions on (a relatively open part of) a compact ...
Mantile, A., Posilicano, A., Sini, M.
core +1 more source
Equivalence between GLT sequences and measurable functions
, 2017 The theory of Generalized Locally Toeplitz (GLT) sequences of matrices has been developed in order to study the asymptotic behaviour of particular spectral distributions when the dimension of the matrices tends to infinity.
Barbarino, Giovanni
core +1 more source
Bernays and the completeness theorem [PDF]
, 2017 A well-known result in Reverse Mathematics is the equivalence of the formalized version of the Gödel completeness theorem [8] – i.e. every countable, consistent set of first-order sentences has a model – and Weak König's Lemma [WKL] – i.e. every infinite
Dean, Walter
core +1 more source
Completeness of two theories on ordered abelian groups and embedding relations [PDF]
Nagoya Mathematical Journal, 1980 The first order language ℒ that we consider has two nullary function symbols 0, 1, a unary function symbol –, a binary function symbol +, a unary relation symbol 0 <, and the binary relation symbol = (equality). Let ℒ′ be the language obtained from ℒ, by adding, for each integer n > 0, the unary relation symbol n| (read “n divides”).
openaire +2 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Pre‐dilution online hemodiafiltration (Pre‐HDF) is predominantly used in Japan, whereas post‐dilution online HDF (Post‐HDF) is more common in Europe. An asymmetric cellulose triacetate (ATA) membrane may improve biocompatibility.
Kenji Sakurai +4 more
wiley +1 more source
On Information Orders on Metric Spaces
Information, 2021 Information orders play a central role in the mathematical foundations of Computer Science. Concretely, they are a suitable tool to describe processes in which the information increases successively in each step of the computation.
Oliver Olela Otafudu, Oscar Valero
doaj +1 more source