We address the verification of timed concurrent systems with unknown or uncertain constants considered as parameters. First, we introduce parametric event-recording automata (PERAs), as a new subclass of parametric timed automata (PTAs). Although in the nonparametric setting event-recording automata yield better decidability results than timed automata, we show that the most common decision pro...

Consider linear algebraic systems where the elements of the matrix and the right-hand side vector depend linearly on a number of interval parameters. We prove some sufficient conditions for the united parametric solution set of such a system to have linear boundary. These conditions imply an equivalent representation of the parametric system where each parameter appears once in a diagonal matri...

Parametric cquations dcscribing the growth of ice particles in the range 10-”-1 g are presented. Three subrangcs (10-11-5 X 5 X 10-s-10-4, and 10-4-1 g) are used. Thc parametric equations were developed with the aid of a complex method of calculating ice-particle growth. Two approaches to using the parametric equations in a simulation resembling a natural cloud situation are described. One meth...

A new method for gradient-based optimization of electromagnetic systems using parametric sensitivity macromodels is presented. Parametric macromodels accurately describe the parameterized frequency behavior of electromagnetic systems and their corresponding parameterized sensitivity responses with respect to design parameters, such as layout and substrate parameters. A set of frequency-dependen...

The analyzer-based phase-contrast x-ray imaging (ABI) method is emerging as a potential alternative to conventional radiography. Like many of the modern imaging techniques, ABI is a computed imaging method (meaning that images are calculated from raw data). ABI can simultaneously generate a number of planar parametric images containing information about absorption, refraction, and scattering pr...

MOTIVATION A primary objective of microarray studies is to determine genes which are differentially expressed under various conditions. Parametric tests, such as two-sample t-tests, may be used to identify differentially expressed genes, but they require some assumptions that are not realistic for many practical problems. Non-parametric tests, such as empirical Bayes methods and mixture normal ...

In modern commercial CAD and systems, a wide variety of part shapes for dies and molds are usually represented in parametric curves (or surfaces) like the Bezier curve, B-spline, and NURBS. However, conventional CNC machines only provide line or circular interpolators. In order to perform the machining of molds, the shapes and desired tool paths designed using CAD/CAM systems are typically appr...

the purpose of this study is estimation of daily value at risk (var) for total index of tehran stock exchange using parametric, nonparametric and semi-parametric approaches. conditional and unconditional coverage backtesting are used for evaluating the accuracy of calculated var and also to compare the performance of mentioned approaches. in most cases, based on backtesting statistics results, ...

We propose a method to generate a database that contains a parametric representation of F0 contours associated with linguistic and acoustic information, to be used by data-driven Japanese text-to-speech (TTS) systems. The configuration of the database includes recorded speech, F0 contours and their parametric labels, phonetic transcription with durations, and other linguistic information such a...