No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes

2017 ◽  
pp. 66-83
Author(s):  
Lyria Bennett Moses ◽  
Rajeev Goré ◽  
Ron Levy ◽  
Dirk Pattinson ◽  
Mukesh Tiwari
Keyword(s):  
Automated Synthesis ◽  
Vote Counting

How do academics assess the results of multiple experiments?

2018 ◽  
Author(s):  
Olmo Van den Akker ◽  
Linda Dominguez Alvarez ◽  
Marjan Bakker ◽  
Jelte M. Wicherts ◽  
Marcel A. L. M. van Assen
Keyword(s):  
Bayesian Inference ◽  
Secondary Analysis ◽  
Individual Participant Data ◽  
Additional Experiment ◽  
Underlying Theory ◽  
Individual Participant ◽  
Vote Counting

We studied how academics assess the results of a set of four experiments that all test a given theory. We found that participants’ belief in the theory increases with the number of significant results, and that direct replications were considered to be more important than conceptual replications. We found no difference between authors and reviewers in their propensity to submit or recommend to publish sets of results, but we did find that authors are generally more likely to desire an additional experiment. In a preregistered secondary analysis of individual participant data, we examined the heuristics academics use to assess the results of four experiments. Only 6 out of 312 (1.9%) participants we analyzed used the normative method of Bayesian inference, whereas the majority of participants used vote counting approaches that tend to undervalue the evidence for the underlying theory if two or more results are statistically significant.

Automated synthesis of PEG-coupled antisense-oligonucleotides

1993 ◽  
Vol 58 (s1) ◽  
pp. 204-208 ◽  
Author(s):  
Andres Jäschke ◽  
Jens P. Fürste ◽  
Dieter Cech ◽  
Volker A. Erdmann
Keyword(s):  
Antisense Oligonucleotides ◽  
Automated Synthesis

Electoral laws

2018 ◽  
Author(s):  
Richard L. Hasen
Keyword(s):  
Fake News ◽  
Election Administration ◽  
External Threats ◽  
Electoral Laws ◽  
Political Integrity ◽  
Voting Laws ◽  
Vote Counting

Chapter 2 provides an overview of the legal and political integrity issues raised in the 2016 elections. It begins by describing the now normal voting wars between the hyperpolarized parties, lawsuits aimed at shaping the rules for the registration of voters, the conduct of voting, and the counting of ballots. Restrictive voting laws have increased in number and severity in many states with Republican legislatures, and the judiciary itself often divides along partisan lines in determining controversial laws’ legality. The chapter then turns to the troubling escalation in the wars, from candidate Donald Trump’s unsubstantiated claims of fraud and election rigging to Russian (and other) meddling, the rise of “fake news,” and problems with vote-counting machinery and election administration. It concludes by considering the role that governmental and nongovernmental institutions can play in protecting American election administration from internal and external threats and restoring confidence in elections.

Modification of an Anion-Exchange Procedure for 68Ga Preconcentration and Automated Synthesis of [68Ga]Ga-PSMA-11

2019 ◽  
Vol 61 (6) ◽  
pp. 748-753
Author(s):  
D. O. Antuganov ◽  
D. V. Ryzhkova ◽  
V. V. Timofeev ◽  
T. A. Zykova ◽  
Yu. O. Antuganova ◽  
...  
Keyword(s):  
Anion Exchange ◽  
Automated Synthesis

scholarly journals The Link Between SRI and Financial Performance: Effects and Moderators

2013 ◽  
Vol 17 (2) ◽  
pp. 105-122 ◽  
Author(s):  
Christophe Revelli ◽  
Jean-Laurent Viviani
Keyword(s):  
Financial Performance ◽  
Meta Analysis ◽  
Socially Responsible Investment ◽  
Empirical Literature ◽  
Empirical Methods ◽  
Socially Responsible ◽  
Responsible Investment ◽  
Counting Approach ◽  
Performance Effects ◽  
Vote Counting

Over the last twenty years, the debate on financial performance of socially responsible investment (SRI) has not yielded a clear consensus, arguing mainly that there was no difference in performance between SRI and ‘conventional’ investment, although SRI could underperform or outperform in some cases. Our research, based on a meta-analysis ‘vote-counting’ approach of the empirical literature, allows us to observe that the effects of SRI on financial performance are multiple. Second, we conclude that the financial performance of SRI is radically changing according to the empirical methods employed by researchers.

Automated Synthesis of Comprehensive Memory Model Litmus Test Suites

2017 ◽  
Vol 45 (1) ◽  
pp. 661-675
Author(s):  
Daniel Lustig ◽  
Andrew Wright ◽  
Alexandros Papakonstantinou ◽  
Olivier Giroux
Keyword(s):  
Memory Model ◽  
Automated Synthesis ◽  
Litmus Test ◽  
Test Suites

Automated synthesis of custom networks-on-chip for real world applications

2020 ◽  
Author(s):  
Anup Gangwar ◽  
Nitin Kumar Agarwal ◽  
Ravishankar Sreedharan ◽  
Ambica Prasad ◽  
Sri Harsha Gade ◽  
...  
Keyword(s):  
Real World ◽  
Automated Synthesis ◽  
Networks On Chip ◽  
Real World Applications ◽  
On Chip

Automated Synthesis Modules for PET Radiochemistry

2020 ◽  
pp. 437-456
Author(s):  
Laura Bruton ◽  
Peter J.H. Scott
Keyword(s):  
Automated Synthesis

scholarly journals Clinically Applicable Cyclotron-Produced Gallium-68 Gives High-Yield Radiolabeling of DOTA-Based Tracers

Biomolecules ◽  
2021 ◽  
Vol 11 (8) ◽  
pp. 1118
Author(s):  
Emma Jussing ◽  
Stefan Milton ◽  
Erik Samén ◽  
Mohammad Mahdi Moein ◽  
Lovisa Bylund ◽  
...  
Keyword(s):  
Metal Ion ◽  
Metal Content ◽  
Gamma Spectroscopy ◽  
Radiochemical Yield ◽  
High Yield ◽  
Automated Synthesis ◽  
Molar Activity ◽  
Icp Ms ◽  
Gallium 68 ◽  
Fe Impurities

By using solid targets in medical cyclotrons, it is possible to produce large amounts of 68GaCl3. Purification of Ga3+ from metal ion impurities is a critical step, as these metals compete with Ga3+ in the complexation with different chelators, which negatively affects the radiolabeling yields. In this work, we significantly lowered the level of iron (Fe) impurities by adding ascorbate in the purification, and the resulting 68GaCl3could be utilized for high-yield radiolabeling of clinically relevant DOTA-based tracers. 68GaCl3 was cyclotron-produced and purified with ascorbate added in the wash solutions through the UTEVA resins. The 68Ga eluate was analyzed for radionuclidic purity (RNP) by gamma spectroscopy, metal content by ICP-MS, and by titrations with the chelators DOTA, NOTA, and HBED. The 68GaCl3eluate was utilized for GMP-radiolabeling of the DOTA-based tracers DOTATOC and FAPI-46 using an automated synthesis module. DOTA chelator titrations gave an apparent molar activity (AMA) of 491 ± 204 GBq/µmol. GMP-compliant syntheses yielded up to 7 GBq/batch [68Ga]Ga-DOTATOC and [68Ga]Ga-FAPI-46 (radiochemical yield, RCY ~ 60%, corresponding to ten times higher compared to generator-based productions). Full quality control (QC) of 68Ga-labelled tracers showed radiochemically pure and stable products at least four hours from end-of-synthesis.

Formalization and automated synthesis of microprograms

1980 ◽  
Vol 11 (3-4) ◽  
pp. 45-53
Author(s):  
R. A. Mueller
Keyword(s):  
Automated Synthesis
Sign in / Sign up

Export Citation Format

Share Document