A5042971293- Advanced Data Processing Techniques
- Logic, programming, and type systems
- Software Engineering Research
- Mathematical Control Systems and Analysis
- Model-Driven Software Engineering Techniques
- Cancer Genomics and Diagnostics
- Rough Sets and Fuzzy Logic
- Advanced Research in Systems and Signal Processing
- Software Reliability and Analysis Research
- Semantic Web and Ontologies
- Face recognition and analysis
- Natural Language Processing Techniques
- Genomics and Rare Diseases
- Artificial Intelligence in Education
- Advanced Algebra and Logic
- Cognitive Science and Mapping
- Cognitive Computing and Networks
- Petri Nets in System Modeling
- Data Quality and Management
- Single-cell and spatial transcriptomics
- Advanced Control Systems Optimization
- Formal Methods in Verification
- Web Data Mining and Analysis
- Face and Expression Recognition
- semigroups and automata theory
Voronezh State University
2009-2022
Postzygotic somatic mutations have been found associated with human disease, including diseases other than cancer. Most information on has come from studying clonally amplified mutant cells, based a growth advantage or genetic drift. However, almost all are unique for each cell, and the quantitative analysis of these low-abundance in normal tissues remains major challenge biology. Here, we introduce single-molecule mutation sequencing (SMM-seq), novel approach identification point cells tissues.
Abstract Detecting somatic mutations in normal cells and tissues is notoriously challenging due to their low abundance, orders of magnitude below the sequencing error rate. While several techniques, such as single-cell single-molecule sequencing, have been developed identify mutations, they are insufficient for detecting genomic structural variants (SVs), which a significantly greater impact than single-nucleotide (SNVs). We introduce Single-Molecule Mutation Sequencing Structural Variants...
The LP structures theory contains a lattice-based algebraic approach for modeling and researching wide range of production similar systems in computer science. article studies an model (LP structure) which has number significant capabilities that cover distributed knowledge systems. authors formulate some results create theoretical basis optimizing management. paper considers logical equations class, opens up new possibilities accelerating backward inference.
Reasoning models play an important role in artificial intelligence. One of such is logic-based production systems. These systems are based on rules, or productions, the form "if A true then B true" where A, elements logic a particular order. In this paper propositional under consideration thus elementary facts expressions over constructed using operators. There two types logical inference performed systems: forward chaining and backward chaining. problem decreasing number queries to external...
An algebraic system containing the semantics of a set rules conditional equational theory (or term rewriting system) is introduced. The following basic questions are considered for given model: existence logical closure, structure possibility equivalent transformations, and construction reduction. obtained results can be applied to analysis automatic optimization corresponding rules. basis research lattices binary relations.
Capturing the facial expressions of an actor on set to further transfer scene digital space has become one most important tasks in field computer graphics. Most methods for solving this problem have a lower quality reconstruction comparison with capture, which is carried out videogrammetric installations. The reason inability calculate high-quality three-dimensional scanned copies ("scans"). This article highlights problematic issues existing approaches and proposes solution capturing actors...
При создании, поддержке и эксплуатации больших баз знаний интеллектуальных систем не всегда в полной мере учитывается объем ресурсов, необходимый для их функционирования. В результате процессы работы с базами знаний, частности, выяснение истинности гипотез, оказываются весьма ресурсозатратными. Усовершенствование алгоритмов логического вывода позволяет повысить эффективность продукционного типа. Примером служит подход релевантного обратного (LP-вывод), существенно уменьшающий число обращений...
Алгебраическая теория LP-структур предназначена для моделирования и оптимизации продукционных подобных им систем в информатике. Одна из областей ее применения – интеллектуальные системы, основанные на правилах форме продукций. В предыдущих исследованиях авторами получены результаты, позволяющие обосновывать автоматизировать решение ряда задач систем: эквивалентные преобразования, устранение избыточности, верификация, ускорение обратного вывода. настоящей работе вводится исследуется...