yusuke1997/dblp-id-title huggingface dataset:
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
Catch Me If You Can - Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml
Testing Properties of Generic Functions
What about Haskell Bugs? Adapting bug taxonomies to Haskell's features and community
Proving Program Properties Specified with Subtype Marks
Index Vector Elimination - Making Index Vectors Affordable
Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer
Validating Formal Semantics by Property-Based Cross-Testing
Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers
Crafting Extensible Forward Incremental Parallel Embedded Build Systems
ChalkBoard: Mapping Functions to Polygons
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages
A Document-Centered Environment for Haskell
PICOBIT: A Compact Scheme System for Microcontrollers
Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences
Implementing Fusion-Equipped Parallel Skeletons by Expression Templates
Dynamic Chunking in Eden
A Reversible SE(M)CD Machine
On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations
Axis Control in SAC
Foreign exchange at low, low rates a lightweight FFI for web-targeting Haskell dialects
Calculating Function Sensitivity for Synthetic Data Algorithms
First Class Syntax, Semantics, and Their Composition
Engineering Large Parallel Functional Programs
Context Patterns in Haskell
Porting the Clean Object I/O Library to Haskell
ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving
The Brisk Machine: A Simplified STG Machine
A Virtual Machine for Functional Logic Computations
Implementation and Application of Functional Languages - 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs
A functional approach to accelerating Monte Carlo based american option pricing
A Polynomial-Cost Non-determinism Analysis
Context-Free Binding Grammars
Purity in Erlang
DREAM: The DistRibuted Eden Abstract Machine
Counting immutable beans: reference counting optimized for purely functional programming
Fairness for Transactional Events
Low-Level Programming in Hume: An Exploration of the HW-Hume Level
The implementation of the Mezzo type-checker
A Haskell to Java Virtual Machine Code Compiler
Typed Directional Composable Editors in iTasks
The Feasibility of Interactively Probing Quiescent Properties of GUI Applications
Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Towards a Strongly Typed Functional Operating System
Spine-local Type Inference
Parametric lenses: change notification for bidirectional lenses
The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation
3CPS: The Design of an Environment-Focussed Intermediate Representation
Higher Order Demand Propagation
Concurrent Monadic Interfacing
Fast Functional Lists
A Mostly CPS, Partly ANF Translation of Dependent Types
Implementation and Application of Functional Languages - 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
Auburn: A Kit for Benchmarking Functional Data Structures
Arity Raising in Manticore
Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming
Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers
Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell
Parallel Coordination Made Explicit in a Functional Setting
A frame stack semantics for sequential Core Erlang
Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017
The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines
Dynamic Cheap Eagerness
Explaining ML Type Errors by Data Flows
OCaml-Java: From OCaml Sources to Java Bytecodes
An Embedded Type Debugger
Type Patterns: Pattern Matching on Shape-Carrying Array Types
Accurate Step Counting
An Efficient Type- and Control-Flow Analysis for System F
Making fortran legacy code more functional: using the BGS* geomagnetic field modelling system as an example
Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models
Type- and Control-Flow Directed Defunctionalization
Shortest Paths, Pigeonholes and Finite Sets : A Constructive Proof in Agda
From Functional Logic Programs to Purely Functional Programs Preserving Laziness
A flat reachability-based measure for CakeML's cost semantics
Functional Instrumentation of ActionScript Programs with Asil
Introducing Kansas Lava
With-Loop Fusion for Data Locality and Parallelism
A space-efficient call-by-value virtual machine for gradual set-theoretic types
Debugging Lazy Functional Programs by Asking the Oracle
Delta Debugging Type Errors with a Blackbox Compiler
Effective Host-GPU Memory Management Through Code Generation
Interpreting task oriented programs on tiny computers
Thread Migration in a Parallel Graph Reducer
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing
Iterating Skeletons - Structured Parallelism by Composition
Signal Rate Inference for Multidimensional Faust
Optimisation of Generic Programs Through Inlining
A Binding Scope Analysis for Generic Programs on Arrays
Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL '15, Koblenz, Germany, September 14-16, 2015
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers
Using Concurrent Haskell to Develop Views over an Active Repository
A Staged Embedding of Attribute Grammars in Haskell
A DSL embedded in Rust
Dynamic adaptation of functional runtime systems through external control
Task Oriented Programming and the Internet of Things
Collected Size Semantics for Functional Programs over Lists
The 101haskell Chrestomathy: A Whole Bunch of Learnable Lambdas
An Implementation of Eden on Top of Concurrent Haskell
Correctness of Non-determinism Analyses in a Parallel-Functional Language
On the Unification of Substitutions in Type Interfaces
The Results of: Profiling Large-Scale Lazy Functional Programs
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC
Lazy Generation of Canonical Test Programs
Type inference for array programming with dimensioned vector spaces
On the Implementation of Dynamic Visualizations: A Case-Study Using FSM Visualizations
On Mapping N-Dimensional Data-Parallelism Efficiently into GPU-Thread-Spaces
A Framework for Point-Free Program Transformation
Stream Processing for Embedded Domain Specific Languages
V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions
Implementing Eden - or: Dreams Become Reality
Monatron: An Extensible Monad Transformer Library
Generic Monadic Constructs for Embedded Languages
Mystery functions: making specifications, unit tests, and implementations coexist in the mind of undergraduate students
Proving the Correctness of the STG Machine
Verifiably Lazy: Verified Compilation of Call-by-Need
Interactive Functional Objects in Clean
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
Pure and Lazy Lambda Mining - An Experience Report
Organizing Speculative Computations in Functional Systems
Static and dynamic visualisations of monadic programs
Improving Your CASH Flow: The Computer Algebra SHell
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
The Implementation of Interactive Local State Transition Systems in Clean
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler
Advances in Lazy SmallCheck
Shared Memory Multiprocessor Support for SAC
Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
A verified type system for CakeML
Dynamic Types and Type Dependent Functions
Model Based Testing with Logical Properties versus State Machines
The Under-Performing Unfold: A new approach to optimising corecursive programs
Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection
A Functional Programming Technique for Forms in Graphical User Interfaces
Lazy Contract Checking for Immutable Data Structures
Survey on Dependable IP over Fiber Networks
Definition and Correct Refinement of Operation Specifications
Dependable Systems
Formal Test Generation from UML Models
Advances in the Design and Implementation of Group Communication Middleware
Dependable Software
SCOOP - Concurrency Made Easy
Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program
Dependable Peer-to-Peer Systems Withstanding Dynamic Adversarial Churn
Algorithms for Failure Protection in Large IP-over-fiber and Wireless Ad Hoc Networks
Robustness of the Internet at the Topology and Routing Level
Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer's Perspective
Autonomic Computing for Virtual Laboratories
Scalable Programming Abstractions for XML Services
3D convolutional neural network for feature extraction and classification of fMRI volumes
Full Bayesian multi-task learning for multi-output brain decoding and accommodating missing data
SVM aided detection of cognitive impairment in MS
Nonparametric Bayesian clustering of structural whole brain connectivity in full image resolution
Reduction of confounding effects with voxel-wise Gaussian process regression in structural MRI
Fixed low-rank EEG spatial filter estimation for emotion recognition induced by movies
Classification and Visualization of Multiclass fMRI Data Using Supervised Self-Organizing Maps
Comparing Structural Brain Connectivity by the Infinite Relational Model
Sparse PLS hyper-parameters optimisation for investigating brain-behaviour relationships
Utility of Partial Correlation for Characterising Brain Dynamics: MVPA-based Assessment of Regularisation and Network Selection
Simitar: Simplified Searching of Statistically Significant Similarity Structure
Comparing Clustered and Distributed Sampling for Random Subspace Brain Mapping
Fast brain decoding with random sampling and random projections
Discrete Cosine Transform for MEG Signal Decoding
Multivariate Classification of Complex and Multi-echo fMRI Data
Benchmarking solvers for TV-ℓ1 least-squares and logistic regression in brain imaging
Testing Multimodal Integration Hypotheses with Application to Schizophrenia Data
Discrimination of Discrete Feedback During Performance of Motor Imagery
Automatic Tractography Analysis through Sparse Networks in Case-Control Studies
M/EEG source localization with multi-scale time-frequency dictionaries
Fifty Shades of Gray, Matter: Using Bayesian Priors to Improve the Power of Whole-Brain Voxel- and Connexelwise Inferences
Emotional reaction recognition from EEG
Brain PET Attenuation Correction without CT: An Investigation
Automatic detection of motion artifacts on MRI using Deep CNN
A study of spatial variation in fMRI brain networks via independent vector analysis: Application to schizophrenia
Balancing Clinical and Pathologic Relevance in the Machine Learning Diagnosis of Epilepsy
Inter-brain Mutual Information in Social Interaction Tasks
How to Test the Quality of Reconstructed Sources in Independent Component Analysis (ICA) of EEG/MEG Data
Sparse Source EEG Imaging with the Variational Garrote
Hemodynamic Estimation Based on Consensus Clustering
Decoding Spontaneous Brain Activity from fMRI Using Gaussian Processes: Tracking Brain Reactivation
Local-Aggregate Modeling for Multi-subject Neuroimage Data via Distributed Optimization
Novel histogram-weighted cortical thickness networks and a multi-scale analysis of predictive power in Alzheimer's disease
Manifolds of tool-graspability in the human brain
Statistical Kernel-based Modeling of Connectomes
Identifying Network Correlates of Brain States Using Tensor Decompositions of Whole-Brain Dynamic Functional Connectivity
Automated Classification of Discrete Human Thoughts Using Functional Magnetic Resonance Imaging (fMRI): Comparison between Voxel-Based and Atlas-Based Feature Selection Methods
A Comparison of Metrics and Algorithms for Fiber Clustering
Boosting connectome classification via combination of geometric and topological normalizations
Modeling the effect of stimulus perturbations on error correlations between brain and behavior
MVPA significance testing when just above chance, and related properties of permutation tests
Spatial spreading of representational geometry through source estimation of magnetoencephalography signals
Joint Feature Extraction from Functional Connectivity Graphs with Multi-task Feature Learning
MRI based biomarker for brain aging in rodents and non-human primates
Classification of Structured EEG Tensors Using Nuclear Norm Regularization: Improving P300 Classification
Automated rejection and repair of bad trials in MEG/EEG
Interpretable and stable prediction of schizophrenia on a large multisite dataset using machine learning with structured sparsity
Improving Sparse Recovery on Structured Images with Bagged Clustering
Regularization parameter selection for a bayesian group sparse multi-task regression model with application to imaging genomics
In search of biomarkers for schizophrenia using electroencephalography
Descending Variance Graphs for Segmenting Neurological Structures
Exploring Whole Brain fMRI Data with Unsupervised Artificial Neural Networks
Spatial pyramid match kernels for brain image classification
A Comparison of Strategies for Incorporating Nuisance Variables into Predictive Neuroimaging Models
EEG source reconstruction using sparse basis function representations
Improved marked point process priors for single neurite tracing
Stability-Based Multivariate Mapping Using SCoRS
International Workshop on Pattern Recognition in Neuroimaging, PRNI 2013, Philadelphia, PA, USA, June 22-24, 2013
Feature Space Quantization for Data-Driven Search
Automatic Differentiation between Alzheimer's Disease and Mild Cognitive Impairment Combining PET Data and Psychological Scores
Infinite feature selection on shore-based biomarkers reveals connectivity modulation after stroke
Social-sparsity brain decoders: faster spatial sparsity
Cross-modal searchlight classification: methodological challenges and recommended solutions
Permutation distributions of fMRI classification do not behave in accord with central limit theorem
Predicting Skill-Based Task Performance and Learning with fMRI Motor and Subcortical Network Connectivity
Latent Variable Dimensionality Reduction Using a Kullback-Leibler Criterion and Its Application to Predict Antidepressant Treatment Response
Prediction of Second Neurological Attack in Patients with Clinically Isolated Syndrome Using Support Vector Machines
Discriminative Multi-task Feature Selection for Multi-modality Based AD/MCI Classification
Predicting Treatment Response from Resting State fMRI Data: Comparison of Parcellation Approaches
Optimizing spatial filters for the extraction of envelope-coupled neural oscillations
ODVBA-C: Optimally-Discriminative Voxel-Based Analysis of Continuous Variables
Multimodal neuroimaging in Alzheimer's disease: Contributions of multi-voxel pattern analysis to the analysis of DTI and resting-state MRI
Data-driven multisubject neuroimaging analyses for naturalistic stimuli
Comparing magnitudes across dimensions: a univariate and multivariate approach
Text-mining the neurosynth corpus using deep boltzmann machines
Testing for Information with Brain Decoding
On Spatial Selectivity and Prediction across Conditions with fMRI
Multivariate Effect Ranking via Adaptive Sparse PLS
Dynamic Whole Brain Polarity Regimes Strongly Distinguish Controls from Schizophrenia Patients
Importance Sampling Spherical Harmonics to Improve Probabilistic Tractography
Structured Sparsity Models for Brain Decoding from fMRI Data
Graph Embeddings of Dynamic Functional Connectivity Reveal Discriminative Patterns of Task Engagement in HCP Data
Wrapper Methods to Correct Mislabelled Training Data
Real-time filtering of gradient artifacts from simultaneous EEG-fMRI data
Testing group differences in state transition structure of dynamic functional connectivity models
Variational group-PCA for intrinsic dimensionality determination in fMRI data
Prediction of clinical scores from neuroimaging data with censored likelihood gaussian processes
Testing Multiclass Pattern Discrimination
Gaussian mixture models improve fMRI-based image reconstruction
Fast Clustering for Interactive Tractography Segmentation
Permutation tests for classification: revisited
Towards a faster randomized parcellation based inference
Bayesian Multi-task Learning for Common Spatial Patterns
MVPA Permutation Schemes: Permutation Testing for the Group Level
Neural Code Converter for Visual Image Representation
Age-related changes of the representative modular structure in the brain
Intensity normalisation for large-scale fMRI brain decoding
Hierarchical processing of temporal asymmetry in human auditory cortex
Spatial discriminant ICA for RS-fMRI characterisation
Semi-supervised Pattern Classification: Application to Structural MRI of Alzheimer's Disease
The Approximation of the Dissimilarity Projection
Computer Aided Diagnosis of Intractable Epilepsy with MRI Imaging Based on Textural Information
A Composite Multivariate Polygenic and Neuroimaging Score for Prediction of Conversion to Alzheimer's Disease
Modeling Spatiotemporal Structure in fMRI Brain Decoding Using Generalized Sparse Classifiers
Integration of Structural and Functional MRI Features Improves Mild Cognitive Impairment (MCI) Detection
Voxel importance in classifier ensembles based on sign consistency patterns: application to sMRI
Towards tailoring non-invasive brain stimulation using real-time fMRI and Bayesian optimization
Information Criteria for Dynamic Contrast-Enhanced Magnetic Resonance Imaging
Improved method for automatic cerebrovascular labelling using stochastic tunnelling
Identifying Predictive Regions from fMRI with TV-L1 Prior
Multimodal diagnosis of epilepsy using conditional dependence and multiple imputation
Using Early Acquisitions of Amyloid-PET as a Surrogate of FDG-PET: A Machine Learning Based Approach
Evaluation of weight sparsity control during autoencoder training of resting-state fMRI using non-zero ratio and hoyer's sparseness
Large brain effective network from EEG/MEG data and dMR information
WeiRD - a fast and performant multivoxel pattern classifier
A Linear Gaussian Framework for Decoding of Perceived Images
Independent vector analysis for capturing common components in fMRI group analysis
MEG/EEG Source Imaging with a Non-Convex Penalty in the Time-Frequency Domain
Boosting Transfer Learning Improves Performance of Driving Drowsiness Classification Using EEG
Multi-output predictions from neuroimaging: assessing reduced-rank linear models
Semi-supervised learning in MCI-to-ad conversion prediction - When is unlabeled data useful?
Collapsed variational bayesian inference of the author-topic model: application to large-scale coordinate-based meta-analysis
Discriminative subnetwork mining for multiple thresholded connectivity-networks-based classification of mild cognitive impairment
Voxel Selection in MRI through Bagging and Conformal Analysis: Application to Detection of Obsessive Compulsive Disorder
Domain adaptation with optimal transport improves EEG sleep stage classifiers
Representational similarity of actions in the human brain
Studying the brain from adolescence to adulthood through sparse multi-view matrix factorisations
International Workshop on Pattern Recognition in Neuroimaging, PRNI 2016, Trento, Italy, June 22-24, 2016
Antagonistic Activation Patterns Underlie Multi-functionality of the Right Temporo-Parietal Junction
Spatiotemporal Searchlight Representational Similarity Analysis in EMEG Source Space
2018 International Workshop on Pattern Recognition in Neuroimaging, PRNI 2018, Singapore, Singapore, June 12-14, 2018
Comparison of Features for Voxel-Based Analysis and Classification of Anatomical Neuroimaging Data
Single-trials ERPs predict correct answers to intelligence test questions
Anatomically-Constrained PCA for Image Parcellation
Classifying Connectivity Graphs Using Graph and Vertex Attributes
Inter-channel Connectivity of Motor Imagery EEG Signals for a Noninvasive BCI Application
Sparse Dictionary Learning of Resting State fMRI Networks
Shore-based microstructural indices: do they tell us more?
Comparison of distances for supervised segmentation of white matter tractography
2011 International Workshop on Pattern Recognition in NeuroImaging, PRNI 2011, Seoul, South Korea, May 16-18, 2011
Unsupervised metrics of brain region significance for event-related fMRI intersession experiments
Predicting Numerical Processing in Naturalistic Settings from Controlled Experimental Conditions
AdDressing Missing Nodes as Missing Data in Dynamic Causal Modeling
Sensor-level maps with the kernel two-sample test
Modeling Alzheimer's disease progression using deep recurrent neural networks
Interpreting weight maps in terms of cognitive or clinical neuroscience: nonsense?
Kernel Convolution Model for Decoding Sounds from Time-Varying Neural Responses
Fusing Simultaneous EEG and fMRI Using Functional and Anatomical Information
Multilayer Scattering Image Analysis Fits fMRI Activity in Visual Areas
MVPA to enhance the study of rare cognitive events: An investigation of experimental PTSD
Parameter interpretation, regularization and source localization in multivariate linear models
Pattern classification reveals developmental differences in how memories influence new learning
Two Test Statistics for Cross-Modal Graph Community Significance
International Workshop on Pattern Recognition in Neuroimaging, PRNI 2014, Tübingen, Germany, June 4-6, 2014
Improved MEG/EEG source localization with reweighted mixed-norms
Gender-Specific Effects of Health and Lifestyle Markers on Individual BrainAGE
Modeling Voxel Connectivity for Brain Decoding
A P300-Based Hangul Input System with a Hierarchical Stimulus Presentation Paradigm
Quantitative Susceptibility Map Reconstruction via a Total Generalized Variation Regularization
Detection of Transient Inter-regional Coupling in fMRI Time Series: A New Method Combining Inter-subjects Synchronization and Cluster-Analyses
Mean shrinkage improves the classification of ERP signals by exploiting additional label information
Population Inference for Node Level Differences in Multi-subject Functional Connectivity
Decoding memory processing from electro-corticography in human posteromedial cortex
MEG decoding across subjects
Learning BOLD Response in fMRI by Reservoir Computing
A Graph-Based Brain Parcellation Method Extracting Sparse Networks
Speeding-Up Model-Selection in Graphnet via Early-Stopping and Univariate Feature-Screening
Using Confusion Matrices to Estimate Mutual Information between Two Categorical Measurements
Hierarchical topographic factor analysis
PET imaging analysis using a parcelation approach and multiple kernel classification
Correlation bundle statistics in fMRI data
Discovering Regional Pathological Patterns in Brain MRI
Addressing the "problem" of temporal correlations in MVPA analysis
Tractography Mapping for Dissimilarity Space across Subjects
Functional hyperalignment of resting state FMRI sessions driven by autonomic activity
Clustering of High Dimensional Longitudinal Imaging Data