On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Autoritarismes étatiques et régulation religieuse du politique en République démocratique du Congo : analyse discursive de la parole épiscopale catholique sur les élections (1990-2015)

Centrée essentiellement autour de la parole épiscopale congolaise, la présente recherche porte sur les articulations de la religion et du politique dans une perspective limitée au catholicisme en RDC. En prenant pour base empirique la ville de Kinshasa, elle thématise les effets des dynamiques religieuses sur les fermentations sociales et les changements politiques dans un contexte d’autoritarisme. Celui-ci est, dans ce travail, problématisé comme le fait conjoint de l’institution étatique et de l’organisation religieuse catholique. Le choix de cette approche relationnelle basée sur les interactions entre religion et politique, permet d’inscrire ce travail dans le champ d’études des sciences des religions. L’approche retenue s’appuie également sur les avancées de la sociologie politique et éclaire la régulation religieuse du politique, rarement étudiée par les sciences humaines. Cette recherche s’inscrit donc à l’intersection entre l’histoire, la sociologie, les sciences politiques, l’anthropologie, l’analyse du discours, la philosophie et la théologie. Sa thèse centrale est organisée autour d’une question principale : comment la religion participe-t-elle à la régulation du politique dans le contexte d’autoritarisme caractéristique de la RDC ? La réponse à cette question croise l’approche fonctionnelle de la religion et l’analyse des déclarations institutionnelles de l’épiscopat congolais. Elle esquisse les relations entre, d’une part, contextes et événements sociopolitiques et d’autre part, discours et pratiques religieuses. Elle construit la scène religieuse à partir de la trajectoire sociopolitique, économique et culturelle de la RDC entre 1990 et 2015, sous les Présidents J.-D. Mobutu, L.-D. Kabila et J. Kabila. Elle étudie l'offre normative de sens de leurs éminences J.-A. Malula, F. Etsou et L. Monsengwo. L’analyse de la rhétorique de l’épiscopat sur les élections vérifie la plausibilité sociale et l’efficience politique de la parole épiscopale congolaise. Elle se ressource dans la pragmatique de la communication telle que mise en œuvre dans l’analyse argumentative du discours de R. Amossy et dans celle du discours politique de P. Charaudeau. En mettant la focale sur l’objet linguistique « vérité des urnes », la recherche pose au niveau normatif, juridique et éthique, le problème de l’institutionnalisation d’un État de droit en RDC. Les élaborations sur ce dernier niveau s’articulent autour de l’inscription de l’éthique dans l’agir politique. L’examen des modes conventionnels d’action des chrétiens (élections de 2006 et 2011) et non conventionnels (marche des chrétiens de 1992 et 2012) conduit à éclairer les modes de reproduction ou de contestation de l’autoritarisme étatique par l’organisation religieuse. Il permet de promouvoir une démocratie des valeurs et d’action adossée à la parrhêsia. L’introduction de l’aléthique dans la vie publique donne à voir la parole épiscopale congolaise comme un discours ethopoïétique. C’est sur ce point précis que les élaborations de M. Foucault sur la parrhêsia aident à thématiser la capacité de la religion à informer et à influencer la démocratisation de la RDC. De là, la requête formulée pour un nouveau système d’action institutionnelle de l’organisation religieuse, susceptible de promouvoir le courage de la vérité en situation autoritaire. Cette innovation permet de tenir ensemble les valeurs démocratiques et les valeurs de l’Évangile, en les corrélant à la cohérence axiologique, à la probité morale et à l’intégrité existentielle des protagonistes de la démocratisation de la RDC.

Time-series of snow spectral albedo and superficial snow specific surface area at Dome C in Antarctica, 2012-2015

Spectral albedo has been measured at Dome C since December 2012 in the visible and near infrared (400 - 1050 nm) at sub-hourly resolution using a home-made spectral radiometer. Superficial specific surface area (SSA) has been estimated by fitting the observed albedo spectra to the analytical Asymptotic Approximation Radiative Transfer theory (AART). The dataset includes fully-calibrated albedo and SSA that pass several quality checks as described in the companion article. Only data for solar zenith angles less than 75° have been included, which theoretically spans the period October-March. In addition, to correct for residual errors still affecting data after the calibration, especially at the solar zenith angles higher than 60°, we produced a higher quality albedo time-series as follows: In the SSA estimation process described in the companion paper, a scaling coefficient A between the observed albedo and the theoretical model predictions was introduced to cope with these errors. This coefficient thus provides a first order estimate of the residual error. By dividing the albedo by this coefficient, we produced the "scaled fully-calibrated albedo". We strongly recommend to use the latter for most applications because it generally remains in the physical range 0-1. The former albedo is provided for reference to the companion paper and because it does not depend on the SSA estimation process and its underlying assumptions.

(Table T4) Final depth vs. velocity and two-way traveltime data, ODP Site 178-1103

Site 1103 was one of a transect of three sites drilled across the Antarctic Peninsula continental shelf during Leg 178. The aim of drilling on the shelf was to determine the age of the sedimentary sequences and to ground truth previous interpretations of the depositional environment (i.e., topsets and foresets) of progradational seismostratigraphic sequences S1, S2, S3, and S4. The ultimate objective was to obtain a better understanding of the history of glacial advances and retreats in this west Antarctic margin. Drilling the topsets of the progradational wedge (0-247 m below seafloor [mbsf]), which consist of unsorted and unconsolidated materials of seismic Unit S1, was very unfavorable, resulting in very low (2.3%) core recovery. Recovery improved (34%) below 247 mbsf, corresponding to sediments of seismic Unit S3, which have a consolidated matrix. Logs were only obtained from the interval between 75 and 244 mbsf, and inconsistencies on the automatic analog picking of the signals received from the sonic log at the array and at the two other receivers prevented accurate shipboard time-depth conversions. This, in turn, limited the capacity for making seismic stratigraphic interpretations at this site and regionally. This study is an attempt to compile all available data sources, perform quality checks, and introduce nonstandard processing techniques for the logging data obtained to arrive at a reliable and continuous depth vs. velocity profile. We defined 13 data categories using differential traveltime information. Polynomial exclusion techniques with various orders and low-pass filtering reduced the noise of the initial data pool and produced a definite velocity depth profile that is synchronous with the resistivity logging data. A comparison of the velocity profile produced with various other logs of Site 1103 further validates the presented data. All major logging units are expressed within the new velocity data. A depth-migrated section with the new velocity data is presented together with the original time section and initial depth estimates published within the Leg 178 Initial Reports volume. The presented data confirms the location of the shelf unconformity at 222 ms two-way traveltime (TWT), or 243 mbsf, and allows its seismic identification as a strong negative and subsequent positive reflection.

Effects of retirement on cognitive function: A gender and international perspecive

Background: As the global population is ageing, studying cognitive impairments including dementia, one of the leading causes of disability in old age worldwide, is of fundamental importance to public health. As a major transition in older age, a focus on the complex impacts of the duration, timing, and voluntariness of retirement on health is important for policy changes in the future. Longer retirement periods, as well as leaving the workforce early, have been associated with poorer health, including reduced cognitive functioning. These associations are hypothesized to differ based on gender, as well as on pre-retirement educational and occupational experiences, and on post-retirement social factors and health conditions. Methods: A cross-sectional study is conducted to determine the relationship between duration and timing of retirement and cognitive function, using data from the five sites of International Mobility in Aging Study (IMIAS). Cognitive function is assessed using the Leganes Cognitive Test (LCT) scores in 2012. Data are analyzed using multiple linear regressions. Analyses are also done by site/region separately (Canada, Latin America, and Albania). Robustness checks are done with an analysis of cognitive change from 2012 to 2014, the effect of voluntariness of retirement on cognitive function. An instrumental variable (IV) approach is also applied to the cross-sectional and longitudinal analyses as a robustness check to address the potential endogeneity of the retirement variable. Results: Descriptive statistics highlight differences between men and women, as well as between sites. In linear regression analysis, there was no relationship between timing or duration of retirement and cognitive function in 2012, when adjusting for site/region. There was no association between retirement characteristics and cognitive function in site/region/stratified analyses. In IV analysis, longer retirement and on time or late retirement was associated with lower cognitive function among men. In IV analysis, there is no relationship between retirement characteristics and cognitive function among women. Conclusions: While results of the thesis suggest a negative effect of retirement on cognitive function, especially among men, the relationship remains uncertain. A lack of power results in the inability to draw conclusions for site/region-specific analysis and site-adjusted analysis in both linear and IV regressions.

Creep deflection of low-strength reinforced concrete flexural members strengthened with carbon fiber composite sheets

The low-strength concrete is defined as a concrete where the compressive cubic strength is less than 15 MPa. Since the beginning of the last century, many low-strength concrete buildings and bridges have been built all over the world. Being short of deeper study, composite sheets are prohibited in strengthening of low-strength reinforced concrete members (CECS 146; ACI 440). Moreover, there are few relevant information about the long-term behavior and durability of strengthened RC members. This fact undoubtedly limits the use of the composite materials in the strengthening applications, therefore, it is necessary to study the behaviours of low-strength concrete elements strengthened with composite materials (FRP) for the preservation of historic constructions and innovation in the strengthening technology. Deformability is one of criteria in the design of concrete structures, and this for functionality, durability and aesthetics reasons. Civil engineer possibly encounters more deflection problems in the structural design than any other type of problem. Many materials common in structural engineering such as wood, concrete and composite materials, suffer creep; if the creep phenomenon is taken into account, checks for serviceability limit state criteria can become onerous, because the creep deformation in these materials is in the same order of magnitude as the elastic deformation. The thesis presents the results of an experimental study on the long-term behavior of low-strength reinforced concrete beams strengthened with carbon fiber composite sheets (CFRP). The work has investigated the accuracy of the long-term deflection predictions made by some analytical procedures existing in literature, as well as by the most widely used design codes (Eurocode 2, ACI-318, ACI-435).

Experimental Evidence that Retaliation Claims Are Unlike Other Employment Discrimination Claims

The type of discrimination claim that strikes fear in the hearts of all employers is the dreaded retaliation claim. While employers contend, and plaintiffs admit, that retaliation is different from other discrimination complaints, employee advocates have put forth legislation that would equalize retaliation with the other types of discrimination. This bill, Protecting Older Workers against Discrimination Act (POWADA), would expand the so-called mixed-motive jury instruction to age, and disability, as well as retaliation. Moreover, it would allow plaintiffs, not judges, to decide which types of instruction the jury would receive. In this article, the authors argue that retaliation claims should not receive the same treatment as other discrimination claims (including age and disability), because it’s easy for juries to believe that retaliation is a factor, regardless of other facts. Once a fact-finding jury checks the box to indicate that an employer’s motive might include retaliation, the employer will likely have to pay fees and costs, at minimum, regardless of the claim’s final resolution.

Utilização do “cheque-dentista” por parte de crianças de 10 e 13 anos no ano letivo 2013/2014 em duas escolas no agrupamento de Vizela

Introdução: Uma grande parte de todas as consultas de medicina dentária realizadas em Portugal ocorre em prestadores de natureza privada, consequentemente a acessibilidade, principalmente entre os estatutos socioeconomicamente mais desfavorecido é dificultada. As crianças e os jovens são um grupo especial da população que necessita de particular atenção e proteção por parte dos serviços governamentais, investir na sua saúde e no seu bem‐estar garante ganhos de saúde ao longo das suas vidas. Tendo isto em conta, foi criado o Programa Nacional de Promoção de Saúde Oral (PNPSO). Os objetivos principais deste programa consistem na redução da incidência de doenças orais, melhoria dos conhecimentos e comportamentos sobre saúde oral e a promoção da equidade na prestação de cuidados de saúde oral. Desta forma são emitidos cheques-dentista para determinados grupos populacionais, sendo eles crianças e jovens com idade inferior a 16 anos, gravidas a ser seguidas no SNS, beneficiários do complemento solidário para idosos, portadores de Sida/VIH, e consultas no âmbito da prevenção do cancro oral. Participantes e Métodos: Realizou-se um estudo observacional transversal onde a população em análise foi constituída pelos responsáveis dos alunos de 10 e 13 anos abrangidos pelo PNPSO que no ano letivo 2013/2014 frequentaram o Colégio de Vizela e o Instituto Silva Monteiro. A recolha de dados foi feita através de um inquérito realizado por escrito com questões relativas à utilização dos documentos no âmbito do PNPSO. Em ambas as situações esteve presente o consentimento informado e garantiu-se a total confidencialidade dos dados. Os dados recolhidos neste estudo foram submetidos a uma análise estatística recorrendo ao software IBM SPSS Statistics v22. Resultados: Na população analisada quando questionados “O seu educando já tinha tido alguma consulta de medicina dentária?” 88,5% responderam “sim”, desses a maioria referiu que o médico dentista onde essas consultas foram realizadas estava incluído no programa (81,5%). Uma grande parte dos inquiridos referiu a escola como fator que lhes deu a conhecer o programa (sendo que 90,2% incluíram essa opção nas suas respostas). Quando questionados se fizeram tratamentos fora do programa 54,9% responderam que não. Em relação à utilização do(s) cheque(s)-dentista a que tiveram direito, 86,1% dos beneficiários referiu ter utilizado, desses, 67,6% mencionou a conclusão dos tratamentos com as consultas no âmbito do programa. Quando questionados o que os levou a escolher o consultório onde os tratamentos incluídos no PNPSO foram realizados, 57,9% do total de respostas foram para o “conhecimento prévio do médico dentista”. Na opinião de grande parte dos inquiridos (97,5%), o cheque-dentista é um incentivo para cuidados de saúde oral. No futuro, 99,2% dos beneficiários referiram que irão realizar os tratamentos a que tenham direito com o PNPSO. Conclusão: Com este estudo foi possível observar que grande parte dos beneficiários analisados utilizou o(s) cheque(s)-dentista a que tiveram direito. É possível observar que a maioria dos utentes referiram ter beneficiado com o programa, e afirmam que este constitui um meio de promoção e prevenção de doenças orais futuras e um incentivo para os cuidados de saúde oral. O processo de divulgação do PNPSO foi na sua maioria realizado pelas escolas, em que ambas se revelaram competentes a dar a conhecer o programa aos beneficiários.

On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Autoritarismes étatiques et régulation religieuse du politique en République démocratique du Congo : analyse discursive de la parole épiscopale catholique sur les élections (1990-2015)

Centrée essentiellement autour de la parole épiscopale congolaise, la présente recherche porte sur les articulations de la religion et du politique dans une perspective limitée au catholicisme en RDC. En prenant pour base empirique la ville de Kinshasa, elle thématise les effets des dynamiques religieuses sur les fermentations sociales et les changements politiques dans un contexte d’autoritarisme. Celui-ci est, dans ce travail, problématisé comme le fait conjoint de l’institution étatique et de l’organisation religieuse catholique. Le choix de cette approche relationnelle basée sur les interactions entre religion et politique, permet d’inscrire ce travail dans le champ d’études des sciences des religions. L’approche retenue s’appuie également sur les avancées de la sociologie politique et éclaire la régulation religieuse du politique, rarement étudiée par les sciences humaines. Cette recherche s’inscrit donc à l’intersection entre l’histoire, la sociologie, les sciences politiques, l’anthropologie, l’analyse du discours, la philosophie et la théologie. Sa thèse centrale est organisée autour d’une question principale : comment la religion participe-t-elle à la régulation du politique dans le contexte d’autoritarisme caractéristique de la RDC ? La réponse à cette question croise l’approche fonctionnelle de la religion et l’analyse des déclarations institutionnelles de l’épiscopat congolais. Elle esquisse les relations entre, d’une part, contextes et événements sociopolitiques et d’autre part, discours et pratiques religieuses. Elle construit la scène religieuse à partir de la trajectoire sociopolitique, économique et culturelle de la RDC entre 1990 et 2015, sous les Présidents J.-D. Mobutu, L.-D. Kabila et J. Kabila. Elle étudie l'offre normative de sens de leurs éminences J.-A. Malula, F. Etsou et L. Monsengwo. L’analyse de la rhétorique de l’épiscopat sur les élections vérifie la plausibilité sociale et l’efficience politique de la parole épiscopale congolaise. Elle se ressource dans la pragmatique de la communication telle que mise en œuvre dans l’analyse argumentative du discours de R. Amossy et dans celle du discours politique de P. Charaudeau. En mettant la focale sur l’objet linguistique « vérité des urnes », la recherche pose au niveau normatif, juridique et éthique, le problème de l’institutionnalisation d’un État de droit en RDC. Les élaborations sur ce dernier niveau s’articulent autour de l’inscription de l’éthique dans l’agir politique. L’examen des modes conventionnels d’action des chrétiens (élections de 2006 et 2011) et non conventionnels (marche des chrétiens de 1992 et 2012) conduit à éclairer les modes de reproduction ou de contestation de l’autoritarisme étatique par l’organisation religieuse. Il permet de promouvoir une démocratie des valeurs et d’action adossée à la parrhêsia. L’introduction de l’aléthique dans la vie publique donne à voir la parole épiscopale congolaise comme un discours ethopoïétique. C’est sur ce point précis que les élaborations de M. Foucault sur la parrhêsia aident à thématiser la capacité de la religion à informer et à influencer la démocratisation de la RDC. De là, la requête formulée pour un nouveau système d’action institutionnelle de l’organisation religieuse, susceptible de promouvoir le courage de la vérité en situation autoritaire. Cette innovation permet de tenir ensemble les valeurs démocratiques et les valeurs de l’Évangile, en les corrélant à la cohérence axiologique, à la probité morale et à l’intégrité existentielle des protagonistes de la démocratisation de la RDC.

Vendor manual

This manual explains the WIC Program vendor responsibilities. Topics covered are: competitive pricing and peer groups, definitions for WIC vendors, DHEC regional map, vendor price surveys, how to become a South Carolina WIC vendor, transacting WIC checks, depositing WIC checks, vendor monitoring and administrative review procedures.

CONTROL DOCUMENTAL SOBRE GRUPOS ÉTNICOS INDÍGENAS COSTARRICENSES: 1980-2003

En Costa Rica se ha hecho poco por realizar el control documental nacional sobre grupos étnicos indígenas, esto puede ser tipificado como una debilidad, dos obras son el universo de fuentes de referencia.La necesidad de contar con el control documental sobre/de grupos étnicos indígenas costarricenses entre 1980-2003, es el propósito que persiguió esta investigación, además brindar un aporte de valor histórico, cultural y científico a aquellas personas interesadas en la temática indígena costarricense.Este control documental pretende agrupar la temática en estudio de dicho período. Es importante mencionar que en Costa Rica existen controles documentales sobre otras temáticas, no así de la temática indígena.Este control facilitará el rescate de la cultura indígena costarricense, es un aporte al control documental nacional y universal, contiene documentos de los años comprendidos entre 1980-2003, el mismo es fundamental para el acceso y disponibilidad de la información que forma parte de la actividad propia del profesional en bibliotecología, el cual se realiza dé acuerdo con las normas y criterios establecidos a nivel nacional e internacional. Además servirá y contribuirá como antecedente para futuros controles documentales sobre esta temática.

Agenda do Legislativo: quem define? E-

Analisa a relação entre os Poderes Executivo e Legislativo Brasileiro, comparando os requisitos de relevância e urgência dispostos no art. 62 da Constituição de 1988, levando-se em conta o desenho constitucional, a repercussão e o desempenho institucional diante da separação dos Poderes e do checks and balances na administração pública.

Validation of age determination using otoliths of the European anchovy (Engraulis encrasicolus L.) in the Bay of Biscay

Validation of the age determination procedure using otoliths of European anchovy in the Bay of Biscay was achieved by monitoring very strong year-classes in successive spring catches and surveys, as well as the seasonal occurrence of edge types. Historical corroboration of the ageing method was obtained by cross-correlation between successive age groups by year-classes in catches and surveys (1987–2013). Summary annual growth in length is also presented. Yearly annuli consist of a hyaline zone (either single or composite) and a wide opaque zone, disrupted occasionally by some typical checks (mainly at age-0 and age-1 at peak spawning time). Age determination, given a date of capture, requires knowledge of the typical annual growth pattern of otoliths, their seasonal edge formation by ages and the most typical checks. Most opaque growth occurs in summer and is minimal (translucent) in winter. Opaque zone formation begins earlier in younger fish (in spring), and this helps distinguish age-1 from age-2+.

Quantification of key biological processes determining the dynamics and the assessment of the anchovy population in the Bay of Biscay: growth, reproduction, demography and natural mortality.

333 p.