Structures - PDFSEARCH.IO - Document Search Engine

Structures
Results: 12734

#	Item
841	1 A fast partitioning algorithm using adaptive Mahalanobis clustering with application to seismic zoning Antonio Morales-Esteban Department of Building Structures and Geotechnical Engineering, University of Seville, Add to Reading List Source URL: www.mathos.unios.hr Language: English - Date: 2014-09-29 15:30:30 Mathematics Discrete mathematics Statistics K-means clustering Partition Cluster analysis
842	File Number: _______________ (For OSE Use Only) NEW MEXICO OFFICE OF THE STATE ENGINEER PROOF OF COMPLETION OF WORKS (SURFACE WATERS) Add to Reading List Source URL: www.ose.state.nm.us Language: English - Date: 2016-02-26 11:51:28 Hydraulic structures Infrastructure Civil engineering Hydraulic engineering Dam Spillway
843	Categories of Log Schemes with Archimedean Structures By Shinichi Mochizuki∗ Contents Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2014-08-18 10:59:58 Abstract algebra Algebra Mathematics Sheaf theory Algebraic geometry Grothendieck topology Topos theory Isomorphism Log structure Topos Functor Adjoint functors
844	Feature structures for parsing Feature structures for parsing The issue Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-04 20:58:44 Syntax Cognitive science Grammar Subcategorization Head-driven phrase structure grammar Phrase structure grammar Feature structure Phrase structure rules Parsing Topicalization Discontinuity Phrase
845	24.502: Topics in Metaphysics and Ethics Spring 2012: Social Structure: What? How? Why? Course Description: Social and political theorists often talk of social structures, the positions of individuals within social struc Add to Reading List Source URL: sallyhaslanger.weebly.com Language: English - Date: 2016-03-10 16:12:12 Philosophy Political philosophy Analytic philosophers American philosophers Critical theory Social philosophy Sally Haslanger Sociology Rational choice theory Ideology Frankfurt School Helen Longino
846	The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2011-06-22 07:54:11 Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence
847	(4, 2)-choosability of planar graphs with forbidden structures 1 4 Add to Reading List Source URL: orion.math.iastate.edu Language: English - Date: 2016-07-07 18:45:25 Graph theory Graph coloring Planar graphs List coloring Chordal graph Neighbourhood Discharging method Matching Graph Incidence coloring
848	Department of Civil Engineering Add to Reading List Source URL: files.conferencemanager.dk Language: English - Date: 2016-03-23 08:55:33 Materials and Structures Doctor of Philosophy Lund University Academia Academic publishing Publishing
849	Hydraulique des ouvrages de franchissement des vallées fluviales The hydraulics of structures for crossing river valleys G. Nicollet Electricité de France Add to Reading List Source URL: www.shf-lhb.org Language: French
850	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:32 Algebra Mathematics Abstract algebra Algebraic structures Semigroup theory Automated theorem proving Logic programming Category theory Unification Monoid Semigroup Substitution