


default search action
16. EUROCAST 2017: Las Palmas de Gran Canaria, Canary Islands, Spain
- Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia:
Computer Aided Systems Theory - EUROCAST 2017 - 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II. Lecture Notes in Computer Science 10672, Springer 2018, ISBN 978-3-319-74726-2
Stochastic Models and Applications to Natural, Social and Technical Systems
- Giacomo Ascione, Enrica Pirozzi:
On Fractional Stochastic Modeling of Neuronal Activity Including Memory Effects. 3-11 - Giuseppina Albano, Michele La Rocca, Cira Perna
:
On the Imputation of Missing Values in Univariate PM_10 P M 10 Time Series. 12-19 - Alexander I. Zeifman, Alexander Sipin, Victor Korolev
, Galina Shilova, Ksenia Kiseleva, Anna Korotysheva, Yacov Satin
:
On Sharp Bounds on the Rate of Convergence for Finite Continuous-Time Markovian Queueing Models. 20-28 - Virginia Giorno, Amelia G. Nobile
:
A Random Tandem Network with Queues Modeled as Birth-Death Processes. 29-37 - Milan Ceska Jr., Milan Ceska, Nicola Paoletti
:
Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. 38-46 - Giuseppina Albano, Virginia Giorno, Patricia Román-Román
, Francisco Torres-Ruiz
:
On a Non-homogeneous Gompertz-Type Diffusion Process: Inference and First Passage Time. 47-54 - Muhammad Sheraz
, Vasile Preda
, Silvia Dedu
:
Tsallis and Kaniadakis Entropy Measures for Risk Neutral Densities. 55-63 - Virginia Giorno, Serena Spina
:
A Note on Diffusion Processes with Jumps. 64-71 - Marco Abundo, Mario Abundo:
Some Remarks on the Mean of the Running Maximum of Integrated Gauss-Markov Processes and Their First-Passage Times. 72-79 - Antonio Di Crescenzo
, Barbara Martinucci, Julio Mulero
:
Applications of the Quantile-Based Probabilistic Mean Value Theorem to Distorted Distributions. 80-87
Model-Based System Design, Verification and Simulation
- Peter Tapák
, Mikulás Huba
:
One Degree of Freedom Copter. 91-98 - Bohuslav Krena
, Hana Pluhácková, Shmuel Ur, Tomás Vojnar
:
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. 99-108 - Lenka Turonová, Lukás Holík
:
Towards Smaller Invariants for Proving Coverability. 109-116 - Ignacy Duleba
, Iwona Karcz-Duleba:
Simplifying Some Characteristics of Manipulators Based on Features of Their Models. 117-125 - Atsushi Ito, Yuko Hiramatsu, Hiroyuki Hatano, Mie Sato, Akira Sasaki, Fumihiro Sato, Yu Watanabe:
A Study of Design Model for IoT System. 126-133 - Tomás Richta, Hao Wang
, Ottar L. Osen, Arne Styve, Vladimír Janousek
:
Data-Driven Maritime Processes Management Using Executable Models. 134-141 - Andrzej Stachno:
The Neural System of Monitoring and Evaluating the Parameters of the Elements of an Intelligent Building. 142-150 - Yuya Kiryu, Atsushi Ito, Takehiko Kasahara, Hiroyuki Hatano, Masahiro Fujii:
A Study of Precedent Retrieval System for Civil Trial. 151-158
Applications of Signal Processing Technology
- Andreas Gebhard
, Michael Lunglmayr
, Mario Huemer:
Investigations on Sparse System Identification with l_0 l 0 -LMS, Zero-Attracting LMS and Linearized Bregman Iterations. 161-169 - Andreas Gaich
, Mario Huemer:
Influence of MEMS Microphone Imperfections on the Performance of First-Order Adaptive Differential Microphone Arrays. 170-178 - Carl Böck
, Michael Lunglmayr
, Christoph Mahringer, Christoph Mörtl, Jens Meier, Mario Huemer:
Global Decision Making for Wavelet Based ECG Segmentation. 179-186 - Gergo Bognar
, Sándor Fridli:
Heartbeat Classification of ECG Signals Using Rational Function Systems. 187-195 - Péter Kovács
:
Rational Variable Projection Methods in ECG Signal Processing. 196-203 - Werner Haselmayr, Andreas Grimmer, Robert Wille:
Stochastic Computing Using Droplet-Based Microfluidics. 204-211 - Simon Merschak
, Mario Jungwirth, Daniel Hofinger, Alexander Eder, Günter Ritzberger:
Determination of Parasitic Capacitances in Inductive Components - A Comparison Between Analytic Calculation Methods and FEM-Simulation. 212-218 - Benjamin Schubert
, Mauro Palo
, Thomas Schlechter
:
Review of UHF-Based Signal Processing Approaches for Partial Discharge Detection. 219-226
Algebraic and Combinatorial Methods in Signal and Pattern Analysis
- Radomir S. Stankovic, Jaakko Astola, Claudio Moraga:
Gibbs Dyadic Differentiation on Groups - Evolution of the Concept. 229-237 - Bernd Steinbach, Christian Posthoff:
A Three-Level Hierarchy of Models for Lattices of Boolean Functions. 238-245 - Ferenc Weisz:
The Inverse of the Continuous Wavelet Transform. 246-253 - Claudio Moraga, Radomir S. Stankovic:
The Reed-Muller-Fourier Transform Applied to Pattern Analysis. 254-261 - Milena Stankovic, Claudio Moraga, Radomir S. Stankovic:
Some Spectral Invariant Operations for Functions with Disjoint Products in the Polynomial Form. 262-269
Computer Vision, Deep learning and Applications
- César Domínguez
, Manuel García-Dominguez
, Jónathan Heras, Adrián Inés, Eloy J. Mata
, Vico Pascual:
DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms. 273-280 - Manuel Lopez-Antequera, Javier González Jiménez, Nicolai Petkov:
Evaluation of Whole-Image Descriptors for Metric Localization. 281-288 - Miguel Alemán-Flores, Rafael Alemán-Flores:
Filtering and Segmentation of Retinal OCT Images. 289-296 - Estefanía Talavera
, Petia Radeva, Nicolai Petkov:
Towards Egocentric Sentiment Analysis. 297-305 - Joaquim de Moura
, Jorge Novo
, Marcos Ortega
, Noelia Barreira
, Manuel G. Penedo
:
Interactive Three-Dimensional Visualization System of the Vascular Structure in OCT Retinal Images. 306-313 - Aline Dobrovsky, Cezary W. Wilczak, Paul Hahn, Marko Hofmann, Uwe M. Borghoff
:
Deep Reinforcement Learning in Serious Games: Analysis and Design of Deep Neural Network Architectures. 314-321 - Pedro A. Marín-Reyes, Javier Lorenzo-Navarro
, Modesto Castrillón Santana
, Elena Sánchez-Nielsen
:
Who is Really Talking? A Visual-Based Speaker Diarization Strategy. 322-329 - Alejandro Cartas
, Mariella Dimiccoli, Petia Radeva:
Detecting Hands in Egocentric Videos: Towards Action Recognition. 330-338 - Eduardo Aguilar
, Marc Bolaños, Petia Radeva:
Exploring Food Detection Using CNNs. 339-347
Computer and Systems Based Methods and Electronic Technologies in Medicine
- Peter Hegen, Klaus Buchenrieder
:
An Advanced Hardware Platform for Modern Hand-Prostheses. 351-358 - Andreas Attenberger, Slawomir Wojciechowski:
A Real-Time Classification System for Upper Limb Prosthesis Control in MATLAB. 359-365 - Zenon Chaczko, Lucia Carrion Gordon, Wojciech Bozejko
:
The Metamodel of Heritage Preservation for Medical Big Data. 366-371 - Ryszard Klempous
, Jerzy W. Rozenblit, Konrad Kluwak
, Jan Nikodem, Dariusz Patkowski
, Sylwester Gerus, Mateusz Palczewski
, Zdzislaw Kielbowicz, Andrzej Wytyczak-Partyka:
Our Early Experience Concerning an Assessment of Laparoscopy Training Systems. 372-379 - Jan Nikodem, Pawel Szczesny, Konrad Kluwak
:
Developing Adaptive Visual Communication Interface to Improve Rehabilitation Services. 380-385 - Ewa Szlachcic, Ryszard Klempous
:
Performance Assessment of Optimal Chemotherapy Strategies for Cancer Treatment Planning. 386-393
Intelligent Transportation Systems and Smart Mobility
- Jusuf Çapalar, Aleksander Nemec, Christoph Zahradnik, Cristina Olaverri-Monreal
:
Optimization of Passenger Distribution at Metro Stations Through a Guidance System. 397-404 - Arman Allamehzadeh, Mohammad S. Aminian, Mehran Mostaed, Cristina Olaverri-Monreal
:
Automatic Vehicle Counting Approach Through Computer Vision for Traffic Management. 405-412 - Mehran Mostaed, Khaled Aldabas, Cristina Olaverri-Monreal
:
V2V Communication System to Increase Driver Awareness of Emergency Vehicles. 413-418 - Mohammad S. Aminian, Arman Allamehzadeh, Mehran Mostaed, Cristina Olaverri-Monreal
:
Cost-Efficient Traffic Sign Detection Relying on Smart Mobile Devices. 419-426 - Carlos Guindel
, David Martín
, José María Armingol:
Stereo Vision-Based Convolutional Networks for Object Detection in Driving Environments. 427-434 - Aitor del Pino Saavedra Hernández, Javier J. Sánchez Medina
, Luís Moreira-Matias:
A Simple Classification Approach to Traffic Flow State Estimation. 435-439 - Samuel Romero Santana, Javier J. Sánchez Medina
, David Sánchez-Rodríguez, Itziar G. Alonso-González
:
SUMO Performance Comparative Analysis of SUMO's Speed Using Different Programming Languages. 440-445 - Ray Lattarulo
, Mauricio Marcano
, Joshué Pérez:
Overtaking Maneuver for Automated Driving Using Virtual Environments. 446-453 - Christian Backfrieder, Manuel Lindorfer, Christoph F. Mecklenbräuker, Gerald Ostermayer:
Effects of Cooperative Lane-Change Behavior on Vehicular Traffic Flow. 454-461 - Mohd Sadat
, Ismail M. Abuamer, Mehmet Ali Silgu
, Hilmi Berk Celikoglu:
A Comparative Performance Analysis of Variable Speed Limit Systems Control Methods Using Microsimulation: A Case Study on D100 Freeway, Istanbul. 462-469 - Elena Mora, Zacarías Grande, Enrique F. Castillo:
Bayesian Networks Probabilistic Safety Analysis of Highways and Roads. 470-476

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.