检索结果-内蒙古大学图书馆

14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, ICTERI 2018

作者： Zholtkevych, Grygoriy El Zein, Hassan Khalil Polyakova, Lyudmyla Math and Comput. Sci. School V.N. Karazin Kharkiv National University 4 Svobody Sqr. Kharkiv61022 Ukraine

This paper continues the study that has been begun in the series of authors' papers and has devoted to clarifying the interconnection between denotational and operational approaches for modelling logical time based on the concept of logical clocks. In the paper, a new category, namely the category of schedules, has introduced. The original definition of a morphism of schedules precedes to introducing this category. Refinement of a number of results of previous papers made it possible to establish the functorial nature of the method of associating the linear clock structure with a schedule and to prove that the corresponding functor determines the equivalence of the category of schedules and the category of linear clock structures. © 2011 Springer-Verlag Berlin Heidelberg.

关键词： Clocks

来源：评论

学校读者我要写书评

暂无评论

Neural implementation of Karmarkar algorithm

Neural implementation of Karmarkar algorithm

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： P. Sridhar U. Rao Pavan Kumar A.K. Pujari Sch. of Math. & Comput. Sci. Hyderabad Univ. India

The Karmarkar algorithm performs a sequence of projective transformations each followed by optimization over an inscribed sphere and then inverse projective transformation. These steps are implemented on the authors' model with two neural-like circuits, one embedded inside the other. The inner circuit finds least square error solutions using the complementary slackness condition. The outer circuit finds a novel interior primal solution using the delta rule by making use of the error in the comput.tion of dual solution. This circuit exhibits potential for applications where real-time optimization is required-as is the case in robotics, satellite guidance, etc.< >

关键词： Circuits Neurons Brain modeling Application software Biological neural networks Artificial neural networks comput.r vision Constraint optimization math.matics Sequences

来源：评论

学校读者我要写书评

暂无评论

A real-time image filtration system

A real-time image filtration system

引用

1993 IEEE Workshop on Real-Time Applications, RTA 1993

作者： Laplante, P.A. Zalewski, D. Dept. of Math. and Comput. Sci. Fairleigh Dickinson Univ. MadisonNJ07480e United States Department of Computer Science NJIT NewarkNJ07102 United States

ISBN: (纸本)0818641304

A system for performing highly parallel, predictable real-time image filtration is described. The application software was developed using a special class of abstract data types (ADT) constructed in the RT-X language which has predictable execution times. The filtration algorithm is based on a Universal Image Algebra. Additional image processing applications such as feature extraction via edge detection or hit-and-miss transformation, and image data-base retrieval can be implemented using this system. © 1993 IEEE.

关键词： Edge detection

来源：评论

学校读者我要写书评

暂无评论

An anisotropic acoustic wave equation for modeling and migration in 2D TTI media 76

An anisotropic acoustic wave equation for modeling and migra...

引用

Society of Exploration Geophysicists International Exposition and 76tth Annual Meeting 2006, SEG 2006

作者： Zhou, Hongbo Zhang, Guanquan Bloor, Robert GX Technology United States Inst. of Comput. Math. and Sci/Eng Chinese Academy of Sciences United States GX Tech. United States

ISBN: (纸本)9781604236972

In this abstract, we propose a new anisotropic acoustic wave equation for 2D TTI media. This is the extension of our previous work on VTI media to TTI media. Similar to VTI case, we follow the same procedures as Zhou et al. (2006), by the introduction of an auxiliary function, the original fourth-order differential equation becomes a coupled system of lower-order differential equations. However, unlike VTI case, a cross-derivative term has been added to each of the coupled system of the hyperbolic differential equations because of its TTI characteristics. Of these two equations, one equation plays a key role in governing the propagation of the wavefront, with the other equation compensating for the loss of anisotropy for TTI media not only in the lateral but also in the depth directions. The new anisotropic acoustic wave equation has the obvious physical meaning and is much easier to implement. Impulse responses for both modeling and migration have been tested to show the validation of the proposed anisotropic acoustic wave equation. © 1996-2018 Society of Exploration Geophysicists. All rights reserved.

关键词： Anisotropy

来源：评论

学校读者我要写书评

暂无评论

Visual Mapping of Text Collections through a Fast High Precision Projection Technique

Visual Mapping of Text Collections through a Fast High Preci...

引用

International Conference on Information Visualisation (IV)

作者： H. Levkowitz R. Minghim L.G. Nonato F.V. Paulovich Inst. of Math. & Comput. Sci. Sao Paulo Univ.

This paper introduces least square projection (LSP), a fast technique for projection of multi-dimensional data onto lower dimensions developed and tested successfully in the context of creation of text maps based on their content. Current solutions are either based on comput.tionally expensive dimension reduction with no proper guarantee of the outcome or on faster techniques that need some sort of post-processing for recovering information lost during the process. LSP is based on least square approximation, a technique originally employed for surface modeling and reconstruction. Least square approximations are capable of comput.ng the coordinates of a set of projected points based on a reduced number of control points with defined geometry. We extend the concept for general data sets. In order to perform the projection, a small number of distance calculations is necessary and no repositioning of the final points is required to obtain a satisfactory precision of the final solution. Textual information is a typically difficult data type to handle, due to its intrinsic dimensionality. We employ document corpora as a benchmark to demonstrate the capabilities of the LSP to group and separate documents by their content with high precision

关键词： Least squares approximation math.matics comput.r sci.nce Least squares methods Testing Surface reconstruction comput.tional geometry Data visualization Data mining Displays

来源：评论

学校读者我要写书评

暂无评论

Topological characterization of housekeeping genes in human protein-protein interaction network 8

Topological characterization of housekeeping genes in human ...

引用

8th International Conference on Systems Biology, ISB 2014

作者： Wang, Pei Zhang, Yuhuan Lü, Jinhu Yu, Xinghuo Sch. Math. Inf. Sci. Henan University Kaifeng475004 China Acad. Math. Syst. Sci. Chinese Academy of Sciences Beijing100190 China Sch. Elect. Comput. Eng. RMIT University MelbourneVIC3001 Australia

ISBN: (纸本)9781479972944

Human housekeeping genes (HKGs) are widely expressed in various tissues, which involve in cell maintenance or sustaining cell function, and are often taken as experimental control and normalization references in gene expression experiments. Based on literature curation and up-to-date databases, we construct a large-scale human protein-protein interaction network (HPIN) and a HKGs subnetwork. Through the topological features of HKGs in the HPIN, we characterize the topological features of human HKGs. Our results indicate HKGs are with very large average degree, k-shell, betweeness, semilocal and eigenvector centralities, clustering coefficient, closeness, PageRank and motif centrality, which are all higher than that of the HPIN. Among the nine indexes, HKGs are with the average betweeness about 7 times larger than that for the HPIN, but they are also with the largest coefficient of variant (CV). The closeness of HKGs is with the smallest CV and very large median. Based on ROC analysis, we find most of the indexes and their compositions can be used to predict HKGs, with prediction accuracy around 80%. Especially, the prediction accuracy of the closeness can achieve as high as 82.36%. The investigations shed some lights on the characterization and identification of human functional genes, which have potential implications in systems biology and networked medicine. © 2014 IEEE.

关键词： Gene expression

来源：评论

学校读者我要写书评

暂无评论

A 2 1/2 -dimensional systolic array architecture

A 2 1/2 -dimensional systolic array architecture

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： S.P.S. Lam Sch. of Comput. & Math. Sci. Oxford Brookes Univ. UK

This paper presents a novel 2 1/2 -dimensional systolic array architecture. The novel systolic array has a logical three-dimensional communication network, but it can be realized on a two-dimensional wafer surface by making use of multiple-layer metalization or multiple chip module technology. The architectural details are discussed in terms of graph theory. Based on several case study, the comput.tional efficiency and hardware overheads for the proposed array are summarised with respect to conventional systolic arrays.< >

关键词： Systolic arrays comput.r architecture Topology Signal processing algorithms Communication networks Graph theory Hardware Distributed comput.ng Electronic mail comput.tional efficiency

来源：评论

学校读者我要写书评

暂无评论

GENERAL-ANALYSIS OF PERFECT FLUID SPHERICALLY SYMMETRICAL ICKV SPACETIMES

引用

CLASSICAL AND QUANTUM GRAVITY 1991年第7期8卷 L147-L150页

作者： COLEY, AA CZAPOR, SR Dept. of Math. Stat. & Comput. Sci. Dalhousie Univ. Halifax NS Canada

All perfect fluid, spherically symmetric spacetimes admitting a proper inheriting conformal Killing vector (ICKV) which is neither parallel to nor orthogonal to the fluid 4-velocity are found, thereby completing the analysis of a previous work. In particular, the results in this and earlier work are summarized in terms of a general theorem.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Hase-based SAKA Protocol Algorithm

A Hase-based SAKA Protocol Algorithm

引用

International Conference on comput.tional Intelligence and Security

作者： Yipin Lin Xiaofeng Wang Coll. of Math. & Comput. Sci. Shenzhen Univ. Shenzhen China

It was pointed out that the simple authenticated key agreement (SAKA) protocol suffered three weaknesses. Several improved protocols, such as improved Lin protocol, E-SAKA protocol, then were proposed as claimed being free of these three weaknesses. After reviewing of these protocols, proofs are given that these protocols still suffer from the password guessing attack. Besides, the weakness that the attacker on the E-SAKA protocol can get the session key also is pointed out. By introducing hash function a new protocol based on improved Lin's protocol is proposed, which is free of the three weaknesses and also can prevent man-in-the-middle attack as well as the password guessing attack.

关键词： Protocols comput.tional intelligence Security Sun Equations

来源：评论

学校读者我要写书评

暂无评论

A Forensic Analysis Solution of the Email Network Based on Email Contents

A Forensic Analysis Solution of the Email Network Based on E...

引用

International Conference on Fuzzy Systems and Knowledge Discovery

作者： Lili Xie Yanhua Liu Guolong Chen Coll. of Math. & Comput. Sci. Fuzhou Univ. Fuzhou China

ISBN: (纸本)9781467376839

Forensics analyses of an email network were more based on the email communication structure, while the email content was seldom considered. In this paper, we propose a forensics analysis method for an email network based on the Latent Dirichlet Allocation topic model and the Centrality algorithm. The method takes into full consideration the email content and the email communication structure. In order to calculate the email communication correlation with the topic of the criminal case, we get the similarity of the email content based on the Latent Dirichlet Allocation model. Combined with the Centrality algorithm, we can obtain the mail accounts that have the greater influence on the email network. Experimental results show that this method can more effectively analyze an email network and find the specific email accounts.

关键词： email forensics email network analysis Centrality LDA Foxmail

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：