Cheshire II at INEX: Using A Hybrid Logistic Regression and Boolean Model for XML Retrieval Ray R. Larson School of Information Management and Systems University of California, Berkeley Berkeley, California, USA,

Source URL: metadata.sims.berkeley.edu

Learning a Probabilistic Boolean Network Model from Biological Pathways and Time-series Expression Data A thesis submitted in partial fulfillment of the requirements for the degree of Bachelor of Technology

Source URL: vardaan123.github.io

Journal on Satisfiability, Boolean Modeling and ComputationUniversal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories Francesco Alberti

Source URL: jsat.ewi.tudelft.nl

MedSearch: A Retrieval System for Medical Information Based on Semantic Similarity Angelos Hliaoutakis1 , Giannis Varelas1 , Euripides G.M. Petrakis1 , and Evangelos Milios2 1

Source URL: www.intelligence.tuc.gr

• Information science
• Information retrieval
• Natural language processing
• Search algorithms
• Vector space model
• Query expansion
• Semantic similarity
• Search engine
• Precision and recall
• Generalized vector space model
• Extended Boolean model

A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin

Source URL: www.fields.utoronto.ca

• Mathematics
• Theoretical computer science
• Abstract algebra
• FO
• Finite model theory
• Sheaf
• Boolean satisfiability problem
• Uniform space

Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany

Source URL: wwwiti.cs.uni-magdeburg.de

• Logic
• Abstraction
• Propositional calculus
• Syntax
• Mathematics
• Logic in computer science
• Formal methods
• Feature model
• Semantics
• Product family engineering
• Software Product Lines Online Tools
• Boolean algebra

Decoupling Context-Free Grammar from Gigabit Switches in Boolean Logic Ike Antkare International Institute of Technology United Slates of Earth

Source URL: membres-lig.imag.fr

• Chivalry
• Military personnel
• Actor model
• Concurrent computing
• Dwight D. Eisenhower

A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook

Source URL: bsd7.cs.sunysb.edu

• Mathematics
• Logic
• Mathematical logic
• Boolean algebra
• Formal languages
• Model theory
• Binary decision diagram
• Model checking
• IP
• Boolean satisfiability problem
• Constructible universe
• Well-formed formula

Analyzing Scatter/Gather I/O and Boolean Logic with SillyLeap Ike Antkare International Institute of Technology United Slates of Earth

Source URL: membres-lig.imag.fr

• Actor model
• Concurrent computing

Analyzing the performance of top-k retrieval algorithms Marcus Fontoura Google, Inc

Source URL: fontoura.org

• Mathematical modeling
• Operations research
• Standard Boolean model
• Three-address code