Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

107

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319273396, 9783319273402

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Application of Image Processing and Virtual Reality Technologies in Simulation of Laparoscopic Procedures

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_58 ◽

2015 ◽

pp. 463-470 ◽

Cited By ~ 2

Author(s):

Jan Nikodem ◽

Andrzej Wytyczak-Partyka ◽

Ryszard Klempous

Keyword(s):

Image Processing ◽

Virtual Reality ◽

Laparoscopic Procedures

Download Full-text

Dynamic Validation of Contracts in Concurrent Code

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_69 ◽

2015 ◽

pp. 555-564 ◽

Cited By ~ 3

Author(s):

Jan Fiedor ◽

Zdeněk Letko ◽

João Lourenço ◽

Tomáš Vojnar

Download Full-text

Model Based Design of Inductive Components - A Comparision Between Measurement and Simulation

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_68 ◽

2015 ◽

pp. 546-551 ◽

Cited By ~ 1

Author(s):

Mario Jungwirth ◽

Daniel Hofinger ◽

Alexander Eder ◽

Günter Ritzberger

Keyword(s):

Model Based

Download Full-text

Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_6 ◽

2015 ◽

pp. 41-48 ◽

Cited By ~ 3

Author(s):

Jozef Kostolny ◽

Elena Zaitseva ◽

Suzana Stojković ◽

Radomir Stanković

Keyword(s):

Decision Diagrams ◽

Partial Logic

Download Full-text

A Practical Experience on Reusing Problem-Solving Methods for Assessment Tasks

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_25 ◽

2015 ◽

pp. 195-202

Author(s):

Abraham Rodríguez-Rodríguez ◽

Gilberto Martel-Rodríguez ◽

Miguel Márquez-Marfil ◽

Francisca Quintana-Domínguez

Keyword(s):

Problem Solving ◽

Practical Experience ◽

Assessment Tasks

Download Full-text

On Time Non-homogeneous Feller-Type Diffusion Process in Neuronal Modeling

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_24 ◽

2015 ◽

pp. 183-191

Author(s):

Amelia G. Nobile ◽

Enrica Pirozzi

Keyword(s):

Diffusion Process ◽

Neuronal Modeling

Download Full-text

Towards Stochastic Modeling of Neuronal Interspike Intervals Including a Time-Varying Input Signal

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_22 ◽

2015 ◽

pp. 166-173 ◽

Cited By ~ 2

Author(s):

Giuseppe D’Onofrio ◽

Enrica Pirozzi ◽

Marcelo O. Magnasco

Keyword(s):

Stochastic Modeling ◽

Input Signal ◽

Time Varying ◽

Interspike Intervals

Download Full-text

Structuring the Model of Complex System Using Parallel Computing Techniques

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_16 ◽

2015 ◽

pp. 118-125

Author(s):

Jan Nikodem

Keyword(s):

Complex System ◽

Parallel Computing

Download Full-text

Eulerian Numbers Weigths in Distributed Computing Nets

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_12 ◽

2015 ◽

pp. 88-94 ◽

Cited By ~ 1

Author(s):

Gabriel de Blasio ◽

Arminda Moreno-Díaz ◽

Roberto Moreno-Díaz

Keyword(s):

Distributed Computing ◽

Eulerian Numbers

Download Full-text

Which State Feedback Control Laws will not Alter the System’s Transfer Function?

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_1 ◽

2015 ◽

pp. 3-9

Author(s):

Vladimír Kučera

Keyword(s):

Feedback Control ◽

Transfer Function ◽

State Feedback ◽

State Feedback Control ◽

Control Laws

Download Full-text

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Application of Image Processing and Virtual Reality Technologies in Simulation of Laparoscopic Procedures

Dynamic Validation of Contracts in Concurrent Code

Model Based Design of Inductive Components - A Comparision Between Measurement and Simulation

Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives

A Practical Experience on Reusing Problem-Solving Methods for Assessment Tasks

On Time Non-homogeneous Feller-Type Diffusion Process in Neuronal Modeling

Towards Stochastic Modeling of Neuronal Interspike Intervals Including a Time-Varying Input Signal

Structuring the Model of Complex System Using Parallel Computing Techniques

Eulerian Numbers Weigths in Distributed Computing Nets

Which State Feedback Control Laws will not Alter the System’s Transfer Function?

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science
Latest Publications