Substitution model - PDFSEARCH.IO - Document Search Engine

Substitution model
Results: 273

#	Item
1	The interwar trade decline Paul Krugman Determinants of globalization: a toy model Assume two symmetric countries, each specialized in production Goods enter symmetrically into utility, with elasticity of substitution Add to Reading List Source URL: www.princeton.edu - Date: 2010-02-20 15:08:00
2	Exploiting Uniformity in Substitution: the Nuprl Term Model Abhishek Anand Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:43:39
3	Uncovering substitution patterns in new car sales using a cross nested logit model Anna Fernández Antolín Matthieu de Lapparent Michel Bierlaire Add to Reading List Source URL: www.strc.ch - Date: 2016-06-11 08:30:41
4	The C.V. Boots / C.V. Boot Kits Section includes Inner and Outer C.V. Boots / C.V. Boot Kits by Application, Vehicle Model Identification Information, C.V. Boot Substitution Information, C.V. Boot Clamps, Grease and Tool Add to Reading List Source URL: empius.com
5	Aligning protein sequences with predicted secondary structure John Kececioglu∗ Eagu Kim† Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2010-03-22 00:58:21 Bioinformatics Computational phylogenetics Biology Mathematical and theoretical biology Sequence alignment Multiple sequence alignment Substitution matrix BLOSUM Protein secondary structure Dynamic programming PSIPRED Substitution model
6	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-30 17:58:06 Logic Mathematics Mathematical logic Logic programming Model theory Stable model semantics Modal logic Substitution FO Binomial coefficient
7	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic
8	Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:05 Logic Model theory Mathematics Mathematical logic Conjunctive query Structure First-order logic Substitution Relational algebra FO Interpretation Satisfiability
9	A separation logic for refining concurrent objects Aaron Turon Mitchell Wand Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-07-15 17:40:28 Logic Mathematical logic Abstraction Model theory Predicate logic Semantics Denotational semantics First-order logic Structure Quantifier Substitution
10	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic Mathematical logic Mathematics Automated theorem proving Logic programming Model theory Formal languages Type theory Unification Structure Substitution Symbol