Selection, constraint, and the evolution of coloration in African starlings

Evolution ◽  
2016 ◽  
Vol 70 (5) ◽  
pp. 1064-1079 ◽  
Author(s):  
Rafael Maia ◽  
Dustin R. Rubenstein ◽  
Matthew D. Shawkey
Keyword(s):  
Selection Constraint

TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS

2000 ◽  
Vol 11 (01) ◽  
pp. 29-63
Author(s):  
MARTIN MÜLLER ◽  
SUSUMU NISHIMURA
Keyword(s):  
Polynomial Time ◽  
Type System ◽  
Type Inference ◽  
Satisfiability Problem ◽  
Recent Proposal ◽  
Inference Problem ◽  
Np Complete ◽  
Feature Constraints ◽  
Feature Trees ◽  
Selection Constraint

We present a constraint system, OF, of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of feature constraints by a selection constraint x <y> z, "by first-class feature tree" y, which is in contrast to the standard selection constraint x[f]y, "by fixed feature" f. We investigate the satisfiability problem of OF and show that it can be solved in polynomial time, and even in quadratic time if the number of features is bounded. We compare OF with Treinen's system EF of feature constraints with first-class features, which has an NP-complete satisfiability problem. This comparison yields that the satisfiability problem for OF with negation is NP-hard. Further we obtain NP-completeness, for a specific subclass of OF with negation that is useful for a related type inference problem. Based on OF we give a simple account of type inference for first-class messages in the spirit of Nishimura's recent proposal, and we show that it has polynomial time complexity: We also highlight an immediate extension of this type system that appears to be desirable but makes type inference NP-complete.

Systematicity as a selection constraint in analogical mapping

1991 ◽  
Vol 15 (1) ◽  
pp. 89-132 ◽  
Author(s):  
Catherine A. Clement ◽  
Dedre Gentner
Keyword(s):  
Analogical Mapping ◽  
Selection Constraint

Efficient Semi-Supervised Feature Selection: Constraint, Relevance, and Redundancy

2014 ◽  
Vol 26 (5) ◽  
pp. 1131-1143 ◽  
Author(s):  
Khalid Benabdeslem ◽  
Mohammed Hindawi
Keyword(s):  
Feature Selection ◽  
Selection Constraint

scholarly journals Ontogeny and phylogeny: molecular signatures of selection, constraint, and temporal pleiotropy in the development of Drosophila

BMC Biology ◽  
2009 ◽  
Vol 7 (1) ◽  
pp. 42 ◽  
Author(s):  
Carlo G Artieri ◽  
Wilfried Haerty ◽  
Rama S Singh
Keyword(s):  
Molecular Signatures ◽  
Signatures Of Selection ◽  
Selection Constraint

Service Selection Constraint Model and Optimization Algorithm for Web Service Composition

2011 ◽  
Vol 10 (5) ◽  
pp. 1024-1030 ◽  
Author(s):  
Xue-Long Wang ◽  
Zhang Jing ◽  
Huai-zhou Yang
Keyword(s):  
Web Service ◽  
Optimization Algorithm ◽  
Service Composition ◽  
Service Selection ◽  
Web Service Composition ◽  
Constraint Model ◽  
Selection Constraint

Age-specific breeding success in a wild mammalian population: selection, constraint, restraint and senescence

2011 ◽  
Vol 20 (15) ◽  
pp. 3261-3274 ◽  
Author(s):  
HANNAH L. DUGDALE ◽  
LISA C. POPE ◽  
CHRIS NEWMAN ◽  
DAVID W. MACDONALD ◽  
TERRY BURKE
Keyword(s):  
Breeding Success ◽  
Population Selection ◽  
Selection Constraint
Sign in / Sign up

Export Citation Format

Share Document