391 search results - page 25 / 79 » Formal Universes |
105
click to vote
FMSD
2010
14 years 11 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
98
Voted
SAS
2009
Springer
16 years 29 days ago
2009
Springer
Interpretation from a Topological Perspective David A. Schmidt Kansas State University, Manhattan, Kansas, USA Abstract. Topology is the study of property sets (open sets) and cont...
94
Voted
TFM
2009
Springer
15 years 7 months ago
2009
Springer
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...
ERCIMDL
2005
Springer
15 years 6 months ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
103
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...