Microsoft Word - JOURNEYS ABSTRACT.docx

Source URL: www.saramitchell.org

• Military
• Children's rights
• Youth rights
• Military sociology
• Child soldiers
• Human rights abuses
• Children in the military
• Child Soldiers International
• United Nations
• Geneva Call
• Peacekeeping
• Child soldiers in Africa

Celer Network: Bring Internet Scale to Every Blockchain ScaleSphere Foundation Ltd. (“Foundation”) June 15, 2018 Draft, subject to change. Abstract. Just like how the 56Kbps dialup Internet in the 90s cannot possibl

Source URL: www.celer.network

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Computing
• Bitcoin
• Decentralization
• Alternative currencies
• Distributed computing
• Ethereum
• Decentralized application
• ternity

Balanced Clustering for Content-based Image Browsing Tim Althoff, Adrian Ulges, Andreas Dengel German Research Center for Artificial Intelligence (DFKI) and University of Kaiserslautern Abstract: In r

Source URL: www.timalthoff.com

• Computing
• Hierarchical clustering
• Network analysis
• Information science
• Cluster analysis
• Data analysis
• K-means clustering
• Computer cluster
• Nearest-neighbor chain algorithm
• Document clustering

Improved Differential-Linear Cryptanalysis of 7-round Chaskey with Partitioning Ga¨etan Leurent Inria, France Abstract. In this work we study the security of Chaskey, a recent

Source URL: who.rocq.inria.fr

• Cryptography
• Data Encryption Standard
• Linear cryptanalysis
• Differential cryptanalysis
• Block cipher
• Salsa20
• Cryptanalysis
• Differential-linear attack
• NC
• Boomerang attack
• Stream cipher
• E0

An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification l

Source URL: www.cs.man.ac.uk

M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

Source URL: www.cs.man.ac.uk

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Runtime verification
• FO
• Quantifier

Adjusting for Confounding with Text Matching∗ Margaret E. Roberts†, Brandon M. Stewart‡, and Richard A. Nielsen§ February 27, 2018¶ Abstract We identify situations in which conditioning on text can address confou

Source URL: scholar.princeton.edu

• Design of experiments
• Causal inference
• Observational study
• Metaphysics
• Statistics
• Estimation theory
• Probability and statistics
• Regression analysis
• Propensity score matching
• Matching
• Confounding
• Average treatment effect

QUADRATIC FUNCTORS ON POINTED CATEGORIES MANFRED HARTL & CHRISTINE VESPA Abstract. We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups Ab, and whose source category i

Source URL: irma.math.unistra.fr

• Mathematics
• Abstract algebra
• Algebra
• Functors
• Category theory
• Homological algebra
• Algebraic topology
• Adjoint functors
• Natural transformation
• Yoneda lemma
• Limit
• Universal property

Characterizing overstretched NTRU attacks Gabrielle De Micheli, Nadia Heninger and Barak Shani University of Pennsylvania Abstract Overstretched NTRU, an NTRU variant with a large modulus, has been used as a building

Source URL: eprint.iacr.org

• Algebra
• Abstract algebra
• Mathematics
• Lie groups
• Post-quantum cryptography
• Algebraic structures
• Lattice-based cryptography
• Analytic geometry
• Lattice
• Field extension
• Ring
• Order

Poster: IDE Plugins for Secure Coding Aniqua Z. Baset University of Utah Abstract—Many vulnerabilities in products and systems could

Source URL: www.ieee-security.org

• Software
• Computing
• Computer programming
• Integrated development environments
• JetBrains
• SonarQube
• IntelliJ IDEA
• FindBugs
• Eclipse
• Java
• NetBeans
• Cppcheck