SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

Source URL: scan2018.oishi.info.waseda.ac.jp

• Mathematics
• Computer arithmetic
• Numerical analysis
• Applied mathematics
• Arithmetic
• Interval arithmetic
• Computer-assisted proof
• Computational science
• Scan

International Journal of Robotics 36(12):1312–1340 c The Author(sReprints and permission: sagepub.co.uk/journalsPermissions.nav

Source URL: symbolaris.com

• Robotics
• Robot control
• Robot kinematics
• Control theory
• Automated planning and scheduling
• Motion planning
• Theoretical computer science
• Velocity obstacle
• Dynamic window approach
• Mobile robot
• Robot
• Lidar

This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE/ACM TRANSACTIONS ON NETWORKING 1 Milking the Cache Cow With Fairness

Source URL: www.eecs.qmul.ac.uk

261 Special Issue on MOOCs Bali /JOGLTEP, ), Journal of Global Literacies, Technologies, and Emerging Pedagogies Volume 2, Issue 3, July 2014, ppGoing beyond the good MOOC/bad MOOC debate

Source URL: joglep.com

• Education
• Online education
• Open educational resources
• Educational technology
• Higher education
• Free software
• Massive open online course
• George Siemens
• Iversity
• Networked learning
• Language MOOC
• IIMBx

CALL FOR PAPERS Special Issue of the International Journal on Network Management (IJNM) on Measure, Detect and Mitigate – Challenges and Trends in Network Security Publication: September 2015

Source URL: www.caida.org

• Cybercrime
• Computer security
• Cyberwarfare
• Security engineering
• Computer network security
• Cyberspace
• National security
• Denial-of-service attack
• Cyberattack
• Network security

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan ·

Source URL: cakeml.org

• Mathematical logic
• Mathematics
• Logic
• Logic in computer science
• Proof assistants
• Model theory
• Proof theory
• Foundations of mathematics
• ZermeloFraenkel set theory
• HOL
• Gdel's completeness theorem
• Gdel's incompleteness theorems

Journal of Elections, Public Opinion and Parties, 2013 Vol. 23, No. 1, 27 –48, http://dx.doi.orgField Experiments and the Study of Voter Turnout1 Downloaded by [Columbia University] at 07:

Source URL: www.mcmcgrath.com

• Elections
• Voting
• Politics
• Get out the vote
• Group decision-making
• Canvassing
• Voter turnout
• Democracy
• Experiment
• Compulsory voting
• Peer pressure
• Donald Green

Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS†

Source URL: www.doc.ic.ac.uk

• Process calculi
• Mathematics
• Theoretical computer science
• Logic
• -calculus
• Computability theory
• Number theory
• Process calculus
• Join-calculus
• Lambda calculus
• Distribution
• Substitution

11674 • The Journal of Neuroscience, August 19, 2015 • 35(33):11674 –Behavioral/Cognitive “Visual” Cortex Responds to Spoken Language in Blind Children

Source URL: saxelab.mit.edu

• Brain
• Cerebrum
• Cerebral cortex
• Neuroscience
• Frontal lobe
• Occipital lobe
• Visual cortex
• Prefrontal cortex
• Auditory cortex
• Visual system
• Visual impairment
• Functional specialization

DNA in Amber 15 Ancient DNA DNA in Amber In an article in Institute of Creation Research’s journal, Creation Ex Nihilo Technical JournalVol. 8 Pt. 1, we read that the discovery of ancient DNA in amber (fossili

Source URL: www.jesuswordsonly.com

• Biology
• Molecular biology
• Nature
• Biochemistry
• DNA
• Biotechnology
• Laboratory techniques
• Polymerase chain reaction
• Ancient DNA
• Eske Willerslev
• George Poinar Jr.
• Genetics