Displaying 1021 – 1040 of 4973

Showing per page

Building a knowledge base for correspondence analysis.

M.ª Carmen Bravo Llatas (1994)

Qüestiió

This paper introduces a statistical strategy for Correspondence Analysis. A formal description of the choices, actions and decisions taken during data analysis is built. Rules and heuristics have been obtained from the application of this technique to real case studies.The strategy proposed checks suitability of certain types of data matrices for this analysis and also considers a guidance and interpretation of the application of this technique. Some algorithmic-like rules are presented and specific...

Building adaptive tests using Bayesian networks

Jiří Vomlel (2004)

Kybernetika

We propose a framework for building decision strategies using Bayesian network models and discuss its application to adaptive testing. Dynamic programming and A O algorithm are used to find optimal adaptive tests. The proposed A O algorithm is based on a new admissible heuristic function.

Building the Czech Digital Mathematics Library upon DSpace system

Krejčíř, Vlastimil (2008)

Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008

The paper describes the process of building the Czech Digital Mathematics Library (DML-CZ) upon DSpace System. At first, the DML-CZ will be briefly introduced. Then we will describe DSpace system and its architecture together with Manakin — a system for building user interface above DSpace. The first technical part of the paper will be about mapping DML-CZ structure onto DSpace structures and about our importing tools and the way of managing requested features which are not supported by the default...

C source code obfuscator

Lukáš Ďurfina, Dušan Kolář (2012)

Kybernetika

Obfuscation is a process that changes the code, but without any change to semantics. This process can be done on two levels. On the binary code level, where the instructions or control flow are modified, or on the source code level, where we can change only a structure of code to make it harder to read or we can make adjustments to reduce chance of successful reverse engineering.

C++ tools to construct our user-level language

Frédéric Hecht (2002)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

The aim of this paper is to present how to make a dedicaded computed language polymorphic and multi type, in C++to solve partial differential equations with the finite element method. The driving idea is to make the language as close as possible to the mathematical notation.

C++ Tools to construct our user-level language

Frédéric Hecht (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

The aim of this paper is to present how to make a dedicaded computed language polymorphic and multi type, in C++ to solve partial differential equations with the finite element method. The driving idea is to make the language as close as possible to the mathematical notation.

Calculations of graded ill-known sets

Masahiro Inuiguchi (2014)

Kybernetika

To represent a set whose members are known partially, the graded ill-known set is proposed. In this paper, we investigate calculations of function values of graded ill-known sets. Because a graded ill-known set is characterized by a possibility distribution in the power set, the calculations of function values of graded ill-known sets are based on the extension principle but generally complex. To reduce the complexity, lower and upper approximations of a given graded ill-known set are used at the...

Calculi of net structures and sets are similar

Ludwik Czaja (2008)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Three basic operations on labelled net structures are proposed: synchronised union, synchronised intersection and synchronised difference. The first of them is a version of known parallel composition with synchronised actions identically labelled. The operations work analogously to the ordinary union, intersection and difference on sets. It is shown that the universe of net structures with these operations is a distributive lattice and – if infinite pre/post sets of transitions are allowed – even...

Calculi of net structures and sets are similar

Ludwik Czaja (2007)

RAIRO - Theoretical Informatics and Applications

Three basic operations on labelled net structures are proposed: synchronised union, synchronised intersection and synchronised difference. The first of them is a version of known parallel composition with synchronised actions identically labelled. The operations work analogously to the ordinary union, intersection and difference on sets. It is shown that the universe of net structures with these operations is a distributive lattice and – if infinite pre/post sets of transitions are allowed – even...

Currently displaying 1021 – 1040 of 4973