G.1.6 Optimization | Article |
A COMPARISON OF SOME APPROACHES TO THE RECOGNITION PROBLEMS IN CASE OF TWO ... |
Abstract: We consider an improved model of the empirical risk minimization problem and its continuous
relaxation. The continuous relaxation of the formulated problem is compared with the mathematical |
C.2 COMPUTER-COMMUNICATION NETWORKS | Article |
A COMPREHENSIVE APPROACH AND USER-ORIENTED POLICY FOR MANAGING RISK AND SAFETY |
Abstract: A possible approach for more flexible and user-oriented risk assessment methodologies and creating
infrastructure for exchanging and processing spatial data in Europe is outlined in the pap |
I.2.6 Learning | Article |
A COMPUTER METHOD TO STUDY THE ENTIRETY OF STUDENTS’ KNOWLEDGE ACQUIRED DURING A |
Abstract: This paper considers the experimental research of measuring interconnections between the basic
concepts, acquired during completion of a course in Computer Architecture. A special computer |
F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY | Article |
A CONCEPT OF A MODEL OF A COMPUTER SYSTEM FOR FORMING COMPLEX UNITERMS |
Abstract: The existing methods of intuitive and mathematical methods of application of algorithms in
system are described. It is shown that in the existing formula editor of algebra of algorithms onl |
I.6 SIMULATION AND MODELING | Article |
A DNA CODIFICATION FOR GENETIC ALGORITHMS SIMULATION |
Abstract: In this paper we propose a model of encoding data into DNA strands so that this data can be used in
the simulation of a genetic algorithm based on molecular operations. DNA computing is an |
A.0 GENERAL | Article |
A FORMAL REPRESENTATION OF CONCEPT COMPOSITION |
Abstract: This paper centers on argument saturation in relational-noun compounds. We argue that these
compounds can be analyzed in terms of conceptual types, as introduced by [Löbner 1985, to appear |
H.4.2 Types of Systems | Article |
A GENERAL PURPOSE SOFTWARE SYSTEM FOR LINEAR OPTIMIZATION AND DECISION ... |
Abstract: The paper presents a general purpose software system for optimization and decision support, called
Optima-Plus. It consists of two independent parts LIOP-1 system and MKO-2.1 system. Opti |
H.4.2 Types of Systems | Article |
A GENERAL PURPOSE SOFTWARE SYSTEM FOR LINEAR OPTIMIZATION AND ... |
Abstract: The paper presents a general purpose software system for optimization and decision support, called
Optima-Plus. It consists of two independent parts _ LIOP-1 system and MKO-2.1 system. Opti |
F.4.1 Mathematical Logic | Article |
A GEOMETRICAL INTERPRETATION TO DEFINE CONTRADICTION |
Abstract: For inference purposes in both classical and fuzzy logic, neither the information itself should be
contradictory, nor should any of the items of available information contradict each other. |
I.6.5 Model Development | Article |
A GRAPH MODEL OF SHOCKED FINANCIAL SYSTEM |
Abstract: We applied mathematical modeling in order to understand the behavior of the banking system as a
network infrastructure. Based on graph modeling, we developed program modules for simulating |
D.1 PROGRAMMING TECHNIQUES | Article |
A HIERARCHICAL ARCHITECTURE WITH PARALLEL COMUNICATION ... |
Abstract: Membrane systems are computational equivalent to Turing machines. However, its distributed and
massively parallel nature obtain polynomial solutions opposite to traditional non-polynomial o |
I.2.5 Programming Languages and Software | Article |
A HYBRID INTELLIGENT CLASSIFIER FOR THE DIAGNOSIS OF PATHOLOGY ON THE ... |
Abstract: The use of Machine Learning (ML) techniques is already widespread in Medicine Diagnosis. The use of these techniques helps increasing the efficiency of human diagnostic, which is significant |
A.0 GENERAL | Article |
A JOINT GLOBAL AND LOCAL TONE MAPPING ALGORITHM FOR DISPLAYING WIDE DYNAMIC ... |
Abstract: In this paper, we introduce an efficient improved tone mapping algorithm that can be used for
displaying wide dynamic range (WDR) images on conventional display devices that are mainly of l |
F.2.m Miscellaneous | Article |
A LANGUAGE USING QUANTIFIERS FOR DESCRIPTION OF ASSERTIONS ABOUT ... |
Abstract: Mathematical models of N-finite (N 2) (especially for N= 216 typical for IBM-compatible personal computers) real, integer or Boolean valued computations are proposed in the frameworks of |
B.8.0 General | Article |
A LOG TOOL FOR SOFTWARE SYSTEMS ANALYSES |
Abstract: The article presents a new type of logs merging tool for multiple blade telecommunication systems
based on the development of a new approach. The introduction of the new logs merging tool ( |
I.2.3 Deduction and Theorem Proving | Article |
A MAMDANI-TYPE FUZZY INFERENCE SYSTEM TO AUTOMATICALLY ASSESS ... |
Abstract: In education it is very important for both users and teachers to know how much the student has learned. To accomplish this task, GRAPHs (the eMathTeacher-compliant tool that will be used to |
I.2.4 Knowledge Representation Formalisms and Methods | Article |
A MATHEMATICAL APPARATUS FOR DOMAIN ONTOLOGY SIMULATION. AN EXTENDABLE ... |
Abstract: A mathematical apparatus for domain ontology simulation will be described in the series of the articles.
This article is the first one of the series. The paper is devoted to means for repre |
I.2.4 Knowledge Representation Formalisms and Methods | Article |
A MATHEMATICAL APPARATUS FOR DOMAIN ONTOLOGY SIMULATION. LOGICAL ... |
Abstract: A mathematical apparatus for domain ontology simulation will be described in the series of the articles
The goal of this article is to define unenriched and enriched logical relationship sy |
I.2.4 Knowledge Representation Formalisms and Methods | Article |
A MATHEMATICAL APPARATUS FOR ONTOLOGY SIMULATION. SPECIALIZED EXTENSIONS OF ... |
Abstract: A mathematical apparatus for domain ontology simulation is described in the series of articles. This
article is the second one of the series. It describes a few specialized extensions of th |
I.2.1 Applications and Expert Systems | Article |
A METAONTOLOGY FOR MEDICAL DIAGNOSTICS OF ACUTE DISEASES. ... |
Abstract: This article is the final part of the formal description of the metaontology for medical diagnostics in the
language of applied logic. It contains a description of the causes of signs’ va |
I.2.1 Applications and Expert Systems | Article |
A METAONTOLOGY FOR MEDICAL DIAGNOSTICS OF ACUTE DISEASES. ... |
Abstract: The aim of this article is to describe formally a metaontology for medical diagnostics of acute diseases
in the language of applied logic. The article includes an informal description of th |
I.2.1 Applications and Expert Systems | Article |
A METAONTOLOGY FOR MEDICAL DIAGNOSTICS OF ACUTE DISEASES. PART 2. ... |
Abstract: This article is the continuation of the formal description of the metaontology for medical diagnostics in
the language of applied logic. It contains a description of interrelations between |