Sciweavers

1980 search results - page 296 / 396
» On the Associative Nijenhuis Relation
Sort
View
86
Voted
BMCBI
2006
82views more  BMCBI 2006»
15 years 22 days ago
Prediction of a key role of motifs binding E2F and NR2F in down-regulation of numerous genes during the development of the mouse
Background: We previously demonstrated that gene expression profiles during neuronal differentiation in vitro and hippocampal development in vivo were very similar, due to a conse...
Michal Dabrowski, Stein Aerts, Bozena Kaminska
122
Voted
JFP
2007
111views more  JFP 2007»
15 years 17 days ago
Mechanizing metatheory in a logical framework
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
Robert Harper, Daniel R. Licata
127
Voted
JASIS
2011
93views more  JASIS 2011»
14 years 7 months ago
Composition of scientific teams and publication productivity at a national science lab
The production of scientific knowledge has evolved from a process of inquiry largely based on the activities of individual scientists to one grounded in the collaborative efforts ...
Besiki Stvilia, Charles C. Hinnant, Katy Schindler...
JOCN
2011
120views more  JOCN 2011»
14 years 7 months ago
From Agents to Objects: Sexist Attitudes and Neural Responses to Sexualized Targets
■ Agency attribution is a hallmark of mind perception; thus, diminished attributions of agency may disrupt social–cognition processes typically elicited by human targets. The ...
Mina Cikara, Jennifer L. Eberhardt, Susan T. Fiske
95
Voted
WCRE
1999
IEEE
15 years 5 months ago
Recovering Code to Documentation Links in OO Systems
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
Giuliano Antoniol, Gerardo Canfora, Andrea De Luci...