All-Termination(SCP) Aaron Turon Northeastern University (joint work with Pete Manolios)

Source URL: www.mpi-sws.org

• Declarative programming
• Software engineering
• Computer programming
• Functional programming
• Lisp
• Perl
• XS
• Cons
• Recursion

JOURNAL OF MAGNETIC RESONANCE IMAGING 27:1439 –Technical Note False-Positive Analysis of Functional MRI During Simulated Deep Brain Stimulation: A Phantom

Source URL: haxbylab.dartmouth.edu

• Medicine
• Neuroscience
• Clinical medicine
• Neurotechnology
• Electrotherapy
• Medical devices
• Magnetic resonance imaging
• Neuroimaging
• Functional magnetic resonance imaging
• Deep brain stimulation
• Neurostimulation
• Transcutaneous electrical nerve stimulation

The Functional Web Getting Started with Google App Engine and Clojure Aaron Bedra • Relevance

Source URL: steve.vinoski.net

• Computing
• Software
• Lisp
• Functional languages
• Scripting languages
• Java platform
• Build automation
• Clojure
• WAR
• Google App Engine
• Hy
• Boot

arXiv:0712.2401v1 [math.PR] 14 DecLarge Deviations for Riesz Potentials of Additive Processes Richard Bass∗ Xia Chen† Jay Rosen‡ February 18, 2013

Source URL: arxiv.org

• Mathematics
• Mathematical analysis
• Algebra
• Spectral theory
• Holomorphic functional calculus
• Table of stars with Bayer designations

Datasheet Z01X Functional Safety Assurance High-Speed Fault Simulation Solution for IS0Compliance Overview

Source URL: www.synopsys.com

• Engineering
• Electronic engineering
• Electronic design
• Technology
• Safety engineering
• Fault injection
• Software testing
• Fault tolerance
• ISO 26262
• Fault model
• Fault
• Synopsys

Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: &

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Computing
• Procedural programming languages
• Functional languages
• Programming language implementation
• Data types
• Compiler construction
• Standard ML
• Interpreter
• Compiler-compiler
• Type system

Controlling Access to XML Documents over XML Native and Relational Databases Lazaros Koromilas, George Chinis, Irini Fundulaki, and Sotiris Ioannidis FORTH-ICS, Greece {koromil,gchinis,fundul,sotiris}@ics.forth.gr

Source URL: users.ics.forth.gr

• Computing
• Query languages
• Markup languages
• Functional languages
• XML tree
• XPath
• XQuery
• XML schema
• EXist
• XML database
• HTML element
• Database

GARNish, Newsletter for GARNet, genomic arabidopsis resource network, UK service providers for functional genomics tools. Genomic Arabidopsis Resource Network Issue 5

Source URL: arabidopsis.info

DIAGNOSTIC IN-CLASS QUIZ: DUE MONDAY NOVEMBER 25: SUBSPACE, BASIS, AND DIMENSION MATH 196, SECTION 57 (VIPUL NAIK) Your name (print clearly in capital letters): PLEASE DO NOT DISCUSS ANY QUESTIONS.

Source URL: files.vipulnaik.com

• Operator theory
• Mathematics
• Linear algebra
• Functional analysis
• Linear subspace

Microsoft Word - DicketalBiologicalInvasionsRevisionFINAL2.doc

Source URL: redpath-staff.mcgill.ca

• Mysida
• Predation
• Biology
• Natural environment
• Systems ecology
• Hemimysis anomala
• Environmental conservation
• Mysis diluviana
• Functional response
• Invasive species
• Mysis relicta
• Prey switching