DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405 DATACITE

Source URL: workshop-oc.github.io

• Academic publishing
• Publishing
• Identifiers
• Information science
• Knowledge
• Technical communication
• Electronic documents
• Index
• DataCite
• Initiative for Open Citations
• Crossref
• Digital object identifier

Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Computing
• Network architecture
• Information and communications technology
• Computer networking
• Routing
• Internet Standards
• Networking hardware
• Router
• Forwarding plane
• Multiprotocol Label Switching
• NetFlow

-1905014478000488115479555Mailing Address P.O. BoxRaleigh, NCWeb: https://lobby.ncsbe.gov/lobbying Phone: (

Source URL: lobby.ncsbe.gov

• Taxation in the United States
• Expense
• Lobbying in the United States
• 501(c) organization

Citowise blockchain payment platform “Making Cryptopayments a part of everyday life”. https://ico.citowise.com

Source URL: ico.citowise.com

• Economy
• Cryptocurrencies
• Money
• Finance
• Alternative currencies
• Payment systems
• Bitcoin
• Digital currencies
• Digital wallet
• Blockchain
• Draft:Growth Markets Organisation
• Draft:SAVE Token

https://wilhelm.hr4you.org/generator.php?id=1763&lang=de

Source URL: www.bag.admin.ch

Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017

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

• Theoretical computer science
• Formal methods
• Mathematical logic
• Logic in computer science
• Mathematics
• Constraint programming
• Automated theorem proving
• Satisfiability modulo theories
• Formal verification
• Type theory
• First-order logic
• Vampire

See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationWhen Minds Matter for Moral Judgment: Intent Information is Neurally Encoded for Harmful But Not Im

Source URL: saxelab.mit.edu

• Emotions
• Cognitive science
• Ethics
• Neuroscience
• Philosophy
• Cognitive neuroscience
• Disgust
• Morality
• Theory of mind
• Moral psychology
• Anger
• Functional magnetic resonance imaging

Learning gem5 – Part II Modifying and Extending gem5 Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

Source URL: learning.gem5.org

• Computer programming
• Software engineering
• Computing
• Cross-platform software
• High-level programming languages
• Object-oriented programming languages
• Build automation
• Compiling tools
• Python
• SCons
• C++
• Comment

MLP on Wednesday, July 18th https://easychair.org/smart-program/FLoC2018... FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Source URL: lara.epfl.ch

• Software engineering
• Computer programming
• Computing
• Computational neuroscience
• Object-oriented programming languages
• Cross-platform software
• Software testing
• Program analysis
• Software bug
• Type system
• Artificial neural network
• Fuzzing

Hijacking Bitcoin: Routing Attacks on Cryptocurrencies https://btc-hijack.ethz.ch Maria Apostolaki Aviv Zohar

Source URL: nsg.ee.ethz.ch

• Cryptocurrencies
• Computing
• Bitcoin
• Internet
• Free software
• Alternative currencies
• Blockchains
• Internet security
• BGP hijacking
• Mining pool
• Ghash.io
• Denial-of-service attack