Data- and Physics-Driven Deep Learning Based Reconstruction for Fast MRI: Fundamentals and Methodologies

Deep Learning Surrogate Models of JULES-INFERNO for Wildfire Prediction on a Global Scale

Every Angle Is Worth A Second Glance: Mining Kinematic Skeletal Structures from Multi-view Joint Cloud

Fire-Image-DenseNet (FIDN) for predicting wildfire burnt area using remote sensing data

Intuitively interpreting GANs latent space using semantic distribution

Benchmarking Multi-National Value Alignment for Large Language Models

Both Ears Wide Open: Towards Language-Driven Spatial Audio Generation

Importance Weighting Can Help Large Language Models Self-Improve

LegalReasoner: Step-wised Verification-Correction for Legal Judgment Reasoning

SafeLawBench: Towards Safe Alignment of Large Language Models

Scenario, Role, and Persona: A Scoping Review of Design Strategies for Socially Intelligent AI Agents

Bayesian at heart: Towards autonomic outflow estimation via generative state-space modelling of heart rate dynamics

Causal inference in the medical domain: a survey

DEA: Data-efficient augmentation for interpretable medical image segmentation

Efficient deep data assimilation with sparse observations and time-varying sensors

FedEL: Federated ensemble learning for non-iid data

GNN-MgrPool: Enhanced graph neural networks with multi-granularity pooling for graph classification

Honest Computing: Achieving demonstrable data lineage and provenance for driving data and process-sensitive policies

Labelling with dynamics: A data-efficient learning paradigm for medical image segmentation

Learning-based Artificial Intelligence Artwork: Methodology Taxonomy and Quality Evaluation

Machine Learning-Driven Spatiotemporal Analysis of Ozone Exposure and Health Risks in China

ReChoreoNet: Repertoire-based Dance Re-choreography with Music-conditioned Temporal and Style Clues

The potential and pitfalls of using a large language model such as ChatGPT, GPT-4, or LLaMA as a clinical assistant

Video-Instrument Synergistic Network for Referring Video Instrument Segmentation in Robotic Surgery

zkFL: Zero-Knowledge Proof-based Gradient Aggregation for Federated Learning

AttnZero: Efficient Attention Discovery for Vision Transformers

Auto-GAS: Automated Proxy Discovery for Training-Free Generative Architecture Search

Can LLMs" Reason" in Music? An Evaluation of LLMs' Capability of Music Understanding and Generation

ChatMusician: Understanding and Generating Music Intrinsically with LLM

COMOSVC: Consistency Model-based Singing Voice Conversion

ComposerX: Multi-Agent Symbolic Music Composition with LLMs

DetKDS: Knowledge Distillation Search for Object Detectors

Dirichlet Continual Learning: Tackling Catastrophic Forgetting in NLP

Discovering Sparsity Allocation for Layer-wise Pruning of Large Language Models

EDM: Synthetic Data from Exemplar Diffusion Model Improves Non-Communicable Diseases Detection

Era3D: High-Resolution Multiview Diffusion using Efficient Row-wise Attention

FastSAG: Towards Fast Non-Autoregressive Singing Accompaniment Generation

FlashSpeech: Efficient Zero-Shot Speech Synthesis

Freeze the Backbones: a Parameter-Efficient Contrastive Approach to Robust Medical Vision-Language Pre-Training

Hierarchical Linear Symbolized Tree-Structured Neural Processes

Mert: Acoustic Music Understanding Model With Large-scale Self-supervised Training

RQ-RAG: Learning to Refine Queries for Retrieval Augmented Generation

Weakly-Supervised Emotion Transition Learning for Diverse 3D Co-speech Gesture Generation

A Generative Model for Surrogates of Spatial-Temporal Wildfire Nowcasting

Machine Learning With Data Assimilation and Uncertainty Quantification for Dynamical Systems: A Review

STR Transformer: A Cross-domain Transformer for Scene Text Recognition

CoMoSpeech: One-Step Speech and Singing Voice Synthesis via Consistency Model

LyricWhiz: Robust Multilingual Zero-shot Lyrics Transcription by Whispering to ChatGPT

Marble: Music audio representation benchmark for universal evaluation

NAS-FM: Neural Architecture Search for Tunable and Interpretable Sound Synthesis Based on Frequency Modulation

On the Effectiveness of Speech Self-supervised Learning for Music

Unsupervised Zero-Shot Learning for Achieve Cross-Modal Alignment with Counterfactuals

Afatinib Treatment Alone or with Bevacizumab in a Real-World Cohort of Non-Small Cell Lung Cancer Patients with Epidermal Growth Factor Receptor Mutation

Afatinib treatment in a large real-world cohort of nonsmall cell lung cancer patients with common and uncommon epidermal growth factor receptor mutation

Association of Differential Mast Cell Activation with Granulocytic Inflammation in Severe Asthma

Bayesian data assimilation for estimating instantaneous reproduction numbers during epidemics: Applications to COVID-19

Clinical utility of automatic phenotype annotation in unstructured clinical notes: intensive care unit use

Data-driven surrogate model with latent data assimilation: Application to wildfire forecasting

Determinants of expression of SARS-CoV-2 entry-related genes in upper and lower airways

Digital twins based on bidirectional LSTM and GAN for modelling the COVID-19 pandemic

Ensemble latent assimilation with deep learning surrogate model: application to drop interaction in a microfluidics device

Erratum: Crucial role for lung iron level and regulation in the pathogenesis and severity of asthma

Face aging with pixel-level alignment GAN

FTAP: Feature transferring autonomous machine learning pipeline

Mapping atopic dermatitis and anti–IL-22 response signatures to type 2–low severe neutrophilic asthma

Missile aerodynamic shape optimization design using deep neural networks

MKD: Mixup-Based Knowledge Distillation for Mandarin End-to-End Speech Recognition

Multiple Detection Model Fusion Framework for Printed Circuit Board Defect Detection

Optimal Planning of Air Quality-Monitoring Sites for Better Depiction of PM_2.5 Pollution across China

Parameter Flexible Wildfire Prediction Using Machine Learning Techniques: Forward and Inverse Modelling

Phenotyping in clinical text with unsupervised numerical reasoning for patient stratification

Plasma proteins elevated in severe asthma despite oral steroid use and unrelated to Type-2 inflammation

Quantifying high-order interdependencies on individual patterns via the local O-information: Theory and applications to music analysis

Relationship between type 2 cytokine and inflammasome responses in obesity-associated asthma

Scale-Consistent Fusion: From Heterogeneous Local Sampling to Global Immersive Rendering

Speech synthesis with face embeddings

Suggestive annotation of brain MR images with gradient-guided sampling

The different overall survival between single-agent EGFR-TKI treatment and with bevacizumab in non-small cell lung cancer patients with brain metastasis

Toward High-Performance Map-Recovery of Air Pollution Using Machine Learning

UBAR: User Behavior-Aware Recommendation with knowledge graph

Weather-degraded image semantic segmentation with multi-task knowledge distillation

基于多粒度认知的智能计算研究

A continuous glucose monitoring measurements forecasting approach via sporadic blood glucose monitoring

Merging Real Images with Physics Simulations via Data Assimilation

OmiTrans: Generative Adversarial Networks Based Omics-to-omics Translation Framework

A blockchain-based trust system for decentralised applications: When trustless needs trust

A Metabolite Array Technology for Precision Medicine

Association of endopeptidases, involved in SARS-CoV-2 infection, with microbial aggravation in sputum of severe asthma

COVID-19 rehabilitation with herbal medicine and cardiorespiratory exercise: Protocol for a clinical study

Deep data assimilation: Integrating deep learning with data assimilation

Fast data assimilation (FDA): Data assimilation by machine learning for faster optimize model state

First- or second-generation epidermal growth factor receptor tyrosine kinase inhibitors in a large, real-world cohort of patients with non-small cell lung cancer

Hyocholic acid species as novel biomarkers for metabolic disorders

Instability of sputum molecular phenotypes in U-BIOPRED severe asthma

Medication Adherence in Patients With Severe Asthma Prescribed Oral Corticosteroids in the U-BIOPRED Cohort

Modeling of suppression and mitigation interventions in the COVID-19 epidemics

Multiscale convolutional and recurrent neural network for quality prediction of continuous casting slabs

Network-based visualisation reveals new insights into transposable element diversity

Nonlinear modulation of COVID-19 transmission by climate conditions

Omiembed: A unified multi-task deep learning framework for multi-omics data

Privacy preservation in federated learning: An insightful survey from the GDPR perspective

Sputum ACE2, TMPRSS2 and FURIN gene expression in severe neutrophilic asthma

Sputum macrophage diversity and activation in asthma: Role of severity and inflammatory phenotype

Trustworthiness assessment for industrial IoT as multilayer networks with von Neumann entropy

Type 2-low asthma phenotypes by integration of sputum transcriptomics and serum proteomics

Variational Gaussian Process for Optimal Sensor Placement

Why AI still doesn’t have consciousness?

XOmiVAE: an interpretable deep learning model for cancer classification using high-dimensional omics data

论人工智能历史、现状与未来发展战略

BU-Trace: A Permissionless Mobile System for Privacy-Preserving Intelligent Contact Tracing

Data Assimilation in the Latent Space of a Convolutional Autoencoder

HNECV: Heterogeneous Network Embedding via Cloud Model and Variational Inference

Interpretability Analysis Method Based on Path Decomposition for Cell-based Neural Architecture Search

Interpretability Latent Space Method: Exploiting Shapley Representation to Explain Latent Space

Joint Motion Correction and Super Resolution for Cardiac Segmentation via Latent Optimisation

Label Dependent Attention Model for Disease Risk Prediction Using Multimodal Electronic Health Records

Label-dependent and event-guided interpretable disease risk prediction using EHRs

Methods and Applications of Causal Reasoning in Medical Field

A Bayesian Updating Scheme for Pandemics: Estimating the Infection Dynamics of COVID-19

A case study on understanding energy consumption through prediction and visualization (VIMOEN)

A data driven methodology for social science research with left-behind children as a case study

A population-based phenome-wide association study of cardiac and aortic structure and function

A Reduced Order Deep Data Assimilation model

An epidemiological modelling approach for COVID-19 via data assimilation

Asthma similarities across ProAR (Brazil) and U-BIOPRED (Europe) adult cohorts of contrasting locations, ethnicity and socioeconomic status

Attention-based Convolutional Autoencoders for 3D-Variational Data Assimilation

Collaborative Defense with Multiple USVs and UAVs Based on Swarm Intelligence

Consolidation treatment of durvalumab after chemoradiation in real-world patients with stage III unresectable non-small cell lung cancer

Crucial role for lung iron level and regulation in the pathogenesis and severity of asthma

Data-driven reduced order model with temporal convolutional neural network

GDPR-Compliant Personal Data Management: A Blockchain-Based Solution

Improving taxonomic relation learning via incorporating relation descriptions into word embeddings

Multiple premises entailment recognition based on attention and gate mechanism

Network structure-based interventions on spatial spread of epidemics in metapopulation networks

Neurocognition-inspired design with machine learning

Open Visualization Environment (OVE): A web framework for scalable rendering of data visualizations

The assessment of small bowel motility with attentive deformable neural network

The autonomous navigation and obstacle avoidance for USVs with ANOA deep reinforcement learning method

The fair value of a token: How do markets price cryptocurrencies?

Towards a large-scale twitter observatory for political events

TUORIS: A middleware for visualizing dynamic graphics in scalable resolution display environments

Vitamin d metabolism is dysregulated in asthma and chronic obstructive pulmonary disease

Weak Constraint Gaussian Processes for optimal sensor placement

When Sharing Economy Meets IoT: Towards Fine-grained Urban Air Quality Monitoring through Mobile Crowdsensing on Bike-share System

从做得多到做得对：也谈人工智能的发展方向

让机器做得对:对人工智能伦理性的思考

A domain decomposition reduced order model with data assimilation (DD-RODA)

A scalable approach to econometric inference

Adaptive Domain Decomposition for Effective Data Assimilation

An Econophysical Analysis of the Blockchain Ecosystem

Automatic brain tumour segmentation and biophysics-guided survival prediction

Chinese Entity Synonym Extraction from the Web

Deep Generative Model-Based Quality Control for Cardiac MRI Segmentation

Neural assimilation

Self-training for Brain Tumour Segmentation with Uncertainty Estimation and Biophysics-Guided Survival Prediction

Suggestive Annotation of Brain Tumour Images with Gradient-Guided Sampling

TinySleepNet: An Efficient Deep Learning Model for Sleep Stage Scoring based on Raw Single-Channel EEG

“T2-high” in severe asthma related to blood eosinophil, exhaled nitric oxide and serum periostin

A machine learning attack against variable-length Chinese character CAPTCHAs

A reduced order model for turbulent flows in the urban environment using machine learning

An artificial intelligence based data-driven approach for design ideation

An Information-Theoretical Framework for Cluster Ensemble

An unsupervised approach for learning a Chinese IS-A taxonomy from an unstructured corpus

Associations of Regional Brain Structural Differences with Aging, Modifiable Risk Factors for Dementia, and Cognitive Performance

Cf-prov: A content-rich and fine-grained scientific workflow provenance model

Comparison of a combination of chemotherapy and immune checkpoint inhibitors and immune checkpoint inhibitors alone for the treatment of advanced and metastatic non-small cell lung cancer

Contribution of airway eosinophils in airway wall remodeling in asthma: Role of MMP-10 and MET

Data and knowledge management in translational research: Implementation of the eTRIKS platform for the IMI OncoTrack consortium

Enhancing CFD-LES air pollution prediction accuracy using data assimilation

Entity emotion mining in social media environment

Epithelial dysregulation in obese severe asthmatics with gastro-oesophageal reflux

Epithelial IL-6 trans-signaling defines a new asthma phenotype with increased airway inflammation

Explanations by arbitrated argumentative dispute

Front-line treatment of ceritinib improves efficacy over crizotinib for Asian patients with anaplastic lymphoma kinase fusion NSCLC: The role of systemic progression control

Generalised regression hypothesis induction for energy consumption forecasting

Hierarchical attention based long short-term memory for Chinese lyric generation

I_MDS: An inflammatory bowel disease molecular activity score to classify patients with differing disease-driving pathways and therapeutic response to anti-TNF treatment

IL-17–high asthma with features of a psoriasis immunophenotype

Model error correction in data assimilation by integrating neural networks

Moderate-to-severe asthma in individuals of European ancestry: a genome-wide association study

Multi-distribution characteristics based Chinese entity synonym extraction from the web

Navigating the disease landscape: Knowledge representations for contextualizing molecular signatures

Not All Lies Are Equal. A Study into the Engineering of Political Misinformation in the 2016 US Presidential Election

Optimal reduced space for Variational Data Assimilation

PlatformTM, a standards-based data custodianship platform for translational medicine research

Prior EGFR-TKI Treatment in EGFR-Mutated NSCLC Affects the Allele Frequency Fraction of Acquired T790M and the Subsequent Efficacy of Osimertinib

Stratification of asthma phenotypes by airway proteomic signatures

Study on the factors affecting solid solubility in binary alloys: An exploration by Machine Learning

Temporal sustainability efficiency analysis of urban areas via Data Envelopment Analysis and the hypervolume indicator: Application to London boroughs

TeraVR empowers precise reconstruction of complete 3-D neuronal morphology in the whole brain

Treatable traits in the European U-BIOPRED adult asthma cohorts

踏踏实实地研究人工智能

Blockchain-based Personal Data Management: From Fiction to Solution

Compositional Microservices for Immersive Social Visual Analytics

Conditional image synthesis using stacked auxiliary classifier generative adversarial networks

Data assimilation for parameter estimation in economic modelling

Generative creativity: Adversarial learning for bionic design

Human-in-the-loop design with machine learning

Hybrid data assimilation: An ensemble-variational approach

Identity authentication on mobile devices using face verification and ID image recognition

Improved accuracy stock price change prediction model using trading volume

Integrated Multi-omics Analysis Using Variational Autoencoders: Application to Pan-cancer Classification

Integrating semantic knowledge to tackle zero-shot text classification

Multi-domain and sub-role oriented software architecture for managing scientific big data

Scalable Weak Constraint Gaussian Processes

Self-Supervised Learning for Cardiac MR Image Segmentation by Anatomical Position Prediction

SIMGAN: Photo-Realistic Semantic Image Manipulation Using Generative Adversarial Networks

The collaborative strategy of multiple USVs with deep reinforcement learning method

Transfer learning from partial annotations for whole brain segmentation

UMDISW: A Universal Multi-Domain Intelligent Scientific Workflow Framework for the Whole Life Cycle of Scientific Data

Unsupervised Annotation of Phenotypic Abnormalities via Semantic Latent Representations on Electronic Health Records

A computational framework for complex disease stratification from multiple large-scale datasets

A novel community detection algorithm based on simplification of complex networks

A visual attention-based keyword extraction for document classification

An Ensemble Clusterer of Multiple Fuzzy k-Means Clusterings to Recognize Arbitrarily Shaped Clusters

Crowdsourcing with online quantitative design analysis

DAGAN: Deep De-Aliasing Generative Adversarial Networks for Fast Compressed Sensing MRI Reconstruction

Deep unfolded IRLS-ADMM network for classification and sparse feature selection

Dropping activation outputs with localized first-layer deep network for enhancing user privacy and data security

Effective variational data assimilation in air-pollution prediction

Impact of prolonged and early bevacizumab treatment on the overall survival of EGFR-mutant and EGFR-wild type nonsquamous non-small cell lung cancer

Lipid phenotyping of lung epithelial lining fluid in healthy human volunteers

Mixed Neural Network Approach for Temporal Sleep Stage Classification

Model identification of reduced order fluid dynamics systems using deep learning

Pathway discovery using transcriptomic profiles in adult-onset severe asthma

Remote monitoring in the home validates clinical gait measures for multiple sclerosis

Sputum proteomics and airway cell transcripts of current and ex-smokers with severe asthma in U-BIOPRED: An exploratory analysis

Sputum transcriptomics reveal upregulation of IL-1 receptor family members in patients with severe asthma

TGF-β Signaling Pathways in Different Compartments of the Lower Airways of Patients With Stable COPD

Towards open data blockchain analytics: A bitcoin perspective

Unique immune gene expression patterns in bronchoalveolar lavage and tumor adjacent non-neoplastic lung tissue in non-small cell lung cancer

Using support vector machine on EEG for advertisement impact assessment

Visualizing large knowledge graphs: A performance analysis

正态云模型研究回顾与展望

A multi tenant computational platform for translational medicine

Attacking strategy of multiple unmanned surface vehicles based on DAMGWO algorithm

Deep sequence learning with auxiliary information for traffic prediction

Dest-resnet: A deep spatiotemporal residual network for hotspot traffic speed prediction

Enhancing feature correlation for bi-modal group emotion recognition

I2T2I: Learning text to image synthesis with textual data augmentation

Multiple feature fusion for automatic emotion recognition using EEG signals

Optimising Toward Completed Videos in an Online Video Advertising Exchange

Real-time Quality Prediction of Casting Billet Based on Random Forest Algorithm

Text-to-image synthesis via visual-memory creative adversarial network

The Deep Poincaré Map: A Novel Approach for Left Ventricle Segmentation

The multiple unmanned surface vehicles cooperative defense based on PM-PSO and GA-PSO in the sophisticated sea environment

A disease risk model for health data

A Transcriptome-driven Analysis of Epithelial Brushings and Bronchial Biopsies to Define Asthma Phenotypes in U-BIOPRED

A visual analytics approach for station-based air quality data

DeepSleepNet: A model for automatic sleep stage scoring based on raw single-channel EEG

Discover semantic topics in patents within a specific domain

Fast density clustering strategies based on the k-means algorithm

Fast graph clustering with a new description model for community detection

Improving data exploration in graphs with fuzzy logic and large-scale visualisation

Inferring functional connectivity in fMRI using minimum partial correlation

Small bowel motility assessment based on fully convolutional networks and long short-term memory

Sparse Bayesian classification and feature selection for biological expression data with high correlations

T-helper cell type 2 (Th2) and non-Th2 molecular phenotypes of asthma using sputum transcriptomics in U-BIOPRED

Transcriptomic gene signatures associated with persistent airflow limitation in patients with severe asthma

tranSMART-XNAT Connector tranSMART-XNAT connector - Image selection based on clinical phenotypes and genetic profiles

U-BIOPRED clinical adult asthma clusters linked to a subset of sputum omics

Automatic brain tumor detection and segmentation using U-net based fully convolutional networks

ETRIKS analytical environment: A modular high performance framework for medical data analysis

Exploratory analysis of big social data using MIC/MINE statistics

Semantic Image Synthesis via Adversarial Learning

TensorLayer: A versatile library for efficient deep learning development

The combat of unmanned surface vehicles based on wolves attack

The cooperative defense strategy by multi-USVs

The cooperative defense system by team of USVs in complicated sea environment

A Coarse-Grained Reconfigurable Architecture for Compute-Intensive MapReduce Acceleration

Automatic Sleep Stage Scoring Using Time-Frequency Analysis and Stacked Sparse Autoencoders

CGDM: Collaborative genomic data model for molecular profiling data using NoSQL

Enabling virtual sensing as a service

Inferring Individual-Level Variations in the Functional Parcellation of the Cerebral Cortex

Making sense of big data in health research: Towards an EU action plan

Severe asthma exists despite suppressed tissue inflammation: findings of the U-BIOPRED study

Visualizing Dynamic Bitcoin Transaction Patterns

Wiki-Health: From Quantified Self to Self-Understanding

为科学服务的大数据

精确医学与大数据

走好我们的大数据之路

Survey on Feature Extraction and Applications of Biosignals

A new soft material based in-the-ear EEG recording technique

Generating computational taxonomy for business models of the digital economy

Parameter estimation for gene regulatory networks: A two-stage MCMC Bayesian approach

Resampling-based variable selection with lasso for p >> n and partially linear models

Clinical and inflammatory characteristics of the European U-BIOPRED adult severe asthma cohort

Fast traffic sign recognition with a rotation invariant binary pattern based feature

WikiSensing:从大数据到数据产品

沟通天地 融合东西:论现代科学和国学的融通

Brain Informatics and Health: 8th International Conference, BIH 2015, London, UK, August 30 - September 2, 2015: Proceedings

Cooperatively managing dynamic writeback and insertion policies in a last-level DRAM cache

Joint affine transformation and loop pipelining for mapping nested loop on CGRAs

Minimum partial correlation: An accurate and parameter-free measure of functional connectivity in fMRI

Optimising bootstrapping algorithms using R and Hadoop

The critical regularization value: Incorporating spatial smoothness to enhance signal detection in highly noisy fMRI data

An iterative parameter estimation method for biological systems and its parallel implementation

Cloud computing in e-Science: Research challenges and opportunities

Concinnity: A Generic Platform for Big Sensor Data Applications

DSIMBench: A benchmark for microarray data using R

Enabling cost-aware and adaptive elasticity of multi-tier cloud applications

Inferring cell-scale signalling networks via compressive sensing

Linear Dynamic Sparse Modelling for functional MR imaging

Optimising parallel R correlation matrix calculations on gene expression data using MapReduce

Parallel clustering algorithm for large-scale biological data sets

Elastic application container system: Elastic web applications provisioning

Elastic application container system: Elastic web applications provisioning

Wiki-health: A big data platform for health sensor data management

Balancing the stability and predictive performance for multivariate voxel selection in fMRI study

BigData oriented open scalable relational data model

Building a cloud-based platform for personal health sensor data management

Creating a chemistry of sciences with big data: Building the data science institute at Imperial College London

Enabling health monitoring as a service in the cloud

Enabling performance as a service for a cloud storage system

Feature extraction with stacked autoencoders for epileptic seizure detection

Integration of sparse Bayesian learning and random subspace for fMRI Multivariate Pattern Analysis

Biocloud: Cloud computing for biological, genomics, and drug design

Elastic information management for air pollution monitoring in large-scale M2M sensor networks

Obesity-associated severe asthma represents a distinct clinical phenotype analysis of the british thoracic society diffi cult asthma registry patient cohort according to bmi

Techniques to aid the implementation of novel clinical information systems: A systematic review

中国云计算产业结构和商业模式

云计算中的弹性算法:概要和展望

Computational infrastructures for data and knowledge management in systems biology

An approximation approach to measurement design in the reconstruction of functional MRI sequences

An Efficient and Performance-Aware Big Data Storage System

Building a generic platform for big sensor data application

Cloud resource monitoring for intrusion detection

Elastic algorithms for guaranteeing quality monotonicity in big data mining

Enhanced user data privacy with pay-by-data model

High dimensional biological data retrieval optimization with NoSQL technology

Research on semantic similarity calculation of linked data based on multiple factors

Sensor deployment in Bayesian compressive sensing based environmental monitoring

Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA

Programming directives for elastic computing

Social networking federation: A position paper

Wikisensing: An online collaborative approach for sensor data management

System Biology Approach to Study Cancer Related Pathways

A new paradigm for web app development, deployment, distribution, and collaboration

A semantic relatedness service based on folksonomy

An EEG-based brain informatics application for enhancing music experience

An iterative parameter estimation method for biological systems

Automating mass spectrometry proteomics analysis

CACSS: Towards a generic cloud storage service

Cloud program with a pricing strategy for Iaas in cloud computing

Delayed switching applied to memristor neural networks

Developing a novel integrated model of p38 MAPK and glucocorticoid signalling pathways

Does the Cloud need new algorithms? An introduction to elastic algorithms

Elastic application container: A lightweight approach for cloud resource provisioning

Environmental monitoring via compressive sensing

Improving resource utilisation in the cloud environment using multivariate probabilistic models

Lightweight resource scaling for cloud applications

Distributed clustering-based aggregation algorithm for spatial correlated sensor networks

IC cloud: Enabling compositional cloud

Principles of elastic processes

The ForeSee (4C) Approach for Integrative Analysis in Gene Discovery

A deployment platform for dynamically scaling applications in the cloud

Detecting insecure person in crowd with human sensor

Elastic application container

Finding consistent disease subnetworks across microarray datasets

Real time elastic cloud management for limited resources

Consistency, comprehensiveness, and compatibility of pathway databases

Delayed switching in memristors and memristive systems

Polymorphic type framework for scientific workflows with relational data model

RECA: Referenced energy-based CDS algorithm in wireless sensor networks

The design and implementation of a workflow analysis tool

IC cloud: A design space for composable cloud computing

Incremental learning of relations from the most frequent patterns in conversations on microblogging services

Optimization of resource scheduling in cloud computing

Process Calculi for systems biology

Process calculi for systems biology and applications in severe asthma

Analysing scientific workflows with computational tree logic

Creating the message infrastructure

Eight times acceleration of geospatial data archiving and distribution on the grids

Building and Using Analytical Workflows in Discovery Net

Data mining tools and techniques for identification of biomarkers for cancer

Solutions for complex, multi data type and multi tool analysis: principles and applications of using workflow and pipelining methods.

An experimental study of the distributed clustering for air pollution pattern recognition in sensor networks

Real-time data mining methodology and a supporting framework

A case for Redundant Arrays of Hybrid Disks (RAHD)

Air pollution monitoring and mining based on sensor Grid in London

Grid-optimized Web 3D applications on wide area network

Mining Adverse Drug Reactions with e-Science workflows

Grid-Oriented Storage: A single-image, cross-domain, high-bandwidth architecture

Heterogeneous workflows in scientific workflow systems

Supporting scientific discovery processes in Discovery Net

KDE Bioscience: Platform for bioinformatics analysis workflows

Achievements and experiences from a Grid-based earthquake analysis and modelling study

Building next generation service-oriented architectures using argumentation agents

Grid-based analysis of air pollution data

Cluster Computing and Grid 2005 works in progress

Integrated informatics in life and materials sciences: An oxymoron?

Web services in the life sciences

A grid infrastructure for mixed bioinformatics data and text mining

Bridging the macro and Micro: A computing intensive earthquake study using Discovery Net

Using DragPushing to refine centroid text classifiers

Prototype a knowledge discovery infrastructure by implementing relational grid monitoring architecture (R-GMA) on European Data Grid (EDG)

InfoGrid: Providing information integration for knowledge discovery

The design of discovery net: Towards open grid services for knowledge discovery

A Distributed and Mobile Data Mining System

Option pricing under model and parameter uncertainty using predictive densities

Discovery net: Towards a grid of knowledge discovery

Grid-based knowledge discovery services for high throughput informatics

Developing a distributed scalable Java component server

Engineering BioInformatics

Fuzzy partitioning systems for electrofacies classification: A case study from the Maracaibo Basin

Minimised Geometric Buchberger Algorithm for Integer Programming

Design of problem-solving environment for contingent claim valuation

Design of high performance financial modelling environment

Modelling integer programming with logic: Language and implementation

Data Mining for the e-business: Developments and directions

Developing a Distributed Scalable Enterprise JavaBean Server

New paradigms in information visualization

An architecture for distributed enterprise data mining

Probing knowledge in distributed data mining

Visual language for Internet-based data mining and data visualization

GOFFIN: Higher-order functions meet concurrent constraints

A software architecture for deploying high performance solution on the internet

Enlarging the scope of vector-based computations: extending Fortran 90 by nested data parallelism

Minimized geometric Buchberger algorithm: An optimal algebraic algorithm for integer programming

Parallel induction algorithms for data mining

Co-ordinating heterogeneous parallel computation

Functional skeletons for parallel coordination

Parallel Fortran family and a new perspective

Parallel skeletons for structured composition

Parallel Skeletons for Structured Composition

Constraint logic programming in the sequent calculus

Functional programming languages with logical variables: A linear logic view

Constrained equational deduction

On the execution mechanisms of parallel graph reduction

Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction

The unification of functional and logic languages--Towards constraint functional programming

Design Considerations of a Distributed Parallel Reduction Architecture

“T2-high” in severe asthma related to blood eosinophil, exhaled nitric oxide and serum periostin

Article

A machine learning attack against variable-length Chinese character CAPTCHAs

Article

A reduced order model for turbulent flows in the urban environment using machine learning

Article

An artificial intelligence based data-driven approach for design ideation

Article

An Information-Theoretical Framework for Cluster Ensemble

Article

An unsupervised approach for learning a Chinese IS-A taxonomy from an unstructured corpus

Article

Associations of Regional Brain Structural Differences with Aging, Modifiable Risk Factors for Dementia, and Cognitive Performance

Article

Cf-prov: A content-rich and fine-grained scientific workflow provenance model

Article

Comparison of a combination of chemotherapy and immune checkpoint inhibitors and immune checkpoint inhibitors alone for the treatment of advanced and metastatic non-small cell lung cancer

Article

Contribution of airway eosinophils in airway wall remodeling in asthma: Role of MMP-10 and MET

Article

Data and knowledge management in translational research: Implementation of the eTRIKS platform for the IMI OncoTrack consortium

Article

Enhancing CFD-LES air pollution prediction accuracy using data assimilation

Article

Entity emotion mining in social media environment

Article

Epithelial dysregulation in obese severe asthmatics with gastro-oesophageal reflux

Article

Epithelial IL-6 trans-signaling defines a new asthma phenotype with increased airway inflammation

Article

Explanations by arbitrated argumentative dispute

Article

Front-line treatment of ceritinib improves efficacy over crizotinib for Asian patients with anaplastic lymphoma kinase fusion NSCLC: The role of systemic progression control

Article

Generalised regression hypothesis induction for energy consumption forecasting

Article

Hierarchical attention based long short-term memory for Chinese lyric generation

Article

I_MDS: An inflammatory bowel disease molecular activity score to classify patients with differing disease-driving pathways and therapeutic response to anti-TNF treatment

Article

IL-17–high asthma with features of a psoriasis immunophenotype

Article

Model error correction in data assimilation by integrating neural networks

Article

Moderate-to-severe asthma in individuals of European ancestry: a genome-wide association study

Article

Multi-distribution characteristics based Chinese entity synonym extraction from the web

Article

Navigating the disease landscape: Knowledge representations for contextualizing molecular signatures

Article

Not All Lies Are Equal. A Study into the Engineering of Political Misinformation in the 2016 US Presidential Election

Article

Optimal reduced space for Variational Data Assimilation

Article

PlatformTM, a standards-based data custodianship platform for translational medicine research

Article

Prior EGFR-TKI Treatment in EGFR-Mutated NSCLC Affects the Allele Frequency Fraction of Acquired T790M and the Subsequent Efficacy of Osimertinib

Article

Stratification of asthma phenotypes by airway proteomic signatures

Article

Study on the factors affecting solid solubility in binary alloys: An exploration by Machine Learning

Article

Temporal sustainability efficiency analysis of urban areas via Data Envelopment Analysis and the hypervolume indicator: Application to London boroughs

Article

TeraVR empowers precise reconstruction of complete 3-D neuronal morphology in the whole brain

Article

Treatable traits in the European U-BIOPRED adult asthma cohorts

Article

踏踏实实地研究人工智能

Article

Blockchain-based Personal Data Management: From Fiction to Solution

Conference paper

Compositional Microservices for Immersive Social Visual Analytics

Conference paper

Conditional image synthesis using stacked auxiliary classifier generative adversarial networks

Conference paper

Data assimilation for parameter estimation in economic modelling

Conference paper

Generative creativity: Adversarial learning for bionic design

Conference paper

Human-in-the-loop design with machine learning

Conference paper

Hybrid data assimilation: An ensemble-variational approach

Conference paper

Identity authentication on mobile devices using face verification and ID image recognition

Conference paper

Improved accuracy stock price change prediction model using trading volume

Conference paper

Integrated Multi-omics Analysis Using Variational Autoencoders: Application to Pan-cancer Classification

Conference paper

Integrating semantic knowledge to tackle zero-shot text classification

Conference paper

Multi-domain and sub-role oriented software architecture for managing scientific big data

Conference paper

Scalable Weak Constraint Gaussian Processes

Conference paper

Self-Supervised Learning for Cardiac MR Image Segmentation by Anatomical Position Prediction

Conference paper

SIMGAN: Photo-Realistic Semantic Image Manipulation Using Generative Adversarial Networks

Conference paper

The collaborative strategy of multiple USVs with deep reinforcement learning method

Conference paper

Transfer learning from partial annotations for whole brain segmentation

Conference paper

UMDISW: A Universal Multi-Domain Intelligent Scientific Workflow Framework for the Whole Life Cycle of Scientific Data

Conference paper

Unsupervised Annotation of Phenotypic Abnormalities via Semantic Latent Representations on Electronic Health Records

Conference paper

A computational framework for complex disease stratification from multiple large-scale datasets

Article

A novel community detection algorithm based on simplification of complex networks

Article

A visual attention-based keyword extraction for document classification

Article

An Ensemble Clusterer of Multiple Fuzzy k-Means Clusterings to Recognize Arbitrarily Shaped Clusters

Article

Crowdsourcing with online quantitative design analysis

Article

DAGAN: Deep De-Aliasing Generative Adversarial Networks for Fast Compressed Sensing MRI Reconstruction

Article

Deep unfolded IRLS-ADMM network for classification and sparse feature selection

Article

Dropping activation outputs with localized first-layer deep network for enhancing user privacy and data security

Article

Effective variational data assimilation in air-pollution prediction

Article

Impact of prolonged and early bevacizumab treatment on the overall survival of EGFR-mutant and EGFR-wild type nonsquamous non-small cell lung cancer

Article

Lipid phenotyping of lung epithelial lining fluid in healthy human volunteers

Article

Mixed Neural Network Approach for Temporal Sleep Stage Classification

Article

Model identification of reduced order fluid dynamics systems using deep learning

Article

Pathway discovery using transcriptomic profiles in adult-onset severe asthma

Article

Remote monitoring in the home validates clinical gait measures for multiple sclerosis

Article

Sputum proteomics and airway cell transcripts of current and ex-smokers with severe asthma in U-BIOPRED: An exploratory analysis

Article

Sputum transcriptomics reveal upregulation of IL-1 receptor family members in patients with severe asthma

Article

TGF-β Signaling Pathways in Different Compartments of the Lower Airways of Patients With Stable COPD

Article

Towards open data blockchain analytics: A bitcoin perspective

Article

Unique immune gene expression patterns in bronchoalveolar lavage and tumor adjacent non-neoplastic lung tissue in non-small cell lung cancer

Article

Using support vector machine on EEG for advertisement impact assessment

Article

Visualizing large knowledge graphs: A performance analysis

Article

正态云模型研究回顾与展望

Article

A multi tenant computational platform for translational medicine

Conference paper

Attacking strategy of multiple unmanned surface vehicles based on DAMGWO algorithm

Conference paper

Deep sequence learning with auxiliary information for traffic prediction

Conference paper

Dest-resnet: A deep spatiotemporal residual network for hotspot traffic speed prediction

Conference paper

Enhancing feature correlation for bi-modal group emotion recognition

Conference paper

I2T2I: Learning text to image synthesis with textual data augmentation

Conference paper

Multiple feature fusion for automatic emotion recognition using EEG signals

Conference paper

Optimising Toward Completed Videos in an Online Video Advertising Exchange

Conference paper

Real-time Quality Prediction of Casting Billet Based on Random Forest Algorithm

Conference paper

Text-to-image synthesis via visual-memory creative adversarial network

Conference paper

The Deep Poincaré Map: A Novel Approach for Left Ventricle Segmentation

Conference paper

The multiple unmanned surface vehicles cooperative defense based on PM-PSO and GA-PSO in the sophisticated sea environment

Conference paper

A disease risk model for health data

Article

A Transcriptome-driven Analysis of Epithelial Brushings and Bronchial Biopsies to Define Asthma Phenotypes in U-BIOPRED

Article

A visual analytics approach for station-based air quality data

Article

DeepSleepNet: A model for automatic sleep stage scoring based on raw single-channel EEG

Article

Discover semantic topics in patents within a specific domain

Article

Fast density clustering strategies based on the k-means algorithm

Article

Fast graph clustering with a new description model for community detection

Article

Improving data exploration in graphs with fuzzy logic and large-scale visualisation

Article

Inferring functional connectivity in fMRI using minimum partial correlation

Article

Small bowel motility assessment based on fully convolutional networks and long short-term memory

Article

Sparse Bayesian classification and feature selection for biological expression data with high correlations

Article

T-helper cell type 2 (Th2) and non-Th2 molecular phenotypes of asthma using sputum transcriptomics in U-BIOPRED

Article

Transcriptomic gene signatures associated with persistent airflow limitation in patients with severe asthma

Article

tranSMART-XNAT Connector tranSMART-XNAT connector - Image selection based on clinical phenotypes and genetic profiles

Article

U-BIOPRED clinical adult asthma clusters linked to a subset of sputum omics

Article

Automatic brain tumor detection and segmentation using U-net based fully convolutional networks

Conference paper

ETRIKS analytical environment: A modular high performance framework for medical data analysis

Conference paper

Exploratory analysis of big social data using MIC/MINE statistics

Conference paper

Semantic Image Synthesis via Adversarial Learning

Conference paper

TensorLayer: A versatile library for efficient deep learning development

Conference paper

The combat of unmanned surface vehicles based on wolves attack

Conference paper

The cooperative defense strategy by multi-USVs

Conference paper

The cooperative defense system by team of USVs in complicated sea environment

Conference paper

A Coarse-Grained Reconfigurable Architecture for Compute-Intensive MapReduce Acceleration

Article

Automatic Sleep Stage Scoring Using Time-Frequency Analysis and Stacked Sparse Autoencoders

Article

CGDM: Collaborative genomic data model for molecular profiling data using NoSQL

Article

Enabling virtual sensing as a service

Article

Inferring Individual-Level Variations in the Functional Parcellation of the Cerebral Cortex

Article

Making sense of big data in health research: Towards an EU action plan

Article

Severe asthma exists despite suppressed tissue inflammation: findings of the U-BIOPRED study

Article

Visualizing Dynamic Bitcoin Transaction Patterns

Article

Wiki-Health: From Quantified Self to Self-Understanding

Article

为科学服务的大数据

Article

精确医学与大数据

Article

走好我们的大数据之路

Article

Survey on Feature Extraction and Applications of Biosignals

Book chapter

A new soft material based in-the-ear EEG recording technique

Conference paper

Generating computational taxonomy for business models of the digital economy

Conference paper

Parameter estimation for gene regulatory networks: A two-stage MCMC Bayesian approach

Conference paper

Resampling-based variable selection with lasso for p >> n and partially linear models

Conference paper

Clinical and inflammatory characteristics of the European U-BIOPRED adult severe asthma cohort

Article

Fast traffic sign recognition with a rotation invariant binary pattern based feature

Article

WikiSensing:从大数据到数据产品

Article

沟通天地 融合东西:论现代科学和国学的融通

Article

Brain Informatics and Health: 8th International Conference, BIH 2015, London, UK, August 30 - September 2, 2015: Proceedings

Conference paper

Cooperatively managing dynamic writeback and insertion policies in a last-level DRAM cache

Conference paper

Joint affine transformation and loop pipelining for mapping nested loop on CGRAs

Conference paper

Minimum partial correlation: An accurate and parameter-free measure of functional connectivity in fMRI

Conference paper

Optimising bootstrapping algorithms using R and Hadoop

Conference paper

The critical regularization value: Incorporating spatial smoothness to enhance signal detection in highly noisy fMRI data

Conference paper

An iterative parameter estimation method for biological systems and its parallel implementation

Article

Cloud computing in e-Science: Research challenges and opportunities

Article

Concinnity: A Generic Platform for Big Sensor Data Applications

Article

DSIMBench: A benchmark for microarray data using R

Article

Enabling cost-aware and adaptive elasticity of multi-tier cloud applications

Article

Inferring cell-scale signalling networks via compressive sensing

Article

Linear Dynamic Sparse Modelling for functional MR imaging

Article

Optimising parallel R correlation matrix calculations on gene expression data using MapReduce

Article

Parallel clustering algorithm for large-scale biological data sets

Article

Elastic application container system: Elastic web applications provisioning

Book chapter

Elastic application container system: Elastic web applications provisioning

Book chapter

Wiki-health: A big data platform for health sensor data management

Book chapter

Balancing the stability and predictive performance for multivariate voxel selection in fMRI study

Conference paper

BigData oriented open scalable relational data model

Conference paper

Building a cloud-based platform for personal health sensor data management

Conference paper

Creating a chemistry of sciences with big data: Building the data science institute at Imperial College London

Conference paper

Enabling health monitoring as a service in the cloud

Conference paper

Enabling performance as a service for a cloud storage system

Conference paper

Feature extraction with stacked autoencoders for epileptic seizure detection

Conference paper

Integration of sparse Bayesian learning and random subspace for fMRI Multivariate Pattern Analysis

Conference paper

Biocloud: Cloud computing for biological, genomics, and drug design

Article

Elastic information management for air pollution monitoring in large-scale M2M sensor networks

Article

Obesity-associated severe asthma represents a distinct clinical phenotype analysis of the british thoracic society diffi cult asthma registry patient cohort according to bmi

Article

Techniques to aid the implementation of novel clinical information systems: A systematic review

Article

中国云计算产业结构和商业模式

Article

云计算中的弹性算法:概要和展望

Article

Computational infrastructures for data and knowledge management in systems biology

Book chapter

An approximation approach to measurement design in the reconstruction of functional MRI sequences

Conference paper

An Efficient and Performance-Aware Big Data Storage System

Conference paper

Building a generic platform for big sensor data application

Conference paper

Cloud resource monitoring for intrusion detection

Conference paper

Elastic algorithms for guaranteeing quality monotonicity in big data mining

Conference paper

Enhanced user data privacy with pay-by-data model

Conference paper

High dimensional biological data retrieval optimization with NoSQL technology

Conference paper

Research on semantic similarity calculation of linked data based on multiple factors

Conference paper

Sensor deployment in Bayesian compressive sensing based environmental monitoring

Conference paper

Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA

Article

Programming directives for elastic computing

Article

Social networking federation: A position paper

Article

Wikisensing: An online collaborative approach for sensor data management

Article

System Biology Approach to Study Cancer Related Pathways

Book chapter

A new paradigm for web app development, deployment, distribution, and collaboration

Conference paper

A semantic relatedness service based on folksonomy

Conference paper

An EEG-based brain informatics application for enhancing music experience

Conference paper

An iterative parameter estimation method for biological systems

Conference paper

Automating mass spectrometry proteomics analysis

Conference paper

CACSS: Towards a generic cloud storage service

Conference paper

Cloud program with a pricing strategy for Iaas in cloud computing

Conference paper

Delayed switching applied to memristor neural networks

Conference paper

Developing a novel integrated model of p38 MAPK and glucocorticoid signalling pathways

Conference paper

Does the Cloud need new algorithms? An introduction to elastic algorithms

Conference paper

Elastic application container: A lightweight approach for cloud resource provisioning

Conference paper

Environmental monitoring via compressive sensing

Conference paper

Improving resource utilisation in the cloud environment using multivariate probabilistic models

Conference paper

Lightweight resource scaling for cloud applications

Conference paper

Distributed clustering-based aggregation algorithm for spatial correlated sensor networks

Article

IC cloud: Enabling compositional cloud

Article

Principles of elastic processes

Article

The ForeSee (4C) Approach for Integrative Analysis in Gene Discovery

Book chapter

A deployment platform for dynamically scaling applications in the cloud

Conference paper

Detecting insecure person in crowd with human sensor

Conference paper

Elastic application container

Conference paper

Finding consistent disease subnetworks across microarray datasets

Conference paper

Real time elastic cloud management for limited resources

Conference paper

Consistency, comprehensiveness, and compatibility of pathway databases

Article

Delayed switching in memristors and memristive systems

Article

Polymorphic type framework for scientific workflows with relational data model

Article

RECA: Referenced energy-based CDS algorithm in wireless sensor networks

Article

The design and implementation of a workflow analysis tool

Article

IC cloud: A design space for composable cloud computing

Conference paper

Incremental learning of relations from the most frequent patterns in conversations on microblogging services

Conference paper

Optimization of resource scheduling in cloud computing

Conference paper

Process Calculi for systems biology

Conference paper

Process calculi for systems biology and applications in severe asthma

Conference paper

Analysing scientific workflows with computational tree logic

Article

Creating the message infrastructure

Article

Eight times acceleration of geospatial data archiving and distribution on the grids

Article

Building and Using Analytical Workflows in Discovery Net

Book chapter

Data mining tools and techniques for identification of biomarkers for cancer

Book chapter

Solutions for complex, multi data type and multi tool analysis: principles and applications of using workflow and pipelining methods.

Book chapter

An experimental study of the distributed clustering for air pollution pattern recognition in sensor networks

Conference paper

Real-time data mining methodology and a supporting framework

Conference paper

A case for Redundant Arrays of Hybrid Disks (RAHD)

Article

Air pollution monitoring and mining based on sensor Grid in London

Article

Grid-optimized Web 3D applications on wide area network

Conference paper

Mining Adverse Drug Reactions with e-Science workflows

Conference paper

Grid-Oriented Storage: A single-image, cross-domain, high-bandwidth architecture

Article

Heterogeneous workflows in scientific workflow systems

Conference paper

Supporting scientific discovery processes in Discovery Net

Conference paper

KDE Bioscience: Platform for bioinformatics analysis workflows

Article

Achievements and experiences from a Grid-based earthquake analysis and modelling study

Conference paper

Building next generation service-oriented architectures using argumentation agents

Conference paper

Grid-based analysis of air pollution data

Conference paper

Cluster Computing and Grid 2005 works in progress

Article

Integrated informatics in life and materials sciences: An oxymoron?

Article

Web services in the life sciences

Article

A grid infrastructure for mixed bioinformatics data and text mining

Conference paper

Bridging the macro and Micro: A computing intensive earthquake study using Discovery Net

Conference paper

Using DragPushing to refine centroid text classifiers

Conference paper

Prototype a knowledge discovery infrastructure by implementing relational grid monitoring architecture (R-GMA) on European Data Grid (EDG)

Conference paper

InfoGrid: Providing information integration for knowledge discovery

Article

The design of discovery net: Towards open grid services for knowledge discovery

Article

A Distributed and Mobile Data Mining System

Conference paper

Option pricing under model and parameter uncertainty using predictive densities

Article

Discovery net: Towards a grid of knowledge discovery

Conference paper

Grid-based knowledge discovery services for high throughput informatics

Conference paper

Developing a distributed scalable Java component server

Article

Engineering BioInformatics

Article

Fuzzy partitioning systems for electrofacies classification: A case study from the Maracaibo Basin

Article

Minimised Geometric Buchberger Algorithm for Integer Programming

Article

Design of problem-solving environment for contingent claim valuation

Conference paper

Design of high performance financial modelling environment

Article

Modelling integer programming with logic: Language and implementation

Article

Data Mining for the e-business: Developments and directions

Conference paper

Developing a Distributed Scalable Enterprise JavaBean Server

Conference paper

New paradigms in information visualization

Conference paper

An architecture for distributed enterprise data mining

Conference paper

Probing knowledge in distributed data mining

Conference paper

Visual language for Internet-based data mining and data visualization

Conference paper

GOFFIN: Higher-order functions meet concurrent constraints

Article

A software architecture for deploying high performance solution on the internet

Conference paper

Enlarging the scope of vector-based computations: extending Fortran 90 by nested data parallelism

Conference paper

Minimized geometric Buchberger algorithm: An optimal algebraic algorithm for integer programming

Conference paper

Parallel induction algorithms for data mining

Conference paper

Co-ordinating heterogeneous parallel computation

Conference paper

Functional skeletons for parallel coordination

Conference paper

Parallel Fortran family and a new perspective

Conference paper

Parallel skeletons for structured composition

Conference paper

Parallel Skeletons for Structured Composition

Conference paper

Constraint logic programming in the sequent calculus

Conference paper

Functional programming languages with logical variables: A linear logic view

Conference paper

Constrained equational deduction

Conference paper

On the execution mechanisms of parallel graph reduction

Article

Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction

Conference paper

The unification of functional and logic languages--Towards constraint functional programming

Conference paper

Design Considerations of a Distributed Parallel Reduction Architecture

Conference paper