Konferenční příspěvky / Conference Papers (KIV) Collection home page

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 175
Skala, Václav
Critical Points Properties of Ordinary Differential Equations as a Projection of Implicit Functions Using Spatio-Temporal Taylor Expansion

This contribution describes a new approach to formulation of ODE and PDE critical points using implicit formulation as t-variant scalar function using the Taylor expansion. A general condition for the critical points is derived and specified for t invariant case. It is expected, th...

Skala, Václav
A novel, fast and robust triangular mesh reconstruction from a wire-frame 3D model with holes for CAD/CAM systems

This contribution presents a new approach to the 3D geometric model representation based on vertices and edges only, i.e. by the wire-frame data model, where no facet representation is needed, if the surface is formed by a triangular mesh.

Skala, Václav
Hermite Parametric Bicubic Patch Defined by the Tensor Product

Bicubic parametric plates are essential for many geometric applications, especially for CAD/CAM systems used in the automotive industry, mechanical and civil engineering applications. Usually the Hermite, B´ezier, Coons or NURBS plates are used. There is always a problem to explain how ...

De Falco, Ivanoe , Della Cioppa, Antonio , Koutný, Tomáš , Scafuri, Umberto , Tarantino, Ernesto , Úbl, Martin
Grammatical Evolution-Based Approach for Extracting Interpretable Glucose-Dynamics Models

The quality of life of diabetic patients can be enhanced by devising a personalized control algorithm, integrated within an artificial pancreas, capable of dosing the insulin. A key action in the building of this artificial device is to conceive an efficient algorithm for forecasti...

De Falco, Ivanoe , Della Cioppa, Antonio , Koutný, Tomáš , Scafuri, Umberto , Tarantino, Ernesto , Úbl, Martin
An Evolution-based Machine Learning Approach for Inducing Glucose Prediction Models

Within this paper a Grammatical Evolution algorithm is exploited to induce personalized and interpretable glucose forecasting models for diabetic patients based on the historical measurements of the glucose, the carbohydrates, and the injected insulin. A real-world data set of Type 1 diabeti...

Pozzobon, Enrico , Renner, Sebastian , Mottok, Jürgen , Matoušek, Václav
An optimized Bitsliced Masked Adder for ARM Thumb-2 Controllers

The modular addition is used as a non-linear operation in ARX ciphers because it achieves the requirement of introducing non-linearity in a cryptographic primitive while only taking one clock cycle to execute on most modern architectures. This makes ARX ciphers especially fast in s...

Přibáň, Pavel , Steinberger, Josef
Czech Dataset for Cross-lingual Subjectivity Classification

In this paper, we introduce a new Czech subjectivity dataset of 10k manually annotated subjective and objective sentences from movie reviews and descriptions. Our prime motivation is to provide a reliable dataset that can be used with the existing English dataset as a benchmark...

Otta, Maxmilián
Towards a health software supporting platform for wearable devices

The number of broadly available wearable devices like smart watches or fitness bands keeps growing, as well as their performance and number of provided features related to user’s health. This was the reason for our decision to bring the SmartCGMS (Smart Continuous Glucose Monitorin...

Mourycová, Eliška , Váša, Libor
Geometry Compression of Triangle Meshes using a Reference Shape

Triangle mesh compression is an established area, however, some of its special cases are yet to be investigated. This paper deals with lossy geometry compression of manifold triangle meshes based on the EdgeBreaker algorithm using a reference shape known to both the encoder and...

Lenc, Ladislav , Martínek, Jiří , Baloun, Josef , Prantl, Martin , Král, Pavel
Historical Map Toponym Extraction for Efficient Information Retrieval

The paper deals with detection, classification and recognition of toponyms in hand-drawn historical cadastral maps. Toponyms are local names of towns, villages and landscape features such as rivers, forests etc. The detected and recognized toponyms are utilized as keywords in an information&...

Skala, Václav , Černý, Matěj , Saleh, Josef Yassin
Simple and Efficient Acceleration of the Smallest Enclosing Ball for Large Data Sets in E2: Analysis and Comparative Results

Finding the smallest enclosing circle of the given points in E2 is a seemingly simple problem. However, already proposed algorithms have high memory requirements or require special solutions due to the great recursion depth or high computational complexity unacceptable for large data se...

Kohout, Josef , Červenka, Martin
Non-planar Surface Shape Reconstruction from a Point Cloud in the Context of Muscles Attachments Estimation

Knowledge of muscle attachments on bones is essential for musculoskeletal modelling. A muscle attachment is often represented by points (in 3D) obtained by a manual digitisation system during dissection. Although this representation suffices for many purposes, sophisticated musculoskeletal models comm...

Ekštein, Kamil
What Artificial Intelligence Can Do for You

Potužák, Tomáš
Current Trends in Road Traffic Network Division for Distributed or Parallel Road Traffic Simulation

There are many existing methods for road traffic network division based on various approaches. However, there is a lack of surveys mapping these methods. For this reason, this paper is a survey of existing methods for road traffic network division published in last two decades...

Mouček, Roman , Vařeka, Lukáš , Brůha, Petr , Šnejdar, Pavel , Horký, Michal , Herejková, Ivana
BrainIn: A Data-driven Software System for Neurorehabilitation of People with Acquired Brain Injuries

The current model of neurorehabilitation provides comprehensive care (neurologist, physiotherapist, occupational therapist, psychologist, speech therapist) in the acute phase of acquired brain injuries during hospitalization in some countries. However, follow-up care is insufficient or completely absent, especially&...

Skala, Václav
Conditionality of Linear Systems of Equation and Matrices Using Projective Geometric Algebra

A new approach to the matrix conditionality and the solvability of the linear systems of equations is presented. It is based on the application of the geometric algebra with the projective space representation using homogeneous coordinates representation.

Skala, Václav
Geometric Transformations and Tensor Product

This contribution describes new useful geometric transformations using the tensor product. The geometric transformations are used widely in many applications, especially in CAD/CAM systems, systems for Civil Engineering, computer graphics, virtual and augmented reality, etc. The basic geometric transf...

Přibáň, Pavel , Pražák, Ondřej , Taylor, Stephen
UWB@RuShiftEval Measuring Semantic Difference as per-word Variation in Aligned Semantic Spaces

We present our system for measuring the lexical semantic change between corpora pairs, developed for the RuShiftEval competition. We measure semantic changes in a list of test words between three different corpora (for each pair), pre-Soviet, Soviet, and post-Soviet, each from a differe...

Přibáň, Pavel , Šmíd, Jakub , Mištera, Adam , Král, Pavel
Linear Transformations for Cross-lingual Sentiment Analysis

This paper deals with cross-lingual sentiment analysis in Czech, English and French languages. We perform zero-shot cross-lingual classification using five linear transformations combined with LSTM and CNN based classifiers. We compare the performance of the individual transformations, and in addition...

Bartička, Vojtěch , Pražák, Ondřej , Konopík, Miloslav , Sido, Jakub
Evaluating Attribution Methods for Explainable NLP with Transformers

This paper describes the experimental evaluation of several attribution methods on two NLP tasks: Sentiment analysis and multi-label document classification. Our motivation is to find the best method to use with Transformers to interpret model decisions. For this purpose, we introduce two&#x...

Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 175