Supero: Making Haskell Faster

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Higher-order functions
• Programming language comparisons
• Functional languages
• Recursion
• Literate programming
• Fold
• Haskell
• Map
• XS

The CLaRK System: XML-based Corpora Development System for Rapid Prototyping Kiril Simov, Alexander Simov, Hristo Ganev, Krasimira Ivanova, Ilko Grigorov BulTreeBank Project http://www.BulTreeBank.org Linguistic Modellin

Source URL: bultreebank.org

• Computing
• Markup languages
• Technical communication
• Query languages
• Functional languages
• XPath
• XSLT
• XML editor
• Node
• Document Object Model
• XML schema
• VTD-XML

Safety in system: Protection for man and machine Innovations AZM400 Safety solenoid interlock with bolt

Source URL: www.schmersal.net

• Safety
• Electromagnetism
• Engineering
• Electrical engineering
• Risk
• Prevention
• IEC 61508
• Functional safety
• Radio-frequency identification
• IP Code
• Residual-current device
• Safety integrity level

A Method for Making Group Inferences Using Independent Component Analysis of Functional MRI Data: Exploring the Visual System V Calhoun , T Adali , G Pearlson , J Pekar Division of Psychiatry Neuro-Imaging, Johns Hopkins

Source URL: mialab.mrn.org

• Statistics
• Multivariate statistics
• Neuroscience
• Magnetic resonance imaging
• Neuroimaging
• Cognitive neuroscience
• Analysis
• Independent component analysis
• Signal processing
• Functional magnetic resonance imaging
• Principal component analysis
• Dynamic functional connectivity

LIM LIM DESCRIPTION LIM is a revolutionary ultra-slim LED task light that is as fun to use as it is functional. LIM’s “L”

Source URL: www.pablodesigns.com

3D Printer Workshop Laptop Requirements 2016 Bring to the Workshop Each attendee must bring to the workshop a laptop with working wifi and wired network, Internet browser and free and functional USB ports. You should hav

Source URL: www.squareonenetwork.org

• Software
• Application software
• Graphics software
• 3D graphics software
• OpenSCAD
• Open-source hardware
• Fused filament fabrication
• Laptop
• RepRap project
• 3D printing
• Ultimaker

XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil Layaïda

Source URL: gnome.inrialpes.fr

• Software engineering
• Logic
• Type theory
• Computer programming
• Data types
• Functional languages
• Recursive data type
• Monad
• Type inference
• FO
• XQuery
• Inference

Features as First-class Entities – Toward a Better Representation of Features ¨ Sagar Sunkle, Marko Rosenmuller, Norbert Siegmund, Syed Saif ur Rahman, Gunter Saake

Source URL: www.infosun.fim.uni-passau.de

• Software engineering
• Computing
• Computer programming
• Functional languages
• Object-oriented programming languages
• Concurrent programming languages
• Programming paradigms
• Scripting languages
• Aspect-oriented software development
• Object-oriented programming
• Feature model
• Objective-C

4 The LDA+U Approach: A Simple Hubbard Correction for Correlated Ground States Matteo Cococcioni Dept. of Chemical Engineering and Materials Science

Source URL: www.cond-mat.de

• Chemistry
• Physics
• Quantum mechanics
• Quantum chemistry
• Atomic physics
• Chemical bonding
• Density functional theory
• Condensed matter physics
• Crystal
• Hybrid functional
• Electronic correlation
• Electronic band structure

WP-FDG-85 Emphasis and Emphatic Marking in Arabic: A Functional Discourse Grammar Approach Ahmed Moutaouakil Mohammed V University, Rabat, Morocco

Source URL: home.hum.uva.nl

• Functional discourse grammar
• Grammar
• Exclamation
• Functional theories of grammar
• Do-support
• Philosophy of language
• Linguistics
• Language