Towards Automatic Analysis of Election Verifiability Properties

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-16074-5_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Virtual Politics: A New Bridge Towards the Election of the 2019 Election

Book Chapters of The 1st Jakarta International Conference on Social Sciences and Humanities (JICoSSH)
2019English

Public Perception Towards the Election Commission in Malaysia

Asian Social Science
ArtsFinanceHumanitiesEconomicsEconometricsSocial Sciences
2015English

Analysis of Hemostasis Procedures Through Machine Learning of Endoscopic Images Towards Automatic Surgery

Sensors and Materials
Materials ScienceInstrumentation
2020English

Towards Automatic Optimization of MapReduce Programs

2010English

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Towards Automatic Generation of Gene Summary

2009English

Towards Automatic Composition of Multicomponent Predictive Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Towards Automatic Interpretation of Sheep Ultrasound Scans

Animal Science
1996English

Towards Interactive Curation & Automatic Tuning of ML Pipelines

2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy