Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France

Source URL: smt-workshop.cs.uiowa.edu

• Mathematics
• Theoretical computer science
• Constraint programming
• Functions and mappings
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Rounding
• Limit of a function
• Function

Towards A Framework for Mobile Behavior Change Research Fabian Okeke Cornell Tech, Cornell University New York, New York

Source URL: destrin.smalldata.io

• Computing
• Technology
• Classes of computers
• Mobile computers
• Humancomputer interaction
• Cloud clients
• Smartphones
• Mobile phones
• Ubiquitous computing
• Persuasive technology
• Mobile app
• Wearable computer

Learning-Based Testing the Sliding Window Behavior of TCP Implementations Paul Fiter˘au-Bro¸stean?1 and Falk Howar2 1 Institute for Computing and Information Sciences, Radboud University, Nijmegen,

Source URL: www.falkhowar.de

• Transmission Control Protocol
• Constructible universe
• Algorithm
• Sliding window protocol
• Mathematics
• Dimension reduction
• Computing
• Philosophy of mathematics

Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

• Human behavior
• Deception
• Communication
• World Wide Web
• Hoax
• Disinformation
• Twitter
• Misinformation
• Reliability of Wikipedia
• Sockpuppet
• Block
• Internet troll

Mississippi Autism Board The Regulating Board for Applied Behavior Analysis P.O. Box 136 Jackson, MSTelephoneFaxwww.MSAutism.sos.ms.gov

Source URL: sos.ms.gov

• Psychology
• Applied psychology
• Behaviorism
• Mindbody problem
• Philosophy of psychology
• Theory of mind
• Licensure
• Applied behavior analysis
• Professional certification
• Professional practice of behavior analysis

Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

• Internet manipulation and propaganda
• Internet trolling
• Deception
• Sockpuppet
• Human behavior

PDF Document

Source URL: comparative-cognition-and-behavior-reviews.org

PDF Document

Source URL: www.imprs-brain-behavior.org

PDF Document

Source URL: comparative-cognition-and-behavior-reviews.org

PDF Document

Source URL: comparative-cognition-and-behavior-reviews.org