2019 IEEE International Instrumentation & Measurement Technology Conference Grand Millennium Auckland | Auckland, New Zealand | May 20-23, 2019

Source URL: imtc.ieee-ims.org

• Measuring instruments
• Sensors
• IEEE Instrumentation and Measurement Society
• Measurement
• Metrology
• Instrumentation
• Scientific method
• Technology

CONTINUED FRACTIONS AND LATTICE SIEVING JENS FRANKE, THORSTEN KLEINJUNG Abstract. We present a new method of lattice sieving which we expect to be faster by a constant factor than the method of Pollard, and which has bee

Source URL: www.hyperelliptic.org

• Integer factorization algorithms
• Mathematics
• Computing
• Quadratic sieve
• Software engineering
• NC
• General number field sieve
• Pure
• Euclidean algorithm

PRESS RELEASE SWITZERLAND INVITES INTERNATIONAL STARTUPS TO DISRUPT KEY INDUSTRIES Kickstart, one of the largest multi-corporate accelerators, officially launches its second cohort with the inclusion of new regions and

Source URL: ksacc.panter.ch

• Economy
• Business
• Business incubators
• Entrepreneurship
• Private equity
• Startup company
• Startup accelerator
• Swisscom
• F10

6 to 10 AprilICC-PIDS-WU-239/15_Eng ICC Weekly Update #239 ICC President meets United Nations Secretary-General in New York

Source URL: www.icc-cpi.int

• Law
• Foreign relations
• Government
• International Criminal Court
• War crimes
• International Criminal Court investigation in the Democratic Republic of the Congo
• Second Congo War
• International criminal law
• Germain Katanga
• Thomas Lubanga Dyilo
• Jean-Pierre Bemba
• Mathieu Ngudjolo Chui

Crossword Puzzles as a Constraint Problem Anbulagan and Adi Botea NICTA?? and Australian National University, Canberra, Australia {anbulagan|adi.botea}@nicta.com.au Abstract. We present new results in crossword composit

Source URL: abotea.rsise.anu.edu.au

• Constraint programming
• NP-complete problems
• Puzzles
• Crossword
• Constraint satisfaction
• Local consistency
• Human behavior
• Backtracking
• Theoretical computer science
• Cognition

Wedge: A New Frontier for Pull-based Graph Processing

Source URL: platformlab.stanford.edu

New features in C# 4.0 Mads Torgersen, C# Language PM Contents 11

Source URL: code.msdn.microsoft.com

• Software engineering
• Computer programming
• Computing
• Method
• Data types
• Object-oriented programming languages
• Programming languages
• Subroutines
• Late binding
• Objective-C
• Extension method
• C Sharp 4.0

SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination by Dejan Jovanovi´c

Source URL: csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Formal methods
• Logic in computer science
• Computability theory
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Solver
• Entscheidungsproblem
• Decidability

A2J Evaluation and Research Options Formative Assessment Technology Example: You designed a new online tool to help self-represented litigants file for Chapter 7 bankruptcies. The tool contains eligibility criteria: it

Source URL: a2jlab.org

• Metaphysics
• Evaluation
• Impact assessment
• Philosophy of science
• Program evaluation
• Pro se legal representation in the United States
• Causality
• Impact evaluation

Lipari School on Computational Complex and Social Systems: From swarm intelligence to digital democracy: new tools for a complex society JulyLipari Island, Italy SCHOOL SCHEDULE

Source URL: complex.liparischool.it