Mathematical foundations

The research related to this dissertation was supported by Vietnam National Foundation for Science and Technology Development (NAFOSTED) and Hanoi National University of Education.

136p elephantcarrot 02-07-2021 21 5   Download

The dissertation has four chapters: Chapter 1 - Background Materials; Chapter 2 - Analysis of an Algorithm in Indefinite Quadratic Programming; Chapter 3 - Qualitative Properties of the Minimum Sum-of-Squares Clustering Problem; Chapter 4 - Some Incremental Algorithms for the Clustering Problem.

142p armyofthedead 23-06-2021 33 3   Download

Objectives: The main objective of the dissertation is to research and develop fuzzy clustering techniques on remote sensing image data in order to improve accuracy and improve clustering quality of clustering algorithms.

162p armyofthedead 23-06-2021 27 4   Download

Research Aims: The thesis aims to develop deep neural networks for analyzing security data. These techniques improve the accuracy of machine learning-based models applied in NAD. Therefore, the thesis attempts to address the above challenging problems in NAD using models and techniques in deep neural networks. Specifically, the following problems are studied.

128p armyofthedead 23-06-2021 17 3   Download

The research objective: To study the methods used to modeling constraints and improve constraint solving capability. To apply symbolic execution technique in automatic test case generating. To implement proposed methods in automatic test case generating on string constraints and mixed constraints. To analyze and evaluate the obtained results.

27p extraenglish 24-05-2021 20 5   Download

The propose a new method aiming to adjust the TXOP parameter according to a dynamic mechanism that suits the priority of each data type from the existing limitations with TXOP parameter in IEEE 802.11 EDCA; the propose a novel fuzzy logic approach for enhancing the fairness of low priority data flows in IEEE 802.11 EDCA.

27p capheviahe27 23-02-2021 33 3   Download

This thesis aims to research on overview of automatic test case generating, symbolic execution applied into automatic test case generating. The modeling techniques based on Automata and Bitvector are also studied in this thesis. Apart from that, the analysis and evaluation of available test case generating methods on different constraint are mentioned. The quality and effectiveness of test cases generated by using symbolic execution are assessed.

27p capheviahe27 23-02-2021 45 4   Download

Research indexing method based on R-tree method to increase the efficiency of XPath queries on XML data, through intermediate data converted into numerical coordinates of tags; use the method of converting XML structured text data into numeric data that can be represented on 2-dimensional space (can be extended to many dimensions).

26p capheviahe26 25-01-2021 20 4   Download

Study methods of semantically expressing fuzzy concepts based the MF or other mathematical methods providing that they express the semantics of the most suitable concepts; studying methods of knowledge exploitation in general and fuzzy rules in particular; sesearch different data representations of information so that it can be exploited in ARs in a diverse and meaningful way.

26p capheviahe26 25-01-2021 19 4   Download

It is impossible to find an optimal algorithm that can reduce time and memory complexities with best detection performance. These aspects are always in conflict with each other. Thus, in each chapter, we will propose algorithms to solve each problem quite independently.

26p larachdumlanat129 20-01-2021 35 5   Download

Since data representation is one of the factors that affect the training and testing time, a compact and complete detector generation algorithm is investigated; the thesis investigates optimal algorithms to generate detector set in AIS; they help to reduce both training time and detecting time of AIS-based IDSs.

103p larachdumlanat129 20-01-2021 20 4   Download

The induction hypotheses Application to endoscopic and stable expansions Cancellation of p-adic singularities Separation by infinitesimal character Elimination of restrictions on f Local trace formulas Local Theorem 1 Weak approximation Global Theorems 1 and 2 10. Concluding remarks Introduction This paper is the last of three articles designed to stabilize the trace formula. Our goal is to stabilize the global trace formula for a general connected group, subject to a condition on the fundamental lemma that has been established in some special cases.

106p tuanloccuoi 04-01-2013 68 7   Download

S là một Hausdorff tại địa phương-nửa nhóm topo nhỏ gọn, và M (S) là các đại số Banach của tất cả các biện pháp Borel thường xuyên bị giới hạn S. Hãy Ma (S) là không gian của tất cả các biện pháp μ ∈ M (S) như vậy mà cả hai bản đồ x → δx * | μ | và x → μ * δx từ S vào M (S) là yếu liên tục.

9p phalinh21 01-09-2011 54 4   Download

Solid modeling (or modelling) is a consistent set of principles for mathematical and computer modeling of three dimensional solids. Solid modeling is distinguished from related areas of Geometric modeling and Computer graphics by its emphasis on physical fidelity [1]. Together, the principles of geometric and solid modeling form the foundation of Computer-aided design and in general support the creation, exchange, visualization, animation, interrogation, and annotation of digital models of physical objects....

19p xuanchienhui 12-05-2010 114 21   Download