The Real First Class? Inferring Confidential Corporate Mergers and Government Relations from Air Traffic Communication Martin Strohmeier∗ , Matthew Smith∗ , Vincent Lenders† , Ivan Martinovic∗ ∗ University of

Source URL: www.lenders.ch

• Aviation
• Human behavior
• Transport
• Air traffic control
• Terms of service
• Automatic dependent surveillance broadcast
• Avionics
• FlightAware
• OpenSky Network
• Internet privacy
• Flightradar24
• Aircraft spotting

Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca

Source URL: forsyte.at

• Measure theory
• FO
• Finite model theory
• Ergodic theory
• Mathematics
• Logic
• Mathematical logic
• Lie algebras
• Hopf decomposition
• Pattern language

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Distribution
• Functional analysis
• Markov chain

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Martin Vechev, Laurent Vanbever net2text.ethz.ch

Source URL: nsg.ee.ethz.ch

• Computing
• Computer networking
• Internet architecture
• Networking hardware
• Router
• Server appliance
• Forwarding
• Information and communications technology
• Data transmission

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗

Source URL: practicalsynthesis.github.io

Ordered Treemap Layouts Martin Wattenberg Dow Jones / SmartMoney.com and Digital Media Center, Columbia University

Source URL: cvs.cs.umd.edu

• Infographics
• Visualization
• Treemapping
• Computing
• Communication design
• Mathematics
• Humancomputer interaction
• Graph drawing software
• Ben Shneiderman
• Data visualization
• JUNG
• Algorithm

Net 2 Text Hey network, what are you up to? * Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev

Source URL: nsg.ee.ethz.ch

• Computer networking
• Inter-process communication
• Traffic flow
• Egress
• Path

Your Botnet is My Botnet: Analysis of a Botnet Takeover Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard Kemmerer, Christopher Kruegel, and Giovanni Vigna University of California

Source URL: www.doc.ic.ac.uk

• Botnets
• Cybercrime
• Computing
• Cyberwarfare
• Torpig
• Srizbi botnet
• Festi
• Fast flux
• Domain generation algorithm
• Bot herder
• The Spamhaus Project
• Conficker

Arkansas Secretary of State Q Mark Martin Application for Secretary of State Certificate of Recognition

Source URL: www.sos.arkansas.gov

• Email
• Mail