Sciweavers

515 search results - page 29 / 103
» Towards a computational transportation science
Sort
View
ICALP
2010
Springer
13 years 10 months ago
From Secrecy to Soundness: Efficient Verification via Secure Computation
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
Benny Applebaum, Yuval Ishai, Eyal Kushilevitz
SIGCSE
2008
ACM
120views Education» more  SIGCSE 2008»
13 years 8 months ago
Computing and higher education in Peru
Abstract: In Peru, the computing discipline as an academic field has been neglected during decades deriving in a lowquality higher education system and consequently shaping an acad...
Marco A. Alvarez, José Baiocchi, José...

Publication
397views
14 years 10 months ago
Build it but where? A GIS methodology for guiding the planning of new cycling facilities
Concern over climate change, traffic congestion, and the health consequences of sedentary lifestyles has resulted in a surge of interest in cycling as an efficient form of urban ...
Larsen, J. & El-Geneidy, M.
ITICSE
2006
ACM
14 years 2 months ago
IREEL: remote experimentation with real protocols and applications over emulated network
: This paper presents a novel e­learning platform  called   IREEL.   IREEL   is   a   virtual   laboratory   allowing  students to drive experiments with real...
Laurent Dairaine, Ernesto Exposito, Guillaume Jour...
CADE
1992
Springer
14 years 17 days ago
IMPS: System Description
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
William M. Farmer, Joshua D. Guttman, F. Javier Th...