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

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Andrey Mikhailov Alexey Shigarov Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences Irkutsk Russia Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781665423311

Perhaps, PDF is the most popular format to share non-editable documents. PDF documents are often untagged. In particular, this means that positions and the cell structure of tables are not designated explicitly. PDF table detection predicts bounding boxes of tables on document pages. Some of the predictions inevitably happen to be false. This negatively affects the accuracy of table structure recognition. We argue that the page layout analysis in pre- and post-processing can refine the table detection. We suggest pre-processing algorithms for the recognition of headings, running titles, paragraphs, and images in PDF pages. This allows selecting areas of interest inside pages where real tables can be placed. Then we use deep neural networks to predict tables only in these areas. We also propose post-processing algorithms to verify predictions and filter out false table candidates after table detection. Our empirical study shows that the proposed approach reduces errors in the table detection and improve the PDF table extraction overall.

关键词： Deep learning Image recognition Layout Refining Neural networks Filtering algorithms Portable document format

来源：评论

学校读者我要写书评

暂无评论

Parallel Monte Carlo study on caffeine-DNA interaction in aqueous solution

Parallel Monte Carlo study on caffeine-DNA interaction in aq...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： M.D. Kalugin A.V. Teplukhin Institute of System Programming Russian Academy of Science Moscow Russia Institute of Mathematical Problems in Biology Russian Academy of Science Pushchino Russia

Monte Carlo simulation of the caffeine-DNA interaction in aqueous solution at room temperature was carried out using parallel calculations on supercomputer. Very large simulation boxes were used containing superhelical B-DNA fragment surrounded by caffeine and water molecules. The most probable binding sites of caffeine molecules on the DNA surface as well as structural features of the respective caffeine-DNA complexes were revealed for several solutions' concentrations.

关键词： Monte Carlo methods DNA Computer simulation Computational modeling Aggregates Drugs Geometry Sampling methods Temperature Mathematical programming

来源：评论

学校读者我要写书评

暂无评论

Symbolic Security Predicates: Hunt Program Weaknesses

arXiv

引用

arXiv 2021年

作者： Vishnyakov, Alexey Logunova, Vlada Kobrin, Eli Kuts, Daniil Parygina, Darya Fedotov, Andrey Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Russia Moscow Institute of Physics and Technology Moscow Russia

Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect undefined behavior and memory access violation errors. Initially, we symbolically execute program on paths that don’t trigger any errors (hybrid fuzzing may explore these paths). Then we construct a symbolic security predicate to verify some error condition. Thus, we may change the program data flow to entail null pointer dereference, division by zero, out-of-bounds access, or integer overflow weaknesses. Unlike static analysis, dynamic symbolic execution does not only report errors but also generates new input data to reproduce them. Furthermore, we introduce function semantics modeling for common C/C++ standard library functions. We aim to model the control flow inside a function with a single symbolic formula. This assists bug detection, speeds up path exploration, and overcomes overconstraints in path predicate. We implement the proposed techniques in our dynamic symbolic execution tool Sydr. Thus, we utilize powerful methods from Sydr such as path predicate slicing that eliminates irrelevant constraints. We present Juliet Dynamic to measure dynamic bug detection tools accuracy. The testing system also verifies that generated inputs trigger sanitizers. We evaluate Sydr accuracy for 11 CWEs from Juliet test suite. Sydr shows 95.59% overall accuracy. We make Sydr evaluation artifacts publicly available to facilitate results reproducibility. © 2021, CC BY-NC-ND.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Methods for Solving Variational Inequalities with Markovian Stochasticity

arXiv

引用

arXiv 2024年

作者： Solodkin, Vladimir Ermoshin, Michael Gavrilenko, Roman Beznosikov, Aleksandr Moscow Institute of Physics and Technology Moscow Russia Ivannikov Institute for System Programming of RAS Moscow Russia Innopolis University Innopolis Russia

In this paper, we present a novel stochastic method for solving variational inequalities (VI) in the context of Markovian noise. By leveraging Extragradient technique, we can productively solve VI optimization problems characterized by Markovian dynamics. We demonstrate the efficacy of proposed method through rigorous theoretical analysis, proving convergence under quite mild assumptions of L-Lipschitzness, strong monotonicity of the operator and boundness of the noise only at the optimum. In order to gain further insight into the nature of Markov processes, we conduct the experiments to investigate the impact of the mixing time parameter on the convergence of the algorithm. Copyright © 2024, The Authors. All rights reserved.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Analytical and numerical methods for Zhukovsky airfoils aerodynamics coefficients

Analytical and numerical methods for Zhukovsky airfoils aero...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： A.G. Petrov A.D. Sukhov I.N. Sibgatullin A.D. Britov Ishlinsky Institute for Problems in Mechanics RAS Moscow 119526 Russia Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia

The two-dimensional problem of a viscous laminar flow around Zhukovsky airfoils at an angle of attack is considered. Based on the approach of local similarity, which was proposed by Kochin and Loytsyansky for the equations of laminar boundary layer, we have found the shear stresses at the aifoil, and the coordinates of the separation points. Assuming the values of the velocities at the separation points to be equal, we find the value of the circulation. A complete solution to the problem of the velocity and pressure field outside the boundary layer is also constructed. The theoretical results are compared with the available experimental data and numerical simulations of the Navier-Stokes equations.

关键词： Drag Force Numerical simulation Aerodynamics Mathematical models Automotive components Stress

来源：评论

学校读者我要写书评

暂无评论

Monte-Carlo Tree Search with Tree Shape Control

Monte-Carlo Tree Search with Tree Shape Control

引用

IEEE Ukraine Conference on Electrical and Computer Engineering

作者： Oleksandr I. Marchenko Oleksii O. Marchenko Department of System Programming and Specialized Computer Systems National Technical University of Ukraine "Igor Sikorsky Kyiv polytechnic institute"

ISBN: (纸本)9781509030071

The paper, basing on analysis of the Monte-Carlo Tree Search (MCTS) method and specific features of its behavior for various cases of usage, proposes a new variant of the method, which was called as Monte-Carlo Tree Search with Tree Shape Control (MCTS-TSC) and which uses original Depth-Width Criteria (DWCs) for both tree shape estimation and control during search and for estimation and selection of potentially better options for search continuation. Proposed Tree Shape Control (TSC) technique can be used with some other tuning, pruning, and learning techniques. Besides, it can provide better scheduling of MCTS parallelization.

关键词： Monte-Carlo Tree Search (MCTS) Game tree MCTS improvement techniques Exploitation-exploration dilemma Tree shape control MCTS parallelization

来源：评论

学校读者我要写书评

暂无评论

pioNER: Datasets and Baselines for Armenian Named Entity Recognition

pioNER: Datasets and Baselines for Armenian Named Entity Rec...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Tsolak Ghukasyan Garnik Davtyan Karen Avetisyan Ivan Andrianov Ivannikov Laboratory for System Programming at Russian Armenian University Yerevan Armenia Ivannikov Lab. for Syst. Program. Russian-Armenian Univ. Moscow Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

In this work, we tackle the problem of Armenian named entity recognition, providing silverand gold-standard datasets as well as establishing baseline results on popular models. We present a 163000-token named entity corpus automatically generated and annotated from Wikipedia, and another 53400token corpus of news sentences with manual annotation of people, organization and location named entities. The corpora were used to train and evaluate several popular named entity recognition models. Alongside the datasets, we release 50-, 100-, 200-, 300dimensional GloVe word embeddings trained on a collection of Armenian texts from Wikipedia, news, blogs, and encyclopedia.

关键词： Encyclopedias Electronic publishing Internet Organizations Standards organizations Sports

来源：评论

学校读者我要写书评

暂无评论

Application of Artificial Intelligence Technology to Prevent Sudden Cardiac Death

Application of Artificial Intelligence Technology to Prevent...

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： Helena Godunova Sergei Prokhorov Rehabilitation Center “Barvikha” Moscow Russia Ivannikov Institute for System Programming RAS Institute for History of Science and Technology RAS Moscow Russia

ISBN: (数字)9798350376968

ISBN: (纸本)9798350376975

The causes of sudden cardiac death (SCD) have not yet been completely studied. At the same time, their share of mortality from heart disease is constantly growing. The use of artificial intelligence (AI) technology for timely diagnosis of the risk of sudden cardiac death, in particular for ECG analysis, is showing impressive and promising results. Of course, simple ECG analysis is not enough for an accurate prediction. Therefore, AI can be a powerful tool for testing hypotheses about additional medical factors that can improve diagnostic accuracy. In practice, the primary issue is the absence of established standards for AI use, coupled with the technical challenge of promptly transmitting ECG readings to the diagnostic center and receiving a real-time diagnosis from the AI system.

关键词： Heart Accuracy Electrocardiography Death Software Real-time systems Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Sedna: Native XML database management system (internals overview) 10

Sedna: Native XML database management system (internals over...

引用

2010 International Conference on Management of Data, SIGMOD '10

作者： Taranov, Ilya Shcheklein, Ivan Kalinin, Alexander Novak, Leonid Kuznetsov, Sergei Pastukhov, Roman Boldakov, Alexander Turdakov, Denis Antipin, Konstantin Fomichev, Andrey Pleshachkov, Peter Velikhov, Pavel Zavaritski, Nikolai Grinev, Maxim Grineva, Maria Lizorkin, Dmitry Institute for System Programming Russian Academy of Sciences Alexander Solzhenitsyn street 25 109004 Moscow Russia ETH Zurich CAB F 78 Universitätstrasse 6 8092 Zürich Switzerland Google Balchug street 7 115035 Moscow Russia

ISBN: (纸本)9781450300322

We present a native XML database management system, Sedna, which is implemented from scratch as a full-featured database management system for storing large amounts of XML data. We believe that the key contribution of this system is an improved schema-based clustering storage strategy efficient for both XML querying and updating, and powered by a novel memory management technique. We position our approach with respect to state-of-the-art methods. © 2010 ACM.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

A Dataset for Information Extraction from News Web Pages

A Dataset for Information Extraction from News Web Pages

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Maksim Varlamov Denis Galanin Pavel Bedrin Sergey Duda Vladimir Lazarev Alexander Yatskov Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Lomonosov Moscow State University Moscow Russia

In this paper we propose a new dataset for information extraction from news web pages. Accurate collection of news articles is necessary to build systems that aggregate and analyze data from a large number of news sources. However, existing news page datasets are designed for the problem of article content extraction and do not consider other metadata such as dates or authors, while modern generic approaches for structured web data extraction are evaluated on other domains, mostly e-commerce products websites. Our dataset contains 724 web pages from 114 Russian news websites. On each page we manually annotated title, text, publication date, tags and other article attributes. We describe data collection and annotation process and demonstrate evaluation results for open source tools and neural network based approaches. The dataset is publicly available on GitHub.

关键词： Annotations Neural networks Web pages Data aggregation Information retrieval Data mining Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：