Permutation

Results: 881



#Item
641Model theory / Linear temporal logic / Temporal logic / Interpretation / Modal logic / Elementary class / Structure / Parity of a permutation / Trace / Logic / Mathematics / Algebra

Rule-Based Runtime Verification Howard Barringer?1 , Allen Goldberg2 , Klaus Havelund2 and Koushik Sen??3 1 2

Add to Reading List

Source URL: www.agoldberg.org

Language: English - Date: 2008-11-03 12:59:56
642Permutation / Rupert Sheldrake / Alternative medicine / Witchcraft / Pseudoscience / Paranormal / Cultural anthropology / Telepathy / Abstract algebra / Combinatorics

Journal of ScientiŽ c Exploration, Vol. 17, No. 4, pp. 601–616, [removed]03 Testing a Language-Using Parrot for Telepathy RUPERT SHELDRAKE

Add to Reading List

Source URL: www.scientificexploration.org

Language: English - Date: 2008-12-14 21:41:16
643Model theory / Proof theory / Deduction / Admissible rule / Modal logic / Natural deduction / Symbol / Sequent calculus / Parity of a permutation / Logic / Mathematical logic / Mathematics

A Proof Theory for Generic Judgments Dale Miller ´ INRIA-Futurs & Ecole polytechnique and

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2004-12-10 01:52:56
644Combinatorics on words / Formal languages / Discrete mathematics / Character encoding / String / Model theory / Permutation / Structure / Library / Mathematics / Data types / Primitive types

AnaDroid: Malware Analysis of Android with User-supplied Predicates Shuying Liang,1,2 Matthew Might1 School of Computing, University of Utah Salt Lake City, Utah, USA

Add to Reading List

Source URL: matt.might.net

Language: English - Date: 2014-03-23 14:11:52
645Integer sequences / Number theory / Permutation pattern / Permutation / Catalan number / Factorial / Pi / Parity of a permutation / Mathematics / Combinatorics / Permutations

Segmented Partially Ordered Generalized Patterns Sergey Kitaev Department of Mathematics, University of Kentucky Lexington, KY[removed], USA E-mail: [removed]

Add to Reading List

Source URL: www.ms.uky.edu

Language: English - Date: 2004-10-19 08:24:06
646Permutation / Function / Mathematics / Combinatorics / Abstract algebra

XXXVIII ACM International Collegiate Programming Contest[removed]St. Petersburg State University Championship, Sunday, April 13, 2014 Problem A. Cleaning Robot

Add to Reading List

Source URL: opencup.ru

Language: English - Date: 2014-04-13 18:19:13
647Abstract algebra / Functional programming / Monad / Model theory / Structure / Spectrum / Parity of a permutation / Mathematics / Adjoint functors / Algebra

Monadic Abstract Interpreters Ilya Sergey Dominique Devriese Matthew Might

Add to Reading List

Source URL: matt.might.net

Language: English - Date: 2014-01-06 09:40:27
648Permutation / Function / Mathematics / Combinatorics / Abstract algebra

XXXVIII ACM International Collegiate Programming Contest[removed]St. Petersburg State University Championship, Sunday, April 13, 2014 Problem A. Cleaning Robot

Add to Reading List

Source URL: opencup.ru

Language: English - Date: 2014-04-13 18:18:15
649Number / Exponentiation / Integer sequences / Combinatorial game theory / Random permutation statistics / Abstract algebra / Mathematics / Group theory

THE FOUR NUMBERS GAME, WEEK 2 MATTHEW TAI We return to the question of whether we can go backwards. After some experimentation, we realized that we could go backwards if one of the entries was the sum of the other three

Add to Reading List

Source URL: www.themathcircle.org

Language: English - Date: 2007-10-20 22:30:07
650Combinatorics / Group theory / Parity / Parity of a permutation / Permutation / Symmetric group / Affine transformation / Bijection /  injection and surjection / Bijection / Mathematics / Permutations / Functions and mappings

Threshold Implementations of all 3 × 3 and 4 × 4 S-boxes Begul Bilgin1,3 , Svetla Nikova1 , Vincent Rijmen1,2 , Ventzislav Nikov4 , and Georg St¨ utz2 1

Add to Reading List

Source URL: www.cosic.esat.kuleuven.be

Language: English
UPDATE