Isabelle - PDFSEARCH.IO - Document Search Engine

Isabelle
Results: 1487

#	Item
141	Sampling Graphs with a Prescribed Joint Degree Distribution Using Markov Chains Isabelle Stanton∗ Ali Pinar† UC Berkeley Sandia National Laboratories‡ Add to Reading List Source URL: www.sandia.gov Language: English - Date: 2011-01-04 15:53:31 Graph theory Mathematics Discrete mathematics Matroid theory Bipartite graph Parity Autocorrelation Graph Degree Connectivity Ear decomposition Directed graph
142	Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗ Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Unified Modeling Language Object Constraint Language Software Data management ECO Isabelle OCL Null Higher-order logic
143	Engineering Nunchaku: A Modular Pipeline of Codecs Simon Cruanes 28th of June, 2016 Simon Cruanes Add to Reading List Source URL: cedeela.fr Language: English - Date: 2016-06-28 05:58:53 Software engineering Software Proof assistants Theoretical computer science Functional languages Automated theorem proving Logic in computer science Nunchaku Isabelle HOL Coq Kepler conjecture
144	A Unified Flash Flood Database across the United States by Jonathan J. Gourley, Yang Hong, Z achary L. Flamig, Ami Arthur, Robert Clark, Martin Calianno, Isabelle Ruin, Terry Ortel, Michael E. Wieczorek, Add to Reading List Source URL: hydro.ou.edu Language: English - Date: 2013-10-15 20:25:23 Hydrology Physical geography Meteorology Water Flood National Weather Service Storm National Severe Storms Laboratory Storm Data Flash flood Streamflow Flash flood guidance system
145	Academia and Clinic Annals of Internal Medicine Methods and Processes of the CONSORT Group: Example of an Extension for Trials Assessing Nonpharmacologic Treatments Add to Reading List Source URL: www.consort-statement.org Language: English - Date: 2013-08-14 20:08:36 Medical research Research Health Design of experiments Clinical research Nursing research Evidence-based practices Consolidated Standards of Reporting Trials Isabelle Boutron Randomized controlled trial Systematic review Strengthening the reporting of observational studies in epidemiology
146	ART I CL E Plasmacytoid precursor dendritic cells facilitate allogeneic hematopoietic stem cell engraftment Isabelle J. Fugier-Vivier,1,2 Francine Rezzoug,1 Yiming Huang,1 Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Medicine Cell biology Clinical medicine Immunology Stem cells Lymphocytes Transplantation medicine T cells Hematopoietic stem cell CpG Oligodeoxynucleotide Natural killer cell T helper cell
147	Numeric Key of Factor levels for extraction parameters Quality of Animal Experiments in Anti-Angiogenic Cancer Drug Development – A Systematic Review Marianne Isabelle Martic-Kehl, Add to Reading List Source URL: www.collegium.ethz.ch Language: English - Date: 2015-04-28 04:00:09 Brain tumor Medicine Clinical medicine Angiology Health Glioma Ancient Egyptian concept of the soul Angiogenesis inhibitor Neuroblastoma Plasmacytoma Angiogenesis C-Met
148	PNAS PLUS Transgenic Anopheles stephensi coexpressing single-chain antibodies resist Plasmodium falciparum development Alison T. Isaacsa,b, Nijole Jasinskieneb, Mikhail Tretiakovb, Isabelle Thieryc, Agnès Zettorc, Cath Add to Reading List Source URL: www.microbiology.uci.edu Language: English - Date: 2015-04-02 17:36:59 Biology Apicomplexa Malaria Genetics Plasmodium Molecular biology Transgene Site-specific recombination Circumsporozoite protein Plasmodium falciparum Mosquito Single-chain variable fragment
149	MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-03-13 06:06:51 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming
150	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning

UPDATE