<--- Back to Details
First PageDocument Content
Larry Sandler Memorial Award / FlyBase / Workshop / Abstract management / Biology / Academia / Knowledge
Larry Sandler Memorial Award
FlyBase
Workshop
Abstract management
Biology
Academia
Knowledge

Add to Reading List

Source URL: flybase.bio.indiana.edu

Download Document from Source Website

File Size: 154 B

Share Document on Facebook

Similar Documents

Automated theorem proving / Concolic testing / Software testing / Equations / Z3 / Solver / Equation solving / Mathematics / Abstraction / Software engineering

DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

DocID: 1xW38 - View Document

Theoretical computer science / Mathematics / Computational complexity theory / Logic in computer science / NP-complete problems / Electronic design automation / Formal methods / Constraint programming / Satisfiability modulo theories / Boolean satisfiability problem / Solver / Automated reasoning

Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014

DocID: 1xW2J - View Document

Academic publishing / Publishing / Identifiers / Information science / Knowledge / Technical communication / Electronic documents / Index / DataCite / Initiative for Open Citations / Crossref / Digital object identifier

DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405 DATACITE

DocID: 1xW23 - View Document

Culture / Cultural studies / Humanities / Conservation and restoration / Cultural heritage / Museology / Cultural anthropology / Traditions / Cultural Property / Intangible cultural heritage / Pattern language / Conservation-restoration of cultural heritage

4th International Seminar and Workshop Emerging Technology and Innovation for Cultural Heritage INVITED LECTURESNovember 2016 “Dimitrie Gusti” National Museum of Village

DocID: 1xW1L - View Document

Computational fluid dynamics / Modeling and simulation / ADCIRC / Computational science / Physical oceanography / Data parallelism / Numerical modeling / Conceptual model / Application software / Applied mathematics

Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1

DocID: 1xVYz - View Document