Sciweavers

15 search results - page 1 / 3
» Nonstandard Meromorphic Groups
Sort
View
ENTCS
2006
92views more  ENTCS 2006»
13 years 4 months ago
Nonstandard Meromorphic Groups
Extending the work of [7] on groups definable in compact complex manifolds and of [1] on strongly minimal groups definable in nonstandard compact complex manifolds, we classify al...
Thomas Scanlon
DEXA
2007
Springer
144views Database» more  DEXA 2007»
13 years 11 months ago
Cooperative Data Management for XML Data
Emerging non-standard applications like the production of high-quality spatial sound pose new challenges to data management. Beside the need for a flexible transactional managemen...
Katja Hose, Kai-Uwe Sattler
TCC
2007
Springer
102views Cryptology» more  TCC 2007»
13 years 10 months ago
Perfect NIZK with Adaptive Soundness
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...
Masayuki Abe, Serge Fehr
CADE
2008
Springer
14 years 5 months ago
Collaborative Programming: Applications of Logic and Automated Reasoning
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
Timothy L. Hinrichs
SOSP
2009
ACM
14 years 1 months ago
Distributed aggregation for data-parallel computing: interfaces and implementations
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
Yuan Yu, Pradeep Kumar Gunda, Michael Isard