Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ben Smyth

Towards Automatic Analysis of Election Verifiability Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Related publications

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

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

Privacy PolicyRefund Policy