NUMERICAL ANALYSIS AND

APPLIED MATHEMATICS

ICNAAM 2011

International Conference on Numerical Analysis and Applied Mathematics

Halkidiki, Greece 19-25 September 20 7 7

Volume A

EDITOR

Theodore E. Simos

European Society of Computational Methods in Sciences and Engineering (ESCMSE), European

Academy of Sciences and Arts; King Saud University, Saudi Arabia;

University of Peloponnese, Greece

CO-EDITORS

George PsihoyiosEuropean Society of Computational Methods in Sciences and Engineering (ESCMSE);

Fellow of the IMA, United Kingdom

Ch.Tsitouras

Technological Educational Institute of Chalkis, Greece

Zacharias AnastassiSchool of Pedagogical & Technological Education (ASPETE), Athens, Greece

All papers have been peer reviewed.

SPONSORING ORGANIZATIONS

European Society of Computational Methods in Sciences and EngineeringThe R. M. Santilli Foundation

AIPAmerican .nstitute

Melville, New York, 2011

of Physics AIP I CONFERENCE PROCEEDINGS I 1389

AIP Conference Proceedings, Volume 1389

Numerical Analysis and Applied Mathematics

ICNAAM2011

Table of Contents

Preface 1

Conference Details 3

European Society of Computational Methods in Sciences and Engineering 7

(ESCMSE)

VOLUME A

INVITED PAPERS

Slow manifold integration on a diffusion map parameterizationC. W. Gear, I. G. Kevrekidis, and B. E. Sonday 13

Micro-localisation from Clifford analysisF. Sommen 17

Exponentially-fitted methods—Searching the frequencyGuido Vanden Berghe, Marnix Van Daele, and Davy Hollevoet 20

Functional calculus and numerical analysisMichel Crouzeix 24

Commutative algebras of Toeplitz operators in action

Nikolai Vasilevski 26

Solving geometric two-point boundary value problemsRobert D. Skeel and Ruijun Zhao 30

Modelling marine biological and biogeochemical data

Karline Soetaert and Dick van Oevelen 34

Direct transcription solution of optimal control problems with control delaysJohn T. Betts, Stephen L. Campbell, and Karmethia C. Thompson 38

v

Coarse-graining the dynamics of network evolution: The rise and fall of a

networked societyAndreas C. Tsoumanis, Karthikeyan Rajendran, Constantinos I. Siettos, and

Ioannis G. Kevrekidis

SYMPOSIA

Preface: 6th symposium on numerical analysis of fluid flow and heat transfer

Pawel Kosinski

Conservation laws on surfaces: Meteorological systems—shallow-waterMatania Ben-Artzi

Non-normal investigations of a thermo-acoustic heat engine

F. Selimefendigil

Network model of a thermo-acoustic heat engine assisted with unsteady CFD

and system identification

F. Selimefendigil

Simulation of interaction of compressible flow with elastic structures with

applications to vibrations of human vocal folds

Miloslav Feistauer, Adam Kosik, Vaclav Kucera, Jaroslav Prokopova, and

Jaromi'r Horacek

Evaluation of optimized 3-step global reaction mechanism for CFD simulations

on Sandia Flame D

Abdallah Abou-Taouk and Lars-Erik Eriksson

Numerical visualization of dielectric barrier discharge plasma actuator surface

dischargeA. Ahmadi, J. Labadin, and P. Phang

CFD simulation of gas pollutant motion and dispersion problem in wind tunnel

with respect to Froude number

Ondrej Zavila

Numerical prediction oflaminar instability noise for NACA 0012 aerofoil

Michele De Gennaro, Andreas Hueppe, Helmut Kuehnelt, and Manfred

Kaltenbacher

Verification of a binary fluid solidification model

T. Waclawczyk, Dn Sternel, and M. Schafer

Fluid structure interaction for symmetric manoeuvre base on ultra light planeRobert Roszak, Witold Stankiewicz, Marek Morzynski, and Wojciech Chajec

Three-phase coupling of air, droplets and fibers for the spray moldingmanufacturing process of polyurethane-fiber-reinforced composites

P. Diffo, P. Wulf, and M. Breuer

vi

Continuous mode interpolation between multiple operating and boundary

conditions for reduced order modelling of the flow

Witold Stankiewicz, Robert Roszak, Marek Morzynski, Bemd R. Noack, and

Gilead Tadmor

On numerical approximation of airfoil vibrations after loosing of aeroelastic

stabilityP. Svacek

Viscoelastic fluid flows at moderate Weissenberg numbers using Oldroyd type

model

L. Pirkl, T. Bodnar, and K. Tuma

Numerical investigation of turbulent natural convection in differentially heated

square cavities

Sonja Schmelter, Gert Lindner, Gudrun Wendt, and Regine Model

CFD model for the magnetically forced formation of an obstructive deposit in a

magnetorheological fluid

Boris V. Balakin, Iryna Notoy, Alex C. Hoffmann, and Pawel Kosinski

Analysis of a stationary viscous incompressible flow through a cascade of

profiles with a large inflow

Tomas Neustupa

Analysis of saltating motion of individual spherical particlesZdenek Chara, Bohus Kysela, and Pavel Vlasak

Improving of mixing by Submerged Rotary Jet (SRJ) system in a largeindustrial storage tank by CFD techniques

H. Barekatain and S. H. Hashemabadi

Chaotic behavior of natural convection in a tall rectangular cavity with non-

isothermal walls

H. E. Dillon, A. F. Emery, and A. M. Mescher

Aero-acoustic source characterization for flow-driven resonators usingHelmholtz vector field decomposition

Helmut Kuehnelt

Certainties and uncertainties in CFD prediction of the end of the vortex

behaviour in centrifugal separatorsGleb I. Pisarev and Alex C. Hoffmann

An efficient numerical model to determine synthetic jet ejector performance

Feng Lin and Gary W. Rankin

Numerical modeling of fluid flow in the tape casting process

Masoud Jabbari and Jesper Hattel

vii

Towards multiphase periodic boundary conditions with flow rate constraint

Robert Sawko and Chris P. Thompson

Parallel approach to the discontinuous Galerkin method for convection-

diffusion problemsJ. Hozman

Slope limitation in the higher-order FVM for hyperbolic problemsJ. Felcman and K.. Findejs

Effects of refractive index on the Bridgman oxide crystals growth process—numerical analysis

Piotr Lapka and Piotr Furmanski

On a further work of two-phase mixture conservation laws

D. Zeidan

Front tracking based numerical investigation of relations between columnar

dendrites permeability and macrosegregation evolution

M. Seredynski and J. Banaszek

Non-Newtonian blood flow in portal vein with thrombosis: A study bycomputational fluid dynamics

A. A. Soares, S. Gonzaga, Jose Silvestre Silva, D. Marinho, A. Silva, and Abel

Rouboa

Momentum and heat transfer in power-law fluids across a rotating cylinder: Anumerical study

A. A. Soares, Nuno T. Couto, D. Marinho, Abel Rouboa, Vishveshwar Mantha,and A. Silva

Methane combustion: An exergy analysisValter Silva and Abel Rouboa

Numerical study of the "end of the vortex" phenomenon in a hydrocycloneseparator

Yu-Fen Chang, Gleb I. Pisarev, and Alex C. Hoffmann

A coupled finite volume solver for compressible flows

M. Darwish and F. Moukalled

Self-propulsion simulation of a tanker hull

Florin Pacuraru, Adrian Lungu, and Oana Marcu

The numerical study of propeller efficiency in non-uniform flowOana Marcu and Adrian Lungu

Numerical breaking waves around a surface piercing NACA 0012 hydrofoilCostel Ungureanu, Adrian Lungu, and Viorel Gabriel Maria

viii

Numerical study of tbe wake field produced by a hull retrofitted with flow

control devices

Viorel Gabriel Maria and Adrian Lungu 203

A modified lowest order Raviart-Thomas mixed element with enhanced

convergenceV. Ruas 207

Numerical solution of the UCM model using the LOG-conformation techniqueM. F. Tome, A. Castelo, A. M. Afonso, F. T. Pinho, and M. A. Alves 211

Preface: Fourth symposium on recent trends in the numerical solution of

differential equations

Luigi Brugnano and Ewa Weinmiiller 215

Multi-parameter exponentially fitted, P-stable Obrechkoff methods

D. Hollevoet, M. Van Daele, and G. Vanden Berghe 217

Recent advances on preserving methods for general conservative systems

Luigi Brugnano and Felice Iavernaro 221

Boundary value methods for the reconstruction of Sturm-Liouville potentialsLidia Aceto, Paolo Ghelardoni, and Cecilia Magherini 225

Recent advances on preserving methods for Poisson systemsL. Brugnano, M. Calvo, J. I. Montijano, and L. Randez 229

Efficient computation of the core functions of exponential itegratorsPaolo Novati 233

Low storage exponentially fitted explicit Runge-Kutta methods

J. Escartin and L. Randez 237

Collocation schemes for nonlinear index 1 DAEs with a singular pointA. Dick, O. Koch, R. Marz, and E. Weinmiiller 241

Preface: Analysis in Clifford algebras—Some aspectsKlaus Giirlebeck and Wolfgang SprSssig 245

Modified quaternionic analysis in R3 and generalizations of conformal

mappings of the second kind

Dmitry Bryukhov 248

Algebraic model for A'-connection

Viktor Abramov and Olga Liivapuu 252

Criteria for the function classes UBC and \f\Rauno Aulaskari and Jouni Rattya 256

ix

Harmonic and monogenic potentials in Euclidean halfspace

F. Brackx, H. De Bie, and H. De Schepper 259

Comparison of the various notions of slice monogenic functions and their

variations

Fabrizio Colombo, J. O. Gonzalez-Cervantes, and Irene Sabadini 264

On the lower order of entire special monogenic functions

M. A. Abul-Ez and R. De Almeida 268

On weighted Bloch spaces of quaternion-valued functions

A. E. Ahmed and Aydah Ahmadi 272

On convergence aspects of spheroidal monogenicsS. Georgiev and J. Morais 276

OPS-QFTs: A new type of quaternion Fourier transforms based on the

orthogonal planes split with one or two general pure quaternionsEckhard Hitzer 280

New generalizations of Fueter's theorem

Kit-Ian Kou 284

Explicit Penrose transform for massless field equations of general spin in

dimension four

Fred Brackx, Hennie De Schepper, Lukas Krump, and Vladimir Soucek 287

Generalized Appell property for the Riesz system in dimension 3

Roman Lavicka 291

Two-dimensional singular integral operators via poly-Bergman spacesNikolai Vasilevski 295

Algebra of symmetries of the CR sublaplacianZuzana Vlasakova 299

Preface: 2nd symposium on generating functions of special numbers and

polynomials and their applicationsYilmaz Simsek 303

Remarks on the Weber functions and Dedekind sums

A. A. Aygunes and Yilmaz Simsek 304

Projective Klingenberg planes constructed with dual local ringsAbdurrahman Dayioglu and Basri Celik 308

The efficiency of the semi-direct products of free abelian monoid with rank n bythe infinite cyclic monoid

Firat Ates, Eylem G. Karpuz, and A. S. Cevik 312

x

Classification of normal subgroups of Hecke group H6 in terms of parabolicclass number

Aysun Yurttas, Musa Demirci, and I. N. Cangul 315

Remarks of elliptic curves derived from ant colony routing

Sangsu Jung, Daeyeoul Kim, and Dhananjay Singh 317

On some geometric structures and local ringsFatma O. Erdogan, Basri Celik, and Suleyman Ciftci 321

The minimal polynomials of 2cos(n/2k) over the rationals

Musa Demirci, Nazh Y. Ikikardes, Birsen Ozgur, and I. N. Cangul 325

On the maximum clique and the maximum independence numbers of a graphA. D. Maden and Serife Biiyukkose 329

On radical formula over free modules with two generatorsSecil Ceken and Mustafa Alkan 333

Upper bounds for the level of normal subgroups of Hecke groupsMusa Demirci, Aysun Yurttas, and I. N. Cangul 337

On the binomial sums of ^-Fibonacci and A-Lucas sequences

N. Yilmaz, N. Taskara, K. Uslu, and Y. Yazlik 341

On a symbolic version of multivariate Levy processes

E. Di Nardo and I. Oliva 345

Generating functions of the unified representation of the Bernoulli, Euler andGenocchi polynomials of higher order

Hacer Ozden 349

Some properties of the minimal polynomials of 2cos(n/q) for odd q

Birsen Ozgur, Musa Demirci, Aysun Yurttas, and I. N. Cangul 353

Dual of Zariski topology for modules

Secil Ceken and Mustafa Alkan 357

Conjugacy for free groups under split extensions

A. S. Cevik, Eylem G. Karpuz, and Firat Ates 361

The construction of Horadam numbers in terms of the determinant of

tridiagonal matrices

N. Taskara, K. Uslu, Y. Yazlik, and N. Yilmaz 367

Integer solutions of a special Diophantine equationArzu Ozkoc and Ahmet Tekcan 371

Some special cases of the minimal polynomial of 2cos(n/q) over QMuge Togan, Birsen Ozgur, and I. N. Cangul 375

xi

On the Hermite-Apostol-Genocchi polynomialsVeli Kurt and Burak Kurt

The generalized (s, t)-sequence and its matrix sequence

Y. Yazlik, N. Taskara, K. Uslu, and N. Yilmaz

Frobenious-Euler type polynomials related to Hermite-Bernoulli polynomialsBurak Kurt and Yilmaz Simsek

Note on the Hurwitz zeta function of higher order

Abdelmejid Bayad and Yilmaz Simsek

Properties of w-th degree Bernstein polynomialsElif Cetin, Hatice Ozbay, Muge Togan, and I. N. Cangul

Preface: Invited session: Statistics and modeling II

Milan Stehlik

Label switching in mixtures

Christophe Biemacki and Vincent Vandewalle

Strategists and non-strategists in Austrian enterprises—statistical approachesChristine Duller

Factorizing Markov models for categorical time series predictionChristoph Freudenthaler, Steffen Rendle, and Lars Schmidt-Thieme

Stochastic-conceptual models applied to number theoryMegaklis Th. Sotiropoulos

On bootstrapping L2-type statistics in inverse regression models with

convolution-type operatorsKatharina Proksch, Nicolai Bissantz, and Holger Dette

A system-oriented approach for the optimal control of process chains under

stochastic influences

Melanie Senn, Julian Schafer, Jurgen Pollak, and Norbert Link

Detecting outliers in marathon data by means of the Andrews plotMilan Stehlik, Helmut Wald, Viktor Bielik, and Juraj Petrovic

Robust approach to verifying the weak form of the efficient market hypothesisLubos Stfelec

Accepting the wrong alternative hypothesis in spatial mapsThomas Waldhoer and Harald Heinzl

xii

On the ML estimation of the correlation parameter in generalized exponentialmodels

Helmut Waldl 433

Preface: Symposium on nonlinear waves in heterogeneous media

Igor Andrianov 437

Nonlinear elastic waves in a ID layered composite material: Some numerical

results

Igor Andrianov, Vladislav Danishevs'kyy, Dieter Weichert, and Heiko Topol 438

Periodical solutions of certain strongly nonlinear wave equations

Igor Andrianov, Vladimir Bolshakov, Yuriy Kirichek, and Heiko Topol 442

Shear waves dispersion in cylindrically structured cancellous viscoelastic bones

Igor Andrianov, Vladyslav Danishevs'kyy, Oleksandr Ryzhkov, and Marcus

Stoffel 446

Resonance spectrum for a continuously stratified layer with application to

ultrasound testing of articular cartilageAlexei Iantchenko and Ivan Argatov 451

Preface: Minisymposium on boundary value problems and integral equationswith applications

P. A. Krutitskii 455

Building a body of knowledge: Cauchy principal value and hypersingular

integralsJohan H. de Klerk 456

BEM simualtions of non-standard noise barriers with a focus on tunabilityS. Gasparoni, M. Haider, M. Conter, and R. Wehr 460

On convergent expansions of solutions of the linearized elasticity equation near

singular pointsHiromichi Itou 465

The Dirichlet problem on wave propagation in a 2D exterior cracked domain

without compatibility conditions at the tips of the cracks

P.A. Krutitskii 469

Integral representation for the solution of Dirichlet problem for the Stokes

system

Angelica Malaspina 473

Nystroem type methods for a class of logarithmic singular Fredholm integralequations

Arvet Pedas 477

An idea to compute DtN maps of PDE with constant coefficients

Sasamoto Akira 481

xiii

Preface: Symposium on recent advances and current research on the different

equations and its applicationsSeifedine Kardy

Analytic solution of the stochastic system of rational difference equations x„=

a/yn-p, yn- b/xn+p.2

Seifedine Kadry

First integrals of discrete Hamiltonian equations

Roman Kozlov

Preface: Symposium on dynamical systems: A framework for robot locomotion

Carla M. Pinto and Cristina P. Santos

A modular approach for trajectory generation in biped robots

Carla M. Pinto, Diana Rocha, Cristina P. Santos, and Vitor Matos

Quadruped robot locomotion using a global optimization stochastic algorithm

Miguel Oliveira, Cristina Santos, Lino Costa, and Manuel Ferreira

A new CPG model for the generation of modular trajectories for hexapod

robots

Carla M. Pinto, Diana Rocha, Cristina P. Santos, and Vitor Matos

Impact of discrete corrections in a modular approach for trajectory generation

in quadruped robots

Carla M. Pinto, Cristina P. Santos, Diana Rocha, and Vitor Matos

Preface: GRAPHS SymposiumVojislav Petrovic

Acyclic orientations on the generalized two-dimensional Sierpinski gasket

Shu-Chiuan Chang

Preface: Symposium on semigroups of linear operators and applicationsLudovic Dan Lemle

Note on the L'-uniqueness of Fokker-Planck equationLudovic Dan Lemle, Yiwen Jiang, Flavius L. Pater, and Emanuel Cismas

On some spectral properties for locally bounded operatorsFlavius L. Pater, Ludovic Dan Lemle, Yiwen Jiang, and Sorina Serban

Kato's type inequality for symmetric diffusion operatorsLudovic Dan Lemle, Flavius L. Pater, and Adela Berdie

Exponential stability in mean square and stochastic variational equationsAdina Pauca, Diana Stoica, and Ludovic Dan Lemle

xiv

On some limit scales of approximation ideals

Nicolae Ti{a and Anca Armaselu

Some theorems for Co-semigroups on V

Adela Berdie, Stefan Maksay, and Diana Stoica

A comparative study of heat transfer in metallic materials

Adina Pauca, Teodor Hepu{, Camelia Pinca-Bretotean, and Diana Stoica

Numerical simulation of solidification phenomena in continuous cast semi¬

finished productsErika Popa, Adina Pauca, and Virginia Socalici

Teaching molecular diffusion by using ChimUniv

Sorina Serban, Laura Strugariu, and Ludovic Dan Lemle

Comparative statistical study of some SAP UI technologiesAdela Berdie, Mihaela Osaci, and Ludovic Dan Lemle

Preface: Symposium on operational research

Fernanda A. Ferreira and Flavio Ferreira

Hadamard series and inequalities over the parameters of a strongly regular

graphLuis Antonio de Almeida Vieira and Vasco Moco Mano

Efficient portfolios of the energy technologiesOleg I. Nikonov and Marina A. Medvedeva

Preface: Symposium on numerical functional analysisAllaberen Ashyralyev

Stable difference schemes for the neutron transport equationAllaberen Ashyralyev and Abdulgafur Taskin

Finite difference method for delay parabolic equationsAllaberen Ashyralyev and Deniz Agirseven

On the fourth order of accuracy difference scheme for the Bitsadze-Samarskii

type nonlocal boundary value problemAlln beren Ashyralyev and Elif Ozturk

The hyperbolic-elliptic equation with the nonlocal condition

Allaberen Ashyralyev and Faruk Ozger

On numerical solutions of nonclassical problems for elliptic equationsAllaberen Ashyralyev and Fatma S. Ozesenli Tetikoglu

Finite difference method for stochastic parabolic equationsAllaberen Ashyralyev and Mehmet E. San

xv

Numerical solution ofNBVP for hyperbolic equations

Allaberen Ashyralyev and Necmettin Aggez

Second order of accuracy stable difference schemes for hyperbolic problems

subject to nonlocal conditions with self-adjoint operatorAllaberen Ashyralyev and Ozgur Yildirim

Second order of accuracy difference schemes for ultra parabolic equations

Allaberen Ashyralyev and Serhat Yilmaz

Positivity of two-dimensional elliptic differential operators with nonlocal

conditions

Allaberen Ashyralyev, Sema Kaplan, and Yasar Sozen

Numerical solution of NBVP for elliptic-parabolic equationsAllaberen Ashyralyev and Okan Gercek

On the numerical solution of parabolic equation with the Neumann condition

arising in determination of a control parameterAllaberen Ashyralyev and Oznur Demirdag

Stable difference schemes for fractional parabolic PDEAllaberen Ashyralyev and Zafer Cakir

Linear codes over Z2S with the extended Lee weight

Bahattin Yildiz and Zeynep O. Ozger

An approximation of stochastic hyperbolic equationsAllaberen Ashyralyev and Muzaffer Akat

Degenerate anisotropic parabolic problems occurring in atmospheric dispersionof pollutants

Veli B. Shakhmurov and Aida Sahmurova

Carleman estimates and unique continuation property for abstract ellipticequations

Veli B. Shakhmurov

A note on the stability of the integral-differential equation of the parabolic typeMaksat Ashyraliyev

Preface: Symposium on analysis of quantum field theoryRalf Hofrnann

PT-symmetric quantum field theoryCarl M. Bender

Radiative corrections in Yang-Mills thermodynamicsDariush Kaviani

xvi

Classically spinning SkyrmionsRichard A. Battye and Mareike Haberichter 651

The polarization tensor of the massless mode in Yang-Mills thermodynamicsMarkus Schwarz 655

Long range vortex interactions and type 1.5 superconductivityJ. M. Speight 660

Skyrmions—construction and applicationsNicholas S. Manton 664

Magnetic monopoles in AdS

Paul Sutcliffe 667

Thermal ground state in Yang-Mills thermodynamicsRalfHofmann 671

Weyl equation and BPS monopolesAnastasia Doikou and Theodora Ioannidou 676

Effective locality: A new property/formulation of QCD?T. Grandou 680

Nonlinear waves and singularities in optics, hydrodynamics and plasmasAlexander O. Korotkevich and Pavel M. Lushnikov 684

Central-upwind scheme on triangular grids for the Saint-Venant system of

shallow water equationsSteve Bryson, Yekaterina Epshteyn, Alexander Kurganov, and Guergana Petrova 686

Particle dynamics inside shocks in Hamilton-Jacobi equationsK. Khanin 690

On dispersion relation for gravity waves in the presence of condensate

A. O. Korotkevich 693

Polarization waves in nonlinear fiber optics.V. V. Kozlov and S. Wabnitz 697

All-optical re-timing using the "soliton molecule effect"

Stanley Johnson, Stanley Pau, and Franko Kiippers 701

Quasi-parallelized multicanonical Monte Carlo method for highly nonlinear

systems, with application to all-optical regenerationTaras I. Lakoba and Michael Vasilyev 705

Logarithmic-type scaling of the collapse of Keller-Segel equationSergey A. Dyachenko, Pavel M. Lushnikov, and Natalia Vladimirova 709

xvii

Numerical characterization of thresholds for the focusing Id nonlinear

Schrodinger equation

Magdalena M. Musielak and Svetlana Roudenko

Criteria for collapse in the focusing nonlinear Schrodinger equation

Thomas Duyckaerts and Svetlana Roudenko

Preface: Symposium on plant growth modeling: Theory and applicationsYves Dumont

Modeling annual tree development and growth

Jing Hua, MengZhen Kang, and Philippe de Reffye

Modelling root systems using oriented density distributions

Lionel X. Dupuy

Developmental stages in dynamic plant growth models

Heather Maclean, Denis Dochain, Geoff Waters, Michael Stasiak, Mike Dixon,and Dominique Van Der Straeten

Biomechanics of growing trees: Mathematical model, numerical resolution and

perspectivesThierry Fourcaud, Thomas Guillon, and Yves Dumont

Preface: Symposium on numerical optimization and applicationsAna I. Pereira and M. F. P. Costa

Fractional derivatives in dengue epidemicsShakoor Pooseh, Helena S. Rodrigues, and Delfim F. Torres

Combining global Tabu search with local search for solving systems of

equalities and inequalitiesGisela C. Ramadas and Edite M. Fernandes

On using the determinant function to estimate the step-length in a predictor-corrector variant for semidefinite programming with HKM direction

A. Teixeira and F. Bastos

Mutation-based artificial fish swarm algorithm for bound constrained globaloptimization

Ana Maria A. Rocha and Edite M. Fernandes

On a primal-dual interior point filter method

M. F. P. Costa and Edite M. Fernandes

On the relation between inward pointing velocity conditions

Sofia 0. Lopes, Fernando A. Fontes, and Maria do R. de Pinho

xviii

Solving MPCC problem with the hyperbolic penalty function

Teofilo Melo, M. T. Monteiro, and Joao Matias

A comparison between a manual and automatic method to characterize red

blood cell trajectoriesDiana Pinho, Fernando Gayubo, Ana I. Pereira, and Rui Lima

Parameter estimation of viscoelastic materials: A test case with different

optimization strategiesM. F. P. Costa and C. Ribeiro

Uncertainty on multi-objective optimization problemsLino Costa, Isabel A. C. P. Espirito Santo, and Pedro Oliveira

Human-like movement of an anthropomorphic robot: Problem revisited

E. Costa e Silva, M. F. Costa, E. Bicho, and W. Erlhagen

PSSA: Parallel stretched simulated annealingTiago Ribeiro, Jose Rufino, and Ana I. Pereira

Mathematical model of feet temperatureDavid Bento, Ana I. Pereira, and Fernando Monteiro

Preface: Symposium on computer languages, implementations and tools -

SCLIT 2011

Zoran Budimac

Classical proofs' essence and diagrammatic computationPierre Lescanne and Dragisa Zunic

High level rule modeling language for airline crew pairingErdal Mutlu, S. ilker Birbil, Kerem Biilbiil, and Hiisnu Yenigiin

Selecting Erlang test cases using impact analysisIstvan Bozo and Melinda Toth

Generic detection of register realignmentLukas Durfina and Dusan Kola?

Teaching object-oriented modelling using UML

Danijela Boberic-Krsticev and Danijela Tesendic

Constraints modeling in FRBR data model using OCLGordana Rudic

Formal languages as an approach to modelling distance education fora

Kiriakos Patriarcheas and Michalis Xenos

A priority fuzzy logic extension of the XQuery languageSrdjan Skrbic, Wiphada Wettayaprasit, and Pannipa Saeueng

xix

A template engine for parsing objects from textual representationsMilan Rajkovic, Milena Stankovic, and Ivica Markovic

Solving LR conflicts through context aware scanningC. R. Leon and L. G. Forte

LL leftmost A-linear scattered context grammarsAlexander Meduna, Lukas Vrabel, and Petr Zemek

The extensibility of an interpreted language using plugin libraries

Dorde Herceg and Davorka Radakovic

FMML: A feature model markup languageLeili Nabdel, Ahmet S. Karatas, Halit Oguztuziin, and Ali Dogru

Restructuring assembly code using formal transformations

Doni Pracner and Zoran Budimac

Risk management using dependency stucture matrix

Ivan Petkovic

SMIILE prototype

Gordana Rakic and Zoran Budimac

Multicore C++ standard template library with C++0x

Zalan Szugyi, Mark Torok, Norbert Pataki, and Tamas Kozsik

Introducing ALAS: A novel agent-oriented programming languageDejan Mitrovic, Mirjana Ivanovic, and Milan Vidakovic

A functional take on multi-agent systems position paperAlex Muscar and Costin Badica

XML-based integration of the SMIILE tool prototype and software metrics

repositoryGordana Rakic, Crt Gerlec, Jernej Novak, and Zoran Budimac

Comparison of classical and lazy approach in SCG compilerOta Jirak and Dusan Kolaf

The distributed D-clean model revisited by templatesViktoria Zsok and Zoltan Porkola

Preface: Symposium on linear and nonlinear operators and applicationsGheorghe Morosanu

Error bounds on the spectral radius of uncertain matricesMilan Hladik

xx

Real-valued semigroups and (causal) diffusion

Richard Kowar 886

An existence result for a PDE involving a Grushin-type operator and variable

exponentsMihai Mihailescu, Gheorghe Morosanu, and Denisa Stancu-Dumitru 889

Proximal point methods revisited

Oganeditse A. Boikanyo and Gheorghe Morosanu 893

Numerical methods for time-dependent PDEsA. Meister and Th. Sonar 897

On the use of reconstruction in higher order DG schemes

Vaclav Kucera 899

Time-relaxation methods for high-order discretization of compressible flow

problemsG. May, F. Iacono, and A. Balan 903

Spectral approximation with Appell polynomialsPh. Oeffiier and Th. Sonar 907

Adaptive spectral and DTV filtering on triangular grids for the DG method

applied to compressible fluid flow

S. Ortleb, A. Meister, and Th. Sonar 911

A spectral difference method using Dubiner polynomialsM. Pawlak and Th. Sonar 915

Explicit residual discretizations for shallow water flows

M. Ricchiuto 919

Optimal error estimates for semi-implicit DG time discretization of convection-

diffusion problemsMiloslav Vlasak 923

Preface: 3rd symposium on variational inequalities and equilibrium problemsAnnamaria Barbagallo and Maria A. Ragusa 927

Projected dynamical inclusions in reflexive Banach spaces

Annamaria Barbagallo and Stephane Pia 930

The steady Boltzmann transport equation for silicon semiconductors: A

variational formulation

Vincenza D. Stefano and Orazio Muscato 934

Von Karman equations in IF spacesLuisa Fattorusso and Antonio Tarsia 938

xxi

Dynamic oligopolistic market equilibrium problems with production excesses:

A variational approachAnnamaria Barbagallo and Paolo Mauro 941

Immune system network and cancer vaccine

Carlo Bianca, Marzio Pennisi, Santo Motta, and Maria A. Ragusa 945

On the regularity of solutions of Von Karman equations with variables

coefficients

Luisa Fattorusso and Antonio Tarsia 949

xxii