Sciweavers

101 search results - page 10 / 21
» On Becoming a Discipline
Sort
View
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 10 months ago
Binding bigraphs as symmetric monoidal closed theories
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
Tom Hirschowitz, Aurélien Pardon
BIB
2006
169views more  BIB 2006»
13 years 10 months ago
Bio-ontologies: current trends and future directions
: In recent years, as a knowledge-based discipline, bioinformatics has moved to make its knowledge more computationally amenable. After its beginnings in the disciplines as a techn...
Olivier Bodenreider, Robert Stevens
APAL
2005
119views more  APAL 2005»
13 years 9 months ago
Elementary arithmetic
Abstract. There is a very simple way in which the safe/normal variable discipline of Bellantoni-Cook recursion (1992) can be imposed on arithmetical theories like PA: quantify over...
Geoffrey E. Ostrin, Stanley S. Wainer
CAS
2004
111views more  CAS 2004»
13 years 9 months ago
Network Analysis and Social Dynamics
? Network analysis, an area of mathematical sociology and anthropology crucial to the linking of theory and observation, developed dramatically in recent decades. These development...
Douglas White
JMLR
2010
116views more  JMLR 2010»
13 years 4 months ago
Feature Selection, Association Rules Network and Theory Building
As the size and dimensionality of data sets increase, the task of feature selection has become increasingly important. In this paper we demonstrate how association rules can be us...
Sanjay Chawla