Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Proof theory
• Logic
• Mathematics
• Natural deduction
• Sequent calculus
• Sequent
• First-order logic
• Admissible rule
• Conjunctive normal form
• Quantifier
• Cut-elimination theorem

University of Birmingham Chiara Mingarelli Posted on Tuesday 14th April 2015 Marie Curie Postdoctoral Fellow, California Institute of Technology PhD Astrophysics (2014)

Source URL: www.chiaramingarelli.com

• California Institute of Technology faculty
• Chiara Mingarelli
• University of Birmingham
• Birmingham
• Supervisor
• Doctor of Philosophy
• Science and technology in Canada
• Science and technology in Italy
• Science

金沢大学 環日本海域環境研究センター Institute of Nature and Environmental Technology Kanazawa University

Source URL: www.ki-net.kanazawa-u.ac.jp

Locality in Networks Jukka Suomela Helsinki Institute for Information Technology HIIT Department of Computer Science, University of Helsinki Foundations of Network Science Workshop Riga, 7 July 2013

Source URL: users.ics.aalto.fi

Visual Comfort for Mobile Displays Li-Chen Ou Graduate Institute of Color and Illumination Technology National Taiwan University of Science and Technology Which one looks more comfortable in the eyes?

Source URL: www.color.org

Bin He, Professor and Head Department of Biomedical Engineering, Carnegie Mellon University Ph.D., 1988, Tokyo Institute of Technology; Postdoc, Harvard University - M.I.T. Professor Bin He’s research is centered aroun

Source URL: www.bme.cmu.edu

Age Effects and Heuristics in Decision Making∗ Tibor Besedeˇs Georgia Institute of Technology Cary Deck University of Arkansas Sudipta Sarangi

Source URL: besedes.econ.gatech.edu

TECHNOLOGIES EU-BRIDGE Partners Karlsruhe Institute of Technology (Germany), RWTH Aachen University (Germany), Fondazione Bruno Kessler (Italy)

Source URL: project.eu-bridge.eu

Poster for SAT/SMT Summer SchoolModeling High School Timetabling (HSTT) as maxSAT/SMT Vienna University of Technology Institute of Information Systems Database and Artificial Intelligence Group

Source URL: satsmt2014.forsyte.at

Detection of periodicity in functional time series Siegfried H¨ormann Institute of Statistics Graz University of Technology Periodicity is one of the most important characteristics of time series, and tests for periodic

Source URL: www.statistik.tu-dortmund.de