检索结果-南通市图书馆

Semisupervised Sparse Multilinear Discriminant Analysis

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2014年第6期29卷 1058-1071页

作者：黄锴张丽清 moe-Microsoft Key Laboratory for intelligent computing and intelligent Systems Department of Computer Science and EngineeringShanghai Jiao Tong University IEEE

Various problems are encountered when adopting ordinary vector space algorithms for high-order tensor data input. Namely, one must overcome the Small Sample Size （SSS） and overfitting problems. In addition, the structural information of the original tensor signal is lost during the vectorization process. Therefore, comparable methods using a direct tensor input are more appropriate. In the case of electrocardiograms （ECGs）, another problem must be overcome; the manual diagnosis of ECG data is expensive and time consuming, rendering it difficult to acquire data with diagnosis labels. However, when effective features for classification in the original data are very sparse, we propose a semisupervised sparse multilinear discriminant analysis （SSSMDA） method. This method uses the distribution of both the labeled and the unlabeled data together with labels discovered through a label propagation Mgorithm. In practice, we use 12-lead ECGs collected from a remote diagnosis system and apply a short-time-fourier transformation （STFT） to obtain third-order tensors. The experimental results highlight the sparsity of the ECG data and the ability of our method to extract sparse and effective features that can be used for classification.

关键词： ECG analysis semisupervised learning sparse coding dimension reduction tensor learning approach

How faithfully can π be interpreted in SA?

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2013年第3期56卷 82-96页

作者： LONG Huan FU YuXi Basic Studies in computing Science Department of Computer ScienceMOE-MS Key Laboratory for Intelligent Computing and Intelligent SystemsShanghai Jiao Tong University

The π calculus and the safe ambient calculus are two of the widely studied variants of process calculi in the field of concurrency *** former is the most classic model for mobile processes and the latter is well known for its nested ***,the relationship between these two models deserves further *** this paper,we reinvestigate this problem *** first give the strengthened encoding *** we propose the encoding of the synchronous π-calculus into the safe ambients *** encoding scheme is a generalization and improvement of Levi and Sangiorgi’s work when moving from the asynchronous π-calculus to the synchronous π-*** show the merits of the encoding by checking the mentioned criteria.

关键词： encoding expressiveness synchronous π-calculus safe ambients

Process Passing Calculus,Revisited

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Shanghai Jiaotong university(Science) 2013年第1期18卷 29-36页

作者：尹强龙环 Laboratory of Basic Study in computing Science MOE-MS Key Laboratory for Intelligent Computing and Intelligent SystemsDepartment of Computer Science and EngineeringShanghai Jiaotong University

In the context of process calculi, higher order π calculus （A calculus） is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, we give a system study of A calculus with respect to the model independent framework. We show the coincidence of the context bisimulation to the absolute equality. We also build a subbisimilarity relation from A calculus to the π calculus.

关键词： higher order π-calculus encoding expressiveness bisimulation

A Logical Characterization for Linear Higher-Order Processes

在线全文

学校读者我要写书评

暂无评论

Journal of Shanghai Jiaotong university(Science) 2015年第2期20卷 185-194页

作者：徐贤龙环 Department of Computer Science and Technology East China University of Science and Technology Laboratory of Basic Study In computing Science MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems Department of Computer Science and EngineeringShanghai Jiaotong University

Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.

关键词： modal logic bisimulation linearity higher-order process calculi

Single-cell omics: experimental workflow, data analyses and applications

在线全文

学校读者我要写书评

暂无评论

Science China Life Sciences 2025年第1期68卷 5-102页

作者： Fengying Sun Haoyan Li Dongqing Sun Shaliu Fu Lei Gu Xin Shao Qinqin Wang Xin Dong Bin Duan Feiyang Xing Jun Wu Minmin Xiao Fangqing Zhao Jing-Dong J.Han Qi Liu Xiaohui Fan Chen Li Chenfei Wang Tieliu Shi Department of Clinical Laboratory the Affiliated Wuhu Hospital of East China Normal University (The Second People's Hospital of Wuhu City) Pharmaceutical Informatics Institute College of Pharmaceutical SciencesZhejiang University Key Laboratory of Spine and Spinal Cord Injury Repair and Regeneration (Tongji University) Ministry of EducationOrthopaedic DepartmentTongji HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji University Frontier Science Center for Stem Cells School of Life Sciences and TechnologyTongji University Translational Medical Center for Stem Cell Therapy and Institute for Regenerative Medicine Shanghai East HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji University Research Institute of intelligent computing Zhejiang Lab Shanghai Research Institute for intelligent Autonomous Systems Center for Single-cell Omics School of Public HealthShanghai Jiao Tong University School of Medicine National Key Laboratory of Chinese Medicine Modernization Innovation Center of Yangtze River DeltaZhejiang University Center for Bioinformatics and Computational Biology Shanghai Key Laboratory of Regulatory Biologythe Institute of Biomedical Sciences and School of Life SciencesEast China Normal University Beijing Institutes of Life Science Chinese Academy of Sciences Peking-Tsinghua Center for Life Sciences Academy for Advanced Interdisciplinary StudiesCenter for Quantitative Biology (CQB)Peking University Zhejiang Key Laboratory of Precision Diagnosis and Therapy for Major Gynecological Diseases Women's HospitalZhejiang University School of Medicine Key Laboratory of Advanced Theory and Application in Statistics and Data Science-moe School of StatisticsEast China Normal University

Cells are the fundamental units of biological systems and exhibit unique development trajectories and molecular features. Our exploration of how the genomes orchestrate the formation and maintenance of each cell, and control the cellular phenotypes of various organismsis, is both captivating and intricate. Since the inception of the first single-cell RNA technology, technologies related to single-cell sequencing have experienced rapid advancements in recent years. These technologies have expanded horizontally to include single-cell genome, epigenome,proteome, and metabolome, while vertically, they have progressed to integrate multiple omics data and incorporate additional information such as spatial sc RNA-seq and CRISPR screening. Single-cell omics represent a groundbreaking advancement in the biomedical field,offering profound insights into the understanding of complex diseases, including cancers. Here, we comprehensively summarize recent advances in single-cell omics technologies, with a specific focus on the methodology section. This overview aims to guide researchers in selecting appropriate methods for single-cell sequencing and related data analysis.

关键词： single-cell sequencing genome epigenome proteomics metabolomics multimodal spatial transcriptomics CRISPR screening

Bayesian-Based Speckle Suppression for SAR Image Using Contourlet Transform

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Electronic Science and Technology of China 2008年第1期6卷 79-82页

作者： De-Xiang Zhang Qing-Wei Gao Xiao-Pei Wu School of Electronic Science andTechnology of Anhui University Hefei 230039 China intelligent computing and signalprocessing of moe Anhui University Hefei 230039 China

A novel and efficient speckle noise reduction algorithm based on Bayesian contourlet shrinkage using contourlet transform is ***,we show the sub-band decompositions of SAR images using contourle transforms,which provides sparse representation at both spatial and directional ***,a Bayesian contourlet shrinkage factor is applied to the decomposed data to estimate the best value for noise-free contourle *** results show that compared with conventional wavelet despeckling algorithm,the proposed algorithm can achieve an excellent balance between suppresses speckle effectively and preserve image details,and the significant information of origina image like textures and contour details is well ma intained.

关键词： Bayesian shrinkage contourlet transform despeckling SAR image.

Physically-based fluid animation:A survey

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2009年第5期52卷 723-740页

作者： TAN Jie YANG XuBo moe-Microsoft Laboratory for intelligent computing and intelligent Systems Department of Computer Science Shanghai Jiao Tong University Shanghai 200240 China School of Software Shanghai Jiao Tong University Shanghai 200240 China

In this paper, we give an up-to-date survey on physically-based fluid animation research. As one of the most popular approaches to simulate realistic fluid effects, physically-based fluid animation has spurred a large number of new results in recent years. We classify and discuss the existing methods within three categories： Lagrangian method, Eulerian method and Lattice-Boltzmann method. We then introduce techniques for seven different kinds of special fluid effects. Finally we review the latest hot research areas and point out some future research trends, including surface tracking, fluid control, hybrid method, model reduction, etc.

关键词： physically-based animation Navier-Stokes equations finite difference method smoothed particle hydrodynamics Lattice-Boltzmannmethod particle level set

Single-cell technologies: current and near future

在线全文

学校读者我要写书评

暂无评论

Science China Life Sciences 2025年第01期 1-4页

作者： Chenfei Wang Qi Liu Xiaohui Fan Tieliu Shi Key Laboratory of Spine and Spinal Cord Injury Repair and Regeneration Ministry of EducationOrthopedics DepartmentTongji HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji University Frontier Science Center for Stem Cells School of Life Sciences and TechnologyTongji University Translational Medical Center for Stem Cell Therapy and Institute for Regenerative Medicine Shanghai East HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji University Research Institute of intelligent computing Zhejiang Lab Pharmaceutical Informatics Institute College of Pharmaceutical SciencesZhejiang University National Key Laboratory of Chinese Medicine Modernization Innovation Center of Yangtze River DeltaZhejiang University Center for Bioinformatics and Computational Biology Shanghai Key Laboratory of Regulatory Biologythe Institute of Biomedical Sciences and School of Life SciencesEast China Normal University Key Laboratory of Advanced Theory and Application in Statistics and Data Science (moe) School of StatisticsEast China Normal University

Single-cell technologies enable the indepth exploration of multiple biological hierarchies at the scale of individual cells,which have deepened our knowledge of cellular diversity, tissue organization, and overall organism function(Sun et al.,2024). In 2009, single-cell RNA sequencing(sc RNA-seq) was first developed as a powerful tool to dissect gene expression and uncover transcriptional *** the rapid advancement of technology, single-cell approaches have expanded to encompass other omics, such as genomics, epigenomics, proteomics,and metabolomics.

关键词：

同方期刊数据库

Towards a bisimulation theory for open synchronized networks of automata

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2016年第5期59卷 21-23页

作者： Eric MADELAINE Min ZHANG INRIA 2004 rte des Lucioles Shanghai Key Laboratory of Trustworthy computing MOE IntalJoint Laboratory of Trustworthy SoftwareECNU

Dear editor,Open parameterised Networks of synchronized automata(p Nets)are new semantic objects that we propose for defining the semantics of simple or complex composition operators for distributed *** p Nets have an operational semantics,using open transitions that include symbolic hypotheses on the behavior of the p Nets"holes".We discuss when this semantics can be finite and how to compute it *** define bisimulation equivalences between open p Nets,and we explore under which hypotheses these equivalences are compatible with composition and are decidable.

关键词： Towards a bisimulation theory for open synchronized networks of automata