3552 search results - page 653 / 711 » Proof theory in the abstract |
147
click to vote
AO
2007
15 years 6 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
188
click to vote
ARC
2010
Springer
15 years 6 months ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
186
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
145
click to vote
COGSCI
2010
15 years 6 months ago
2010
People are remarkably smart: They use language, possess complex motor skills, make nontrivial inferences, develop and use scientific theories, make laws, and adapt to complex dyna...
178
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Artificial immune systems, more specifically the negative selection algorithm, have previously been applied to intrusion detection. The aim of this research is to develop an intrus...