A verified computational technique to locate chaotic regions of a Hénon system [abstract] /

QR kód

A verified computational technique to locate chaotic regions of a Hénon system [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Bánhelyi Balázs
Testületi szerző:	Conference of PhD students in computer science (4.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2004
Sorozat:	Conference of PhD Students in Computer Science 4
Kulcsszavak:	Számítástechnika - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59734

Hasonló tételek

A verified optimization technique to locate chaotic regions of Hénon systems
Szerző: Csendes Tibor, et al.
Megjelent: (2006)

Investigation of a delayed differential equation with verified computing technique [abstract] /
Szerző: Bánhelyi Balázs
Megjelent: (2006)

An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
Szerző: Lévai Balázs László, et al.
Megjelent: (2013)

Extending a system with verified components [abstract] /
Szerző: Dávid Ákos, et al.
Megjelent: (2006)

Verified interval enclosure techniques for robust gain scheduling controllers
Szerző: Kersten Julia, et al.
Megjelent: (2020)

Towards verifiable design patterns [abstract] /
Szerző: Petri Dániel
Megjelent: (2002)

Optimizing object location in mobile distributed object systems [abstract] /
Szerző: Gesztesi Gábor
Megjelent: (2000)

Computing maximum valued regions
Szerző: Woeginger Gerhard J.
Megjelent: (1992)

Verified mobile code repository in the intelligent space [abstract] /
Szerző: Tejfel Máté, et al.
Megjelent: (2008)

Revealing of location in IP mobility networks [abstract] /
Szerző: Zömbik László
Megjelent: (2004)

Robust facility location in reverse logistics
Szerző: Egri Péter, et al.
Megjelent: (2023)

Verified integration of differential equations with discrete delay
Szerző: Rauh Andreas, et al.
Megjelent: (2022)

Verified localization of trajectories with prescribed behaviour in the forced damped pendulum
Szerző: Lévai Balázs László
Megjelent: (2012)

Preprocessing of unconstrained nonlinear optimization problems by symbolic computation techniques
Szerző: Antal Elvira, et al.
Megjelent: (2012)

Computer assisted image processing and navigation system for orthopedic-trauma surgery [abstract] /
Szerző: Ollé Krisztián, et al.
Megjelent: (2004)

On solving a Huff-type facility location and design problem [abstract] /
Szerző: Tóth Boglárka, et al.
Megjelent: (2004)

A parallel interval arithmetic-based reliable computing method on a GPU
Szerző: Bagóczki Zsolt, et al.
Megjelent: (2017)

Dependability modeling of fault-tolerant systems using aspect-oriented modeling techniques [abstract] /
Szerző: Domokos Péter, et al.
Megjelent: (2004)

Probability model for non-homogeneous multiprogramming computer system
Szerző: Sztrik János
Megjelent: (1983)

Definition of global properties of distributed computer systems by the analysis of system components method
Szerző: Just J. R.
Megjelent: (1982)

Application of computer techniques to the optimalization of cardiac insufficiency therapy
Szerző: Bogdanik Tadeusz, et al.
Megjelent: (1978)

Portal building techniques trade-offs and design : [abstract] /
Szerző: Bogárdi-Mészöly Ágnes
Megjelent: (2004)

A probability model for priority processor-shared multiprogrammed computer systems
Szerző: Sztrik János
Megjelent: (1986)

Verified solution to optimal control problems of elastic rod motion based on the Ritz method
Szerző: Kostin Georgy
Megjelent: (2020)

From verified parameter identification to the design of interval observers and cooperativity-preserving controllers an experimental case study /
Szerző: Rauh Andreas, et al.
Megjelent: (2020)

Location-aware Task Allocation Strategies for IoT-Fog-Cloud Environments
Szerző: Márkus András, et al.
Megjelent: (2021)

Computer-assisted existence proofs for one-dimensional Schrödinger-poisson systems
Szerző: Wunderlich Jonathan, et al.
Megjelent: (2020)

Computing different realizations of linear dynamical systems with embedding eigenvalue assignment
Szerző: Szlobodnyik Gergely, et al.
Megjelent: (2022)

Regional Multicriteria and Multimodal Route Planning System for Public Transportation A Case Study /
Szerző: Békési József
Megjelent: (2018)

A queueing model for multiprogrammed computer systems with different I/O times
Szerző: Sztrik János
Megjelent: (1985)

The extended analog computer and functions computable in a digital sense
Szerző: Piekarz Monika
Megjelent: (2010)

Using object oriented techniques at implementing compilers [abstract] /
Szerző: Porkoláb Zoltán
Megjelent: (1998)

IP traffic engineering over OMP technique [abstract] /
Szerző: Farkas Károly, et al.
Megjelent: (2000)

Uniform computation of complexity metrics in the .NET platform [abstract] /
Szerző: Sillye Ádám, et al.
Megjelent: (2004)

On computing the Hamming distance
Szerző: Kéri Gerzson, et al.
Megjelent: (2004)

Towards a unified model of computation with correctness proofs [abstract] /
Szerző: Erdélyi Gáspár
Megjelent: (2006)

Regional multicriteria and multimodal route planning system for public transportation a case study /
Szerző: Békési József
Megjelent: (2018)

Examining private and professional websites regarding technique and usability [abstract] /
Szerző: Abonyi-Tóth Andor, et al.
Megjelent: (2002)

Techniques for modular language implementation
Szerző: Koskimies Kai
Megjelent: (1990)

Creation of the tasks of the cognitive computer aided therapy software [abstract] /
Szerző: Szabó Julianna, et al.
Megjelent: (2004)