Objectives Developing provably correct software based on formal speciications is becoming an increasingly important task. Since imperative programming is the predominant paradigm in the real world, this course will focus on the veriication of such programs and program modules. In this course, software veriication is understood as the task to prove that a program matches its description given in...

Model-based intersection optimization strategies have been widely investigated for distributed traffic signal control in road networks. Due to the form of ‘‘black-box’’ optimization that is typically assumed, a basic challenge faced by these strategies is the combinatorial nature of the problem that must be solved. The underlying state space is exponential in the number of time steps in the loo...

These computational models are at the core of collisional plasma theories. In particular we will discuss several aspects of conservative solvers for the kinetic transport equations of particle interactions that involve either linear or non-linear Boltzmann as well as the non-linear Landau equations, by means of stagger conservative DG schemes for the transport part and DG or spectral solvers fo...

Objectives: Reliable and valid clinical tools to screen, diagnose, and describe eating functions and dysphagia in children are highly warranted. Today most specialists are aware of the role of assessment scales in the treatment of affected individuals. However, the problem is that the clinical tools used might be nonstandard, and worldwide, there is no integrated assessment performed to assess ...

Introduction: During Ramadan, adult Muslims abstain from drinking and eating from sunrise to sunset. This religious practice influences individuals’ lifestyle factors such as eating behavior, meal schedule, and sleep pattern. These changes may affect endocrine and neuroendocrine circadian patterns, and consequently, cardiovascular indices. This study was performed to investigate the effects of ...