962 resultados para Program refinement theory


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Let M -> B, N -> B be fibrations and f(1), f(2): M -> N be a pair of fibre-preserving maps. Using normal bordism techniques we define an invariant which is an obstruction to deforming the pair f(1), f(2) over B to a coincidence free pair of maps. In the special case where the two fibrations axe the same and one of the maps is the identity, a weak version of our omega-invariant turns out to equal Dold`s fixed point index of fibre-preserving maps. The concepts of Reidemeister classes and Nielsen coincidence classes over B are developed. As an illustration we compute e.g. the minimal number of coincidence components for all homotopy classes of maps between S(1)-bundles over S(1) as well as their Nielsen and Reidemeister numbers.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Education, as an indispensable component of human capital, has been acknowledged to play a critical role in economic growth, which is theoretically elaborated by human capital theory and empirically confirmed by evidence from different parts of the world. The educational impact on growth is especially valuable and meaningful when it is for the sake of poverty reduction and pro-poorness of growth. The paper re-explores the precious link between human capital development and poverty reduction by investigating the causal effect of education accumulation on earnings enhancement for anti-poverty and pro-poor growth. The analysis takes the evidence from a well-known conditional cash transfer (CCT) program — Oportunidades in Mexico. Aiming at alleviating poverty and promoting a better future by investing in human capital for children and youth in poverty, this CCT program has been recognized producing significant outcomes. The study investigates a short-term impact of education on earnings of the economically disadvantaged youth, taking the data of both the program’s treated and untreated youth from urban areas in Mexico from 2002 to 2004. Two econometric techniques, i.e. difference-in-differences and difference-in-differences propensity score matching approach are applied for estimation. The empirical analysis first identifies that youth who under the program’s schooling intervention possess an advantage in educational attainment over their non-intervention peers; with this identification of education discrepancy as a prerequisite, further results then present that earnings of the education advantaged youth increase at a higher rate about 20 percent than earnings of their education disadvantaged peers over the two years. This result indicates a confirmation that education accumulation for the economically disadvantaged young has a positive impact on their earnings enhancement and thus inferring a contribution to poverty reduction and pro-poorness of growth.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In 2000 when Sweden signed the Framework Convention for the Protection of National Minorities the Roma minority became one of the acknowledged national minorities in the country. It meant that the rights of the Roma mi-nority would be safeguarded and the knowledge of its history and culture would be spread. In that context, the Swedish school, with its founded as-signment of democracy, was given an important role. The education was to communicate the multicultural values of the society and to make visible the history and culture of the Roma minority. The school books used in teaching today do not meet these demands. The view of the Roma minority given in school books is often inadequate and simplified. The present study will therefore examine a different type of edu-cational material used in schools and teaching, The Swedish Educational Broadcasting Company‟s programs of history and social studies regarding the Roma minority. Starting in postcolonial theory as well as critical dis-course analysis the study examines how the picture of the Roma cultural and ethnic identity in the Swedish Educational Broadcasting Company‟s material has been displayed and possibly changed during the period of 1975 to 2013. The results show a picture of Roma which, both in form and content, con-sists of some clearly demarcated discursive categories. The obvious continui-ty of the categories gives a picture of static and invariable Roma identity. At the same time this unambiguous picture is broken both by giving the existing discourses new meaning and also adding new discourses. The complexity and nuances become more prominent and the Roma identity is integrated in common Swedish history telling. The changes in the view of Roma, given by the Swedish Educational Broadcasting Company, can mainly be explained by the change of the Swedish immigration and minority policy and, as a conse-quence of this, the change of the school‟s mission regarding knowledge communication of Sweden as a multicultural country.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Although the need to make health services more accessible to persons who have migrated has been identified, knowledge about health-promotion programs (HPPs) from the perspective of older persons born abroad is lacking. This study explores the design experiences and content implemented in an adapted version of a group-based HPP developed in a researcher-community partnership. Fourteen persons aged 70-83 years or older who had migrated to Sweden from Finland or the Balkan Peninsula were included. A grounded theory approach guided the data collection and analysis. The findings showed how participants and personnel jointly helped raise awareness. The participants experienced three key processes that could open doors to awareness: enabling community, providing opportunities to understand and be understood, and confirming human values and abilities. Depending on how the HPP content and design are being shaped by the group, the key processes could both inhibit or encourage opening doors to awareness. Therefore, this study provides key insights into how to enable health by deepening the understanding of how the exchange of health-promoting messages is experienced to be facilitated or hindered. This study adds to the scientific knowledge base of how the design and content of HPP may support and recognize the capabilities of persons aging in the context of migration.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The paper investigates which of Shannon’s measures (entropy, conditional entropy, mutual information) is the right one for the task of quantifying information flow in a programming language. We examine earlier relevant contributions from Denning, McLean and Gray and we propose and motivate a specific quantitative definition of information flow. We prove results relating equivalence relations, interference of program variables, independence of random variables and the flow of confidential information. Finally, we show how, in our setting, Shannon’s Perfect Secrecy theorem provides a sufficient condition to determine whether a program leaks confidential information.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The concrete offshore platforms, which are subjected a several loading combinations and, thus, requires an analysis more generic possible, can be designed using the concepts adopted to shell elements, but the resistance must be verify in particular cross-sections to shear forces. This work about design of shell elements will be make using the three-layer shell theory. The elements are subject to combined loading of membrane and plate, totalizing eight components of internal forces, which are three membrane forces, three moments (two out-of-plane bending moments and one in-plane, or torsion, moment) and two shear forces. The design method adopted, utilizing the iterative process proposed by Lourenco & Figueiras (1993) obtained from equations of equilibrium developed by Gupta (1896) , will be compared to results of experimentally tested shell elements found in the literature using the program DIANA.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A gauge theory of second order in the derivatives of the auxiliary field is constructed following Utiyama's program. A novel field strength G = partial derivative F + fAF arises besides the one of the first order treatment, F = partial derivative A - partial derivative A + fAA. The associated conserved current is obtained. It has a new feature: topological terms are determined from local invariance requirements. Podolsky Generalized Eletrodynamics is derived as a particular case in which the Lagrangian of the gauge field is L-P alpha G(2). In this application the photon mass is estimated. The SU(N) infrared regime is analysed by means of Alekseev-Arbuzov-Baikov's Lagrangian. (c) 2006 Elsevier B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Sm-doped PbTiO3 powder was synthesized by the polymeric precursor method, and was heat treated at different temperatures. The x-ray diffraction, photoluminescence, and UV-visible were used as a probe for the structural order degree short-, intermediate-, and long-range orders. Sm-3+ ions were used as markers of these order-disorder transformations in the PbTiO3 system. From the Rietveld refinement of the Sm-doped PbTiO3 x-ray diffraction data, structural models were obtained and analyzed by periodic ab initio quantum mechanical calculations using the CRYSTAL 98 package within the framework of density functional theory at the B3LYP level. This program can yield important information regarding the structural and electronic properties of crystalline and disordered structures. The experimental and theoretical results indicate the presence of the localized states in the band gap, due to the symmetry break, which is responsible for visible photoluminescence at room temperature in the disordered structure. (c) 2006 American Institute of Physics.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper we investigate the quantum phase transition from magnetic Bose Glass to magnetic Bose-Einstein condensation induced by amagnetic field in NiCl2 center dot 4SC(NH2)(2) (dichloro-tetrakis-thiourea-nickel, or DTN), doped with Br (Br-DTN) or site diluted. Quantum Monte Carlo simulations for the quantum phase transition of the model Hamiltonian for Br-DTN, as well as for site-diluted DTN, are consistent with conventional scaling at the quantum critical point and with a critical exponent z verifying the prediction z = d; moreover the correlation length exponent is found to be nu = 0.75(10), and the order parameter exponent to be beta = 0.95(10). We investigate the low-temperature thermodynamics at the quantum critical field of Br-DTN both numerically and experimentally, and extract the power-law behavior of the magnetization and of the specific heat. Our results for the exponents of the power laws, as well as previous results for the scaling of the critical temperature to magnetic ordering with the applied field, are incompatible with the conventional crossover-scaling Ansatz proposed by Fisher et al. [Phys. Rev. B 40, 546 (1989)]. However they can all be reconciled within a phenomenological Ansatz in the presence of a dangerously irrelevant operator.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Field-Programmable Gate Arrays (FPGAs) are becoming increasingly important in embedded and high-performance computing systems. They allow performance levels close to the ones obtained with Application-Specific Integrated Circuits, while still keeping design and implementation flexibility. However, to efficiently program FPGAs, one needs the expertise of hardware developers in order to master hardware description languages (HDLs) such as VHDL or Verilog. Attempts to furnish a high-level compilation flow (e.g., from C programs) still have to address open issues before broader efficient results can be obtained. Bearing in mind an FPGA available resources, it has been developed LALP (Language for Aggressive Loop Pipelining), a novel language to program FPGA-based accelerators, and its compilation framework, including mapping capabilities. The main ideas behind LALP are to provide a higher abstraction level than HDLs, to exploit the intrinsic parallelism of hardware resources, and to allow the programmer to control execution stages whenever the compiler techniques are unable to generate efficient implementations. Those features are particularly useful to implement loop pipelining, a well regarded technique used to accelerate computations in several application domains. This paper describes LALP, and shows how it can be used to achieve high-performance computing solutions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coupled-cluster theory in its single-reference formulation represents one of the most successful approaches in quantum chemistry for the description of atoms and molecules. To extend the applicability of single-reference coupled-cluster theory to systems with degenerate or near-degenerate electronic configurations, multireference coupled-cluster methods have been suggested. One of the most promising formulations of multireference coupled cluster theory is the state-specific variant suggested by Mukherjee and co-workers (Mk-MRCC). Unlike other multireference coupled-cluster approaches, Mk-MRCC is a size-extensive theory and results obtained so far indicate that it has the potential to develop to a standard tool for high-accuracy quantum-chemical treatments. This work deals with developments to overcome the limitations in the applicability of the Mk-MRCC method. Therefore, an efficient Mk-MRCC algorithm has been implemented in the CFOUR program package to perform energy calculations within the singles and doubles (Mk-MRCCSD) and singles, doubles, and triples (Mk-MRCCSDT) approximations. This implementation exploits the special structure of the Mk-MRCC working equations that allows to adapt existing efficient single-reference coupled-cluster codes. The algorithm has the correct computational scaling of d*N^6 for Mk-MRCCSD and d*N^8 for Mk-MRCCSDT, where N denotes the system size and d the number of reference determinants. For the determination of molecular properties as the equilibrium geometry, the theory of analytic first derivatives of the energy for the Mk-MRCC method has been developed using a Lagrange formalism. The Mk-MRCC gradients within the CCSD and CCSDT approximation have been implemented and their applicability has been demonstrated for various compounds such as 2,6-pyridyne, the 2,6-pyridyne cation, m-benzyne, ozone and cyclobutadiene. The development of analytic gradients for Mk-MRCC offers the possibility of routinely locating minima and transition states on the potential energy surface. It can be considered as a key step towards routine investigation of multireference systems and calculation of their properties. As the full inclusion of triple excitations in Mk-MRCC energy calculations is computational demanding, a parallel implementation is presented in order to circumvent limitations due to the required execution time. The proposed scheme is based on the adaption of a highly efficient serial Mk-MRCCSDT code by parallelizing the time-determining steps. A first application to 2,6-pyridyne is presented to demonstrate the efficiency of the current implementation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Autism is a chronic pervasive neurodevelopmental disorder characterized by the early onset of social and communicative impairments as well as restricted, ritualized, stereotypic behavior. The endophenotype of autism includes neuropsychological deficits, for instance a lack of "Theory of Mind" and problems recognizing facial affect. In this study, we report the development and evaluation of a computer-based program to teach and test the ability to identify basic facially expressed emotions. 10 adolescent or adult subjects with high-functioning autism or Asperger-syndrome were included in the investigation. A priori the facial affect recognition test had shown good psychometric properties in a normative sample (internal consistency: rtt=.91-.95; retest reliability: rtt=.89-.92). In a prepost design, one half of the sample was randomly assigned to receive computer treatment while the other half of the sample served as control group. The training was conducted for five weeks, consisting of two hours training a week. The trained individuals improved significantly on the affect recognition task, but not on any other measure. Results support the usefulness of the program to teach the detection of facial affect. However, the improvement found is limited to a circumscribed area of social-communicative function and generalization is not ensured.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Since the UsedSoft ruling of the CJEU in 2012, there has been the distinct feeling that – like the big bang - UsedSoft signals the start of a new beginning. As we enter this brave new world, the Copyright Directive will be read anew: misalignments in the treatment of physical and digital content will be resolved; accessibility and affordability for consumers will be heightened; and lock-in will be reduced as e-exhaustion takes hold. With UsedSoft as a precedent, the Court can do nothing but keep expanding its own ruling. For big bang theorists, it is only a matter of time until the digital first sale meteor strikes non-software downloads also. This paper looks at whether the UsedSoft ruling could indeed be the beginning of a wider doctrine of e-exhaustion, or if it is simply a one-shot comet restrained by provisions of the Computer Program Directive on which it was based. Fighting the latter corner, we have the strict word of the law; in the UsedSoft ruling, the Court appears to willingly bypass the international legal framework of the WCT. As far as expansion goes, the Copyright Directive was conceived specifically to implement the WCT, thus the legislative intent is clear. The Court would not, surely, invoke its modicum of creativity there also... With perhaps undue haste in a digital market of many unknowns, it seems this might well be the case. Provoking the big bang theory of e-exhaustion, the UsedSoft ruling can be read as distinctly purposive, but rather than having copyright norms in mind, the standard for the Court is the same free movement rules that underpin the exhaustion doctrine in the physical world. With an endowed sense of principled equivalence, the Court clearly wishes the tangible and intangible rules to be aligned. Against the backdrop of the European internal market, perhaps few legislative instruments would staunchly stand in its way. With firm objectives in mind, the UsedSoft ruling could be a rather disruptive meteor indeed.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This tutorial review article is intended to provide a general guidance to a reader interested to learn about the methodologies to obtain accurate electron density mapping in molecules and crystalline solids, from theory or from experiment, and to carry out a sensible interpretation of the results, for chemical, biochemical or materials science applications. The review mainly focuses on X-ray diffraction techniques and refinement of experimental models, in particular multipolar models. Neutron diffraction, which was widely used in the past to fix accurate positions of atoms, is now used for more specific purposes. The review illustrates three principal analyses of the experimental or theoretical electron density, based on quantum chemical, semi-empirical or empirical interpretation schemes, such as the quantum theory of atoms in molecules, the semi-classical evaluation of interaction energies and the Hirshfeld analysis. In particular, it is shown that a simple topological analysis based on a partition of the electron density cannot alone reveal the whole nature of chemical bonding. More information based on the pair density is necessary. A connection between quantum mechanics and observable quantities is given in order to provide the physical grounds to explain the observations and to justify the interpretations.