Results 51 to 60 of about 12,714 (266)
, 2021 We study the general problem of strengthening the logic of a given (partial) (non-deterministic) matrix with a set of axioms, using the idea of rexpansion. We obtain two characterization methods: a very general but not very effective one, and then an effective method which only applies under certain restrictions on the given semantics and the shape of ...
Caleiro, Carlos, Marcelino, Sérgio
openaire +2 more sources
Accounting for animal health in efficiency analysis: An application to Swedish dairy farms
American Journal of Agricultural Economics, EarlyView.Abstract Poor animal health is a central concern in modern livestock production. Despite the necessity to incorporate animal health in efficiency analysis, the theoretical and empirical developments are limited on this subject. This article appropriately characterizes the axiomatic properties of animal health within a production framework.
Frederic Ang +3 more
wiley +1 more source
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Motivated by the recent interest in models of guarded (co-)recursion we study its equational properties. We formulate axioms for guarded fixpoint operators generalizing the axioms of iteration theories of Bloom and Esik.
Stefan Milius, Tadeusz Litak
doaj +1 more source
American Journal of Medical Genetics Part B: Neuropsychiatric Genetics, EarlyView.ABSTRACT This study aims to prospectively collect harmonized, quantitative, and dimensional psychiatric phenotypes (suicidality, anhedonia, and obsessive‐compulsive symptoms) and information on discrimination, stigma, and unfair treatment in up to 27,500 individuals across diverse ancestries and clinical populations for genetic analysis within the NIMH
Ana M. Diaz‐Zuluaga +36 more
wiley +1 more source
Generalized target functions on trees [PDF]
Discrete Mathematics Letters, 2021 F. R. McMorris +2 more
doaj +1 more source
Canadian Journal of Cardiology, 2006 Geoffrey Rose was not a Grand Master of the Priory of Scion, but rather a well-known British epidemiologist and author of The Strategy of Preventive Medicine (1). His book frames our understanding of the concept of risk. Clinicians constantly estimate risk when faced with an individual patient and act on that determination.
openaire +2 more sources
, 2023 We introduce the family of axioms, denoted $\operatorname{Slice}_κ$, that claim the existence of strictly increasing decompositions of the form $$2^δ=\bigcup_{α<κ} 2^δ\cap M_α,$$ where $δ<κ$, and $\{M_α|\; α<κ\}$ is a $\subseteq$-increasing sequence of transitive models of set theory.
Kostana, Ziemowit, Shelah, Saharon
openaire +2 more sources
International Joint Conference on Autonomous Agents and Multiagent Systems, 2023 We develop an approach for collective decision making from first principles. In this approach, rather than using a---necessarily imperfect---voting rule to map any given scenario where individual agents report their preferences into a collective decision, we identify for every concrete such scenario the most appealing set of normative principles (known
Schmidtlein, M.C., Endriss, U.
openaire +3 more sources
International Forum of Allergy &Rhinology, EarlyView.ABSTRACT Background Bitter taste receptors (T2Rs) function in the innate immune defense of the sinonasal mucosa; however, the genetic association between the TAS2R gene family and chronic rhinosinusitis (CRS) remains understudied in Asian populations.
Rong‐San Jiang +6 more
wiley +1 more source
Disputatio, 2009 Following a suggestion of Brouwer an axiomatic definition of wisdom is proposed. I. In order to isolate the axioms of wisdom we have to separate wisdom from religion and from philosophy. This follows from the fact that wisdom provides a measure by means of which we can classify a religious doctrine as expressing wisdom, respectively unwisdom.
openaire +2 more sources