How to “carbon date” digital information! Jeremy Clark

Source URL: users.encs.concordia.ca

CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

Source URL: homepages.inf.ed.ac.uk

• Mathematics
• Mathematical logic
• Theoretical computer science
• Computability theory
• Theory of computation
• Recursion
• Type theory
• Structural induction
• Mathematical induction
• Rippling
• Nqthm
• Constructible universe

Understanding some pathologies of social epistemology by reasoning about observed behaviour Jeremy Seligman Philosophy Department, The University of Auckland

Source URL: modalityandmodalities.weebly.com

Closing the Gap Between Formal and Digital Libraries of Mathematics Jeremy Gow & Paul Cairns UCL Interaction Centre, London j.gow,

Source URL: web4.cs.ucl.ac.uk

THE ROAD FROM GENOA Jeremy Brecher, Tim Costello, and Brendan Smith I n the year and a half from the Battle of Seattle to the Battle of Genoa, the WTO,

Source URL: www.choike.org

Optical methodology for detecting histologically unapparent nanoscale consequences of genetic alterations in biological cells Hariharan Subramaniana,1, Prabhakar Pradhana, Yang Liua, Ilker R. Capoglua, Xu Lia,b, Jeremy D

Source URL: www.mccormick.northwestern.edu

Pictured upper left and going clockwise: Jeremy Hurst; Students from Colgate University; Bernd Blossey; Bruce Selleck; Catherine Cardelus presenting; Melissa Prusinski; Troy Weldy at left and Tin Burpoe and Bruce Selleck

Source URL: www.adkresearch.org

25 March 2014 Edison Investment Research hires Jeremy Silewicz, Sash Tusa and Richard Windsor Hires further strengthen Edison’s institutional offering Edison Investment Research, the leading international investment in

Source URL: www.edisoninvestmentresearch.com

The positive effect of interdisciplinarity on altmetrics for humanities-related research outputs Jeremy L. McLaughlin, San Jose State University Stacy Konkiel, altmetric.com Drawing from a project using arts and humaniti

Source URL: altmetrics.org

• Academic publishing
• Open science
• Scholarly communication
• Open access
• Data publishing
• Figshare
• Altmetrics
• Discipline
• Interdisciplinarity
• Humanities

arXiv:submitquant-ph] 20 AugBenchmarking a quantum annealing processor with the time-to-target metric. James King∗, Sheir Yarkoni, Mayssam M. Nevisi, Jeremy P. Hilton, and Catherine C. McGeoch

Source URL: www.dwavesys.com