Sciweavers

1051 search results - page 180 / 211
» group 2009
Sort
View
EUROPKI
2009
Springer
13 years 7 months ago
Automatic Generation of Sigma-Protocols
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...
Endre Bangerter, Thomas Briner, Wilko Henecka, Ste...
IGARSS
2009
13 years 7 months ago
Integrating Remote Sensing and Ancillary Data for Regional Ecosystem Assessment: Eucalyptus Grandis Agro-system in KwaZulu-Natal
The ability of various ecosystems to perform vital functions such as biodiversity production, and water, energy and nutrient cycling depends on the ecosystem state, i.e. health. E...
Moses Azong Cho, Jan van Aardt, Bongani Majeke, Ru...
NAR
2010
281views more  NAR 2010»
13 years 4 months ago
PDBselect 1992-2009 and PDBfilter-select
PDBselect (http://bioinfo.tg.fh-giessen.de/pdb select/) is a list of representative protein chains with low mutual sequence identity selected from the protein data bank (PDB) to e...
Sven Griep, Uwe Hobohm
AAAI
2012
12 years 5 hour ago
Transportability of Causal Effects: Completeness Results
The study of transportability aims to identify conditions under which causal information learned from experiments can be reused in a different environment where only passive obser...
Elias Bareinboim, Judea Pearl
CORR
2011
Springer
176views Education» more  CORR 2011»
13 years 4 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...