Joint - PDFSEARCH.IO - Document Search Engine

Joint
Results: 73704

#	Item
11	Producing Skolem Expansion Trees with the CERESω method: A Case Study Martin Riener, joint work with Alexander Leitsch Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Logic Mathematics Model theory Proof theory Quantification Predicate logic Thoralf Skolem Skolem normal form Soundness Quantifier Sequent calculus
12	Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-03-05 21:15:02
13	CONES OF HIGHER-CODIMENSIONAL CYCLES OLIVIER DEBARRE July 14, 2010 This is joint work with L. Ein, R. Lazarsfeld, and C. Voisin (eprint arXiv:, to appear in Compos. Math.). Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2010-07-14 05:23:13 Algebra Geometry Abstract algebra Algebraic geometry Algebraic varieties Convex geometry Divisor Nef line bundle Projective variety Abelian variety Convex cone Ample line bundle
14	A NEW FAMILY OF SYMPLECTIC FOURFOLDS OLIVIER DEBARRE This is joint work with Claire Voisin. 1. Irreducible symplectic varieties It follows from work of Beauville and Bogomolov that any smooth Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2009-12-04 07:35:13 Geometry Algebra Abstract algebra Algebraic geometry Differential geometry Birational geometry Hilbert scheme Moduli theory Scheme theory Hodge theory Kodaira dimension Hodge structure
15	Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm) Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-18 18:47:15 Mathematical analysis Logic Theoretical computer science Automated theorem proving Logic programming Conflict-driven clause learning E Calculus Substitution Exponential function
16	Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang University of Washington Joint work with: Yuyin Sun Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Data management Computing Information retrieval SQL Relational database management systems Query languages Database management systems Select SQL syntax Null
17	Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang University of Washington Joint work with: Hao Lü, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Economy Business Graphical user interface Software architecture Workflow
18	Gemeinsame Verwaltung / Joint Administration Geschäftsführer V&T / General Manager Volker Maria Geiss + Übersetzung Add to Reading List Source URL: www.mpi-klsb.mpg.de Language: German - Date: 2018-04-25 02:20:59
19	Mixing Layers in Symmetric Crypto Ko Stoffelen Joint work withThorsten Kranz, Gregor Leander, Ko Stoffelen, Friedrich Wiemer. Shorter Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-02-09 07:39:38 Coding theory Mathematics MDS matrix Discrete mathematics Singleton bound MDS ReedSolomon error correction Erasure code
20	Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computer programming Software engineering Infinite loop Recursion Software development Software testing Java Extreme programming

UPDATE