Results 11 to 20 of about 69,021 (262)
Model companions of theories with an automorphism [PDF]
AbstractFor a theory T in L, Tσ is the theory of the models of T with an automorphism σ. If T is an unstable model complete theory without the independence property, then Tσ has no model companion. If T is an unstable model complete theory and Tσ has the amalgamation property, then Tσ has no model companion. If T is model complete and has the fcp, then
openaire +2 more sources
Companion animal models of neurological disease
Clinical translation of novel therapeutics that improve the survival and quality of life of patients with neurological disease remains a challenge, with many investigational drug and device candidates failing in advanced stage clinical trials. Naturally occurring inherited and acquired neurological diseases, such as epilepsy, inborn errors of ...
Brittanie Partridge, John H. Rossmeisl
openaire +2 more sources
The Companion Dog as a Model for the Longevity Dividend [PDF]
The companion dog is the most phenotypically diverse species on the planet. This enormous variability between breeds extends not only to morphology and behavior but also to longevity and the disorders that affect dogs. There are remarkable overlaps and similarities between the human and canine species.
Kate E, Creevy +4 more
openaire +2 more sources
The Impact of the Social Determinants of Human Health on Companion Animal Welfare
The social determinants of health (SDH) focus on the social, physical and economic factors that impact human health. Studies have revealed that animal guardians face a range of challenges in attaining positive welfare outcomes for their companion animals,
Sonya McDowall +5 more
doaj +1 more source
Criterion for the cosemanticness of the Abelian groups in the enriched signature
In the present paper we give a criterion of the cosemanticness relative to the Jonsson spectrum of the model in the class of Abelian groups with a distinguished predicate.
A.R. Yeshkeyev +2 more
doaj +1 more source
We present 307 type Ia supernova (SN) light curves from the first 4 yr of the Transiting Exoplanet Survey Satellite mission. We use this sample to characterize the shapes of the early-time light curves, measure the rise times from first light to peak ...
M. M. Fausnaugh +12 more
doaj +1 more source
Properties of hybrids of Jonsson theories
This work is an introduction to the study of the properties of a new concept, as a hybrid of Jonsson theories. We define the basic concepts and framework for studying the model-theoretic properties of these concepts.
A.R. Yeshkeyev, N.M. Mussina
doaj +1 more source
Interpretable Companions for Black-Box Models
We present an interpretable companion model for any pre-trained black-box classifiers. The idea is that for any input, a user can decide to either receive a prediction from the black-box model, with high accuracy but no explanations, or employ a companion rule to obtain an interpretable prediction with slightly lower accuracy.
Danqing Pan +2 more
openaire +3 more sources
Phenomenology of the companion-axion model: photon couplings
We study the phenomenology of the ‘companion-axion model’ consisting of two coupled QCD axions. The second axion is required to rescue the Peccei–Quinn solution to the strong-CP problem from the effects of colored gravitational instantons. We investigate
Zhe Chen +4 more
doaj +1 more source
Antimicrobial resistance in Staphylococcus species from companion animals is becoming increasingly prevalent worldwide. S. pseudintermedius is a leading cause of skin infections in companion animals.
Seong Yong Park +5 more
doaj +1 more source

