CIUDAD DE MÉXICO Miércoles 24 de octubre de 2018 Máx. 24˚ C | Mín. 13˚ C

Source URL: rm.metrolatam.com

c Cambridge University Press 2014 JFP: page 1 of 32. ⃝ 1 doi:S0956796813000282

Source URL: cakeml.org

• Software engineering
• Computer programming
• Computing
• Logic in computer science
• Functional languages
• Procedural programming languages
• Proof assistants
• Theoretical computer science
• Standard ML
• ML
• Monad
• Lambda calculus

An alternative approach to Freiman’s theorem in p-groups Matthew C. H. Tointon∗ Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, University of Cambridge, Wilberforce Road,

Source URL: tointon.neocities.org

• Lie groups
• Mathematics
• Algebra
• Abstract algebra
• Nilpotent group
• Approximate group
• Lie algebra
• Exponential map
• BakerCampbellHausdorff formula
• Quotient group

1 On the efficiency of the new Italian Senate and the role of 5 Stars Movement Comparison among different possible scenarios by means of a virtual Parliament model A. Pluchino, A. Rapisarda, C. Garofalo, S. Spagano, M.

Source URL: www2.dfa.unict.it

• Political parties
• Politics of Italy
• Politics of Europe
• Five Star Movement
• Democratic Party
• Italian Parliament
• Possible
• Senate of the Republic
• The People of Freedom
• Lega Nord
• Conte Cabinet

c Copyright 2014 Michael F. Ringenburg Dynamic Analyses of Result Quality in Energy-Aware

Source URL: homes.cs.washington.edu

• Software optimization
• Computing
• Approximation
• Profiling
• Instrumentation
• Approximate computing
• Memoization
• Simulation

Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t

Source URL: csl.sri.com

• Model theory
• Mathematics
• Metalogic
• Logic
• Mathematical logic
• Interpretation
• Structure

Geometry & Topology–K –duality for stratified pseudomanifolds C LAIRE D EBORD

Source URL: math.univ-bpclermont.fr

• Mathematics
• Algebra
• Abstract algebra
• Differential geometry
• Symmetry
• Algebraic structures
• Category theory
• Homotopy theory
• Groupoid
• Lie algebroid
• Lie groupoid
• Group action

Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky

Source URL: practicalsynthesis.github.io

• Concurrency control
• Computing
• Computer architecture
• Computer programming
• Synchronization
• Linearizability
• Memory barrier
• Parallel computing
• Mutual exclusion
• Critical section
• Lock
• Thread

STEP-C WEBSITE GENERAL TERMS OF USE The content(s) of any and all website(s) of the Science and Technology Park of Crete (STEP-C), are subject to the present general terms and conditions of use in addition to any other s

Source URL: www.stepc.gr

• Internet privacy
• Computer access control
• HTTP cookie
• Website
• Web analytics
• Terms of service
• Computer security
• World Wide Web
• Information privacy
• Privacy concerns with social networking services

Fusing Social Media Cues: Personality Prediction from Twitter and Instagram Marcin Skowron Marko Tkalˇciˇc

Source URL: gdac.uqam.ca

• Personality traits
• Psychology
• Behavioural sciences
• Neuroscience
• Social networking service
• Big Five personality traits
• Extraversion and introversion
• Openness to experience
• Conscientiousness
• Personality