Sciweavers

8337 search results - page 1310 / 1668
» Reasoning With Characteristic Models
Sort
View
189
Voted
PVLDB
2010
123views more  PVLDB 2010»
15 years 5 months ago
Sharing-Aware Horizontal Partitioning for Exploiting Correlations During Query Processing
Optimization of join queries based on average selectivities is suboptimal in highly correlated databases. In such databases, relations are naturally divided into partitions, each ...
Kostas Tzoumas, Amol Deshpande, Christian S. Jense...
RSA
2010
89views more  RSA 2010»
15 years 5 months ago
Some remarks on Betti numbers of random polygon spaces
Polygon spaces like Mℓ = {(u1, · · · , un) ∈ S1 × · · · S1 ; n i=1 liui = 0}/SO(2) or they three dimensional analogues Nℓ play an important rle in geometry and topolo...
Clément Dombry, Christian Mazza
196
Voted
SCIENTOMETRICS
2010
109views more  SCIENTOMETRICS 2010»
15 years 5 months ago
To publish or not to publish? On the aggregation and drivers of research performance
This paper presents a methodology to aggregate multidimensional research output. Using a tailored version of the non-parametric Data Envelopment Analysis model, we account for the...
Kristof De Witte, Nicky Rogge
SIAMSC
2010
157views more  SIAMSC 2010»
15 years 5 months ago
Certified Reduced Basis Methods and Output Bounds for the Harmonic Maxwell's Equations
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
Yanlai Chen, Jan S. Hesthaven, Yvon Maday, Jer&oac...
SYNTHESE
2010
59views more  SYNTHESE 2010»
15 years 5 months ago
Frege's Begriffsschrift as a lingua characteristica
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
Tapio Korte
« Prev « First page 1310 / 1668 Last » Next »