SEPA-Lastschriftmandat Bitte füllen Sie das Formular gut leserlich aus und senden uns dieses unterschrieben per Fax (+1042*) oder eingescanntem Anhang (.pdf- oder .jpg-Datei) via E-Mail an vertrag@hosteu

Source URL: www.hosteurope.de

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang 1 Chenglong Wang 2 Rishabh Singh 3 * Wen-tau Yih 4 Xiaodong He 5 * 1. Introduction Conventional supervised training is a pervasive paradigm

Source URL: uclmr.github.io

• Machine learning
• Learning
• Artificial intelligence
• Meta learning
• Support vector machine
• Supervised learning
• Training
• test
• and validation sets

Mrs.Z: Improving ZigBee Throughput via Multi-Rate Transmission Yifeng Cao∗ , Linghe Kong∗ , Liang He† , Guihai Chen∗ , Min-You Wu∗ , Tian He‡ ∗ Shanghai Jiao Tong University, China

Source URL: wirelesslab.sjtu.edu.cn

Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt University of Utah

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Transformation languages
• Programming languages
• High-level programming languages
• Functional programming
• Hygienic macro
• Macro
• Lisp
• Anonymous function

Partial Aborts for Transactions via First-Class Continuations Matthew Le Matthew Fluet Rochester Institute of Technology, USA

Source URL: manticore.cs.uchicago.edu

LNCSMildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars

Source URL: web.eecs.umich.edu

• Logic
• Mathematics
• Mathematical logic
• Formal languages
• Grammar frameworks
• Symbol
• Substitution
• Indexed grammar
• Table of stars with Bayer designations

Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Formal methods
• Quantification
• Predicate
• Propositional calculus
• Quantifier
• FO
• Satisfiability modulo theories
• Predicate transformer semantics

Efficient Multi-Party Computation: from Passive to Active Security via Secure SIMD Circuits Daniel Genkin12 , Yuval Ishai1 , and Antigoni Polychroniadou3 1

Source URL: web.eecs.umich.edu

• Cryptographic protocols
• Mathematics
• Secure multi-party computation
• Linear algebra
• Valuation
• Linear combination
• Finite field

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Source URL: unsat.cs.washington.edu

• Computer architecture
• System software
• Disk file systems
• Data management
• Inode
• File system
• Journaling file system
• Log-structured File System
• Ext3
• Mkfs
• Refinement
• Ext4

Prediction Market Equilibria via Substitutes and Complements Bo Waggoner Yiling Chen

Source URL: www.bowaggoner.com

• Forecasting
• Market
• Prediction market
• Social information processing
• Survey methodology
• Scoring rule
• Analysis
• Data