1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.

Source URL: rjoshi.org

• Software engineering
• Formal methods
• Mathematical logic
• Type theory
• Theoretical computer science
• Type systems
• Edsger W. Dijkstra
• Predicate transformer semantics
• Extended static checking
• ESC/Java
• Type inference
• HindleyMilner type system

Large Scale Training and Optimization of Neural Networks and Generative Adversarial Networks over Distributed Resource CLIC GAN : S. Vallecorsa, G. Khattak, F. Carminati, M. Pierini SurfSara : V. Codreanu, D. Podareanu

Source URL: indico.cern.ch

• Machine learning
• Computational neuroscience
• Applied mathematics
• Numerical analysis
• Computational statistics
• Artificial neural networks
• Stochastic gradient descent
• Deep learning
• Mathematical optimization
• Generative adversarial network
• Neural network
• Training
• test
• and validation sets

2017 Annual Report The Annual Report must be filed with the Secretary of State’s Office no later than 5:00 p.m. on Wednesday, January 31, 2018, for the period beginning January 1, 2017 and ending December 31, 2017 by t

Source URL: www.sos.ms.gov

1 On the efficiency of the new Italian Senate and the role of 5 Stars Movement Comparison among different possible scenarios by means of a virtual Parliament model A. Pluchino, A. Rapisarda, C. Garofalo, S. Spagano, M.

Source URL: www2.dfa.unict.it

• Political parties
• Politics of Italy
• Politics of Europe
• Five Star Movement
• Democratic Party
• Italian Parliament
• Possible
• Senate of the Republic
• The People of Freedom
• Lega Nord
• Conte Cabinet

Women, Work, and Family: Estimating Married Women’s Status Achievement over their Careers by Sarah M Reid

Source URL: tspace.library.utoronto.ca

• Gender studies
• Gender
• Feminism
• Women in the workforce
• Gender role
• Parental leave
• Human behavior

THIS MANUSCRIPT IS A PRE-PRINT OF: Hill, B. M., Dailey, D., Guy, R. T., Lewis, B., Matsuzaki, M., & Morgan, J. TDemocratizing Data Science: The Community Data Science Workshops and Classes. In N. Jullien, S. A.

Source URL: mako.cc

• Data management
• Big data
• Technology forecasting
• Transaction processing
• Citizen science
• Data mining
• Crowdsourcing
• Computing
• Data
• Information

Hardware for Collision Search m on Elliptic Curve over GF(2 ) Philippe Bulens (S), Guerric Meurice de Dormale and Jean-Jacques Quisquater {bulens, gmeurice, quisquater}@dice.ucl.ac.be

Source URL: www.hyperelliptic.org

• Finite fields
• Algebraic number theory
• Frobenius endomorphism
• Galois theory
• Meurice
• Jean-Jacques Quisquater
• Mathematics

M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

Source URL: www.cs.man.ac.uk

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Runtime verification
• FO
• Quantifier

To appear in Alan S. Gerber and Eric M. Patashnik, eds., Promoting the General Welfare: New Perspectives on Government Performance, , Brookings Institution Press, NovChapter 7 Decision Markets for Policy A

Source URL: mason.gmu.edu

• Economy
• Capitalism
• Market
• Financial markets
• Economic liberalism
• Prediction market
• Social information processing
• Speculation
• Election stock market
• Stock market
• Futures contract
• Price discovery

Daniel Kunin daniel-kunin.com • • (Education Stanford University M.S. Computational and Mathematical Engineering

Source URL: daniel-kunin.com