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

Discovering Facts with Boolean Tensor Tucker Decomposition ˝ ∗ Dóra Erdos Pauli Miettinen

Source URL: people.mpi-inf.mpg.de

Control and embedded Systems Tutorial Table Of Contents Previous: Programming Part 1 Next: Boolean Logic

Source URL: learn-c.com

• Units of information
• Computing
• Binary arithmetic
• Information
• Linguistics
• Nibble
• Hexadecimal numeral system
• Computer arithmetic
• Hexadecimal
• Byte
• Binary-coded decimal

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

Source URL: www.mancoosi.org

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Operations research
• Logic in computer science
• Mathematical optimization
• NP-complete problems
• Boolean algebra
• Maximum satisfiability problem
• Boolean satisfiability problem
• Constraint satisfaction
• Solver

2015 IEEE Symposium on Security and Privacy TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits Ebrahim M. Songhori∗ , Siam U. Hussain∗ , Ahmad-Reza Sadeghi† , Thomas Schneider† , Farinaz Kous

Source URL: www.ieee-security.org

• Electronic engineering
• Digital electronics
• Electronics
• Electronic design automation
• Electronic design
• Logic in computer science
• Cryptographic protocols
• Garbled circuit
• Boolean circuit
• Sequential logic
• Logic synthesis
• Standard cell

A Result of Vapnik with Applications Martin Anthony Department of Statistical and Mathematical Sciences London School of Economics Houghton Street London WC2A 2AE, U.K.

Source URL: www.maths.lse.ac.uk

• Mathematical analysis
• Mathematics
• Measure theory
• Probability theory
• Boolean algebra
• Sigma-algebra
• Cardinal number
• Uniform convergence
• Relationships among probability distributions

Improved approximation for Fr´echet distance on c-packed curves matching conditional lower bounds (extended abstract) Karl Bringmann∗ Marvin K¨

Source URL: people.mpi-inf.mpg.de

• Mathematical analysis
• Mathematics
• Measure theory
• Homotopy theory
• Differential topology
• Analysis
• Boolean algebra
• Probability theory
• Sigma-algebra
• Generalised Whitehead product

Computing Fundamentals Salvatore Filippone 2012–2013

Source URL: people.uniroma2.it

• Software engineering
• Computer programming
• Computing
• Procedural programming languages
• Conditional
• Boolean data type
• C
• For loop
• Statement
• Switch statement
• Logical connective
• Subroutine

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

Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone:

Source URL: students.ceid.upatras.gr

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Boolean satisfiability problem
• Electronic design automation
• Symposium on Discrete Algorithms
• Approximation algorithm
• Random walk
• 2-satisfiability