Functional principal component analysis (FPCA) is a popular approach in functional data analysis to explore major sources of variation in a sample of random curves. These major sources of variation are represented by functional principal components (FPCs). Most existing FPCA approaches use a set of flexible basis functions such as B-spline basis to represent the FPCs, and control the smoothness...

In this paper, we propose a WCET analysis that focuses on two aspects. First, it supports contextsensitive hardware and software timing effects, meaning that it is sensitive to the execution history of the program and thus can account for effects like cache persistence, triangular loop, etc. Second, it supports the introduction of parameters in both the software model (e.g. parametric loop boun...

Coexistence The special case when all the independent solutions of a linear, T -periodic ODE are T -periodic. Hill’s equation A second order ODE of the form ẍ + p(t)x = 0, with p(t) T -periodic. Instability pockets Finite domains, usually intersections of instability tongues, where the trivial solution of linear, T -periodic ODEs is unstable. Instability tongues Domains in parameter space where...

Background: Acute Myeloid leukemia (AML) is the most prominent acute in adults. In United States, we experience over 20,000 cases per year. Over past decade, improvements diagnosis of subtypes AML and advances therapeutic approaches have improved outlook for patients with AML. However, despite these advancements, survival rate among who are less than 65 years age only 40 percent. Purpose: The p...

We consider a queuing network with M exponential service stations and with N customers. We study the behavior of a subsystem u, which has a single node as input and a single node as output, when the subsystem parameters are varied. An “equivalent” network is constructed in which all queues except those in subsystem u are replaced by a single composite queue. We show that for certain classes of ...

A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analysis algorithm is much simpler and can run more efficiently in average cases than can previous works.

This paper addresses the analysis of slope-parametric hybrid automata: nding conditions on the slopes of the automaton variables, for some safety property to be veriied. The problem is shown decidable in some practical situations (e.g. nding the running speeds of tasks in a real time application, for all tasks to respect their deadlines). The resolution technique generalizes polyhedral-based sy...

In an optimization problem that depends on parameters, an important issue is the effect that perturbations of the parameters can have on solutions to the problem and their associated multipliers. Under quite broad conditions the possibly multi-valued mapping that gives these elements in terms of the parameters turns out to enjoy a property of " proto-differentiability. " Generalized derivatives...