Search results for " Program"
showing 10 items of 3075 documents
Programs' Efficacy to Develop Employable Skills for People With Functional Diversity: A Meta-Analysis
2021
Purpose: Promoting the labour integration of people with functional diversity is a key element to achieve their social inclusion. This meta-analysis aims to examine the effectiveness of experimental programs in developing employable skills for people with disabilities. Methods: Literature searches up to June 2019 were conducted in four databases (Web of Science, Scopus, PsycINFO and ERIC). Studies that met the following criteria were selected: (1) The program should develop employable skills; (2) the participants should be people with functional diversity; (3) the study should have a design with an experimental group and a control group as well as pretest and posttest measurements; (4) the …
Towards Axiomatic Basis of Inductive Inference
2001
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…
2MOLCAS as a development platform for quantum chemistry software
2004
This work presents the quantum chemistry package MOLCAS, with emphasis on its usefulness as a platform for developing new quantum chemical codes, and the reader is assumed to be familiar with such a process. The development of new codes for quantum chemistry is a time-consuming job that can be dramatically simplified by using libraries for standard problems (such as calculation of integrals), and tools to surmount computer language and operating system limitations. The MOLCAS quantum chemistry software contains modules for a variety of quantum chemical methods, such as Hartree-Fock (HF), density functional theory (DFT), coupled-cluster (CC), and multiconfigurational (MCSCF) approaches, incl…
Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory
2011
The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs ‘‘radio- hybrid’’ measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features …
Development of the BCI Device Controlling C++ Software, Based on Existing Open Source Projects
2021
The possibility of using the BCI open source code for building BCI controlled device, based on small AVR or ARM microcontrollers was considered. Some techniques to extract code snippets from other BCI projects were presented in the case of OpenViBE as the code donor. Problem with obtaining driver source codes for factory BCI devices has been pointed out.
Bill2d - a software package for classical two-dimensional Hamiltonian systems
2015
Abstract We present Bill2d , a modern and efficient C++ package for classical simulations of two-dimensional Hamiltonian systems. Bill2d can be used for various billiard and diffusion problems with one or more charged particles with interactions, different external potentials, an external magnetic field, periodic and open boundaries, etc. The software package can also calculate many key quantities in complex systems such as Poincare sections, survival probabilities, and diffusion coefficients. While aiming at a large class of applicable systems, the code also strives for ease-of-use, efficiency, and modularity for the implementation of additional features. The package comes along with a use…
Increasing GP Computing Power for Free via Desktop GRID Computing and Virtualization
2009
This paper presents how it is possible to increase the Genetic Programming (GP) Computing Power (CP) for free, via Volunteer Computing (VC), using the well known framework BOINC plus a new ``virtualization'' layer which adds all the benefits from the virtualization paradigm. Two different experiments, employing a standard GP tool and a complex GP system, are performed --with distributed PCs over several cities-- to show the free achieved CP by means of VC, without the necessity of modifying or adapting the original GP source code. The methodology can be easily extended to Evolutionary Algorithms (EAs).
Risk management optimization for sovereign debt restructuring
2015
Debt restructuring is one of the policy tools available for resolving sovereign debt crises and, while unorthodox, it is not uncommon. We propose a scenario analysis for debt sustainability and integrate it with scenario optimization for risk management in restructuring sovereign debt. The scenario dynamics of debt-to-GDP ratio are used to define a tail risk measure, termed "conditional Debt-at-Risk". A multi-period stochastic programming model minimizes the expected cost of debt financing subject to risk limits. It provides an operational model to handle significant aspects of debt restructuring: it collects all debt issues in a common framework, and can include contingent claims, multiple…
Dynamics and spectra of composition operators on the Schwartz space
2017
[EN] In this paper we study the dynamics of the composition operators defined in the Schwartz space of rapidly decreasing functions. We prove that such an operator is never supercyclic and, for monotonic symbols, it is power bounded only in trivial cases. For a polynomial symbol ¿ of degree greater than one we show that the operator is mean ergodic if and only if it is power bounded and this is the case when ¿ has even degree and lacks fixed points. We also discuss the spectrum of composition operators.
Composition operators on the Schwartz space
2018
[EN] We study composition operators on the Schwartz space of rapidly decreasing functions. We prove that such a composition operator is never a compact operator and we obtain necessary or sufficient conditions for the range of the composition operator to be closed. These conditions are expressed in terms of multipliers for the Schwartz class and the closed range property of the corresponding operator considered in the space of smooth functions.