Sciweavers

581 search results - page 76 / 117
» Translating dependency into parametricity
Sort
View
COGSCI
2007
109views more  COGSCI 2007»
13 years 10 months ago
Understanding the Emergence of Modularity in Neural Systems
: Modularity in the human brain remains a controversial issue, with disagreement over the nature of the modules that exist, and why, when and how they emerge. It is a natural assum...
John A. Bullinaria
MOR
2006
60views more  MOR 2006»
13 years 10 months ago
Measure-Valued Differentiation for Stationary Markov Chains
: We study general state-space Markov chains that depend on a parameter, say, . Sufficient conditions are established for the stationary performance of such a Markov chain to be di...
Bernd Heidergott, Arie Hordijk, Heinz Weisshaupt
SIGPLAN
2008
13 years 10 months ago
Verified enforcement of stateful information release policies
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
Nikhil Swamy, Michael Hicks
NAR
2000
123views more  NAR 2000»
13 years 9 months ago
Update of AMmtDB: a database of multi-aligned Metazoa mitochondrial DNA sequences
The AMmtDB database (http://bio-www.ba.cnr.it:8000/ srs6/ ) has been updated by collecting the multi-aligned sequences of Chordata mitochondrial genes coding for proteins and tRNA...
Cecilia Lanave, Sabino Liuni, Flavio Licciulli, Ma...
CORR
2011
Springer
207views Education» more  CORR 2011»
13 years 5 months ago
DB Category: Denotational Semantics for View-based Database Mappings
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
Zoran Majkic