Positionspapier Forum Umwelt und Entwicklung zur GAP-Reform 2013: Die Zeit ist reif für eine neue EU-Agrarpolitik: umweltgerecht und global verantwortlich! fair,

Source URL: www.meine-landwirtschaft.de

SemTree: Ontology-Based Decision Tree Algorithm for Recommender Systems Amancio Bouza, Gerald Reif, Abraham Bernstein, Harald Gall Department of Informatics University of Zurich {bouza, reif, bernstein, gall}@ifi.uzh.ch

Source URL: sunsite.informatik.rwth-aachen.de

• Information
• Recommender systems
• Collective intelligence
• Social information processing
• Information retrieval
• Collaborative filtering
• Slope One
• Ontology
• Netflix Prize
• Information science
• Collaboration
• Science

Journal of Artificial Intelligence Research[removed] Submitted 08/09; published[removed]Interactive Cost Configuration Over Decision Diagrams Henrik Reif Andersen

Source URL: www.jair.org

• Diagrams
• Theoretical computer science
• Binary decision diagram
• Model checking
• Directed acyclic graph
• Constraint satisfaction problem
• Static single assignment form
• Optimization problem
• Applied mathematics
• Boolean algebra
• Constraint programming
• Mathematics

¨t Augsburg Universita Verifying Smart Card Applications: An ASM Approach. D.Haneberg, H.Grandy, W.Reif, G.Schellhorn

Source URL: www.isse.uni-augsburg.de

• Information
• Dolev-Yao model
• Public-key cryptography
• Communications protocol
• Needham–Schroeder protocol
• Transmission Control Protocol
• Smart card
• Email
• Cryptographic protocols
• Cryptography
• Data

Official Journal of the International Federation of Library Associations and Institutions – Volume[removed]No. 1, p. 1 – 56, ISSN[removed]K. G. Saur München CONTENTS Stefan C. Reif. The Cairo Genizah:

Source URL: www.ifla.org

• International Standard Bibliographic Description
• Data
• Information
• Library science
• International Federation of Library Associations and Institutions
• World Digital Library
• Intellectual freedom

I. Die Zeit ist reif für einen Neuanfang in Hessen (Präambel) II.

Source URL: www.spd-hessen.de

An Introduction to Binary Decision Diagrams Henrik Reif Andersen x

Source URL: fooo.fr

• Logic
• Boolean satisfiability problem
• Tautology
• Conjunctive normal form
• Binary decision diagram
• Disjunctive normal form
• Propositional variable
• Truth table
• Canonical form
• Boolean algebra
• Mathematics
• Mathematical logic

Abstract sheet ABSTRACT SHEET This abstract sheet may be reproduced without charge. Reif, Stefan C. The Cairo Genizah: A Medieval Mediterranean Deposit and

Source URL: www.ifla.org

Energiewende & Stromtrassen Datum: [removed]:02 Kategorie: Energie & Umwelt Pressemitteilung von: AgrarSolar GmbH&Co.KG Reif für die Insel...

Source URL: www.openpr.de

The Cairo Genizah: a Medieval Mediterranean Deposit and Modern Cambridge Archive Stefan C. Reif Amassing the Genizah

Source URL: www.ifla.org

• Librarian
• Cambridge University Library
• Genizah
• Solomon Schechter
• Library
• Science
• Library science
• Judaism
• Cairo Geniza