LS6 - PDFSEARCH.IO - Document Search Engine

LS6
Results: 45

#	Item
21	ERC Starting Grants 2011 Results Last Name Life Sciences (LS) Add to Reading List Source URL: erc.europa.eu Language: English - Date: 2014-12-02 19:33:55 GM LS engine LS1 LS6 European Molecular Biology Organization LS8 Rolladen-Schneider Flugzeugbau Science and technology in Europe Europe European Research Council
22	Preprocessing for Controlled Query Evaluation with Availability Policy∗ Joachim Biskup and Lena Wiese† Universit¨at Dortmund, 44221 Dortmund, Germany Tel.: +[removed], Fax: +[removed] {biskup,wiese}@ls6. Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:20 Propositional calculus Logical syntax Formal languages Philosophy of language Resolution Interpretation Well-formed formula Conjunctive normal form Function Logic Mathematical logic Mathematics
23	Using SAT-Solvers to Compute Inference-Proof Database Instances (Abstract Version) Cornelia Tadros and Lena Wiese Technische Universitat Dortmund, 44221 Dortmund, Germany {tadros,wiese}@ls6.cs.uni-dortmund.de Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:06 Logic in computer science Boolean algebra Propositional calculus Operations research Combinatorial optimization Maximum satisfiability problem Interpretation Mathematical optimization Solver Mathematics Theoretical computer science Mathematical logic
24	On Finding an Inference-Proof Complete Database for Controlled Query Evaluation Joachim Biskup and Lena Wiese Universit¨ at Dortmund, 44221 Dortmund, Germany {biskup,wiese}@ls6.cs.uni-dortmund.de Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:10 Logical syntax Metalogic Propositional calculus Resolution Interpretation Conjunctive normal form Logic programming Entailment Well-formed formula Logic Mathematical logic Formal languages
25	Secure Mediation with Mobile Code? Joachim Biskup, Barbara Sprick, and Lena Wiese Universit¨ at Dortmund, D[removed]Dortmund, Germany, {biskup,sprick,wiese}@ls6.cs.uni-dortmund.de, home page: http://ls6-www.cs.uni-dortmun Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:12 Relational database management systems Dispute resolution Mediation Mobile agent SQL Java Encryption Computing Software engineering Cross-platform software
26	Leeds Disability Tag Rugby Festival 2014 Headingley Carnegie Stadium, Leeds Tuesday 23rd September 2014 10am to 2pm Add to Reading List Source URL: www.leeds.gov.uk Language: English - Date: 2014-07-21 12:08:54 Local government in England Leeds Headingley Stadium LS6 Headingley Leeds City Region Yorkshire
27	Combining RDF and Agent-Based Architectures for Semantic Interoperability in Digital Libraries Norbert Fuhr, Claus-Peter Klas University of Dortmund, Germany {fuhr,klas}@ls6.cs.uni-dortmund.de Add to Reading List Source URL: www.ercim.eu Language: English - Date: 2008-12-08 05:11:33 Science Computing Technical communication Information science Telecommunications RDF Schema Ontology Semantic interoperability Interoperability Semantic Web Information Knowledge representation
28	UNITY IN PROCESS; REFLECTIONS ON ECUMENISM “A jolly good read” – Cardinal Vincent Nichols “Probably the most helpful introductory book on Christian unity to have appeared for years… informative, wide-ranging, Add to Reading List Source URL: www.wyec.co.uk Language: English - Date: 2014-03-11 08:36:46 Unitatis Redintegratio LS6 Ecumenical council Ecumenism Catholic Church and ecumenism Christian ecumenism Religious pluralism Christianity Religion
29	WYEC Hinsley Hall 62 Headingley Lane Leeds LS6 2BX Tel: [removed]Fax: [removed] Add to Reading List Source URL: www.wyec.co.uk Language: English - Date: 2013-08-06 04:14:49 Headingley Association of Commonwealth Universities Leeds Wakefield Methodism Horsforth Counties of England Geography of England Yorkshire
30	WEST YORKSHIRE ECUMENICAL COUNCIL, HINSLEY HALL, 62 HEADINGLEY LANE, LEEDS, LS6 2BX[removed]Reply to: [removed] Add to Reading List Source URL: www.wyec.co.uk Language: English - Date: 2014-05-19 09:56:46 Leeds Roman Catholic Diocese of Leeds Bradford Methodist Church of Great Britain Headingley Methodism Counties of England Geography of England Yorkshire