Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems Max Kanovich1,5 Tajana Ban Kirigin2 Vivek Nigam3 Andre Scedrov4,5 and Carolyn Talcott6 1

Source URL: nigam.info

1 Parallel k-Means in Theory and Practice • Input: – Number of desired means k ∈ N – Set of points P ⊂ Rd (or multiset) • Output: – Set of k means C = {c1 , . . . , ck }

Source URL: florian-schoppmann.net

Reconstructing Finite Subsets of the Plane up to some Groups of Isometries Robert Scheidweiler (joint work with Jan Simon and Eberhard Triesch) In this talk, we investigate geometric and combinatorial reconstruction prob

Source URL: www.mi.uni-koeln.de

• Mathematics
• Geometry
• Metric geometry
• Symmetry
• Functions and mappings
• Group theory
• Conjectures
• Reconstruction conjecture
• Combinatorics
• Multiset
• Isometry

Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗

Source URL: www.dcs.bbk.ac.uk

• Mathematics
• Multiset
• Set
• Path ordering
• Theoretical computer science
• Computing

Written Examination, De ember 18th, 2013 Course noThe duration of the examination is 4 hours. Course Name: Fun tional programming

Source URL: www.imm.dtu.dk

• Computing
• Multiset
• Set
• Associative containers
• Mathematics
• Software engineering

Structural Evaluation by Generalized Integral Property? Yosuke Todo NTT Secure Platform Laboratories, Tokyo, Japan

Source URL: eprint.iacr.org

• Combinatorics
• Order theory
• Multiset
• Block cipher
• Permutation
• Pseudorandom permutation
• Path ordering
• Combination
• Integral
• Set

Microsoft Word - IBSAlgorithms.doc

Source URL: foibg.com

• Computability theory
• Theory of computation
• Mathematical logic
• Models of computation
• Theoretical computer science
• Gdel numbering
• Membrane computing
• Multiset
• Kurt Gdel
• Computable number
• Numbering
• Turing machine

Microsoft Word - IBSAlgorithms.doc

Source URL: foibg.com

• Models of computation
• Theoretical computer science
• Multiset
• Order theory
• Membrane computing
• Set
• Natural computing
• Path ordering
• Associative containers
• Algorithm
• P system
• Big O notation

Multiset analysis of ARX with application to 3fish (WIP) Jean-Philippe Aumasson, Willi Meier, Raphael C.-W. Phan 1/8

Source URL: 131002.net

Private and Oblivious Set and Multiset Operations∗ Marina Blanton and Everaldo Aguiar Department of Computer Science and Engineering University of Notre Dame, Notre Dame, IN, USA {mblanton,eaguiar}@nd.edu

Source URL: www.cse.nd.edu