Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1

Source URL: csl.sri.com

Economy Class Crypto: Exploring Weak Cipher Usage in Avionic Communications via ACARS Matthew Smith1 , Daniel Moser2 , Martin Strohmeier1 , Vincent Lenders3 , and Ivan Martinovic1 1

Source URL: www.lenders.ch

• Aircraft instruments
• Aviation
• Avionics
• Technology
• Electronics
• ACARS
• ARINC
• VHF Data Link
• SATCOM
• Data link
• Pilot report
• Flight plan

System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal

Source URL: www.logic.at

• Mathematical logic
• Metalogic
• Logic
• Proof theory
• X0
• First-order logic
• Leitsch
• Sequent calculus

Article Mapping Higher-Order Network Flows in Memory and Multilayer Networks with Infomap Daniel Edler, Ludvig Bohlin and Martin Rosvall * Integrated Science Lab, Department of Physics, Umeå University, SEUmeå

Source URL: www.mapequation.org

Innovación terapéutica Una nueva terapéutica para el tinnitus – la estimulación sonora durante el sueño – Marisa Pedemontei, Daniel Drexlerii, Martín Testaiii, Marcela Díaziv, Matías López-Paullierv,

Source URL: www.tendenciasenmedicina.com

Suhrkamp Verlag Leseprobe Wrana, Daniel / Ziem, Alexander / Reisigl, Martin DiskursNetz Wörterbuch der interdisziplinären Diskursforschung

Source URL: www.suhrkamp.de

Workshop 3: Fächerübergreifende Lehr-Lern-LaborSeminare – Diskussionsteil Dr. Daniel Rehfeldt (Physik), Tobias Mehrtens (SU), David Seibert (Geschichte) und Martin Brämer (SU)

Source URL: www.qualitaetsoffensive-lehrerbildung.de

The effects of disclosure policy on risk management incentives and market entry by Daniel Hoang and Martin Ruckes No. 65 | NOVEMBER 2014

Source URL: econpapers.wiwi.kit.edu

Hash-flooding DoS reloaded: attacks and defenses Jean-Philippe Aumasson, Kudelski Group Daniel J. Bernstein, University of Illinois at Chicago Martin Boßlet, freelancer

Source URL: 131002.net

Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs Martin Grohe Dániel Marx∗

Source URL: www.cs.bme.hu