Yike Guo

Orcid: 0000-0002-3075-2161

Affiliations:
  • Imperial College London, UK


According to our database1, Yike Guo authored at least 382 papers between 1989 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Learning-based Artificial Intelligence Artwork: Methodology Taxonomy and Quality Evaluation.
ACM Comput. Surv., March, 2025

Fire-Image-DenseNet (FIDN) for predicting wildfire burnt area using remote sensing data.
Comput. Geosci., 2025

2024
Video-Instrument Synergistic Network for Referring Video Instrument Segmentation in Robotic Surgery.
IEEE Trans. Medical Imaging, December, 2024

ReChoreoNet: Repertoire-based Dance Re-choreography with Music-conditioned Temporal and Style Clues.
Mach. Intell. Res., August, 2024

Real-time updating of dynamic social networks for COVID-19 vaccination strategies.
J. Ambient Intell. Humaniz. Comput., March, 2024

FedEL: Federated ensemble learning for non-iid data.
Expert Syst. Appl., March, 2024

Bayesian at heart: Towards autonomic outflow estimation via generative state-space modelling of heart rate dynamics.
Comput. Biol. Medicine, March, 2024

Causal inference in the medical domain: a survey.
Appl. Intell., March, 2024

Efficient deep data assimilation with sparse observations and time-varying sensors.
J. Comput. Phys., January, 2024

Labelling with dynamics: A data-efficient learning paradigm for medical image segmentation.
Medical Image Anal., 2024

Improving disentanglement in variational auto-encoders via feature imbalance-informed dimension weighting.
Knowl. Based Syst., 2024

The potential and pitfalls of using a large language model such as ChatGPT, GPT-4, or LLaMA as a clinical assistant.
J. Am. Medical Informatics Assoc., 2024

GNN-MgrPool: Enhanced graph neural networks with multi-granularity pooling for graph classification.
Inf. Sci., 2024

EVA: An Embodied World Model for Future Video Anticipation.
CoRR, 2024

Both Ears Wide Open: Towards Language-Driven Spatial Audio Generation.
CoRR, 2024

You Know What I'm Saying: Jailbreak Attack via Implicit Reference.
CoRR, 2024

PSHuman: Photorealistic Single-view Human Reconstruction using Cross-Scale Diffusion.
CoRR, 2024

HiPrompt: Tuning-free Higher-Resolution Generation with Hierarchical MLLM Prompts.
CoRR, 2024

Deep learning surrogate models of JULES-INFERNO for wildfire prediction on a global scale.
CoRR, 2024

Codec Does Matter: Exploring the Semantic Shortcoming of Codec for Audio Language Model.
CoRR, 2024

AgentMonitor: A Plug-and-Play Framework for Predictive and Secure Multi-Agent Systems.
CoRR, 2024

NoRA: Nested Low-Rank Adaptation for Efficient Fine-Tuning Large Models.
CoRR, 2024

Importance Weighting Can Help Large Language Models Self-Improve.
CoRR, 2024

STBLLM: Breaking the 1-Bit Barrier with Structured Binary LLMs.
CoRR, 2024

Can LLMs "Reason" in Music? An Evaluation of LLMs' Capability of Music Understanding and Generation.
CoRR, 2024

MMTrail: A Multimodal Trailer Video Dataset with Language and Music Descriptions.
CoRR, 2024

Honest Computing: Achieving demonstrable data lineage and provenance for driving data and process-sensitive policies.
CoRR, 2024

Discovering symbolic expressions with parallelized tree search.
CoRR, 2024

M-LRM: Multi-view Large Reconstruction Model.
CoRR, 2024

VidMuse: A Simple Video-to-Music Generation Framework with Long-Short-Term Modeling.
CoRR, 2024

LLMs Meet Multimodal Generation and Editing: A Survey.
CoRR, 2024

CoCoGesture: Toward Coherent Co-speech 3D Gesture Generation in the Wild.
CoRR, 2024

Stacking Your Transformers: A Closer Look at Model Growth for Efficient LLM Pre-Training.
CoRR, 2024

Era3D: High-Resolution Multiview Diffusion using Efficient Row-wise Attention.
CoRR, 2024

ComposerX: Multi-Agent Symbolic Music Composition with LLMs.
CoRR, 2024

RQ-RAG: Learning to Refine Queries for Retrieval Augmented Generation.
CoRR, 2024

ChatMusician: Understanding and Generating Music Intrinsically with LLM.
CoRR, 2024

CoMoSVC: Consistency Model-based Singing Voice Conversion.
CoRR, 2024

DEA: Data-efficient augmentation for interpretable medical image segmentation.
Biomed. Signal Process. Control., 2024

Design of Improved Artificial Intelligence Generative Dialogue Algorithm and Dialogue System Model Based on Knowledge Graph.
IEEE Access, 2024

FlashSpeech: Efficient Zero-Shot Speech Synthesis.
Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

Hierarchical Linear Symbolized Tree-Structured Neural Processes.
Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

FastSAG: Towards Fast Non-Autoregressive Singing Accompaniment Generation.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

DetKDS: Knowledge Distillation Search for Object Detectors.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

MERT: Acoustic Music Understanding Model with Large-Scale Self-supervised Training.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

EDM: Synthetic Data from Exemplar Diffusion Model Improves Non-Communicable Diseases Detection.
Proceedings of the IEEE International Conference on Acoustics, 2024

Freeze the Backbones: a Parameter-Efficient Contrastive Approach to Robust Medical Vision-Language Pre-Training.
Proceedings of the IEEE International Conference on Acoustics, 2024

Topology of Neural Processes.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2024, 2024

Combined Global and Local Information Diffusion of Neural Processes.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2024, 2024

PyramidCodec: Hierarchical Codec for Long-form Music Generation in Audio Domain.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

AttnZero: Efficient Attention Discovery for Vision Transformers.
Proceedings of the Computer Vision - ECCV 2024, 2024

Auto-GAS: Automated Proxy Discovery for Training-Free Generative Architecture Search.
Proceedings of the Computer Vision - ECCV 2024, 2024

Weakly-Supervised Emotion Transition Learning for Diverse 3D Co-Speech Gesture Generation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024


2023
Conflict-aware multilingual knowledge graph completion.
Knowl. Based Syst., December, 2023

A Generative Model for Surrogates of Spatial-Temporal Wildfire Nowcasting.
IEEE Trans. Emerg. Top. Comput. Intell., October, 2023

Space or time for video classification transformers.
Appl. Intell., October, 2023

A Deep Learning Approach to Increase the Value of Satellite Data for PM2.5 Monitoring in China.
Remote. Sens., August, 2023

Cloud-VAE: Variational autoencoder with concepts embedded.
Pattern Recognit., August, 2023

Machine Learning With Data Assimilation and Uncertainty Quantification for Dynamical Systems: A Review.
IEEE CAA J. Autom. Sinica, June, 2023

IPPT4KRL: Iterative Post-Processing Transfer for Knowledge Representation Learning.
Mach. Learn. Knowl. Extr., March, 2023

Cloud-Cluster: An uncertainty clustering algorithm based on cloud model.
Knowl. Based Syst., March, 2023

Accelerating Multi-Exit BERT Inference via Curriculum Learning and Knowledge Distillation.
Int. J. Softw. Eng. Knowl. Eng., March, 2023

TKGQA Dataset: Using Question Answering to Guide and Validate the Evolution of Temporal Knowledge Graph.
Data, March, 2023

Federated Active Learning for Multicenter Collaborative Disease Diagnosis.
IEEE Trans. Medical Imaging, 2023

Generalised Latent Assimilation in Heterogeneous Reduced Spaces with Machine Learning Surrogate Models.
J. Sci. Comput., 2023

Robust Local Light Field Synthesis via Occlusion-aware Sampling and Deep Visual Feature Fusion.
Int. J. Autom. Comput., 2023

A Survey of Reasoning with Foundation Models.
CoRR, 2023

T3D: Towards 3D Medical Image Understanding through Vision-Language Pre-training.
CoRR, 2023

ChatIllusion: Efficient-Aligning Interleaved Generation ability with Visual Instruction Model.
CoRR, 2023

AI Alignment: A Comprehensive Survey.
CoRR, 2023

Knowledge Extraction and Distillation from Large-Scale Image-Text Colonoscopy Records Leveraging Large Language and Vision Models.
CoRR, 2023

Continual Learning with Dirichlet Generative-based Rehearsal.
CoRR, 2023

Video-Instrument Synergistic Network for Referring Video Instrument Segmentation in Robotic Surgery.
CoRR, 2023

The Potential and Pitfalls of using a Large Language Model such as ChatGPT or GPT-4 as a Clinical Assistant.
CoRR, 2023

MERT: Acoustic Music Understanding Model with Large-Scale Self-supervised Training.
CoRR, 2023

Collective Knowledge Graph Completion with Mutual Knowledge Distillation.
CoRR, 2023

Interactive Natural Language Processing.
CoRR, 2023

Long-lead forecasts of wintertime air stagnation index in southern China using oceanic memory effects.
CoRR, 2023

Learn to Sing by Listening: Building Controllable Virtual Singer by Unsupervised Learning from Voice Recordings.
CoRR, 2023

Analyzing drop coalescence in microfluidic device with a deep learning generative model.
CoRR, 2023

STR Transformer: A Cross-domain Transformer for Scene Text Recognition.
Appl. Intell., 2023

MARBLE: Music Audio Representation Benchmark for Universal Evaluation.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

CoMoSpeech: One-Step Speech and Singing Voice Synthesis via Consistency Model.
Proceedings of the 31st ACM International Conference on Multimedia, 2023

LyricWhiz: Robust Multilingual Zero-Shot Lyrics Transcription by Whispering to ChatGPT.
Proceedings of the 24th International Society for Music Information Retrieval Conference, 2023

On the Effectiveness of Speech Self-Supervised Learning for Music.
Proceedings of the 24th International Society for Music Information Retrieval Conference, 2023

NAS-FM: Neural Architecture Search for Tunable and Interpretable Sound Synthesis Based on Frequency Modulation.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Unsupervised Zero-Shot Learning for Achieve Cross-Modal Alignment with Counterfactuals.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022
Scale-Consistent Fusion: From Heterogeneous Local Sampling to Global Immersive Rendering.
IEEE Trans. Image Process., 2022

Parameter Flexible Wildfire Prediction Using Machine Learning Techniques: Forward and Inverse Modelling.
Remote. Sens., 2022

Bayesian data assimilation for estimating instantaneous reproduction numbers during epidemics: Applications to COVID-19.
PLoS Comput. Biol., 2022

Suggestive annotation of brain MR images with gradient-guided sampling.
Medical Image Anal., 2022

UBAR: User Behavior-Aware Recommendation with knowledge graph.
Knowl. Based Syst., 2022

Data-driven surrogate model with latent data assimilation: Application to wildfire forecasting.
J. Comput. Phys., 2022

Weather-degraded image semantic segmentation with multi-task knowledge distillation.
Image Vis. Comput., 2022

FTAP: Feature transferring autonomous machine learning pipeline.
Inf. Sci., 2022

Digital twins based on bidirectional LSTM and GAN for modelling the COVID-19 pandemic.
Neurocomputing, 2022

The Design and Implementation of Geospatial Information Verification Middle Platform for Natural Resources Government Affairs.
ISPRS Int. J. Geo Inf., 2022

Pathway to Future Symbiotic Creativity.
CoRR, 2022

Medical Scientific Table-to-Text Generation with Human-in-the-Loop under the Data Sparsity Constraint.
CoRR, 2022

A Scalable Workflow to Build Machine Learning Classifiers with Clinician-in-the-Loop to Identify Patients in Specific Diseases.
CoRR, 2022

Unsupervised Numerical Reasoning to Extract Phenotypes from Clinical Text by Leveraging External Knowledge.
CoRR, 2022

Receding Neuron Importances for Structured Pruning.
CoRR, 2022

Face aging with pixel-level alignment GAN.
Appl. Intell., 2022

Speech synthesis with face embeddings.
Appl. Intell., 2022

MKD: Mixup-Based Knowledge Distillation for Mandarin End-to-End Speech Recognition.
Algorithms, 2022

TRCA: Text Restoration for Chinese ASR with BERT.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2022

A Dual-Masked Auto-Encoder for Robust Motion Capture with Spatial-Temporal Skeletal Token Completion.
Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

ChoreoGraph: Music-conditioned Automatic Dance Choreography over a Style and Tempo Consistent Dynamic Graph.
Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

Causal Reasoning Methods in Medical Domain: A Review.
Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence, 2022

Improving Deep Embedded Clustering via Learning Cluster-level Representations.
Proceedings of the 29th International Conference on Computational Linguistics, 2022

OmiTrans: Generative Adversarial Networks Based Omics-to-omics Translation Framework.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022

A continuous glucose monitoring measurements forecasting approach via sporadic blood glucose monitoring.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022

Human and Machines - Philosophical Thinking of Artificial Intelligence
Springer, ISBN: 978-981-19-6304-9, 2022

2021
Fast data assimilation (FDA): Data assimilation by machine learning for faster optimize model state.
J. Comput. Sci., 2021

A blockchain-based trust system for decentralised applications: When trustless needs trust.
Future Gener. Comput. Syst., 2021

QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation - Analysis of Ranking Metrics and Benchmarking Results.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
CoRR, 2021

A Scalable Inference Method For Large Dynamic Economic Systems.
CoRR, 2021

Clinical Utility of the Automatic Phenotype Annotation in Unstructured Clinical Notes: ICU Use Cases.
CoRR, 2021

Correcting public opinion trends through Bayesian data assimilation.
CoRR, 2021

Adversarial autoencoders and adversarial LSTM for improved forecasts of urban air pollution simulations.
CoRR, 2021

MOAI: A methodology for evaluating the impact of indoor airflow in the transmission of COVID-19.
CoRR, 2021

Product semantics translation from brain activity via adversarial learning.
CoRR, 2021

Optimal vaccination strategies for COVID-19 based on dynamical social networks with real-time updating.
CoRR, 2021

OmiEmbed: reconstruct comprehensive phenotypic information from multi-omics data using multi-task deep learning.
CoRR, 2021

Digital twins based on bidirectional LSTM and GAN for modelling COVID-19.
CoRR, 2021

Attention-based Convolutional Autoencoders for 3D-Variational Data Assimilation.
CoRR, 2021

Adversarially trained LSTMs on reduced order models of urban air pollution simulations.
CoRR, 2021

Privacy preservation in federated learning: An insightful survey from the GDPR perspective.
Comput. Secur., 2021

Why AI still doesn't have consciousness?
CAAI Trans. Intell. Technol., 2021

XOmiVAE: an interpretable deep learning model for cancer classification using high-dimensional omics data.
Briefings Bioinform., 2021

Trustworthiness assessment for industrial IoT as multilayer networks with von Neumann entropy.
Appl. Soft Comput., 2021

Joint Motion Correction and Super Resolution for Cardiac Segmentation via Latent Optimisation.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 - 24th International Conference, Strasbourg, France, September 27, 2021

Label Dependent Attention Model for Disease Risk Prediction Using Multimodal Electronic Health Records.
Proceedings of the IEEE International Conference on Data Mining, 2021

Data Assimilation in the Latent Space of a Convolutional Autoencoder.
Proceedings of the Computational Science - ICCS 2021, 2021

Merging Real Images with Physics Simulations via Data Assimilation.
Proceedings of the Euro-Par 2021: Parallel Processing Workshops, 2021

Self-Supervised Detection of Contextual Synonyms in a Multi-Class Setting: Phenotype Annotation Use Case.
Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

BU-Trace: A Permissionless Mobile System for Privacy-Preserving Intelligent Contact Tracing.
Proceedings of the Database Systems for Advanced Applications. DASFAA 2021 International Workshops, 2021

HNECV: Heterogeneous Network Embedding via Cloud Model and Variational Inference.
Proceedings of the Artificial Intelligence - First CAAI International Conference, 2021

Label-dependent and event-guided interpretable disease risk prediction using EHRs.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021

2020
GDPR-Compliant Personal Data Management: A Blockchain-Based Solution.
IEEE Trans. Inf. Forensics Secur., 2020

The autonomous navigation and obstacle avoidance for USVs with ANOA deep reinforcement learning method.
Knowl. Based Syst., 2020

Weak Constraint Gaussian Processes for optimal sensor placement.
J. Comput. Sci., 2020

The assessment of small bowel motility with attentive deformable neural network.
Inf. Sci., 2020

When Sharing Economy Meets IoT: Towards Fine-grained Urban Air Quality Monitoring through Mobile Crowdsensing on Bike-share System.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2020

Tuoris: A middleware for visualizing dynamic graphics in scalable resolution display environments.
Future Gener. Comput. Syst., 2020

Open Visualization Environment (OVE): A web framework for scalable rendering of data visualizations.
Future Gener. Comput. Syst., 2020

Towards a large-scale twitter observatory for political events.
Future Gener. Comput. Syst., 2020

Multiple premises entailment recognition based on attention and gate mechanism.
Expert Syst. Appl., 2020

Data Assimilation in the Latent Space of a Neural Network.
CoRR, 2020

Privacy Preservation in Federated Learning: Insights from the GDPR Perspective.
CoRR, 2020

Suggestive Annotation of Brain Tumour Images with Gradient-guided Sampling.
CoRR, 2020

An Epidemiological Modelling Approach for Covid19 via Data Assimilation.
CoRR, 2020

Efficient Deep Representation Learning by Adaptive Latent Space Sampling.
CoRR, 2020

Improving taxonomic relation learning via incorporating relation descriptions into word embeddings.
Concurr. Comput. Pract. Exp., 2020

A Bayesian Updating Scheme for Pandemics: Estimating the Infection Dynamics of COVID-19.
IEEE Comput. Intell. Mag., 2020

A Neural SIR Model for Global Forecasting.
Proceedings of the Machine Learning for Health Workshop, 2020

Deep Generative Model-Based Quality Control for Cardiac MRI Segmentation.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2020, 2020

Suggestive Annotation of Brain Tumour Images with Gradient-Guided Sampling.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2020, 2020

An Econophysical Analysis of the Blockchain Ecosystem.
Proceedings of the 2nd International Conference on Mathematical Research for Blockchain Economy, 2020

Neural Assimilation.
Proceedings of the Computational Science - ICCS 2020, 2020

TinySleepNet: An Efficient Deep Learning Model for Sleep Stage Scoring based on Raw Single-Channel EEG.
Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2020

Self-training for Brain Tumour Segmentation with Uncertainty Estimation and Biophysics-Guided Survival Prediction.
Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2020

2019
An Information-Theoretical Framework for Cluster Ensemble.
IEEE Trans. Knowl. Data Eng., 2019

I_MDS: an inflammatory bowel disease molecular activity score to classify patients with differing disease-driving pathways and therapeutic response to anti-TNF treatment.
PLoS Comput. Biol., 2019

An unsupervised approach for learning a Chinese IS-A taxonomy from an unstructured corpus.
Knowl. Based Syst., 2019

An artificial intelligence based data-driven approach for design ideation.
J. Vis. Commun. Image Represent., 2019

Optimal reduced space for Variational Data Assimilation.
J. Comput. Phys., 2019

Multi-Distribution Characteristics Based Chinese Entity Synonym Extraction from The Web.
Int. J. Intell. Inf. Technol., 2019

Explanations by arbitrated argumentative dispute.
Expert Syst. Appl., 2019

Regularizing Deep Multi-Task Networks using Orthogonal Gradients.
CoRR, 2019

Biologically inspired architectures for sample-efficient deep reinforcement learning.
CoRR, 2019

A backdoor attack against LSTM-based text classification systems.
CoRR, 2019

Static Activation Function Normalization.
CoRR, 2019

Combining learning rate decay and weight decay with complexity gradient descent - Part I.
CoRR, 2019

Entity emotion mining in social media environment.
Concurr. Comput. Pract. Exp., 2019

Data and knowledge management in translational research: implementation of the eTRIKS platform for the IMI OncoTrack consortium.
BMC Bioinform., 2019

Model error correction in data assimilation by integrating neural networks.
Big Data Min. Anal., 2019

Navigating the disease landscape: knowledge representations for contextualizing molecular signatures.
Briefings Bioinform., 2019

A machine learning attack against variable-length Chinese character CAPTCHAs.
Appl. Intell., 2019

Hierarchical attention based long short-term memory for Chinese lyric generation.
Appl. Intell., 2019

CF-PROV: A Content-Rich and Fine-Grained Scientific Workflow Provenance Model.
IEEE Access, 2019

Not All Lies Are Equal. A Study Into the Engineering of Political Misinformation in the 2016 US Presidential Election.
IEEE Access, 2019

The Collaborative Strategy of Multiple USVs with Deep Reinforcement Learning Method.
Proceedings of the Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques, 2019

Data Assimilation for Parameter Estimation in Economic Modelling.
Proceedings of the 15th International Conference on Signal-Image Technology & Internet-Based Systems, 2019

Hybrid Data Assimilation: An Ensemble-Variational Approach.
Proceedings of the 15th International Conference on Signal-Image Technology & Internet-Based Systems, 2019

A Scalable Approach to Econometric Inference.
Proceedings of the Parallel Computing: Technology Trends, 2019

A Domain Decomposition Reduced Order Model with Data Assimilation (DD-RODA).
Proceedings of the Parallel Computing: Technology Trends, 2019

Blockchain-based Personal Data Management: From Fiction to Solution.
Proceedings of the 18th IEEE International Symposium on Network Computing and Applications, 2019

Integrating Semantic Knowledge to Tackle Zero-shot Text Classification.
Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2019

Transfer Learning from Partial Annotations for Whole Brain Segmentation.
Proceedings of the Domain Adaptation and Representation Transfer and Medical Image Learning with Less Labels and Imperfect Data, 2019

Self-Supervised Learning for Cardiac MR Image Segmentation by Anatomical Position Prediction.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2019, 2019

Compositional Microservices for Immersive Social Visual Analytics.
Proceedings of the 23rd International Conference on Information Visualisation, 2019

Identity authentication on mobile devices using face verification and ID image recognition.
Proceedings of the 7th International Conference on Information Technology and Quantitative Management, 2019

SIMGAN: Photo-Realistic Semantic Image Manipulation Using Generative Adversarial Networks.
Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

Scalable Weak Constraint Gaussian Processes.
Proceedings of the Computational Science - ICCS 2019, 2019

Generative Creativity: Adversarial Learning for Bionic Design.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing, 2019

Adaptive Domain Decomposition for Effective Data Assimilation.
Proceedings of the Euro-Par 2019: Parallel Processing Workshops, 2019

Chinese Entity Synonym Extraction from the Web.
Proceedings of the Cyber Security Intelligence and Analytics, 2019

Automatic Brain Tumour Segmentation and Biophysics-Guided Survival Prediction.
Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2019

Integrated Multi-omics Analysis Using Variational Autoencoders: Application to Pan-cancer Classification.
Proceedings of the 2019 IEEE International Conference on Bioinformatics and Biomedicine, 2019

Unsupervised Annotation of Phenotypic Abnormalities via Semantic Latent Representations on Electronic Health Records.
Proceedings of the 2019 IEEE International Conference on Bioinformatics and Biomedicine, 2019

2018
DAGAN: Deep De-Aliasing Generative Adversarial Networks for Fast Compressed Sensing MRI Reconstruction.
IEEE Trans. Medical Imaging, 2018

Dropping Activation Outputs With Localized First-Layer Deep Network for Enhancing User Privacy and Data Security.
IEEE Trans. Inf. Forensics Secur., 2018

An Ensemble Clusterer of Multiple Fuzzy k-Means Clusterings to Recognize Arbitrarily Shaped Clusters.
IEEE Trans. Fuzzy Syst., 2018

A visual attention-based keyword extraction for document classification.
Multim. Tools Appl., 2018

A novel community detection algorithm based on simplification of complex networks.
Knowl. Based Syst., 2018

Visualizing large knowledge graphs: A performance analysis.
Future Gener. Comput. Syst., 2018

Toward Open Data Blockchain Analytics: A Bitcoin Perspective.
CoRR, 2018

The Future of Spreadsheets in the Big Data Era.
CoRR, 2018

A computational framework for complex disease stratification from multiple large-scale datasets.
BMC Syst. Biol., 2018

Effective variational data assimilation in air-pollution prediction.
Big Data Min. Anal., 2018

Crowdsourcing with online quantitative design analysis.
Adv. Eng. Informatics, 2018

The Multiple Unmanned Surface Vehicles Cooperative Defense Based on PM-PSO and GA-PSO in the Sophisticated Sea Environment.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2018

Attacking Strategy of Multiple Unmanned Surface Vehicles Based on DAMGWO Algorithm.
Proceedings of the Information Systems: Research, Development, Applications, Education, 2018

Text-to-Image Synthesis via Visual-Memory Creative Adversarial Network.
Proceedings of the Advances in Multimedia Information Processing - PCM 2018, 2018

Enhancing Feature Correlation for Bi-Modal Group Emotion Recognition.
Proceedings of the Advances in Multimedia Information Processing - PCM 2018, 2018

Dest-ResNet: A Deep Spatiotemporal Residual Network for Hotspot Traffic Speed Prediction.
Proceedings of the 2018 ACM Multimedia Conference on Multimedia Conference, 2018

The Deep Poincaré Map: A Novel Approach for Left Ventricle Segmentation.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2018, 2018

Deep Sequence Learning with Auxiliary Information for Traffic Prediction.
Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2018

A Multi Tenant Computational Platform for Translational Medicine.
Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

Multiple Feature Fusion for Automatic Emotion Recognition Using EEG Signals.
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

Optimising Toward Completed Videos in an Online Video Advertising Exchange.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

UMDISW: A Universal Multi-Domain Intelligent Scientific Workflow Framework for the Whole Life Cycle of Scientific Data.
Proceedings of the Benchmarking, Measuring, and Optimizing, 2018

2017
ACM TIST Special Issue on Data-Driven Intelligence for Wireless Networking.
ACM Trans. Intell. Syst. Technol., 2017

A Visual Analytics Approach for Station-Based Air Quality Data.
Sensors, 2017

Fast density clustering strategies based on the k-means algorithm.
Pattern Recognit., 2017

Small bowel motility assessment based on fully convolutional networks and long short-term memory.
Knowl. Based Syst., 2017

Fast graph clustering with a new description model for community detection.
Inf. Sci., 2017

Inferring functional connectivity in fMRI using minimum partial correlation.
Int. J. Autom. Comput., 2017

Deep De-Aliasing for Fast Compressive Sensing MRI.
CoRR, 2017

Deep Poincare Map For Robust Medical Image Segmentation.
CoRR, 2017

Unsupervised Image-to-Image Translation with Generative Adversarial Networks.
CoRR, 2017

tranSMART-XNAT Connector tranSMART-XNAT connector - image selection based on clinical phenotypes and genetic profiles.
Bioinform., 2017

Improving data exploration in graphs with fuzzy logic and large-scale visualisation.
Appl. Soft Comput., 2017

The Cooperative Defense System by Team of USVs in Complicated Sea Environment.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

The Combat of Unmanned Surface Vehicles Based on Wolves Attack.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

The Cooperative Defense Strategy by Multi-USVs.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Exploratory Analysis of Big Social Data Using MIC/MINE Statistics.
Proceedings of the Social Informatics, 2017

TensorLayer: A Versatile Library for Efficient Deep Learning Development.
Proceedings of the 2017 ACM on Multimedia Conference, 2017

Automatic Brain Tumor Detection and Segmentation Using U-Net Based Fully Convolutional Networks.
Proceedings of the Medical Image Understanding and Analysis - 21st Annual Conference, 2017

Assimilated Learning - Bridging the Gap between Big Data and Smart Data.
Proceedings of the 2nd International Conference on Internet of Things, 2017

I2T2I: Learning text to image synthesis with textual data augmentation.
Proceedings of the 2017 IEEE International Conference on Image Processing, 2017

Semantic Image Synthesis via Adversarial Learning.
Proceedings of the IEEE International Conference on Computer Vision, 2017

eTRIKS analytical environment: A modular high performance framework for medical data analysis.
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016
Survey on Feature Extraction and Applications of Biosignals.
Proceedings of the Machine Learning for Health Informatics, 2016

Inferring Individual-Level Variations in the Functional Parcellation of the Cerebral Cortex.
IEEE Trans. Biomed. Eng., 2016

Combining Multiple Feature Selection Methods and Deep Learning for High-dimensional Data.
Trans. Mach. Learn. Data Min., 2016

Enabling Virtual Sensing as a Service.
Informatics, 2016

Wiki-Health: From Quantified Self to Self-Understanding.
Future Gener. Comput. Syst., 2016

Automatic Sleep Stage Scoring with Single-Channel EEG Using Convolutional Neural Networks.
CoRR, 2016

DropNeuron: Simplifying the Structure of Deep Neural Networks.
CoRR, 2016

Mixed Neural Network Approach for Temporal Sleep Stage Classification.
CoRR, 2016

A Coarse-Grained Reconfigurable Architecture for Compute-Intensive MapReduce Acceleration.
IEEE Comput. Archit. Lett., 2016

CGDM: collaborative genomic data model for molecular profiling data using NoSQL.
Bioinform., 2016

Visualizing Dynamic Bitcoin Transaction Patterns.
Big Data, 2016

Big data for better science.
Proceedings of the 22nd International Conference on Automation and Computing, 2016

Parameter estimation for gene regulatory networks: A two-stage MCMC Bayesian approach.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

A new soft material based in-the-ear EEG recording technique.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

Generating Computational Taxonomy for Business Models of the Digital Economy.
Proceedings of the Database Systems for Advanced Applications, 2016

2015
Fast Traffic Sign Recognition with a Rotation Invariant Binary Pattern Based Feature.
Sensors, 2015

The critical regularization value: Incorporating spatial smoothness to enhance signal detection in highly noisy fMRI data.
Proceedings of the 7th International IEEE/EMBS Conference on Neural Engineering, 2015

Resampling-Based Variable Selection with Lasso for p >> n and Partially Linear Models.
Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Optimising Bootstrapping Algorithms Using R and Hadoop.
Proceedings of the IEEE 35th International Conference on Distributed Computing Systems Workshops, 2015

Cooperatively managing dynamic writeback and insertion policies in a last-level DRAM cache.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Joint affine transformation and loop pipelining for mapping nested loop on CGRAs.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Minimum Partial Correlation: An Accurate and Parameter-Free Measure of Functional Connectivity in fMRI.
Proceedings of the Brain Informatics and Health - 8th International Conference, 2015

2014
Cloud computing in e-Science: research challenges and opportunities.
J. Supercomput., 2014

Enabling cost-aware and adaptive elasticity of multi-tier cloud applications.
Future Gener. Comput. Syst., 2014

An iterative parameter estimation method for biological systems and its parallel implementation.
Concurr. Comput. Pract. Exp., 2014

Concinnity: A Generic Platform for Big Sensor Data Applications.
IEEE Cloud Comput., 2014

Linear Dynamic Sparse Modelling for functional MR imaging.
Brain Informatics, 2014

Optimising parallel R correlation matrix calculations on gene expression data using MapReduce.
BMC Bioinform., 2014

DSIMBench: A Benchmark for Microarray Data Using R.
Proceedings of the Big Data Benchmarks, Performance Optimization, and Emerging Hardware, 2014

Enabling Health Monitoring as a Service in the Cloud.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Integration of sparse Bayesian learning and random subspace for fMRI Multivariate Pattern Analysis.
Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014

Feature extraction with stacked autoencoders for epileptic seizure detection.
Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014

Balancing the Stability and Predictive Performance for Multivariate Voxel Selection in fMRI Study.
Proceedings of the Brain Informatics and Health - International Conference, 2014

BigData Oriented Open Scalable Relational Data Model.
Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

Building a cloud-based platform for personal health sensor data management.
Proceedings of IEEE-EMBS International Conference on Biomedical and Health Informatics, 2014

Enabling Performance as a Service for a Cloud Storage System.
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013
Towards Elastic Algorithms as a New Model of Computation for the Cloud.
Int. J. Next Gener. Comput., 2013

Elastic Information Management for Air Pollution Monitoring in Large-Scale M2M Sensor Networks.
Int. J. Distributed Sens. Networks, 2013

Sensor Deployment in Bayesian Compressive Sensing Based Environmental Monitoring.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Cloud Resource Monitoring for Intrusion Detection.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Research on Semantic Similarity Calculation of Linked Data Based on Multiple Factors.
Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013

An Approximation Approach to Measurement Design in the Reconstruction of Functional MRI Sequences.
Proceedings of the Brain and Health Informatics - International Conference, 2013

Enhanced user data privacy with pay-by-data model.
Proceedings of the 2013 IEEE International Conference on Big Data (IEEE BigData 2013), 2013

Building a generic platform for big sensor data application.
Proceedings of the 2013 IEEE International Conference on Big Data (IEEE BigData 2013), 2013

Elastic algorithms for guaranteeing quality monotonicity in big data mining.
Proceedings of the 2013 IEEE International Conference on Big Data (IEEE BigData 2013), 2013

2012
WikiSensing: An Online Collaborative Approach for Sensor Data Management.
Sensors, 2012

Programming Directives for Elastic Computing.
IEEE Internet Comput., 2012

Social networking federation: A position paper.
Comput. Electr. Eng., 2012

Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA.
BMC Bioinform., 2012

Cloud Program with a Pricing Strategy for Iaas in Cloud Computing.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

A New Paradigm for Web App Development, Deployment, Distribution, and Collaboration.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Does the Cloud need new algorithms? An introduction to elastic algorithms.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

An Efficient and Performance-Aware Big Data Storage System.
Proceedings of the Cloud Computing and Services Science - Second International Conference, 2012

CACSS: Towards a Generic Cloud Storage Service.
Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

Developing a novel integrated model of p38 MAPK and glucocorticoid signalling pathways.
Proceedings of the 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2012

Lightweight Resource Scaling for Cloud Applications.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

An EEG-Based Brain Informatics Application for Enhancing Music Experience.
Proceedings of the Brain Informatics - International Conference, 2012

Elastic Application Container: A Lightweight Approach for Cloud Resource Provisioning.
Proceedings of the IEEE 26th International Conference on Advanced Information Networking and Applications, 2012

Improving Resource Utilisation in the Cloud Environment Using Multivariate Probabilistic Models.
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011
Detecting insecure person in crowd with human sensor.
Proceedings of the 2nd International Conference on Ambient Systems, 2011

Principles of Elastic Processes.
IEEE Internet Comput., 2011

IC cloud: Enabling compositional cloud.
Int. J. Autom. Comput., 2011

Finding consistent disease subnetworks across microarray datasets.
BMC Bioinform., 2011

Elastic Application Container.
Proceedings of the 12th IEEE/ACM International Conference on Grid Computing, 2011

A Deployment Platform for Dynamically Scaling Applications in the Cloud.
Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011

Real Time Elastic Cloud Management for Limited Resources.
Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010
RECA: Referenced energy-based CDS algorithm in wireless sensor networks.
Int. J. Commun. Syst., 2010

Polymorphic type framework for scientific workflows with relational data model.
Int. J. Bus. Process. Integr. Manag., 2010

Consistency, comprehensiveness, and compatibility of pathway databases.
BMC Bioinform., 2010

Optimization of Resource Scheduling in Cloud Computing.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Learning Ensemble Models on Categorized Datasets.
Proceedings of The 2010 International Conference on Data Mining, 2010

Process Calculi for Systems Biology and applications in severe asthma.
Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2010

Process calculi for systems biology.
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, 2010

IC Cloud: A Design Space for Composable Cloud Computing.
Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009
Correction to "Eight Times Acceleration of Geospatial Data Archiving and Distribution on the Grids".
IEEE Trans. Geosci. Remote. Sens., 2009

Eight Times Acceleration of Geospatial Data Archiving and Distribution on the Grids.
IEEE Trans. Geosci. Remote. Sens., 2009

Analysing scientific workflows with Computational Tree Logic.
Clust. Comput., 2009

Real-Time Data Mining Methodology and a Supporting Framework.
Proceedings of the Third International Conference on Network and System Security, 2009

Dynamic Data Mining: A Novel Data Mining Process Model.
Proceedings of The 2009 International Conference on Data Mining, 2009

2007
Grid-Oriented Storage: A Single-Image, Cross-Domain, High-Bandwidth Architecture.
IEEE Trans. Computers, 2007

Enabling more sophisticated gene expression analysis for understanding diseases and optimizing treatments.
SIGKDD Explor., 2007

Supporting scientific discovery processes in Discovery Net.
Concurr. Comput. Pract. Exp., 2007

Heterogeneous Workflows in Scientific Workflow Systems.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2006
KDE Bioscience: Platform for bioinformatics analysis workflows.
J. Biomed. Informatics, 2006

: Three Approaches to GO-Tagging Biomedical Abstracts.
Proceedings of the Second International Symposium on Semantic Mining in Biomedicine, 2006

Building Next Generation Service-Oriented Architectures using Argumentation Agents.
Proceedings of the Conference Proceedings NODe 2006, 2006

Achievements and Experiences from a Grid-Based Earthquake Analysis and Modelling Study.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

2005
Cluster Computing and Grid 2005 Works in Progress.
IEEE Distributed Syst. Online, 2005

The use of Business Rules with Workflow Systems.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Using dragpushing to refine centroid text classifiers.
Proceedings of the SIGIR 2005: Proceedings of the 28th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2005

Bridging the Macro and Micro: A Computing Intensive Earthquake Study Using Discovery Net.
Proceedings of the ACM/IEEE SC2005 Conference on High Performance Networking and Computing, 2005

A grid infrastructure for mixed bioinformatics data and text mining.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004
InfoGrid: Information Resource Integration.
Proceedings of the Semantics for Grid Databases, 2004

IT Service Infrastructure for Integrative Systems Biology.
Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004), 2004

2003
InfoGrid: providing information integration for knowledge discovery.
Inf. Sci., 2003

The Design of Discovery Net: Towards Open Grid Services for Knowledge Discovery.
Int. J. High Perform. Comput. Appl., 2003

The discovery net system for high throughput bioinformatics.
Proceedings of the Eleventh International Conference on Intelligent Systems for Molecular Biology, June 29, 2003

Prototype a Knowledge Discovery Infrastructure by Implementing Relational Grid Monitoring Architecture (R-GMA) on European Data Grid (EDG).
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

2002
Automatic Scientific Text Classification Using Local Patterns: KDD Cup 2002 (Task 1).
SIGKDD Explor., 2002

Option pricing under model and parameter uncertainty using predictive densities.
Stat. Comput., 2002

Gram-Schmidt Kernels Applied to Structure Activity Analysis for Drug Design.
Proceedings of the 2nd ACM SIGKDD Workshop on Data Mining in Bioinformatics (BIOKDD 2002), 2002

Discovery net: towards a grid of knowledge discovery.
Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2002

Grid-Based Knowledge Discovery Services for High Throughput Informatics.
Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing (HPDC-11 2002), 2002

2001
Developing a distributed scalable Java component server.
Future Gener. Comput. Syst., 2001

Minimised Geometric Buchberger Algorithm for Integer Programming.
Ann. Oper. Res., 2001

Design of Problem-Solving Environment for Contingent Claim Valuation.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
Design of high performance financial modelling environment.
Parallel Comput., 2000

Parallel pseudospectral solution of financial partial differential equations.
Parallel Algorithms Appl., 2000

New paradigms in information visualization.
Proceedings of the SIGIR 2000: Proceedings of the 23rd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2000

Developing A Distributed Scalable Enterprise JavaBean Server.
Proceedings of the High-Performance Computing and Networking, 8th International Conference, 2000

Data mining for the e-business: developments and directions.
Proceedings of the Data Mining and Knowledge Discovery: Theory, 2000

1999
Editorial.
Data Min. Knowl. Discov., 1999

A Visual Language for Internet-Based Data Mining and Data Visualization.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Probing Knowledge in Distributed Data Mining.
Proceedings of the Methodologies for Knowledge Discovery and Data Mining, 1999

An Architecture for Distributed Enterprise Data Mining.
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

1998
GOFFIN: Higher-Order Functions Meet Concurrent Constraints.
Sci. Comput. Program., 1998

A Software Architecture for Deploying High Performance Solution on the Internet.
Proceedings of the High-Performance Computing and Networking, 1998

Distributed Haskell: Goffin on the Internet.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1997
Large Scale Data Mining: Challenges and Responses.
Proceedings of the Third International Conference on Knowledge Discovery and Data Mining (KDD-97), 1997

The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming.
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

Parallel Induction Algorithms for Data Mining.
Proceedings of the Advances in Intelligent Data Analysis, 1997

Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism.
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1996
Parallelizing Conditional Recurrences.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Co-ordinating Heterogeneous Parallel Computation.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Co-ordinating Parallel Computation through Equational Constraints.
Proceedings of the 11. Workshop Logische Programmierung, 1995

Parallel Skeletons for Structured Composition.
Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1995

Functional Skeletons for Parallel Coordination.
Proceedings of the Euro-Par '95 Parallel Processing, 1995

GOFFIN: Higher-Order Functions Meet Concurrent Constraints.
Proceedings of the First International Workshop on Concurrent Constraint Programming, 1995

1994
Formalising Actors in Linear Logic.
Proceedings of the 1994 International Conference on Object Oriented Information Systems, 1994

Constraint Logic Programming in the Sequent Calculus.
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

1993
Functional Programming Languages with Logical Variables: A Linear Logic View.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

1992
A New Perspective on Integrating Functional and Logic Languages.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991
Introducing Constraint Functional Logic Programming.
Proceedings of the Declarative Programming, 1991

A Design Space for Integrating Declarative Languages.
Proceedings of the Declarative Programming, 1991

A General Computational Scheme for Constraint Logic Programming.
Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, 1991

1990
Constrained Equational Deduction.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989
Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989


  Loading...