Value Analysis Frama-C’s value analysis plug-in AluminiumPascal Cuoq and Boris Yakobowski with Matthieu Lemerre, André Maroneze, Valentin

Source URL: frama-c.com

• Subroutines
• Frama-C
• Data types
• Abstract interpretation
• Parameter
• Pointer
• Expected value
• Constant

Types and Tokens Graduate Seminar, University at Buffalo, Fall 2005 PHI513S Fabian Neuhaus and Boris Hennig (Institute for Formal Ontology and Medical Information Science), with

Source URL: www.borishennig.de

• Ontology
• Metaphysicians
• Analytic philosophers
• Ancient Greek philosophers
• Philosophers of education
• Universal
• Problem of universals
• Nominalism
• Trope
• David Malet Armstrong
• Typetoken distinction
• Category of being

Simultaneous Learning and Alignment: Multi-Instance and Multi-Pose Learning? Boris Babenko1 Piotr Doll´ar1,2

Source URL: pages.ucsd.edu

• Machine learning
• Ensemble learning
• Boosting
• Statistical classification
• Gradient boosting
• Supervised learning
• Multiple instance learning

Structured Objects in OWL: Representation and Reasoning Boris Motik Bernardo Cuenca Grau Ulrike Sattler

Source URL: www.hermit-reasoner.com

• Graph theory
• Graph
• Ear decomposition
• Tree
• K-connectivity certificate
• Line graph

Z A P I S N I K 12. SJEDNICE GRADSKOG VIJEĆA GRADA KOMIŽE Održane 11. ožujkagodine, u Galeriji "Boris Mardešić", s početkom u 10:00 sati. Nazočni vijećnici: Edo Bogdanović, Toni Borčić, Pino Vojković,

Source URL: www.komiza.hr

ˇ Publications by Boris Skori´ c ˇ [1] B. Skori´ c. Unclonable encryption revisited: 4x2=8, 2015. https://eprint.iacr.org.

Source URL: security1.win.tue.nl

• Randomness
• Formal sciences
• Physical unclonable function
• Information theory

INSTANCE IS THE CONVERSE OF ASPECT Boris Hennig Abstract According to the aspect theory of instantiation, a particular A instantiates a universal B if and only if an aspect of A is cross-count identical with an aspect of

Source URL: www.borishennig.de

• Ontology
• Epistemology
• Ancient Greek philosophers
• Epistemologists
• Platonism
• Plato
• Class
• Universal
• David Malet Armstrong
• Theory of Forms
• Socrates
• Problem of universals

IZPP. AusgabeThemenschwerpunkt „Subjekt und Objekt“. Boris Zizek, Subjektivität als Problem moderner Lebensgestaltung – Ein krisentheoretischer Zugang Herausgeber: Wolfgang Eirund und Joachim Heil ISSN:

Source URL: www.izpp.de

Z A P I S N I K 10. SJEDNICE GRADSKOG VIJEĆA GRADA KOMIŽE Održane 1. prosincagodine, u Galeriji "Boris Mardešić", s početkom u 10:00 sati. Nazočni vijećnici: Edo Bogdanović, Toni Borčić, Jurica Jončić

Source URL: www.komiza.hr

Scale-Out NUMA Stanko Novaković,† Alexandros Daglis,† Edouard Bugnion,† Babak Falsafi,† and Boris Grot‡ †EcoCloud, EPFL#

Source URL: www.nano-tera.ch

• Parallel computing
• Computer memory
• Remote direct memory access
• Latency
• Speedup
• Distributed memory
• Replication