default search action
15. EUROCAST 2015: Las Palmas de Gran Canaria, Canary Islands, Spain
- Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
:
Computer Aided Systems Theory - EUROCAST 2015 - 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9520, Springer 2015, ISBN 978-3-319-27339-6
Systems Theory and Applications
- Vladimír Kucera
Which State Feedback Control Laws will not Alter the System's Transfer Function? 3-9 - Sara D. Cardell, Amparo Fúster-Sabater:
A Simple Linearisation of the Self-shrinking Generator. 10-17 - Cestmír Halbich, Václav Vostrovský
Systems Theory and Model of Diversification in Building of Information Systems. 18-24 - Pavol Bisták
Time Sub-Optimal Control of Triple Integrator Applied to Real Three-Tank Hydraulic System. 25-32 - Miluse Tichavska, Francisco J. Cabrera Almeida
Use of the Automatic Identification System in Academic Research. 33-40 - Jozef Kostolny
Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives. 41-48 - Peter Tapák
Identification of First Order Plants by Relay Feedback with Non-symmetrical Oscillations. 49-56 - Francisco Martín-Fernández, Pino Caballero-Gil
Managing Certificate Revocation in VANETs Using Hash Trees and Query Frequencies. 57-63 - Mikulás Huba
Constrained Pole Assignment Control for a 2nd Order Oscillatory System. 64-71 - Czeslaw Smutnicki, Wojciech Bozejko
Parallel and Distributed Metaheuristics. 72-79 - Monica J. Ruiz-Miró, Margaret Miró-Julià
Dynamic Similarity and Distance Measures Based on Quantiles. 80-87 - Gabriel de Blasio
Eulerian Numbers Weigths in Distributed Computing Nets. 88-94 - Tomás Huba, Mikulás Huba
Autonomous Paracopter Control Design. 95-102 - Arminda Moreno-Díaz
A Class of 3-D Distributed Modular Computing Nets. 103-109 - Lucia Carrion Gordon, Zenon Chaczko, Germano Resconi:
Standardized Mapping Model for Heritage Preservation and Serendipity in Cloud. 110-117 - Jan Nikodem:
Structuring the Model of Complex System Using Parallel Computing Techniques. 118-125 - Markus Schwaninger:
The Evolution of Models: Uncovering the Path of Model Improvement. 126-132
Modelling Biological Systems
- Marco Abundo, Mario Abundo:
Some Remarks on First-Passage Times for Integrated Gauss-Markov Processes. 135-142 - Giuseppina Albano, Cira Perna
A Sequential Test for Evaluating Air Quality. 143-149 - Paul Cull:
Population Models and Enveloping. 150-157 - Antonio Di Crescenzo
Fractional Growth Process with Two Kinds of Jumps. 158-165 - Giuseppe D'Onofrio
Towards Stochastic Modeling of Neuronal Interspike Intervals Including a Time-Varying Input Signal. 166-173 - Virginia Giorno, Serena Spina
A Cancer Dynamics Model for an Intermittent Treatment Involving Reduction of Tumor Size and Rise of Growth Rate. 174-182 - Amelia G. Nobile
On Time Non-homogeneous Feller-Type Diffusion Process in Neuronal Modeling. 183-191
Intelligent Information Processing
- Abraham Rodríguez-Rodríguez
A Practical Experience on Reusing Problem-Solving Methods for Assessment Tasks. 195-202 - Alexander Uherek, Sonja Maier
Requirements for Long-Term Preservation of Digital Videos and First Experiments with an XMT-Based Approach. 203-210 - Bernhard Freudenthaler, Reinhard Stumptner:
Adaptive Flood Forecasting for Small Catchment Areas. 211-218 - Andreea Buga
A Scalable Monitoring Solution for Large-Scale Distributed Systems. 219-227 - Stephan Dreiseitl, Andreas Vieider, Christoph Larch:
Using Smart Grid Data to Predict Next-Day Energy Consumption and Photovoltaic Production. 228-235 - Laura M. Castro
Sitting Property-Based Testing at the Desktop. 236-243 - Tania Nemes:
Adaptation Engine for Large-Scale Distributed Systems. 244-251
Theory and Applications of Metaheuristic Algorithms
- Eduardo Lalla-Ruiz
A Multi-stage Approach Aimed at Optimizing the Transshipment of Containers in a Maritime Container Terminal. 255-262 - Israel López-Plata, Christopher Expósito Izquierdo
A Greedy Randomized Adaptive Search Procedure for Solving the Uncapacitated Plant Cycle Problem. 263-270 - Christian Schauer, Günther R. Raidl:
On the Comparison of Decoding Strategies for a Memetic Algorithm for the Multi Layer Hierarchical Ring Network Design Problem. 271-278 - Dennis Weyland:
Metaheuristics and Cloud Computing: A Case Study on the Probabilistic Traveling Salesman Problem with Deadlines. 279-285 - Johannes Karder, Andreas Scheibenpflug, Stefan Wagner
Optimizing Set-Up Times Using the HeuristicLab Optimization Environment. 286-293 - Kenneth Sörensen
The Bike Request Scheduling Problem. 294-301 - Susanne Schaller, Johannes Weinberger, Raúl Jiménez-Heredia, Martin Danzer, Stephan M. Winkler
Classification of the States of Human Adaptive Immune Systems by Analyzing Immunoglobulin and T Cell Receptors Using ImmunExplorer. 302-309 - Daniela Borgmann, Sandra Mayr, Helene Polin, Lisa Obritzberger, Susanne Schaller, Viktoria Dorfer
Classifying Human Blood Samples Using Characteristics of Single Molecules and Cell Structures on Microscopy Images. 310-317 - Lisa Obritzberger, Daniela Borgmann, Susanne Schaller, Viktoria Dorfer
Prediction of Stem Cell Differentiation in Human Amniotic Membrane Images Using Machine Learning. 318-325 - Stephan M. Winkler
Dynamics of Predictability and Variable Influences Identified in Financial Data Using Sliding Window Machine Learning. 326-333 - Judith Fechter, Andreas Beham
Modeling a Lot-Aware Slab Stack Shuffling Problem. 334-341 - Christoph Weiler, Benjamin Biesinger, Bin Hu
Heuristic Approaches for the Probabilistic Traveling Salesman Problem. 342-349 - Michael Affenzeller
Increasing the Sensitivity of Cancer Predictors Using Confidence Based Ensemble Modeling. 350-358 - Andreas Beham
Optimization Strategies for Integrated Knapsack and Traveling Salesman Problems. 359-366 - Bogdan Burlacu
On the Effectiveness of Genetic Operations in Symbolic Regression. 367-374 - Erik Pitzer, Gabriel Kronberger
Smooth Symbolic Regression: Transformation of Symbolic Regression into a Real-Valued Optimization Problem. 375-383 - Frederico Dusberger, Günther R. Raidl:
A Scalable Approach for the K-Staged Two-Dimensional Cutting Stock Problem with Variable Sheet Size. 384-392 - Andreas Scheibenpflug, Stefan Wagner
Diversity-Based Offspring Selection Criteria for Genetic Algorithms. 393-400 - David Markvica, Christian Schauer, Günther R. Raidl:
CPU Versus GPU Parallelization of an Ant Colony Optimization for the Longest Common Subsequence Problem. 401-408 - Michael Kommenda
Complexity Measures for Multi-objective Symbolic Regression. 409-416 - Gabriel Kronberger
Using Contextual Information in Sequential Search for Grammatical Optimization Problems. 417-424 - Christopher Bacher, Günther R. Raidl, Thorsten Krenek:
A New Type of Metamodel for Longitudinal Dynamics Optimization of Hybrid Electric Vehicles. 425-432 - Stefan Wagner
Automatic Adaption of Operator Probabilities in Genetic Algorithms with Offspring Selection. 433-438 - Christian Kloimüllner, Petrina Papazek, Bin Hu
A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems. 439-446
Computer Methods, Virtual Reality and Image Processing for Clinical and Academic Medicine
- Andreas Attenberger, Klaus Buchenrieder
MATLAB/Simulink-Supported EMG Classification on the Raspberry Pi. 449-456 - Andrzej Wytyczak-Partyka, Jan Nikodem, Ryszard Klempous
Applicability of Patient-Specific Simulation. 457-462 - Jan Nikodem, Andrzej Wytyczak-Partyka, Ryszard Klempous
Application of Image Processing and Virtual Reality Technologies in Simulation of Laparoscopic Procedures. 463-470 - Ewa Szlachcic, Ryszard Klempous
Differential Evolution Multi-objective Optimisation for Chemotherapy Treatment Planning. 471-478 - María Luisa Sánchez Brea
Automatic Selection of Video Frames for Hyperemia Grading. 479-486 - Ana González-López, Beatriz Remeseiro
A Texture-Based Method for Choroid Segmentation in Retinal EDI-OCT Images. 487-493 - Miguel Alemán-Flores
Analysis of Global and Local Intensity Distributions for the Segmentation of Computed Tomography Images. 494-501 - Paulo J. Cordeiro, Pedro Assuncao
Complexity Analysis of HEVC Decoding for Multi-core Platforms. 502-509
Signals and Systems in Electronics
- Alexander Melzer, Alexander Onic, Mario Huemer:
On the Sensitivity Degradation Caused by Short-Range Leakage in FMCW Radar Systems. 513-520 - Michael Lunglmayr, Mario Huemer:
Parameter Optimization for Step-Adaptive Approximate Least Squares. 521-528 - Werner Haselmayr, Andreas Springer
Extrinsic LLR Computation by the SISO LMMSE Detector: Four Different Approaches. 529-536 - Oliver Lang
CWCU LMMSE Estimation Under Linear Model Assumptions. 537-545 - Mario Jungwirth, Daniel Hofinger, Alexander Eder, Günter Ritzberger:
Model Based Design of Inductive Components - A Comparision Between Measurement and Simulation. 546-551
Model-Based System Design, Verification and Simulation
- Jan Fiedor, Zdenek Letko, João Lourenço
Dynamic Validation of Contracts in Concurrent Code. 555-564 - Roxana-Maria Holom
Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation. 565-572 - Tomasz Jankowski, Marek A. Bawiec, Maciej Nikodem
Modeling Accuracy of Indoor Localization Systems. 573-580 - László Horváth, Imre J. Rudas:
Request Driven Generation of RFLP Elements at Product Definition. 581-588 - Klaus Stadlbauer, Georg Meyer
Modeling of a High Voltage Ignition Coil with Nonlinear Magnetic Behavior. 589-596 - Anna Czemplik:
Simple Models of Central Heating System with Heat Exchangers in the Quasi-static Conditions. 597-604 - Lukás Charvát, Ales Smrcka, Tomás Vojnar
Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems. 605-614
Digital Signal Processing Methods and Applications
- Bernd Steinbach, Christian Posthoff:
Evaluation and Optimization of GPU Based Unate Covering Algorithms. 617-624 - Claudio Moraga:
On the Complexity of Rules for the Classification of Patterns. 625-631 - Radomir S. Stankovic, Jaakko T. Astola
Remarks on Characterization of Bent Functions in Terms of Gibbs Dyadic Derivatives. 632-639 - Corneliu Rusu
The Extended 1-D (One-Dimensional) Discrete Phase Retrieval Problem. 640-647 - Silvester Sadjina, Patrick A. Hölzl, Bernhard G. Zagar
Statistically Characterizing Void Density by Ultrasonic Speckles. 648-654 - Lacrimioara Grama
The Quantization Effect on Audio Signals for Wildlife Intruder Detection Systems. 655-662 - Reinhard Stumptner, Christian Lettner, Bernhard Freudenthaler:
Combining Relational and NoSQL Database Systems for Processing Sensor Data in Disaster Management. 663-670
Modelling and Control of Robots
- Matthias Jörgl, Hubert Gattringer, Andreas Müller:
An Almost Time Optimal Route Planning Method for Complex Manufacturing Topologies. 673-680 - Ignacy Duleba
Serre-Frenet Frame in n-dimensions at Regular and Minimally Singular Points. 681-688 - Hubert Gattringer, Klemens Springer, Andreas Müller, Matthias Jörgl:
An Efficient Method for the Dynamical Modeling of Serial Elastic Link/Joint Robots. 689-697 - Herbert Parzer, Hubert Gattringer, Matthias Neubauer, Andreas Müller, Ronald Naderer:
On Impact Behavior of Force Controlled Robots in Environments with Varying Contact Stiffness. 698-705 - A. Martínez-Romero, Alexis Quesada-Arencibia
A Robotic Platform Prototype for Telepresence Sessions. 706-713 - Daniel Hernández, Leonhard Adler, Ryan N. Smith, Mike Eichhorn
Ocean Glider Path Planning Based on Automatic Structure Detection and Tracking. 714-719
Mobile Platforms, Autonomous and Computing Traffic Systems
- Stefan Diewald, Barbara Geilhof, Monika Siegrist, Patrick Lindemann
Mobile AgeCI: Potential Challenges in the Development and Evaluation of Mobile Applications for Elderly People. 723-730 - Muhammad Muaaz
Cross Pocket Gait Authentication Using Mobile Phone Based Accelerometer Sensor. 731-738 - Abdulla Al-Kaff, Arturo de la Escalera
SIFT and SURF Performance Evaluation and the Effect of FREAK Descriptor in the Context of Visual Odometry for Unmanned Aerial Vehicles. 739-747 - C. H. Rodríguez-Garavito, J. Carmona-Fernández, Arturo de la Escalera
Stereo Road Detection Based on Ground Plane. 748-755 - Mehmet Ali Silgu
Clustering Traffic Flow Patterns by Fuzzy C-Means Method: Some Preliminary Findings. 756-764 - Samuel Romero Santana, Javier J. Sánchez Medina
Platoon Driving Intelligence. A Survey. 765-772 - Samuel Romero Santana, Javier J. Sánchez Medina
How to Simulate Traffic with SUMO. 773-778
Cloud and Other Computation Systems
- Teresa Cristóbal, José J. Lorenzo, Carmelo R. García:
Using Data Mining to Improve the Public Transport in Gran Canaria Island. 781-788 - Simona Mancini
A New Large Neighborhood Search Based Matheuristic Framework for Rich Vehicle Routing Problems. 789-796 - Francisca Quintana-Dominguez
A Cloud Architecture Approximation to Collaborative Environments for Image Analysis Applications. 797-804 - Jerzy Kotowski, Jacek Oko, Mariusz Ochla:
Deployment Models and Optimization Procedures in Cloud Computing. 805-812 - Walter Zajicek:
A Model for Intelligent Treatment of Floodwaters. 813-821 - Andrzej Stachno, Andrzej Jablonski:
Hybrid Method for Forecasting Next Values of Time Series for Intelligent Building Control. 822-829
Marine Sensors and Manipulators
- Andrea Sorbara, Marco Bibuli
Low-Cost Plug-and-Play Optical Sensing Technology for USVs' Collision Avoidance. 833-840 - Gianluca Palli
Experimental Evaluation of Sealing Materials in 6-Axis Force/Torque Sensors for Underwater Applications. 841-852 - Ales Zamuda
Underwater Glider Path Planning and Population Size Reduction in Differential Evolution. 853-860 - Wojciech Bozejko
On Underwater Vehicle Routing Problem. 861-868 - Enrica Zereik
Belief Space Planning for an Underwater Floating Manipulator. 869-876 - Marc Carreras, Arnau Carrera, Narcís Palomeras
Intervention Payload for Valve Turning with an AUV. 877-884
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.
last updated on 2024-11-18 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: