Echosec is the ‘best tool’ for citizen journalist website Bellingcat Echosec is the ‘best tool’ for citizen journalist website Bellingcat The rapid growth and expansion of social networking and media-sharing

Source URL: blog.echosec.net

• Journalism
• Citizen journalism
• Open-source intelligence
• Digital media
• Bellingcat
• Freedom of information
• Malaysia Airlines Flight 17
• Human behavior
• War in Donbass
• Geolocation
• Geotagging
• Social media

Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Computing
• Software engineering
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Cross-cutting concern
• Subject-oriented programming
• Aspect
• Call graph

Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV

Source URL: www.isse.uni-augsburg.de

• Computer data storage
• Computing
• Non-volatile memory
• Computer memory
• Computer architecture
• Flash memory
• Wear leveling
• Solid-state drive
• Flash file system
• Dd
• Page

A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: jorgenavas.github.io

• Formal languages
• Language
• Culture
• Grammar
• Context-free grammar
• Formal grammar
• Context-free language
• Regular language
• Regular grammar
• Model checking
• Conjunctive grammar

Business Travel Online Booking Tool Manuale Gennaio 2018 Agenda

Source URL: www.nh-hotels.it

Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel LAMPS Laboratory University of Perpignan, 52 Avenue Paul Alduy,

Source URL: perso.univ-perp.fr

• Computing
• Software engineering
• Mathematics
• Functions and mappings
• Abstract interpretation
• Variable
• Limit of a function
• Derivative
• Combinatory logic
• Scala
• Exponentiation
• Integral

WORKFORCE MANAGEMENT Professionelle Personaleinsatzplanung aus der Cloud Workforce und Performance Management in einem Tool

Source URL: www.4com.de

Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1

Source URL: cubicle.lri.fr

• Theoretical computer science
• Logic in computer science
• Temporal logic
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Alt-Ergo
• Computation tree logic
• Model theory

MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives Tom´ aˇs Br´ azdil1, Krishnendu Chatterjee2 , Vojtˇech Forejt3 , and Anton´ın Kuˇcera1 1

Source URL: qav.comlab.ox.ac.uk

• Markov processes
• Probability theory
• Probability
• Dynamic programming
• Markov decision process
• Stochastic control
• Reinforcement learning
• Memorylessness

Package ‘textfeatures’ March 6, 2018 Type Package Title Extracts Features from Text VersionDescription A tool for extracting some generic features (e.g., number of

Source URL: cran.r-project.org

• Application software
• Free statistical software
• Literate programming
• Mathematics
• Mathematical software
• Knitr
• R
• Vector
• Euclidean vector