Results 201 to 210 of about 608,556 (262)
Some of the next articles are maybe not open access.
Communications of the ACM, 1981
This paper gives an overview over the connection method in Automated Theorem Proving, developed earlier by the author. Its prominent features are illustrated with a number of examples. These features provide it with provable advantages over any standard proof method.
openaire +1 more source
This paper gives an overview over the connection method in Automated Theorem Proving, developed earlier by the author. Its prominent features are illustrated with a number of examples. These features provide it with provable advantages over any standard proof method.
openaire +1 more source
IEEE Transactions on Computers, 1976
Occurrences of literals in the initial clauses of a refutation by resolution (with each clause-occurrence used only once) are mated iff their descendants are resolved with each other. This leads to an abstract notion of a mating as a relation between: occurrences of literals in a set of clause-occurrences.
openaire +1 more source
Occurrences of literals in the initial clauses of a refutation by resolution (with each clause-occurrence used only once) are mated iff their descendants are resolved with each other. This leads to an abstract notion of a mating as a relation between: occurrences of literals in a set of clause-occurrences.
openaire +1 more source
Journal of Homosexuality, 2006
The discourse of gay liberation reads silence surrounding personal participation in same-sex sexualized pleasures as a sign of repression, oppression and a positioning in the closet. In contrast, coming out is an important step towards accepting one's true homosexual self. The demand for the emancipation of the homosexual type further suggests that all
openaire +2 more sources
The discourse of gay liberation reads silence surrounding personal participation in same-sex sexualized pleasures as a sign of repression, oppression and a positioning in the closet. In contrast, coming out is an important step towards accepting one's true homosexual self. The demand for the emancipation of the homosexual type further suggests that all
openaire +2 more sources
Mate Choice and Mating Preferences:
2017This chapter first sets out the book's purpose, which is to present a conceptually unified approach to thinking about what Darwin termed the “taste for the beautiful.” It begins by describing a basic framework for thinking about mate choice and mate preferences.
openaire +2 more sources
2019
On a vast range of variables, positive rather than negative AM has been found. The highest degree of similarity has been obtained for sociodemographic variables and attitudes, followed by moderate similarity for cognitive abilities, psychiatric disorders, antisocial and adverse behaviors, and the lowest for physical characteristics and personality ...
Kardum, Igor +2 more
openaire +2 more sources
On a vast range of variables, positive rather than negative AM has been found. The highest degree of similarity has been obtained for sociodemographic variables and attitudes, followed by moderate similarity for cognitive abilities, psychiatric disorders, antisocial and adverse behaviors, and the lowest for physical characteristics and personality ...
Kardum, Igor +2 more
openaire +2 more sources
2022
The chapter includes an overview of mate poaching in women, namely, the definition, incidence, some notable gender differences, theoretical framework, and its correlates.
Hudek-Knežević, Jasna +2 more
openaire +1 more source
The chapter includes an overview of mate poaching in women, namely, the definition, incidence, some notable gender differences, theoretical framework, and its correlates.
Hudek-Knežević, Jasna +2 more
openaire +1 more source
Psychiatric Services, 2012
Psychosocial programs that introduce young people with psychosis to each other encourage bonding and, perhaps, marriage. By providing such programs, are we unwittingly promoting assortative mating, with ill effects for offspring? Or, on the other hand, are we ensuring better health for young people with psychosis and perhaps laying the groundwork for ...
openaire +2 more sources
Psychosocial programs that introduce young people with psychosis to each other encourage bonding and, perhaps, marriage. By providing such programs, are we unwittingly promoting assortative mating, with ill effects for offspring? Or, on the other hand, are we ensuring better health for young people with psychosis and perhaps laying the groundwork for ...
openaire +2 more sources
American Journal of Reproductive Immunology and Microbiology, 1985
ABSTRACT: Human leukocyte antigen (HLA) typing was undertaken in 151 unrelated blood donors and in 35 normal couples having at least two living children. We compared observed and expected sharing of HLA antigens at four loci in normal couples. We also compared the observed sharing in couples with the expected sharing in unrelated blood donors if taken
P, Bischof +5 more
openaire +2 more sources
ABSTRACT: Human leukocyte antigen (HLA) typing was undertaken in 151 unrelated blood donors and in 35 normal couples having at least two living children. We compared observed and expected sharing of HLA antigens at four loci in normal couples. We also compared the observed sharing in couples with the expected sharing in unrelated blood donors if taken
P, Bischof +5 more
openaire +2 more sources
Science, 1994
Courtship in Drosophila is influenced by a wide variety of genes, in that many different kinds of pleiotropic mutations lead to defective courtship. This may seem to be a truism, but the broad temporal and spatial expression of most of the fly's "neuro genes" makes it difficult to exclude elements of such genes ...
openaire +2 more sources
Courtship in Drosophila is influenced by a wide variety of genes, in that many different kinds of pleiotropic mutations lead to defective courtship. This may seem to be a truism, but the broad temporal and spatial expression of most of the fly's "neuro genes" makes it difficult to exclude elements of such genes ...
openaire +2 more sources
Journal of Biological Systems, 2003
When we consider structured populations with sexual reproduction, the distribution of characters among mating pairs may influence the population biology, namely its dynamics and genetics. In the present paper, we propose a general framework to estimate the population mating patterns taking into account individual mating preferences and mating system ...
Bessa-Gomes, Carmen +3 more
openaire +2 more sources
When we consider structured populations with sexual reproduction, the distribution of characters among mating pairs may influence the population biology, namely its dynamics and genetics. In the present paper, we propose a general framework to estimate the population mating patterns taking into account individual mating preferences and mating system ...
Bessa-Gomes, Carmen +3 more
openaire +2 more sources