A Compositional Method for Deciding Program Termination

Author(s):  
Aleksandar Dimovski
2001 ◽  
Vol 36 (3) ◽  
pp. 81-92 ◽  
Author(s):  
Chin Soon Lee ◽  
Neil D. Jones ◽  
Amir M. Ben-Amram

2011 ◽  
Vol 54 (5) ◽  
pp. 88-98 ◽  
Author(s):  
Byron Cook ◽  
Andreas Podelski ◽  
Andrey Rybalchenko
Keyword(s):  

2007 ◽  
Vol 1 (2) ◽  
pp. 77-99
Author(s):  
Douglas Klayman ◽  
Jenny Crawford

This article presents findings from the five-year evaluation of a youth wraparound mental health program called Community Kids. The structure of the program, sociological theories underlying the philosophy of wraparound, and the context of the mental health system prior to program implementation are discussed. Included are utilization trends from inception through program termination. The impact analysis is presented in terms of five outcome domains for three participant cohorts, defined by tenure in the program. This longitudinal quasi-experimental research provides additional evidence of the efficacy of systems of care and the wraparound model in terms of improving clinical outcomes for youth.


Author(s):  
J. ZAJACZKOWSKI ◽  
B. VERMA

This paper presents a novel compositional method for finding fuzzy rules in a three-layered hierarchical fuzzy structure. The proposed method incorporates a multi-objective evolutionary algorithm and a large set of initial conditions, including dynamical conditions of the system under investigation. The proposed method is focused on handling the large set of initial conditions by a multi-objective evolutionary algorithm and it can be applied to a wide range of dynamical control systems in robotics. The method has been evaluated on a dynamical system such as the inverted pendulum. The experimental results and analysis showed that the proposed method is much better than the existing methods such as amalgamation and single objective evolutionary algorithm based methods.


2020 ◽  
Vol 65 (2) ◽  
pp. 109-117
Author(s):  
Alexandra Belibou

"This article comprises an analysis of two of the religious works signed by the Estonian composer, Arvo Pärt, both written in the tintinnabuli technique, 9 years apart - De profundis and Miserere. After an overview of the tintinnabuli concept and after indicating their technical features, I have observed how the minimalist compositional method, specific to Pärt, has acquired elasticity, as years went by. Nonetheless, the hermeneutical principles which the composer intended to soundly integrate in his composition style are preserved, regardless of how the tintinnabuli technique arises (strict or elastic). In both musical works analyzed, the tintinnabuli technique (technique used in composition since 1976) does not refer to serialization of sound parameters, but addresses the algorithmizing process of the musical material, which originates from formal and philosophical thinking. Keywords: tintinnabuli, minimalism, holy minimalism, Arvo Pärt."


1988 ◽  
Vol 27 (3) ◽  
pp. 231-241
Author(s):  
P.A. Venkatachalam ◽  
S. Arumugam
Keyword(s):  

2020 ◽  
Vol 92 ◽  
pp. 103572
Author(s):  
José A. Cayuela-Sánchez ◽  
Javier Palarea-Albaladejo ◽  
Tatiana P. Zira ◽  
Elena Moriana-Correro

Sign in / Sign up

Export Citation Format

Share Document