Satellite  of  the  CCS2018   “Questions  and  Perspectives  in  Understanding  Complexity  via   Nonlinearity  and  Information  Theory”     26  September  2018

Source URL: complexityscience.net

Theory of Mind (Neural Basis) Rebecca Saxe Department of Brain and Cognitive Sciences, MIT In Press at: Encyclopedia of Consciousness

Source URL: saxelab.mit.edu

• Neuroscience
• Cognitive science
• Theory of mind
• Cognition
• Nervous system
• Temporoparietal junction
• Cognitive neuroscience
• Belief
• Functional magnetic resonance imaging
• Epistemology
• Mental chronometry
• Cognitive dissonance

Theory and Te hniques for Synthesizing E ient Breadth-First Sear h AlgorithmsSrinivas Nedunuri , Douglas R. Smith , William R. Cook

Source URL: www.kestrel.edu

SPNs:  Network  Reconstruction  Theory and  Speedup  Using  Neural  Networks   Balaji  Prabhakar  and  Mendel  Rosenblum Self-­‐Programming  Networks  Research  Group Stanf

Source URL: platformlab.stanford.edu

• Network performance
• Abstract data types
• Operations research
• Concurrency control
• Monitor
• Queueing theory
• Queue
• Statistical theory
• Probability and statistics
• Economy

On the crossroads of enumerative geometry and geometric representation theory Andrei Okounkov The subjects in the title are interwoven in many different and very deep ways. I recently wrote several expository accounts [6

Source URL: eta.impa.br

• Abstract algebra
• Algebra
• Mathematics
• Algebraic geometry
• Algebraic topology
• Symplectic topology
• Intersection theory
• Homotopy theory
• Divisor
• Cohomology
• Enumerative geometry
• Ample line bundle

32. First tests on Power2Run In our books The Secret Of Running (www.thesecretofrunning.com) and The Secret Of Cycling (www.thesecretofcycling.com) we have described our unified theory for the performance in running and

Source URL: thesecretofrunning.com

• IOS
• Technology
• Electronics
• Computing
• Videotelephony
• ITunes
• Wearable devices
• IPhone
• Smartphones
• Garmin
• Apple Inc.
• Apple Watch

Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni

Source URL: csl.sri.com

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Substitution
• Model theory

XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao Software Theory and Practice Group (STAP) Shanghai Jiao Tong University, China A code

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Computing
• AspectJ
• Pointcut
• Join point
• FindBugs
• Aspect
• Aspect weaver

This is the full version of a paper which appears in Public-Key Cryptography PKC20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017,

Source URL: eprint.iacr.org

• Cryptography
• Hashing
• Search algorithms
• Cryptographic hash functions
• Error detection and correction
• Hash function
• Digital signature
• Collision resistance
• Hash
• Trapdoor function
• Security of cryptographic hash functions

28. The power of running In our books The Secret Of Running (www.thesecretofrunning.com) and The Secret Of Cycling (www.thesecretofcycling.com) we have described our unified theory for the performance in running and cycl

Source URL: thesecretofrunning.com

• Sport of athletics
• Running
• Sports
• Long-distance running
• Kenenisa Bekele
• Marathon
• Zersenay Tadese
• Eliud Kipchoge
• Treadmill
• Exercise
• Endurance