Art of graph drawing and art.
Automatické formování hypotéz metodou GUHA - teorie a aplikace
Basic education of CAD/CAM through multimedia and network aid.
bdim: the Italian Digital Mathematical Library
We present bdim (Bibliteca Digitale Italiana di Matematica) the Italian project of math digitization. The project has been started by SIMAI (Società Italiana di Matematica Applicata e Industriale) and UMI (Unione Matematica Italiana) with initial support from the Biblioteca Digitale Italiana and the Italian Ministry of Beni and Attività Culturali and with the help of Numdam. At the moment bdim consists of approximately 1,300 articles, 11,000 pages (articles from Bollettino Unione Matematica Italiana,...
Biomolecular nonlinear dynamic mechanisms as a foundation for human traits of information processing machine.
Boundaries in digital planes.
Can cybernetics contribute to the study of computer development?
Chaos and geometric order in architecture and design.
Computer identification of plane regions
This paper gives a simple algorithm for the identification of the insidedness and the autsidedness of a plane bounded region. The region can be the union, intersection or difference of an arbitrary number of -tuple connected regions.
Computing the Geodesic Center of a Simple Polygon.
Computing with words and life data
The problem of statistical inference on the mean lifetime in the presence of vague data is considered. Situations with fuzzy lifetimes and an imprecise number of failures are discussed.
Concept-analytical data evaluation. (Begriffsanalytische Datenauswertung.)
Control of uncertain processes: applied theory and algorithms
Data Enhancements in a Digital Mathematical Library
The quality of digital mathematical library depends on the formats and quality of data it offers. We show several enhancements of (meta)data of the Czech Digital Mathematics Library DML-CZ. We discuss possible minimalist modification of regular LaTeX documents that would simplify generating basic metadata that describes the article in an XML/MathML format. We also show a proof of concept of a method that enables us to include LaTeX source code of mathematical expressions into pdfTeX-generated PDFs...
Designing a Semantic Ground Truth for Mathematical Formulae
We report on a new project to design a semantic ground truth set for mathematical document analysis. The ground truth set will be generated by annotating recognised mathematical symbols with respect to both their global meaning in the context of the considered documents and their local function within the particular mathematical formula they occur. The aim of our work is to have a reliable database available for semantic classification during the formula recognition process with the aim of enabling...
Developing a Metadata Exchange Format for Mathematical Literature
This paper describes an effort to develop a metadata element set for the exchange of descriptive metadata about mathematical literature. The approach taken uses the Dublin Core Application Profile (DCAP) framework, based on the DC Abstract Model. A fully developed DCAP for mathematical literature would be valuable, as both a guide and constraint in the creation of metadata records suitable for harvesting via OAI or sharing through other means. Adhering to the DCAP model would also enhance global...
Distributed task management by means of workflow atoms.
Dynamic systems with the nonzero initial conditions excited by the Dirac function
EuDML—Towards the European Digital Mathematics Library
The paper describes the background, the expected functionalities, and the architecture design goals of the European Digital Mathematics Library (Eu-DML), an infrastructure system aimed to integrate the mathematical contents available online throughout Europe, allowing for both extensive and specialized mathematics resource discovery. The three years long project to build the EuDML, partially funded by the European Commission, started in February 2010.
Evropská digitální matematická knihovna