scholarly journals ARTiMon Monitoring Tool, The Time Domains

10.29007/wv9n ◽  
2018 ◽  
Author(s):  
Nicolas Rapin
Keyword(s):  
Continuous Systems ◽  
Monitoring Tool ◽  
Input Language ◽  
Domain Definition ◽  
Current Input ◽  
Time Domains ◽  
Definition Of ◽  
Property Monitoring

This work is related to our monitoring tool called ARTiMon for the online property monitoring of discrete and continuous systems. This paper presents the syntax and the semantics of the current input language of ARTiMon. Because this is not always well understood by users, and also because it grounds the ability of ARTiMon to check properties online, in this tool paper a particular focus is accorded to the domain definition of time functions used to interpret terms of the language.

scholarly journals Generalized Wavelet Fisher’s Information of1/fαSignals

2015 ◽  
Vol 2015 ◽  
pp. 1-9 ◽  
Author(s):  
Julio Ramírez-Pacheco ◽  
Homero Toral-Cruz ◽  
Luis Rizo-Domínguez ◽  
Joaquin Cortez-Gonzalez
Keyword(s):  
Fisher Information ◽  
Gaussian Noise ◽  
Structural Breaks ◽  
Wavelet Domain ◽  
Fractional Gaussian Noise ◽  
Domain Definition ◽  
Potential Applications ◽  
Definition Of ◽  
The Time Domain ◽  
Fisher's Information

This paper defines the generalized wavelet Fisher information of parameterq. This information measure is obtained by generalizing the time-domain definition of Fisher’s information of Furuichi to the wavelet domain and allows to quantify smoothness and correlation, among other signals characteristics. Closed-form expressions of generalized wavelet Fisher information for1/fαsignals are determined and a detailed discussion of their properties, characteristics and their relationship with waveletq-Fisher information are given. Information planes of1/fsignals Fisher information are obtained and, based on these, potential applications are highlighted. Finally, generalized wavelet Fisher information is applied to the problem of detecting and locating weak structural breaks in stationary1/fsignals, particularly for fractional Gaussian noise series. It is shown that by using a joint Fisher/F-Statistic procedure, significant improvements in time and accuracy are achieved in comparison with the sole application of theF-statistic.

Program completion in the input language of GRINGO

2017 ◽  
Vol 17 (5-6) ◽  
pp. 855-871 ◽  
Author(s):  
AMELIA HARRISON ◽  
VLADIMIR LIFSCHITZ ◽  
DHANANJAY RAJU
Keyword(s):  
Reverse Engineering ◽  
Large Class ◽  
Logic Program ◽  
Answer Set Programming ◽  
Program Completion ◽  
Engineering Process ◽  
Input Language ◽  
Definition Of ◽  
Answer Set

AbstractWe argue that turning a logic program into a set of completed definitions can be sometimes thought of as the “reverse engineering” process of generating a set of conditions that could serve as a specification for it. Accordingly, it may be useful to define completion for a large class of Answer Set Programming (ASP) programs and to automate the process of generating and simplifying completion formulas. Examining the output produced by this kind of software may help programmers to see more clearly what their program does, and to what degree its behavior conforms with their expectations. As a step toward this goal, we propose here a definition of program completion for a large class of programs in the input language of the ASP grounder gringo, and study its properties.

scholarly journals Current Controlled Current Differencing Buffered Amplifier: Implementation and Applications

2004 ◽  
Vol 27 (4) ◽  
pp. 219-227 ◽  
Author(s):  
Sudhanshu Maheshwari ◽  
Iqbal A. Khan
Keyword(s):  
Active Element ◽  
Current Mode ◽  
Band Pass Filter ◽  
Pass Filter ◽  
Current Range ◽  
Current Input ◽  
Band Pass ◽  
Simulation Results ◽  
Definition Of ◽  
Harmonic Distortions

A new four terminal current-controlled active element is introduced, where parasitic resistances at two current input ports are controlled leading to the definition of current-controlled current differencing buffered amplifier. Bipolar implementation and as application current-mode band-pass filter circuits are proposed. Simulation results using real device parameters are included, which show device bandwidth of 35 MHz, low total harmonic distortions, and tuning over a wide current range.

scholarly journals Is it Possible to Assess the Two-Domain Definition of the Broad Autism Phenotype Using the Available Measurement Tools?

2021 ◽  
Author(s):  
M. Godoy-Giménez ◽  
A. González-Rodríguez ◽  
F. Cañadas ◽  
A. F. Estévez ◽  
P. Sayans-Jiménez
Keyword(s):  
Autism Spectrum ◽  
Broad Autism Phenotype ◽  
Social Responsiveness ◽  
Domain Definition ◽  
Number Of Factors ◽  
The Social ◽  
Measurement Tools ◽  
Main Components ◽  
Definition Of ◽  
Autism Phenotype

AbstractAlthough, the operationalization of the autism spectrum disorder has been updated around two domains, the broad autism phenotype (BAP) one has not. Additionally, the items of the three common BAP measures, the Broad Autism Phenotype Questionnaire (BAPQ), the Autism Quotient, and the Social Responsiveness Scale (SRS), remain organized around a non-consensual number of factors. We explored whether the items of these measures matched with the two-domain operationalization through a parallel analysis, which has suggested two main components, and two expert judgments which have assessed item wording, relevance, and construct representativeness. A remaining pool of 48 BAP-relevant items suggested a possible under-representation of two subdomains. Despite the relevance of all the BAPQ items, only the SRS ones tapped in all subdomains.

A new approach to the definition of electric power, under conditions of distorted voltages and currents

1988 ◽  
Vol 7 (2) ◽  
pp. 76-82
Author(s):  
J. H. R. Enslin ◽  
J. D. Van Wyk
Keyword(s):  
Electric Power ◽  
Cross Correlation ◽  
Equivalent Network ◽  
Network Parameter ◽  
New Approach ◽  
Nonlinear Properties ◽  
Domain Definition ◽  
Correlation Techniques ◽  
Definition Of ◽  
Generalized Time

A generalized time-domain definition of electric power, using autocorrelation and cross-correlation techniques, is proposed for measurement, characterization and compensation of fictitious power in any network, under conditions of nonsinusoidal and in general aperiodic voltage and current waveforms. This leads to the proposal of a new equivalent network parameter, disseptance, which describes the nonlinear properties of the load. The problems associated with the existing definitions of electric power are pointed out by means of a descriptive summary of the different power definitions and their associated limitations. A new philosophy for compensation of fictitious power in distorted supplies, is based on this definition of power and network parameters.

Convex Functions on Discrete Time Domains

2016 ◽  
Vol 59 (2) ◽  
pp. 225-233 ◽  
Author(s):  
Ferhan M. Atıcı ◽  
Hatice Yaldız
Keyword(s):  
Fractional Calculus ◽  
Discrete Time ◽  
Convex Functions ◽  
Time Scale ◽  
Discrete Fractional Calculus ◽  
Hadamard Inequality ◽  
Time Domains ◽  
Definition Of

AbstractIn this paper, we introduce the definition of a convex real valued function f defined on the set of integers, ℤ. We prove that f is convex on Z if and only if Δ2 f ≥ 0 on ℤ. As a first application of this new concept, we state and prove discrete Hermite–Hadamard inequality using the basics of discrete calculus (i.e., the calculus on Z). Second, we state and prove the discrete fractional Hermite–Hadamard inequality using the basics of discrete fractional calculus. We close the paper by defining the convexity of a real valued function on any time scale.

‘More and better jobs’: is quality of work still an issue – and was it ever?

2012 ◽  
Vol 18 (3) ◽  
pp. 337-353 ◽  
Author(s):  
Silke Bothfeld ◽  
Janine Leschke
Keyword(s):  
Social Model ◽  
Monitoring Tool ◽  
Core Element ◽  
Quality Of Work ◽  
Policy Problem ◽  
The Social ◽  
The Subject ◽  
Definition Of ◽  
Comprehensive Indicator

Quality of work is a core element of the European social model. In this article we analyse the role and instruments of EU actors in this policy area in order to discover the extent to which it has been institutionalized since the mid-1990s. We first demonstrate that quality of work has to be understood as a multi-dimensional concept, before analysing the respective roles of and interactions between the Council, the Commission, the European Parliament and the social partners. Both the definition of the subject as a policy problem and the construction of a comprehensive indicator-based monitoring tool represent necessary, albeit not sufficient, steps to promote the quality dimension of work. The article is based on document and secondary literature analysis as well as expert interviews.

Sign in / Sign up

Export Citation Format

Share Document