Sciweavers

5122 search results - page 166 / 1025
» Comparing Consequence Relations
Sort
View
CORR
2008
Springer
99views Education» more  CORR 2008»
15 years 3 months ago
Modelling interdependencies between the electricity and information infrastructures
The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the ass...
Jean-Claude Laprie, Karama Kanoun, Mohamed Ka&acir...
134
Voted
IANDC
2006
78views more  IANDC 2006»
15 years 3 months ago
A stable programming language
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
Luca Paolini
113
Voted
KI
2008
Springer
15 years 3 months ago
Space, Time, and the Use of Language
1 The investigation of linguistic expressions of space and time typically presupposes an interdependency between these two related conceptual domains, resulting in a quasi-metaphor...
Thora Tenbrink
126
Voted
FOCM
2007
48views more  FOCM 2007»
15 years 3 months ago
Integration and Optimization of Multivariate Polynomials by Restriction onto a Random Subspace
Abstract. We consider the problem of efficient integration of an n-variate polynomial with respect to the Gaussian measure in Rn and related problems of complex integration and opt...
Alexander I. Barvinok
SIGCSE
2008
ACM
120views Education» more  SIGCSE 2008»
15 years 3 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é...