Altmetrics for large, multidisciplinary research groups: Comparison of current tools Christian P. Hoffmann (University of St. Gallen), Alexandra Jobmann (IPN), Sylvia Künne (IfW), Isabella Peters (ZBW), Jasmin Schmitz (

Source URL: www.science20-conference.eu

• Text messaging
• Twitter
• Websites
• Technology
• Social media
• World Wide Web
• Real-time web

Jasmin Packer University of Adelaide [removed] Jasmin Packer is currently finalising her PhD under the supervision of Professor Sue Carthew, Charles Darwin University/University of Adelaide, Associate Prof

Source URL: www.caws.org.au

• Peramelemorphs
• Conservation
• Ecological restoration
• Sustainable gardening
• Southern Brown Bandicoot
• Short-nosed bandicoot
• Restoration ecology
• Bush regeneration
• Blackberry
• Environment
• Biology
• Mammals of Australia

Travel Grant Report Jasmin Packer September 2013 The 2013 Student Travel Award enabled Jasmin Packer to participate in three research meetings focused on invasive weed science and management. This experience has given Ja

Source URL: www.caws.org.au

• Counties of England
• Wicken Fen
• Weed
• Invasive species
• Herbicide
• Cambridgeshire
• Environment
• Garden pests

Interactive effects of ocean acidification, temperature and seasonal timing in the marine benthos Jasmin A. Godbold and Martin Solan [removed]

Source URL: oceanacidificationportal.files.wordpress.com

• Effects of global warming
• Carbon dioxide
• Propellants
• Ecology
• Ocean acidification
• Analysis of variance
• Irrigation in viticulture
• Chemistry
• Statistics
• Greenhouse gases

Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014

Source URL: isabelle.in.tum.de

• Recursion
• Type theory
• Data types
• Self-reference
• Theoretical computer science
• Recursive data type
• Corecursion
• Standard ML
• Inductive data type
• Computer programming
• Software engineering
• Computing

10K Othello Epsilon 10K Star-Trek Epsilon 11 Dice games Eborsoft

Source URL: www.48katmos.freeuk.com

• 3D Maze
• Artic Software
• Jasmin
• ERE Informatique
• Computing
• Software
• Loriciels

McIDAS-V : It’s More Than Just a Great Application for Satellite Meteorology Tommy Jasmin 10 Sep 2013

Source URL: www.ssec.wisc.edu

The Innovation Journal: The Public Sector Innovation Journal, Volume 15(1), Article 13. Book Review Jasmin Hristov Blood and Capital: The Paramilitarization of Colombia Athens OH: Ohio University Press, 2009

Source URL: www.innovation.cc

• Andean Community of Nations
• Republics
• Álvaro Uribe
• Colombia
• Politics
• Government

Biomass and CCS Global potential and GHG accounting Jasmin Kemper Project Officer IEA Greenhouse Gas R&D Programme

Source URL: ieaghg.org

• Biomass
• Biofuels
• Energy conversion
• Carbon dioxide
• Anaerobic digestion
• Gasification
• Renewable energy
• Cofiring
• Energy crop
• Sustainability
• Environment
• Technology

Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2

Source URL: www21.in.tum.de

• Mathematical logic
• Structure
• Fold
• Symbol
• Interpretation
• Polymorphism
• First-order logic
• Combinatorial species
• Model theory
• Logic
• Software engineering