Interpretation - PDFSEARCH.IO - Document Search Engine

Interpretation
Results: 14654

#	Item
1	IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Software engineering Computing Software Compilers Compiler construction Compiler optimizations Abstract interpretation LLVM Programming language implementation Intermediate representation Polyspace Static program analysis
2	Zero Returns to Compulsory Schooling in Germany: Evidence and Interpretation Jörn-Ste¤en Pischke LSE Till von Wachter Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2007-10-03 08:41:04 Education Secondary education Educational stages Tertiary education Ninth grade Tenth grade Education in Germany Twelfth grade Hauptschule Vocational education Compulsory education Student
3	Zero Returns to Compulsory Schooling in Germany: Evidence and Interpretation Jörn-Ste¤en Pischke LSE Till von Wachter Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2006-04-19 09:18:04 Education Secondary education Educational stages Compulsory education Tenth grade Vocational education Education in Germany Ninth grade Student Hauptschule State school Apprenticeship
4	THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2017-11-26 10:28:12 Algebra Abstract algebra Mathematics Algebras Multilinear algebra Lie algebras Hopf algebras Category theory Universal enveloping algebra PoincarBirkhoffWitt theorem Exterior algebra F-algebra
5	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set
6	Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical analysis Mathematics Abstract interpretation Function Exponential function Complex analysis Formal methods Centripetal CatmullRom spline
7	Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Order theory Algebra Abstract algebra Lattice theory Lattice Partially ordered set KnasterTarski theorem Complete lattice Binary relation Join and meet Monotonic function
8	On Abstra t Interpretation of Mobile Ambients Fran es a Levi DISI, University of Genova, Italy Sergio Maeis Department of Computing, Imperial College, UK levifrandisi.unige.it Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Ambient calculus Process calculi
9	McLAREN APPLIED TECHNOLOGIES LIMITED CONDITIONS OF SALE OF GOODS AND/OR SERVICES 1. Interpretation Add to Reading List Source URL: static-mat-cdn.mclaren.com Language: English - Date: 2018-10-22 11:29:10 Contract law Economy Law Private law Risk of loss Incoterms Order Implied warranty Short Sale and purchase of ship South African law of sale
10	Generalization without Systematicity: Supplementary materials SCAN grammar and interpretation function The phrase-structure grammar generating all SCAN commands is presented in Figure 1. The corresponding interpretation Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2018-06-06 16:33:37 Artificial intelligence Machine learning Applied mathematics Artificial neural network Computational neuroscience Market research Market segmentation Mathematical psychology Encoder Recurrent neural network Decoder Rnn