Search results for " norma"

Efficient CNF Encoding of Boolean Cardinality Constraints

2003

In this paper, we address the encoding into CNF clauses of Boolean cardinality constraints that arise in many practical applications. The proposed encoding is efficient with respect to unit propagation, which is implemented in almost all complete CNF satisfiability solvers. We prove the practical efficiency of this encoding on some problems arising in discrete tomography that involve many cardinality constraints. This encoding is also used together with a trivial variable elimination in order to re-encode parity learning benchmarks so that a simple Davis and Putnam procedure can solve them.

Relatively Orthocomplemented Skew Nearlattices in Rickart Rings

2015

AbstractA class of (right) Rickart rings, called strong, is isolated. In particular, every Rickart *-ring is strong. It is shown in the paper that every strong Rickart ring R admits a binary operation which turns R into a right normal band having an upper bound property with respect to its natural order ≤; such bands are known as right normal skew nearlattices. The poset (R, ≤) is relatively orthocomplemented; in particular, every initial segment in it is orthomodular.The order ≤ is actually a version of the so called right-star order. The one-sided star orders are well-investigated for matrices and recently have been generalized to bounded linear Hilbert space operators and to abstract Ric…

Neurobiological roots of language in primate audition : common computational properties

2015

Here, we present a new perspective on an old question: how does the neurobiology of human language relate to brain systems in nonhuman primates? We argue that higher-order language combinatorics, including sentence and discourse processing, can be situated in a unified, cross-species dorsal-ventral streams architecture for higher auditory processing, and that the functions of the dorsal and ventral streams in higher-order language processing can be grounded in their respective computational properties in primate audition. This view challenges an assumption, common in the cognitive sciences, that a nonhuman primate model forms an inherently inadequate basis for modeling higher-level language…

L’incontro tra normativa, dottrina e prassi nelle seicentesche Decisiones penali dei supremi tribunali del Regnum Siciliae

2016

In questo articolo si analizza l'incontro tra normativa, dottrina e prassi giurisprudenziale nelle opere della dottrina penalistica siciliana della prima età moderna, e la rilevanza di tale incontro nella formazione del diritto vigente di quel periodo

Il dovere e i λογοι della ragione. Un confronto tra Kant e Fichte.

2012

The contribution of the United Nations Commission on International Trade Law (UNCITRAL) to the Harmonization and Unification of International Trade L…

2014

The United Nations Commission on International Trade Law (UNCITRAL) is recognized as the core legal body of the United Nations system in the field of international trade law, and has a mandate from the UN General Assembly to harmonize, modernize and coordinate rules on international business. Since its inception over forty-five years ago, UNCITRAL has continued to pursue these aims in the key areas of international trade law such as international commercial arbitration and conciliation, international sales of goods and related transactions, security interests, international payments, international transport of goods, electronic commerce, procurement and infrastructure development. By adopti…

Frontiers of metal-coordinating drug design

2020

INTRODUCTION: The occurrence of metal ions in biomolecules is required to exert vital cellular functions. Metal-containing biomolecules can be modulated by small-molecule inhibitors targeting their metal-moiety. As well, the discovery of cisplatin ushered the rational discovery of metal-containing-drugs. The use of both drug types exploiting metal–ligand interactions is well established to treat distinct pathologies. Therefore, characterizing and leveraging metal-coordinating drugs is a pivotal, yet challenging, part of medicinal chemistry. AREA COVERED: Atomic-level simulations are increasingly employed to overcome the challenges met by traditional drug-discovery approaches and to compleme…

Temperature and doping dependence of normal state spectral properties in a two-orbital model for ferropnictides

2016

Using a second-order perturbative Green's functions approach we determined the normal state single-particle spectral function $A(\vec{k},\omega)$ employing a minimal effective model for iron-based superconductors. The microscopic model, used before to study magnetic fluctuations and superconducting properties, includes the two effective tight-binding bands proposed by S.Raghu et al. [Phys. Rev. B 77, 220503 (R) (2008)], and intra- and inter-orbital local electronic correlations, related to the Fe-3d orbitals. Here, we focus on the study of normal state electronic properties, in particular the temperature and doping dependence of the total density of states, $A(\omega)$, and of $A(\vec{k},\o…

Obesity in the State of Mexico: Interfaces and concurrences

2014

AbstractIn Mexico, from the eighties decade, various documents were made, and in which is specified the health care of the population, including obesity, documents which have been enriched by documents recently issued yet. However, as a health problem, overweight and obesity have become major challenges, placing the country at first place in health statistics on worldwide. This situation is identified in the different zones of the country, such as in the case of the State of Mexico. The objective of this work was to understand the relationship between emission of health programs, its contents, and the performance of the participants. The present paper was documentary, retrospective, analyti…

Weak versus strong dominance of shrinkage estimators

2021

We consider the estimation of the mean of a multivariate normal distribution with known variance. Most studies consider the risk of competing estimators, that is the trace of the mean squared error matrix. In contrast we consider the whole mean squared error matrix, in particular its eigenvalues. We prove that there are only two distinct eigenvalues and apply our findings to the James–Stein and the Thompson class of estimators. It turns out that the famous Stein paradox is no longer a paradox when we consider the whole mean squared error matrix rather than only its trace.