Juan Chen

According to our database1, Juan Chen authored at least 172 papers between 2003 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Towards Privacy-Preserving Location Sharing over Mobile Online Social Networks.
IEICE Transactions, 2019

Risk analysis for real-time flood control operation of a multi-reservoir system using a dynamic Bayesian network.
Environmental Modelling and Software, 2019

Systematic review regulatory principles of non-coding RNAs in cardiovascular diseases.
Briefings in Bioinformatics, 2019

2018
Analysis of Repeatability and Reproducibility Studies With Ordinal Measurements.
Technometrics, 2018

A self-learning propotional-integral-derivative control of grouting pressure using the back-propagation model.
J. Systems & Control Engineering, 2018

A review of hybrid implicit explicit finite difference time domain method.
J. Comput. Physics, 2018

The quadrilateral Mindlin plate elements using the spline interpolation bases.
J. Computational Applied Mathematics, 2018

Multi-scale Diffusion-based Salient Object Detection with Background and Objectness Seeds.
TIIS, 2018

Exploring reward mechanisms on social question and answer Websites: quantifying the interdependences among user activities.
Inf. Res., 2018

Image Appearance-Based Facial Expression Recognition.
Int. J. Image Graphics, 2018

A Perceptual Encryption Scheme for HEVC Video with Lossless Compression.
IJDCF, 2018

Combinatorial epigenetic regulation of non-coding RNAs has profound effects on oncogenic pathways in breast cancer subtypes.
Briefings in Bioinformatics, 2018

Collision-Free Route Planning for Multiple AGVs in an Automated Warehouse Based on Collision Classification.
IEEE Access, 2018

Dual-Band Annular Slot Antenna Loaded by Reactive Components for Dual-Sense Circular Polarization With Flexible Frequency Ratio.
IEEE Access, 2018

Accelerated Life Test for Reliability Evaluation of Pneumatic Cylinders.
IEEE Access, 2018

Dynamic Object Detection Using Improved Vibe for RGB-D SLAM.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Design of Practical Experiences to Improve Student Understanding of Efficiency and Scalability Issues in High Performance Computing: (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Research on Distribution Alignment and Semantic Consistency in the Adversarial Domain Adaptation.
Proceedings of the Knowledge Science, Engineering and Management, 2018

Causal Discovery with Bayesian Networks Inductive Transfer.
Proceedings of the Knowledge Science, Engineering and Management, 2018

Integrated Fault Tolerant Control for Closed-Loop System with Uncertain Packet Loss.
Proceedings of the 2018 International Conference on Control, 2018

Improve Energy Efficiency by Processor Overclocking and Memory Frequency Scaling.
Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, 2018

ARMetis: OpenFOAM Oriented AR Based Mesh Partitioning Optimization Method.
Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, 2018

Present Situation and Trend of Remote Sensing Land Use/Cover Classification Extraction.
Proceedings of the 26th International Conference on Geoinformatics, 2018

The Application of Cluster Analysis Method in Case-Based Reasoning System.
Proceedings of the 26th International Conference on Geoinformatics, 2018

2017
On Applicability of Auxiliary System Approach to Detect Generalized Synchronization in Complex Network.
IEEE Trans. Automat. Contr., 2017

Event-driven modeling of elevator assisted evacuation in ultra high-rise buildings.
Simulation Modelling Practice and Theory, 2017

A Lossless Watermarking for 3D STL Model Based on Entity Rearrangement and Bit Mapping.
IJDCF, 2017

Control for nonlinear system with non-Gaussian noise.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

A control method for MIMO systems with multiple time delays.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

The Impact of the Mesh Partitioning Factors on CFD Simulation.
Proceedings of the Theoretical Computer Science - 35th National Conference, 2017

Design and Verification of Constant Stress Accelerated Life Test System for Pneumatic Pilot Solenoid Valve.
Proceedings of the 5th International Conference on Control, Mechatronics and Automation, 2017

A Perceptual Encryption Scheme for HEVC Video with Lossless Compression.
Proceedings of the Cloud Computing and Security - Third International Conference, 2017

Experimental evaluation of facial expression recognition.
Proceedings of the 10th International Congress on Image and Signal Processing, 2017

Texture features for clustering based multi-label classification of face images.
Proceedings of the 10th International Congress on Image and Signal Processing, 2017

Rapidly Generate and Visualize the Digest of Massive Time Series Data.
Proceedings of the Third IEEE International Conference on Big Data Computing Service and Applications, 2017

Backstepping-based observer for output feedback stabilization of a boundary controlled fractional reaction diffusion system.
Proceedings of the 11th Asian Control Conference, 2017

A design method of decoupling IMC controller for multi-variable system based on Butterworth filter.
Proceedings of the 2017 American Control Conference, 2017

2016
Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning.
IEEE Trans. Computers, 2016

Continuous Indoor Positioning Fusing WiFi, Smartphone Sensors and Landmarks.
Sensors, 2016

Sink Location Protection Protocols Based on Packet Sending Rate Adjustment.
IJDSN, 2016

Detailed and clock-driven simulation for HPC interconnection network.
Frontiers Comput. Sci., 2016

Three-dimensional dispersive hybrid implicit-explicit finite-difference time-domain method for simulations of graphene.
Computer Physics Communications, 2016

Energy Wall for Exascale Supercomputing.
Computing and Informatics, 2016

E-commerce use in urbanising China: the role of normative social influence.
Behaviour & IT, 2016

An efficient layered scheduling algorithm for real time services in LTE.
Proceedings of the 19th International Symposium on Wireless Personal Multimedia Communications, 2016

Metis-CIC: A new mesh partitioning heuristic for parallel preconditioned iterative methods in CFD.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016

Using multigrid methods in CFD simulations.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016

Protecting sink location against global traffic monitoring attacker.
Proceedings of the 2016 International Conference on Computing, 2016

Single Link Routing Protocol for Wireless Sensor Network.
Proceedings of the Human Centered Computing - Second International Conference, 2016

Study of Personal Location-Based State Distribution Inference.
Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2016

2015
Hiding the Source Based on Limited Flooding for Sensor Networks.
Sensors, 2015

GS-DMR: Low-overhead soft error detection scheme for stencil-based computation.
Parallel Computing, 2015

A survey of qualitative spatial representations.
Knowledge Eng. Review, 2015

Corrigendum to 'Databases and Web Tools for Cancer Genomics Study' [GPB 137 (2015) - GPB 13/1 (46-50)].
Genomics, Proteomics & Bioinformatics, 2015

Databases and Web Tools for Cancer Genomics Study.
Genomics, Proteomics & Bioinformatics, 2015

Evaluating Bottleneck Magnitude of Massive Crowd Flow Networks.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

A Novel Lifecycle Framework for Semantic Web Service Annotation Assessment and Optimization.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Time-Dimension Communication Characterization of Representative Scientific Applications on Tianhe-2.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Scheduling algorithm with delay-limited for VoIP in LTE.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2015

2014
Designing robust routing protocols to protect base stations in wireless sensor networks.
Wireless Communications and Mobile Computing, 2014

Low-complexity sphere decoding for generalised spatial modulation.
Proceedings of the Sixth International Conference on Wireless Communications and Signal Processing, 2014

An accurate, nonlinear model and control of hybrid actuation system (WIP).
Proceedings of the 2014 Summer Simulation Multiconference, 2014

Research on performance evaluation and reconstruction strategy of transforming enterprise cooperation network based on G-AHP.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Stability control for biped walking based on phase modification during double support period.
Proceedings of the 2014 IEEE International Conference on Robotics and Biomimetics, 2014

Gradual typing embedded securely in JavaScript.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

A robust multi-objective compatible optimization control algorithm for traffic signal control.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Resource Allocation for Energy Saving in Downlink Wireless Communication with Direction-Variable Antennas.
Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

Analysis of the correlation between the ambulatory arterial stiffness index, circadian rhythm and TCM syndrome differentiation in patients with essential hypertension.
Proceedings of the 2014 IEEE International Conference on Bioinformatics and Biomedicine, 2014

Admissible evidence: Trustworthy cooperative spectrum sensing based on Dempster-Shafer theory in cognitive radio networks.
Proceedings of the 2014 IEEE/ACIS 13th International Conference on Computer and Information Science, 2014

2013
An Efficient and Effective Localization Method for Networked Disjoint Top-View Cameras.
IEEE Trans. Instrumentation and Measurement, 2013

A Multi-granular Fuzzy Comprehensive Evaluation Model for E-commerce Enterprise Image.
JCP, 2013

Research on Economic Grid Resource Scheduling for Utility Optimization.
JCP, 2013

Two Energy Conserving Numerical Schemes for the Klein-Gordon-Zakharov Equations.
J. Applied Mathematics, 2013

Indicators of fuzzy relations.
Fuzzy Sets and Systems, 2013

Effect of atmospheric turbulence on the orbital angular momentum of hollow vortex beams.
SCIENCE CHINA Information Sciences, 2013

Fully abstract compilation to JavaScript.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Verifying higher-order programs with the dijkstra monad.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

PhoneJoule: An Energy Management System for Android-Based Smartphones.
Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols.
Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2012
An efficient anonymous communication protocol for wireless sensor networks.
Wireless Communications and Mobile Computing, 2012

Identifying the number of bars based on two chain lists.
Kybernetes, 2012

A search problem in complex diagnostic Bayesian networks.
Knowl.-Based Syst., 2012

Energy Optimization on OpenMP Loop Scheduling.
JSW, 2012

A Simple Yet Complex One-parameter Family of Generalized Lorenz-like Systems.
I. J. Bifurcation and Chaos, 2012

Self-certification: bootstrapping certified typecheckers in F* with Coq.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Learning the structure of Dynamic Bayesian Network with domain knowledge.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2012

Base station location protection in wireless sensor networks: Attacks and defense.
Proceedings of IEEE International Conference on Communications, 2012

An efficient and sustainable self-healing protocol for Unattended Wireless Sensor Networks.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

Semantic surface representation of physical entity in the WEB of things.
Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, 2012

A content delivery strategy based on resource popularity for P4P architecture.
Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, 2012

2011
An Efficient Method to Reduce the Numerical Dispersion in the HIE-FDTD Scheme.
Wireless Engineering and Technology, 2011

Modelling of content-aware indicators for effective determination of shot boundaries in compressed MPEG videos.
Multimedia Tools Appl., 2011

Bidirectionally coupled synchronization of the generalized Lorenz systems.
J. Systems Science & Complexity, 2011

Optimizing Linpack Benchmark on GPU-Accelerated Petascale Supercomputer.
J. Comput. Sci. Technol., 2011

On the dimensions of bivariate spline spaces and the stability of the dimensions.
J. Computational Applied Mathematics, 2011

Verifying stateful programs with substructural state and hoare types.
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011

Color quantization using c-means clustering algorithms.
Proceedings of the 18th IEEE International Conference on Image Processing, 2011

Secure distributed programming with value-dependent types.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Towards Efficient Anonymous Communications in Sensor Networks.
Proceedings of the Global Communications Conference, 2011

Switching transient simulation of redundant actuation system with mechanical backup.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

Analysis of failure mechanism and stress influence on cylinder.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

2010
Extracting Objects and Events from MPEG Videos for Highlight-based Indexing and Retrieval.
Journal of Multimedia, 2010

Composing Cardinal Direction Relations Based on Interval Algebra.
Int. J. Software and Informatics, 2010

Inferable object-oriented typed assembly language.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Type-preserving compilation of end-to-end verification of security enforcement.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Composing Cardinal Direction Relations Basing on Interval Algebra.
Proceedings of the Knowledge Science, 2010

Impulsive synchronization on complex networks of nonlinear dynamical systems.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

Economic Grid Resource Scheduling Based on Utility Optimization.
Proceedings of the Third International Symposium on Intelligent Information Technology and Security Informatics, 2010

A Flexible Fuzzy Comprehensive Evaluation Method.
Proceedings of the Third International Symposium on Intelligent Information Technology and Security Informatics, 2010

Soil fertility grading with Bayesian Network transfer learning.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2010

Filter time constant self-adjusting internal model control based on variable domain fuzzy control for time-delay uncertain systems.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

Inversing Cardinal Direction Relations.
Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

An OSGi Based RFID Complex Event Processing System.
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

Enforcing Stateful Authorization and Information Flow Policies in Fine.
Proceedings of the Programming Languages and Systems, 2010

Adaptive Optimization for Petascale Heterogeneous CPU/GPU Computing.
Proceedings of the 2010 IEEE International Conference on Cluster Computing, 2010

Power Measurements and Analyses of Massive Object Storage System.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009
Content-based digital video processing : digital videos segmentation, retrieval and interpretation.
PhD thesis, 2009

Shot Boundary Detection in MPEG Videos Using Local and Global Indicators.
IEEE Trans. Circuits Syst. Video Techn., 2009

How to Do Recombination in Evolution Strategies: An Empirical Study.
Proceedings of the Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira.s Scientific Legacy, 2009

Solving 2D Nonlinear Unsteady Convection-Diffusion Equations on Heterogenous Platforms with Multiple GPUs.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

A fuzzy logic method of feature representation for shot boundary detection.
Proceedings of the International Conference on Image Processing, 2009

A typed intermediate language for supporting interfaces.
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

A New Node Localization Algorithm of Wireless Sensor Networks.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

GPU Acceleration of High-Speed Collision Molecular Dynamics Simulation.
Proceedings of the Ninth IEEE International Conference on Computer and Information Technology, 2009

2008
University of Bradford at TRECVID 2008: Content Based Copy Detection Task.
Proceedings of the TRECVID 2008 workshop participants notebook papers, 2008

Type-preserving compilation for large-scale optimizing object-oriented compilers.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

An Image Fusion Method Based on WNMF and Region Segmentation.
Proceedings of the PACIIA 2008, 2008

Load Balancing Oriented Economic Grid Resource Scheduling.
Proceedings of the PACIIA 2008, 2008

An Universal Flexible Utility Function in Grid Economy.
Proceedings of the PACIIA 2008, 2008

Energy-Oriented OpenMP Parallel Loop Scheduling.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Low Power Optimization for MPI Collective Operations.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Combination of Genetic Algorithm and Support Vector Machine for Daily Flow Forecasting.
Proceedings of the Fourth International Conference on Natural Computation, 2008

TagSNPs Selection Using Maximum Density Subgraph.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Knowledge-Supported Segmentation and Semantic Contents Extraction from MPEG Videos for Highlight-Based Annotation, Indexing and Retrieval.
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2008

Energy-Constrained OpenMP Static Loop Scheduling.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008

Grid Resource Organization and Discovery Based on Hyper Topology Space.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

2007
Real-time shot-cut detection in a compressed domain.
J. Electronic Imaging, 2007

Determination of Shot Boundary in MPEG Videos for TRECVID 2007.
Proceedings of the TRECVID 2007 workshop participants notebook papers, 2007

A garbage-collecting typed assembly language.
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

A typed intermediate language for compiling multiple inheritance.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network.
Proceedings of the Knowledge Science, 2007

Combinative Reasoning with RCC5 and Cardinal Direction Relations.
Proceedings of the Knowledge Science, 2007

Cardinal Direction Relations in 3D Space.
Proceedings of the Knowledge Science, 2007

A Hierarchy Control Algorithm and its application in Urban Arterial Control Problem.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

Oversaturated adjacent intersections control based on multi-Objective compatible control algorithm.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

Multi-granular Control of Double Inverted Pendulum Based on Universal Logics Fuzzy Neural Networks.
Proceedings of the Advances in Neural Networks, 2007

Fuzzy Control of a Double Inverted Pendulum Based on Hyper Topology Space.
Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

A Multi-Granular Fuzzy Comprehensive Evaluation Method.
Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

An Efficient Ant Colony Algorithm for Multiple Sequences Alignment.
Proceedings of the Third International Conference on Natural Computation, 2007

Power-Aware Software Prefetching.
Proceedings of the Embedded Software and Systems, [Third] International Conference, 2007

Power-Directed Software Prefetching Algorithm with Dynamic Voltage Scaling.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

An efficient algorithm for multiple sequences alignment based on ant colony algorithms.
Proceedings of the 2007 International Conference on Genetic and Evolutionary Methods, 2007

IPGA based multi-objective compatible control algorithm and its application in oversaturated adjacent intersection control.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006
Modeling and Experiment Evaluation of Circular Polyacrylate Dielectric Elastomer Actuation.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2006

Compiler-Directed Energy-Time Tradeoff in MPI Programs on DVS-Enabled Parallel Systems.
Proceedings of the Parallel and Distributed Processing and Applications, 2006

Compile-Time Energy Optimization for Parallel Applications in On-Chip Multiprocessors.
Proceedings of the Computational Science, 2006

Multiple Sequence Alignment by Ant Colony Optimization and Divide-and-Conquer.
Proceedings of the Computational Science, 2006

Road-Junction Traffic Signal Timing Optimization by an adaptive Particle Swarm Algorithm.
Proceedings of the Ninth International Conference on Control, 2006

Improving a Local Learning Technique for QueueWait Time Predictions.
Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

Power Management in Circuits Design.
Proceedings of the IEEE Asia Pacific Conference on Circuits and Systems 2006, 2006

Partitioned optimization algorithms for multiple sequence alignment.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

Static WCET Analysis Based Compiler-Directed DVS Energy Optimization in Real-Time Applications.
Proceedings of the Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, 2006

2005
Decidable subclassing-bounded quantification.
Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

Optimal Allocation of Decision Weights and Decision-Making Process of Knowledge-Based Enterprise Organism.
Proceedings of the IEEE International Conference on Systems, 2005

A simple typed intermediate language for object-oriented languages.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

A Compiler-Directed Energy Saving Strategy for Parallelizing Applications in On-Chip Multiprocessors.
Proceedings of the 4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), 2005

Fast Scalable Algorithm on LARPBS for Sequence Alignment.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

The Optimal Profile-Guided Greedy Dynamic Voltage Scaling in Real-Time Applications.
Proceedings of the Embedded Software and Systems, Second International Conference, 2005

Power Consumption Analysis of Embedded Multimedia Application.
Proceedings of the Embedded Software and Systems, Second International Conference, 2005

Compiler-Directed Energy-Aware Prefetching Optimization for Embedded Applications.
Proceedings of the Embedded Software and Systems, Second International Conference, 2005

Energy-Constrained Prefetching Optimization in Embedded Applications.
Proceedings of the Embedded and Ubiquitous Computing, 2005

2003
A provably sound TAL for back-end optimization.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003


  Loading...