F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
271	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-19 09:57:02 Compiler construction Formal languages LL parser Dependency grammar Linear programming Parse tree Conditional random field Combinatory logic Directed graph Mathematics Graph theory Theoretical computer science
272	Heylighen F[removed]): "Classical and Non-classical Representations in Physics II: Quantum mechanics", Cybernetics and Systems 21, p[removed]Classical and Non-Classical Representations in Physics II: Quantum Mechanics Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:32 Quantum state Quantum superposition Observable Hilbert space Schrödinger equation Wave function Operator Position operator Quantum probability Physics Quantum mechanics Quantum logic
273	Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:53:30 Science Logic Information Transitive closure Abox Description logic
274	Cascade Object Detection with Deformable Part Models∗ Pedro F. Felzenszwalb University of Chicago Ross B. Girshick University of Chicago Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-01 18:04:34 Ordinal numbers Analysis of algorithms Asymptotically optimal algorithm Code First uncountable ordinal Symbol Mathematical logic Mathematics Set theory
275	Geometric Binding Site Design for Surface-Tension Driven Self-Assembly Xiaorong Xiong, Sheng-Hsiung Liang and Karl F. B¨ohringer Department of Electrical Engineering University of Washington, Seattle, WA[removed]Emai Add to Reading List Source URL: www.ee.washington.edu Language: English - Date: 2004-03-07 17:14:20 Polar coordinate system Entailment D2B Logic Deduction Wetting
276	IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS—PART A: SYSTEMS AND HUMANS, VOL. 30, NO. 6, NOVEMBER[removed]Stable and Robust Fuzzy Control for Uncertain Nonlinear Systems H. K. Lam, F. H. F. Leung, and P. K. S. Tam Add to Reading List Source URL: repository.lib.polyu.edu.hk Language: English - Date: 2014-12-02 23:41:16 Science Cybernetics Logic in computer science Control theory Fuzzy control system Sliding mode control Lyapunov stability State space Type-2 fuzzy sets and systems Logic Fuzzy logic Artificial intelligence
277	Microsoft Word - Rideout LWI 2008 GALLEY_f_.doc Add to Reading List Source URL: www.journallegalwritinginstitute.org Language: English - Date: 2012-12-18 16:57:49 Science Critical thinking Logic Style Narrative paradigm Rhetoric Walter Fisher Narrative Argumentation theory Literature Fiction Narratology
278	Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer science Programming language theory Theory of computation Logic in computer science Models of computation System F Typed lambda calculus Simply typed lambda calculus Type system Theoretical computer science Lambda calculus Type theory
279	436 F Signal Conditioners Two-wire Signal Conditioners Add to Reading List Source URL: www.m-system.com Language: English - Date: 2011-10-17 04:33:24 M-Module Modbus Programmable logic controller Technology Automation Control engineering
280	EVALUATION KIT AVAILABLE MAX3222/MAX3232/ MAX3237/MAX3241* 3.0V to 5.5V, Low-Power, up to 1Mbps, True RS-232 Transceivers Using Four 0.1µF External Capacitors Add to Reading List Source URL: datasheets.maximintegrated.com Language: English - Date: 2014-11-03 19:09:12 Electronics Electricity Capacitor Energy storage Charge pump RS-232 IC power supply pin Logic level MAX232 Electromagnetism Integrated circuits Electronic engineering

UPDATE