Programa Mais Médicos : uma avaliação dos resultados iniciais referentes ao eixo do provimento emergencial a partir da teoria da avaliação de programas

Dissertação (mestrado)—Universidade de Brasília, Centro de Estudos Avançados Multidisciplinares, Programa de Pós-Graduação em Desenvolvimento Sociedade e Cooperação Internacional, 2016.

ASYM20: a program for force constant and normal coordinate calculations, with a critical review of the theory involved

The theory of harmonic force constant refinement calculations is reviewed, and a general-purpose program for force constant and normal coordinate calculations is described. The program, called ASYM20. is available through Quantum Chemistry Program Exchange. It will work on molecules of any symmetry containing up to 20 atoms and will produce results on a series of isotopomers as desired. The vibrational secular equations are solved in either nonredundant valence internal coordinates or symmetry coordinates. As well as calculating the (harmonic) vibrational wavenumbers and normal coordinates, the program will calculate centrifugal distortion constants, Coriolis zeta constants, harmonic contributions to the α′s. root-mean-square amplitudes of vibration, and other quantities related to gas electron-diffraction studies and thermodynamic properties. The program will work in either a predict mode, in which it calculates results from an input force field, or in a refine mode, in which it refines an input force field by least squares to fit observed data on the quantities mentioned above. Predicate values of the force constants may be included in the data set for a least-squares refinement. The program is written in FORTRAN for use on a PC or a mainframe computer. Operation is mainly controlled by steering indices in the input data file, but some interactive control is also implemented.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

A comment on the Nash program and the theory of implementation

The mechanisms in the Nash program for cooperative games are madecompatible with the framework of the theory of implementation. This is donethrough a reinterpretation of the characteristic function that avoids feasibilityproblems, thereby allowing an analysis that focuses exclusively on the payoff space. In this framework, we show that the core is the only majorcooperative solution that is Maskin monotonic. Thus, implementation of mostcooperative solutions must rely on refinements of the Nash equilibrium concept(like most papers in the Nash program do). Finally, the mechanisms in theNash program are adapted into the model.

Refinement of Rapid PCC Coarse Aggregate Testing Program, HR-1071, 1999

The characterization and categorization of coarse aggregates for use in portland cement concrete (PCC) pavements is a highly refined process at the Iowa Department of Transportation. Over the past 10 to 15 years, much effort has been directed at pursuing direct testing schemes to supplement or replace existing physical testing schemes. Direct testing refers to the process of directly measuring the chemical and mineralogical properties of an aggregate and then attempting to correlate those measured properties to historical performance information (i.e., field service record). This is in contrast to indirect measurement techniques, which generally attempt to extrapolate the performance of laboratory test specimens to expected field performance. The purpose of this research project was to investigate and refine the use of direct testing methods, such as X-ray analysis techniques and thermal analysis techniques, to categorize carbonate aggregates for use in portland cement concrete. The results of this study indicated that the general testing methods that are currently used to obtain data for estimating service life tend to be very reliable and have good to excellent repeatability. Several changes in the current techniques were recommended to enhance the long-term reliability of the carbonate database. These changes can be summarized as follows: (a) Limits that are more stringent need to be set on the maximum particle size in the samples subjected to testing. This should help to improve the reliability of all three of the test methods studied during this project. (b) X-ray diffraction testing needs to be refined to incorporate the use of an internal standard. This will help to minimize the influence of sample positioning errors and it will also allow for the calculation of the concentration of the various minerals present in the samples. (c) Thermal analysis data needs to be corrected for moisture content and clay content prior to calculating the carbonate content of the sample.

Development of a graphical interface for the Rietveld refinement program DBWS

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Workshop: ASSIP - Attempted Suicide Short Intervention Program. Theory, Practice, and 24 Months Follow-up RCT.

Background: ASSIP is a manualized brief therapy based on a model of suicide as goal-directed action, aimed at establishing a therapeutic alliance in a patient-oriented, collaborative approach. The main goals of the three-session program ASSIP are for patients to understand, from an observer’s position, patterns leading to a suicidal crisis, recognize triggers and warning signs, and to establish individual safety strategies for future suicidal crises. An ongoing therapeutic support is provided with regular letters over 24 months. Method: The study was conducted in a naturalistic setting. 120 Patients were randomly assigned to an intervention group (60 participants) treated with ASSIP combined with follow-up contact through letters, and a control group (60 participants) receiving a single session of clinical assessment. Both groups had treatment as usual. Patients completed a set of psychosocial and clinical questionnaires every six months over a period of 24 months. Results: In the ASSIP group 5 patients made a total of 5 reattempts, compared to 15 patients with 41 reattempts in the control group. The survival analysis yielded a significant difference with a Wald Chi2 of .000003. The ASSIP group had significantly lower suicidal ideation and fewer days of inpatient treatment compared to the control group. Higher scores in the Penn Helping Alliance Questionnaire were associated with lower suicidal ideation during follow-up. Conclusions: ASSIP is a highly effective brief therapy for patients with recent suicide attempts. Forming a strong therapeutic alliance is considered to be a major factor for outcome. ASSIP can be used with minimal training by experienced therapists. An English version of the manual will be published in May 2015.

A Program for Fractal and Multifractal Analysis of Two-Dimensional Binary Images. Computer Algorithms versus Mathematical Theory.

In this paper we present a tool to carry out the multifractal analysis of binary, two-dimensional images through the calculation of the Rényi D(q) dimensions and associated statistical regressions. The estimation of a (mono)fractal dimension corresponds to the special case where the moment order is q = 0.

De Gaulle and Europe: Historical Revision and Social Science Theory. Program for the Study of Germany and Europe Working Paper Series 8.5

The thousands of books and articles on Charles de Gaulle's policy toward European integration, whether written by historians, social scientists, or commentators, universally accord primary explanatory importance to the General's distinctive geopolitical ideology. In explaining his motivations, only secondary significance, if any at all, is attached to commercial considerations. This paper seeks to reverse this historiographical consensus by examining the four major decisions toward European integration during de Gaulle's presidency: the decisions to remain in the Common Market in 1958, to propose the Foucher Plan in the early 1960s, to veto British accession to the EC, and to provoke the "empty chair" crisis in 1965-1966, resulting in the "Luxembourg Compromise." In each case, the overwhelming bulk of the primary evidence-speeches, memoirs, or government documents-suggests that de Gaulle's primary motivation was economic, not geopolitical or ideological. Like his predecessors and successors, de Gaulle sought to promote French industry and agriculture by establishing protected markets for their export products. This empirical finding has three broader implications: (1) For those interesred in the European Union, it suggests that regional integration has been driven primarily by economic, not geopolitical considerations--even in the "least likely" case. (2) For those interested in the role of ideas in foreign policy, it suggests that strong interest groups in a democracy limit the impact of a leader's geopolitical ideology--even where the executive has very broad institutional autonomy. De Gaulle was a democratic statesman first and an ideological visionary second. (3) For those who employ qualitative case-study methods, it suggests that even a broad, representative sample of secondary sources does not create a firm basis for causal inference. For political scientists, as for historians, there is in many cases no reliable alternative to primary-source research.

Yielding-barrier test data base-refinement of damage data tables in the CRASH program. Interim report.

National Highway Traffic Safety Administration, Washington, D.C.

Knowledge base refinement as improving an incorrect, inconsistent and incomplete domain theory

UIUCDCS-R-89-1585