Feng Shi

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Survival analysis of patients with extrahepatic cholangiocarcinoma: a nomogram for clinical and MRI features.
BMC Medical Imaging, December, 2024

Revisiting thread configuration of SpMV kernels on GPU: A machine learning based approach.
J. Parallel Distributed Comput., March, 2024

2023
Fully automatic identification of post-treatment infarct lesions after endovascular therapy based on non-contrast computed tomography.
Neural Comput. Appl., October, 2023

Syntactic n-grams in Computational Linguistics, by Grigori Sidorov. Cham, Springer Nature, 2019. ISBN 9783030147716. IX + 92 pages.
Nat. Lang. Eng., September, 2023

Various Solitons and Other Wave Solutions to the (2+1)-Dimensional Heisenberg Ferromagnetic Spin Chain Dynamical Model.
Axioms, April, 2023

EM-Gaze: eye context correlation and metric learning for gaze estimation.
Vis. Comput. Ind. Biomed. Art, 2023

Fragment and Integrate Network (FIN): A Novel Spatial-Temporal Modeling Based on Long Sequential Behavior for Online Food Ordering Click-Through Rate Prediction.
CoRR, 2023

Single Cells Are Spatial Tokens: Transformers for Spatial Transcriptomic Data Imputation.
CoRR, 2023

Towards Label Position Bias in Graph Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Alternately Optimized Graph Neural Networks.
Proceedings of the International Conference on Machine Learning, 2023

Radio Frequency Fingerprint Identification Based on Length-Robust Representation and Incremental Learning.
Proceedings of the 23rd IEEE International Conference on Communication Technology, 2023

Vehicle-Mounted Road Damage Detection Method Using YOLOv5s Framework.
Proceedings of the 23rd IEEE International Conference on Communication Technology, 2023

Intelligent Surface Defect Detection of Hot Rolled Strip Steel Using YOLOv8 Framework.
Proceedings of the 23rd IEEE International Conference on Communication Technology, 2023

A Lightweight Road Crack and Damage Detection Method Using Yolov5s for IoT Applications.
Proceedings of the IEEE/CIC International Conference on Communications in China, 2023

2022
TaiChi: A Hybrid Compression Format for Binary Sparse Matrix-Vector Multiplication on GPU.
IEEE Trans. Parallel Distributed Syst., 2022

A New Approach to Symmetry Reliability: Combination of Forward and Inverse Reliability Principle and Its Application to Frame Structures and Bamboo Bridges.
Symmetry, 2022

Multi-level contexts aggregation for melanoma recognition under feature confusion regularization.
Signal Image Video Process., 2022

A Modular Voigt Regularization of the Crank-Nicolson Finite Element Method for the Navier-Stokes Equations.
J. Sci. Comput., 2022

A Comparative Survey of Big Data Computing and HPC: From a Parallel Programming Model to a Cluster Architecture.
Int. J. Parallel Program., 2022

Fuzzy Dynamic Obstacle Avoidance Algorithm for Basketball Robot Based on Multi-Sensor Data Fusion Technology.
Int. J. Found. Comput. Sci., 2022

Parallel Domain Decomposition method for the fully-mixed Stokes-dual-permeability fluid flow model with Beavers-Joseph interface conditions.
CoRR, 2022

Alternately Optimized Graph Neural Networks.
CoRR, 2022

Ensemble Domain Decomposition Algorithm for the Fully-mixed Random Stokes-Darcy Model with the Beavers-Joseph Interface Conditions.
CoRR, 2022

Cluster optimization algorithm based on CPU and GPU hybrid architecture.
Clust. Comput., 2022

Recovery based finite difference scheme on unstructured mesh.
Appl. Math. Lett., 2022

Self-Supervised Shape Alignment for Sports Field Registration.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

Short-term Prediction Method of Wind Field Using Improved ConvLSTM Model.
Proceedings of the 5th International Conference on Machine Learning and Machine Intelligence, 2022

Efficient Machine Learning on Large-Scale Graphs.
Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

Learning from the Tangram to Solve Mini Visual Tasks.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Adaptive AI Algorithms for Generic Hardware and Unified Hardware Acceleration Architecture.
PhD thesis, 2021

Probabilistic Assessment Approach of the Aerostatic Instability of Long-Span Symmetry Cable-Stayed Bridges.
Symmetry, 2021

Extraction of an Explanatory Graph to Interpret a CNN.
IEEE Trans. Pattern Anal. Mach. Intell., 2021

Deep Learning in Natural Language Processing, edited by Li Deng and Yang Liu. Singapore: Springer, 2018. ISBN 9789811052088. XVII + 329 pages.
Nat. Lang. Eng., 2021

Editorial: Theories and Applications in Network Science.
Frontiers Appl. Math. Stat., 2021

GenMotion: Data-driven Motion Generators for Real-time Animation Synthesis.
CoRR, 2021

An Oscillator-based MaxSAT solver.
CoRR, 2021

Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis.
CoRR, 2021

STAR: Sparse Transformer-based Action Recognition.
CoRR, 2021

VersaGNN: a Versatile accelerator for Graph neural networks.
CoRR, 2021

Two-Grid Domain Decomposition Methods for the Coupled Stokes-Darcy System.
CoRR, 2021

A line planning approach for high-speed railway network with time-varying demand.
Comput. Ind. Eng., 2021

A Construction for Constant Dimension Codes from the Known Codes.
Proceedings of the Wireless Algorithms, Systems, and Applications, 2021

AMF-CSR: Adaptive Multi-Row Folding of CSR for SpMV on GPU.
Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021

Ferroelectric-based Accelerators for Computationally Hard Problems.
Proceedings of the GLSVLSI '21: Great Lakes Symposium on VLSI 2021, 2021

2020
Attentive boundary aware network for multi-scale skin lesion segmentation with adversarial training.
Multim. Tools Appl., 2020

Heading angle estimation using rotating magnetometer for mobile robots under environmental magnetic disturbances.
Intell. Serv. Robotics, 2020

Sparse matrix partitioning for optimizing SpMV on CPU-GPU heterogeneous platforms.
Int. J. High Perform. Comput. Appl., 2020

MMSparse: 2D partitioning of sparse matrix based on mathematical morphology.
Future Gener. Comput. Syst., 2020

Discrete unified gas kinetic scheme for a reformulated BGK-Vlasov-Poisson system in all electrostatic plasma regimes.
Comput. Phys. Commun., 2020

Semantic Networks for Engineering Design: A Survey.
CoRR, 2020

Expandable Local and Parallel Two-Grid Finite Element Scheme for the Stokes Equations.
CoRR, 2020

Vertical-Horizontal Structured Attention for Generating Music with Chords.
CoRR, 2020

MixPUL: Consistency-based Augmentation for Positive and Unlabeled Learning.
CoRR, 2020

Nitsche's type stabilized finite element method for the fully mixed Stokes-Darcy problem with Beavers-Joseph conditions.
Appl. Math. Lett., 2020

Fast Piecewise Polynomial Fitting of Time-Series Data for Streaming Computing.
IEEE Access, 2020

Structured Attention for Unsupervised Dialogue Structure Induction.
Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

2019
Principal Component Analysis Based Dynamic Cone Beam X-Ray Luminescence Computed Tomography: A Feasibility Study.
IEEE Trans. Medical Imaging, 2019

An Advanced Bootstrap Circuit for High Frequency, High Area-Efficiency and Low EMI Buck Converter.
IEEE Trans. Circuits Syst. II Express Briefs, 2019

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

Research on the security of information system authentication scheme based on the fuzzy number intuitionistic fuzzy information.
J. Intell. Fuzzy Syst., 2019

Ontology-based code snippets management in a cloud environment.
J. Ambient Intell. Humaniz. Comput., 2019

KernelGraph: Understanding the kernel in a graph.
Inf. Vis., 2019

Distributed Fault-Tolerant Consensus Protocol for Fuzzy Multi-Agent Systems.
Circuits Syst. Signal Process., 2019

Science and Technology Advance through Surprise.
CoRR, 2019

HUGE2: a Highly Untangled Generative-model Engine for Edge-computing.
CoRR, 2019

A Novel Speedup Evaluation for Multicore Architecture Based Topology of On-Chip Memory.
Proceedings of the Parallel Architectures, Algorithms and Programming, 2019

KLSAT: An Application Mapping Algorithm Based on Kernighan-Lin Partition and Simulated Annealing for a Specific WK-Recursive NoC Architecture.
Proceedings of the Network and Parallel Computing, 2019

Infer Implicit Contexts in Real-time Online-to-Offline Recommendation.
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

Rapid Performance Gain through Active Model Reuse.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Sparse Winograd Convolutional Neural Networks on Small-scale Systolic Arrays.
Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019

2018
BestSF: A Sparse Meta-Format for Optimizing SpMV on GPU.
ACM Trans. Archit. Code Optim., 2018

Error bound of magnitude-preserving ranking with Fredholm kernel.
Neurocomputing, 2018

Power-aware high level evaluation model of interconnect length of on-chip memory network topology.
Int. J. Comput. Sci. Eng., 2018

A novel look-ahead routing algorithm based on graph theory for triplet-based network-on-chip router.
IEICE Electron. Express, 2018

Explanatory Graphs for CNNs.
CoRR, 2018

Leveraging local network communities to predict academic performance.
CoRR, 2018

A computational tool for creative idea generation based on analogical reasoning and ontology.
Artif. Intell. Eng. Des. Anal. Manuf., 2018

An Efficient Distributed Minimal Routing Algorithm for Triplet-Based WK-recursive Network.
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

Interpreting CNN Knowledge via an Explanatory Graph.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Exploring grouped coherence for clustered hierarchical cache.
J. Supercomput., 2017

A backward approach to certain class of transport equations in any dimension based on the Shannon sampling theorem.
Int. J. Comput. Math., 2017

The Wisdom of Polarized Crowds.
CoRR, 2017

Interception in distance-vector routing networks.
J. Complex Networks, 2017

Research on the Impact of Game Users' Perceived Value on Satisfaction and Loyalty - Based on the Perspectives of Hedonic Value and Utilitarian Value.
Proceedings of the 16th Wuhan International Conference on E-Business, 2017

An evaluation power model for TriBA based application mapping and memory-on-chip.
Proceedings of the 13th International Conference on Natural Computation, 2017

Prediction of DNA-binding protein using random forest and elastic net.
Proceedings of the 13th International Conference on Natural Computation, 2017

Robust Dense Depth Maps Generations from Sparse DVS Stereos.
Proceedings of the British Machine Vision Conference 2017, 2017

Adaptive Temporal Pooling for Object Detection using Dynamic Vision Sensor.
Proceedings of the British Machine Vision Conference 2017, 2017

Reflexive Regular Equivalence for Bipartite Data.
Proceedings of the Advances in Artificial Intelligence, 2017

2016
Local part model for action recognition.
Image Vis. Comput., 2016

The effects of tone categories on the perception of Mandarin vowels.
Proceedings of the 10th International Symposium on Chinese Spoken Language Processing, 2016

Effects of preceding vocabulary context on the perception of Mandarin vowels.
Proceedings of the 10th International Symposium on Chinese Spoken Language Processing, 2016

The Influence of Language Experience on the Categorical Perception of Vowels: Evidence from Mandarin and Korean.
Proceedings of the Interspeech 2016, 2016

Sparse Matrix Format Selection with Multiclass SVM for SpMV on GPU.
Proceedings of the 45th International Conference on Parallel Processing, 2016

Machine Learning Approach for the Predicting Performance of SpMV on GPU.
Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

Type recognition of financial events by incorporating text and time-series features.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2016

Context-aware event-driven stereo matching.
Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

Research and Implementation of Scene Effect Based on Particle System in Virtual Maintenance Platform.
Proceedings of the Human Centered Computing - Second International Conference, 2016

Energy evaluation of Sparse Matrix-Vector Multiplication on GPU.
Proceedings of the Seventh International Green and Sustainable Computing Conference, 2016

2015
Local and Parallel Finite Element Algorithm Based on the Partition of Unity for Incompressible Flows.
J. Sci. Comput., 2015

Information Monitoring in Routing Networks.
CoRR, 2015

Achieving self-aware parallelism in stream programs.
Clust. Comput., 2015

Gradient Boundary Histograms for Action Recognition.
Proceedings of the 2015 IEEE Winter Conference on Applications of Computer Vision, 2015

2014
Improved Analytical Delay Models for RC-Coupled Interconnects.
IEEE Trans. Very Large Scale Integr. Syst., 2014

Exploiting controlled-grained parallelism in message-driven stream programs.
J. Supercomput., 2014

A semi-formal description of migrating domain-specific models with evolving domains.
Softw. Syst. Model., 2014

Local and Parallel Finite Element Algorithms Based on the Partition of Unity for the Stokes Problem.
SIAM J. Sci. Comput., 2014

An adaptive and hierarchical task scheduling scheme for multi-core clusters.
Parallel Comput., 2014

Predicting the protein solubility by integrating chaos games representation and entropy in information theory.
Expert Syst. Appl., 2014

Spatialization of electricity consumption of China using saturation-corrected DMSP-OLS data.
Int. J. Appl. Earth Obs. Geoinformation, 2014

Optimal Pipeline Performance via Transactional Slice with No Branch Prediction Overhead.
Proceedings of the UKSim-AMSS 16th International Conference on Computer Modelling and Simulation, 2014

An enhanced multiway sorting network based on n-sorters.
Proceedings of the 2014 IEEE Global Conference on Signal and Information Processing, 2014


Personal Attributes Extraction in Chinese Text Bakeoff in CLP 2014: Overview.
Proceedings of The Third CIPS-SIGHAN Joint Conference on Chinese Language Processing, 2014

2013
New Crosstalk Avoidance Codes Based on a Novel Pattern Classification.
IEEE Trans. Very Large Scale Integr. Syst., 2013

A new fractional time-stepping method for variable density incompressible flows.
J. Comput. Phys., 2013

A novel architecture for ahead branch prediction.
Frontiers Comput. Sci., 2013

Event Detection using Local Part Model and Random Sampling Strategy for Visual Surveillance.
Proceedings of the 2013 TREC Video Retrieval Evaluation, 2013

A work-stealing scheduling framework supporting fault tolerance.
Proceedings of the Design, Automation and Test in Europe, 2013

Sampling Strategies for Real-Time Action Recognition.
Proceedings of the 2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013

2012
Incorporating transfer reliability into equilibrium analysis of railway passenger flow.
Eur. J. Oper. Res., 2012

A variational multiscale method with bubble stabilization for the Oseen problem based on two local Gauss integrations.
Appl. Math. Comput., 2012

VIVA-uOttawa / CBSA at TRECVID 2012: Interactive Surveillance Event Detection.
Proceedings of the 2012 TREC Video Retrieval Evaluation, 2012

Efficient Threshold Architectures with Bounded Fan-Ins for Exclusive-ORs.
Proceedings of the 2012 IEEE Workshop on Signal Processing Systems, 2012

A Hierarchical Work-Stealing Framework for Multi-core Clusters.
Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

Knowledge-Based Adaptive Self-Scheduling.
Proceedings of the Network and Parallel Computing, 9th IFIP International Conference, 2012

Communication Locality Analysis of Triplet-Based Hierarchical Interconnection Network in Chip Multiprocessor.
Proceedings of the Network and Parallel Computing, 9th IFIP International Conference, 2012

Evolution in a context of an model-integrated tool environment.
Proceedings of the 6th International Workshop on Models and Evolution, 2012

Quasi-cyclic low-density parity-check stabilizer codes.
Proceedings of the 31st IEEE Military Communications Conference, 2012

Express Router Microarchitecture for Triplet-based Hierarchical Interconnection Network.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

Dynamic hand gesture recognition from Bag-of-Features and local part model.
Proceedings of the 2012 IEEE International Workshop on Haptic Audio Visual Environments and Games, 2012

2011
3D floorplanning of low-power and area-efficient Network-on-Chip architecture.
Microprocess. Microsystems, 2011

Dynamic and adaptive SPM management for a multi-task environment.
J. Syst. Archit., 2011

A new stabilized mixed finite-element method for Poisson equation based on two local Gauss integrations for linear element pair.
Int. J. Comput. Math., 2011

Core Working Set Based Scratchpad Memory Management.
IEICE Trans. Inf. Syst., 2011

Efficient cellular automaton segmentation supervised by pyramid on medical volumetric data and real time implementation with graphics processing unit.
Expert Syst. Appl., 2011

Improved crosstalk avoidance codes based on a novel pattern classification.
Proceedings of the IEEE Workshop on Signal Processing Systems, 2011

Improved analytical delay models for coupled interconnects.
Proceedings of the IEEE Workshop on Signal Processing Systems, 2011

Exploration on Acoustic Sound Pattern.
Proceedings of the 17th International Congress of Phonetic Sciences, 2011

An Analysis of Sonorant Nasality in Beijing Mandarin.
Proceedings of the 17th International Congress of Phonetic Sciences, 2011

The Fluctuation Scale of the Intonation of Statement and Declarative Question in English.
Proceedings of the 17th International Congress of Phonetic Sciences, 2011

Human action recognition from local part model.
Proceedings of the IEEE International Workshop on Haptic Audio Visual Environments and Games, 2011

A clustering algorithm of Ad-Hoc network based on honeycomb division.
Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

Optimization on digital watermarking algorithm based on SVD-DWT.
Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

2010
A Posteriori Error Estimates of Stabilization of Low-Order Mixed Finite Elements for Incompressible Flow.
SIAM J. Sci. Comput., 2010

Prediction of Subcellular Localization of Apoptosis Proteins by Dipeptide Composition.
J. Digit. Content Technol. its Appl., 2010

Physical Design Methodology for Godson-2G Microprocessor.
J. Comput. Sci. Technol., 2010

Adaptive variational multiscale methods for incompressible flow based on two local Gauss integrations.
J. Comput. Phys., 2010

Using IB1 Algorithm to Predict of Bacterial Toxins with an Improved Feature Extraction.
J. Convergence Inf. Technol., 2010

Indoor Radio Propagation Model Based on Dominant Path.
Int. J. Commun. Netw. Syst. Sci., 2010

Support vector machine method on predicting resistance gene against Xanthomonas oryzae pv. oryzae in rice.
Expert Syst. Appl., 2010

Robust DFT-based channel estimation for burst OFDM systems.
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2010

Scalable and Credible Video Watermarking towards Scalable Video Coding.
Proceedings of the Advances in Multimedia Information Processing - PCM 2010, 2010

New Lattice-Based Public-Key Cryptosystem.
Proceedings of the Third International Symposium on Intelligent Information Technology and Security Informatics, 2010

A transformation instance-based approach to traceability.
Proceedings of the 6th ECMFA Traceability Workshop, 2010

2009
Soft-Error Tolerance and Mitigation in Asynchronous Burst-Mode Circuits.
IEEE Trans. Very Large Scale Integr. Syst., 2009

Enhancing Simulation Accuracy through Advanced Hazard Detection in Asynchronous Circuits.
IEEE Trans. Computers, 2009

A finite element variational multiscale method for incompressible flows based on two local gauss integrations.
J. Comput. Phys., 2009

Intelligent Trace and Evaluation for Parallel Programming Based on Architectural Details.
J. Comput., 2009

Incremental infrastructure transitions towards cities as forces for good in environment.
Proceedings of the IEEE International Conference on Systems, 2009

RiMOM Results for OAEI 2009.
Proceedings of the 4th International Workshop on Ontology Matching (OM-2009) collocated with the 8th International Semantic Web Conference (ISWC-2009) Chantilly, 2009

Actively Learning Ontology Matching via User Interaction.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

A Novel Adaptive Scratchpad Memory Management Strategy.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009


Low Overhead Object Communication Scheme in CMP Implementation of Object-Oriented Programming.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Performance prediction based on hierarchy parallel features captured in multi-processing system.
Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing, 2009

N-port memory mapping for LUT-based FPGAs.
Proceedings of the ACM/SIGDA 17th International Symposium on Field Programmable Gate Arrays, 2009

Group-caching for NoC based multicore cache coherent systems.
Proceedings of the Design, Automation and Test in Europe, 2009

On the Use of Ray-tracing for Viewpoint Interpolation in Panoramic Imagery.
Proceedings of the Sixth Canadian Conference on Computer and Robot Vision, 2009

Guidance System for Parallel Programming Based on Architectural Models.
Proceedings of the Ninth IEEE International Conference on Computer and Information Technology, 2009

2008
An efficient layered data compression scheme with constraint analysis.
Math. Comput. Simul., 2008

A Novel Measurement of Sequence Dissimilarity and Its Application to Phylogeny.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Removing hazards in multi-level logic optimization for generalized fundamental-mode asynchronous circuits.
Proceedings of the 26th International Conference on Computer Design, 2008

Genetic Algorithms for Optimization of Complex Nonlinear System.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Coping with Soft Errors in Asynchronous Burst-Mode Machines.
Proceedings of the 14th IEEE International Symposium on Asynchronous Circuits and Systems, 2008

2007
Test data compression scheme based on variable-to-fixed-plus-variable-length coding.
J. Syst. Archit., 2007

A Subgraph Operator for Graph Transformation Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Performance Evaluation of a Self-Maintained Memory Module.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

THIN: A New Hierarchical Interconnection Network-on-Chip for SOC.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2007

Functional Similarity Analyzing of Protein Sequences with Empirical Mode Decomposition.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

A Novel Collaborative Scheme of Test Data Compression Based on Fixed-Plus-variable-Length Coding.
Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007

A self-maintained memory module supporting DMM.
Proceedings of the 2007 International Conference on Compilers, 2007

A Triplet-based Computer Architecture Supporting Parallel Object Computing.
Proceedings of the IEEE International Conference on Application-Specific Systems, 2007

The Design of a Novel Object-oriented Processor : OOMIPS.
Proceedings of the IEEE International Conference on Application-Specific Systems, 2007

Applying a Grouping Operator in Model Transformations.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
The design of a language for model transformations.
Softw. Syst. Model., 2006

A Fully Integrated UWB PHY in 0.13µm CMOS.
Proceedings of the 2006 IEEE International Solid State Circuits Conference, 2006

A Novel Image Compression Architecture with proficient Layered scenario.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

LSCIC Pre-processor Design with Constriction Elucidation.
Proceedings of the First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August, 2006

Testing delay faults in asynchronous handshake circuits.
Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

Prediction of MHC Class I Binding Peptides Using Fourier Analysis and Support Vector Machine.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Third International Conference, 2006

A Transistor-Level Test Strategy for C^2MOS MOUSETRAP Asynchronous Pipelines.
Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006

Low-Overhead Testing of Delay Faults in High-Speed Asynchronous Pipelines.
Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006

2005
Improving the Usability of a Graph Transformation Language.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

Prediction of MHC class II Epitopes Using Fourier Analysis and Support Vector Machines.
Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

A Visually-Specified Code Generator for Simulink/Stateflow.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Decorrelation and power allocation based precoding for transmit correlated V-BLAST systems.
Proceedings of the IEEE 16th International Symposium on Personal, 2005

Closed-loop precoding based on code distance allocation for transmit correlated spatial multiplexing MIMO systems.
Proceedings of the IEEE 16th International Symposium on Personal, 2005

Test generation for ultra-high-speed asynchronous pipelines.
Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005

Analysis of Toy Model for Protein Folding Based on Particle Swarm Optimization Algorithm.
Proceedings of the Advances in Natural Computation, First International Conference, 2005

Prediction of Protein Subcellular Locations Using Support Vector Machines.
Proceedings of the Advances in Natural Computation, First International Conference, 2005

Prediction of T-cell Epitopes Using Support Vector Machine and Similarity Kernel.
Proceedings of the Computational Intelligence and Security, International Conference, 2005

SPIN-PAC: test compaction for speed-independent circuits.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004
Reusable Idioms and Patterns in Graph Transformation Languages.
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

A modified linear dispersion codes transmission scheme for MIMO systems.
Proceedings of the 2004 IEEE Wireless Communications and Networking Conference , 2004

SPIN-SIM: Logic and Fault Simulation for Speed-Independent Circuits.
Proceedings of the Proceedings 2004 International Test Conference (ITC 2004), 2004

Compiler-Based Frame Formation for Static Optimization.
Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

SPIN-TEST: automatic test pattern generation for speed-independent circuits.
Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Towards Generation of Efficient Transformations.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Model-Driven Program Transformation of a Large Avionics Framework.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Fault simulation and random test generation for speed-independent circuits.
Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, 2004

2003
On the Use of Graph Transformation in the Formal Specification of Model Interpreters.
J. Univers. Comput. Sci., 2003

Stability of a multicast tree in cumulative layered multicast congestion control.
Proceedings of the 22nd IEEE International Performance Computing and Communications Conference, 2003

An equation-based network-supported for layered multicast congestion control.
Proceedings of the 11th IEEE International Conference on Networks, 2003

The Stability Problem of Multicast Trees in Layered Multicast.
Proceedings of the Information Networking, 2003

Domain Model Translation Using Graph Transformations.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

1993
The density of a maximum minimal cut in the subset lattice of a finite set is almost one.
Discret. Math., 1993


  Loading...