Investigation of a delayed differential equation with verified computing technique [abstract] /

QR kód

Investigation of a delayed differential equation with verified computing technique [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Bánhelyi Balázs
Testületi szerző:	Conference of PhD students in computer science (5.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2006
Sorozat:	Conference of PhD Students in Computer Science 5
Kulcsszavak:	Számítástechnika - előadáskivonat, Differenciálegyenlet - számítógép alkalmazása - előadáskivonat, Differenciálegyenlet - késleltetett - 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/59833

Hasonló tételek

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

A verified computational technique to locate chaotic regions of a Hénon system [abstract] /
Szerző: Bánhelyi Balázs
Megjelent: (2004)

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)

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

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

Differentiability properties of computable functions a summary /
Szerző: Pour-El Marian B., et al.
Megjelent: (1978)

Modified Riccati technique for half-linear differential equations with delay
Szerző: Fišnarová Simona, et al.
Megjelent: (2014)

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

On two-step methods for stochastic differential equations
Szerző: Horváth Bokor Rózsa
Megjelent: (1997)

Comparison results and monotone iterative technique for impulsive delay differential equations
Szerző: Nieto Juan J., et al.
Megjelent: (1999)

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

Stability and periodicity for differential equations with delay
Szerző: Balázs István
Megjelent: (2020)

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

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

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

Differentiability in Fréchet spaces and delay differential equations
Szerző: Walther Hans-Otto
Megjelent: (2019)

Confidence-based contractor, propagation and potential clouds for differential equations
Szerző: Alexandre dit Sandretto Julien
Megjelent: (2021)

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

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)

Third order differential equations with delay
Szerző: Liška Petr
Megjelent: (2015)

On noncontinuable solutions differential equations with delay
Szerző: Bartušek Miroslav
Megjelent: (2009)

Exploding solutions of hydrodynamic equations in computer simulations
Szerző: Boldrighini Carlo
Megjelent: (2012)

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)

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

A system of abstract measure delay differential equations
Szerző: Dhage Bapurao C., et al.
Megjelent: (2003)

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)

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

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

On the fundamental solution of linear delay differential equations with multiple delays
Szerző: Krisztin Tibor
Megjelent: (2011)

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

Monotone iterative technique for nonlocal fractional differential equations with ﬁnite delay in a Banach space
Szerző: Jeet Kamal, et al.
Megjelent: (2015)

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)

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

Optical delay buffer optimization in packet switched optical network [abstract] /
Szerző: Kozlovszky Miklós, et al.
Megjelent: (2006)

A bounding scheme for proving the Wright conjecture on delay differential equations
Szerző: Bánhelyi Balázs, et al.
Megjelent: (2018)

The use of computers in nuclear medicine
Szerző: Csernay László
Megjelent: (1975)