Lesões Ósseas Fibrosas Benignas na Criança

Procedeu-se à revisão dos Tumores Ósseos e Lesões Pseudotumorais Benignos diagnosticados na Consulta de Ortopedia do Hospital de Dona Estefânia no período de Janeiro de 1988 e Janeiro de 1995. Seleccionaram-se 130 crianças com esse diagnóstico. Cinquenta e quatro desses (42%) doentes apresentavam Tumores Fibrosos Benignos. Fez-se seguidamente uma revisão clínica, radiológica, histológica e de abordagem terapêutica dos Tumores Fibrosos Benignos encontrados na população estudada

Modelling the Relationship between Travel Behaviour and Social Disadvantage

The purpose of this paper is to model the travel behaviour of socially disadvantaged population segments in the United Kingdom (UK) using the data from the UK National Travel Survey 2002-2010. This was achieved by introducing additional socioeconomic variables into a standard national-level trip end model (TEM) and using purpose-based analysis of the travel behaviours of certain key socially disadvantaged groups. Specifically the paper aims to explore how far the economic and social disadvantages of these individuals can be used to explain the inequalities in their travel behaviours. The models demonstrated important differences in travel behaviours according to household income, presence of children in the household, possession of a driver’s license and belonging to a vulnerable population group, such as being disabled, non-white or having single parent household status. In the case of household income, there was a non-linear relationship with trip frequency and a linear one with distance travelled. The recent economic austerity measures that have been introduced in the UK and many other European countries have led to major cutbacks in public subsidies for socially necessary transport services, making results such as these increasingly important for transport policy decision-making. The results indicate that the inclusion of additional socioeconomic variables is useful for identifying significant differences in the trip patterns and distances travelled by low-income

Mkp3 is a negative feedback modulator of Fgf8 signaling in the mammalian isthmic organizer

The pivotal mechanisms that govern the correct patterning and regionalization of the distinct areas of the mammalian CNS are driven by key molecules that emanate from the so-called secondary organizers at neural plate and tube stages. FGF8 is the candidate morphogenetic molecule to pattern the mesencephalon and rhombencephalon in the isthmic organizer (IsO). Recognizable relevance has been given to the intracellular pathways by which Fgf8 is regulated and modulated. In chick limb bud development, a dual mitogen-activated protein kinase phosphatase-3 (Mkp3) plays a role as a negative feedback modulator of Fgf8 signaling. We have investigated the role of Mkp3 and its functional relationship with the Fgf8 signaling pathway in the mouse IsO using gene transfer microelectroporation assays and protein-soaked bead experiments. Here, we demonstrate that MKP3 has a negative feedback action on the MAPK/ERK-mediated FGF8 pathway in the mouse neuroepithelium. (C) 2004 Elsevier Inc. All rights reserved.info:eu-repo/semantics/publishedVersio

Measuring attitudes: quantitative and qualitative methods

In this paper, we present the discussion and main findings from the ISCTSC Workshop B3, which focused on measuring the role of attitudes and perceptions in people’s travel choices. The paper considers various issues concerning the design and use of quantitative and qualitative approaches in the measurement of attitudes and perceptions within travel surveys. It first identifies the importance of measuring the underlying psychological motivations for people’s travel choices and behaviors and provides some examples of how travel surveys have applied these concepts to date. It then considers the complimentary role of qualitative methods for improving quantitative survey and model design, as well as for providing deeper understandings and interpretations of travel behaviors. Finally, it makes some recommendations for the advancement of research practice in these two respects and also briefly discusses the opportunity for mix method approaches

A Time Series Analysis of Air Pollution and Preterm Birth in Pennsylvania, 1997–2001

Preterm delivery can lead to serious infant health outcomes, including death and lifelong disability. Small increases in preterm delivery risk in relation to spatial gradients of air pollution have been reported, but previous studies may have controlled inadequately for individual factors. Using a time-series analysis, which eliminates potential confounding by individual risk factors that do not change over short periods of time, we investigated the effect of ambient outdoor particulate matter with diameter ≤10 μm (PM(10)) and sulfur dioxide on risk for preterm delivery. Daily counts of preterm births were obtained from birth records in four Pennsylvania counties from 1997 through 2001. We observed increased risk for preterm delivery with exposure to average PM(10) and SO(2) in the 6 weeks before birth [respectively, relative risk (RR) = 1.07; 95% confidence interval (CI), 0.98–1.18 per 50 μg/m(3) increase; RR = 1.15; 95% CI, 1.00–1. 32 per 15 ppb increase], adjusting for long-term preterm delivery trends, co-pollutants, and offsetting by the number of gestations at risk. We also examined lags up to 7 days before the birth and found an acute effect of exposure to PM(10) 2 days and 5 days before birth (respectively, RR = 1.10; 95% CI, 1.00–1.21; RR = 1.07; 95% CI, 0.98–1.18) and SO(2) 3 days before birth (RR = 1.07; 95% CI, 0.99–1.15), adjusting for covariates, including temperature, dew point temperature, and day of the week. The results from this time-series analysis, which provides evidence of an increase in preterm birth risk with exposure to PM(10) and SO(2), are consistent with prior investigations of spatial contrasts

Automatically Proving and Disproving Feasibility Conditions

[EN] In the realm of term rewriting, given terms s and t, a reachability condition s>>t is called feasible if there is a substitution O such that O(s) rewrites into O(t) in zero or more steps; otherwise, it is called infeasible. Checking infeasibility of (sequences of) reachability conditions is important in the analysis of computational properties of rewrite systems like confluence or (operational) termination. In this paper, we generalize this notion of feasibility to arbitrary n-ary relations on terms defined by first-order theories. In this way, properties of computational systems whose operational semantics can be given as a first-order theory can be investigated. We introduce a framework for proving feasibility/infeasibility, and a new tool, infChecker, which implements it.Supported by EU (FEDER), and projects RTI2018-094403-B-C32, PROMETEO/2019/098, and SP20180225. Also by INCIBE program "Ayudas para la excelencia de los equipos de investigación avanzada en ciberseguridad" (Raul Gutiérrez).Gutiérrez Gil, R.; Lucas Alba, S. (2020). Automatically Proving and Disproving Feasibility Conditions. Springer Nature. 416-435. https://doi.org/10.1007/978-3-030-51054-1_27S416435Andrianarivelo, N., Réty, P.: Over-approximating terms reachable by context-sensitive rewriting. In: Bojańczyk, M., Lasota, S., Potapov, I. (eds.) RP 2015. LNCS, vol. 9328, pp. 128–139. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24537-9_12Dershowitz, N.: Termination of rewriting. J. Symb. Comput. 3(1/2), 69–116 (1987). https://doi.org/10.1016/S0747-7171(87)80022-6Giesl, J., Thiemann, R., Schneider-Kamp, P., Falke, S.: Mechanizing and improving dependency pairs. J. Autom. Reasoning 37(3), 155–203 (2006). https://doi.org/10.1007/s10817-006-9057-7Goguen, J.A., Meseguer, J.: Models and equality for logical programming. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds.) TAPSOFT 1987. LNCS, vol. 250, pp. 1–22. Springer, Heidelberg (1987). https://doi.org/10.1007/BFb0014969Gutiérrez, R., Lucas, S.: Automatic generation of logical models with AGES. In: Fontaine, P. (ed.) CADE 2019. LNCS (LNAI), vol. 11716, pp. 287–299. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-29436-6_17Kojima, Y., Sakai, M.: Innermost reachability and context sensitive reachability properties are decidable for linear right-shallow term rewriting systems. In: Voronkov, A. (ed.) RTA 2008. LNCS, vol. 5117, pp. 187–201. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-70590-1_13Kojima, Y., Sakai, M., Nishida, N., Kusakari, K., Sakabe, T.: Context-sensitive innermost reachability is decidable for linear right-shallow term rewriting systems. Inf. Media Technol. 4(4), 802–814 (2009)Kojima, Y., Sakai, M., Nishida, N., Kusakari, K., Sakabe, T.: Decidability of reachability for right-shallow context-sensitive term rewriting systems. IPSJ Online Trans. 4, 192–216 (2011)Lucas, S.: Analysis of rewriting-based systems as first-order theories. In: Fioravanti, F., Gallagher, J.P. (eds.) LOPSTR 2017. LNCS, vol. 10855, pp. 180–197. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94460-9_11Lucas, S.: Context-sensitive computations in functional and functional logic programs. J. Funct. Logic Program. 1998(1) (1998). http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-01/A98-01.htmlLucas, S.: Proving semantic properties as first-order satisfiability. Artif. Intell. 277 (2019). https://doi.org/10.1016/j.artint.2019.103174Lucas, S.: Using well-founded relations for proving operational termination. J. Autom. Reasoning 64(2), 167–195 (2019). https://doi.org/10.1007/s10817-019-09514-2Lucas, S., Gutiérrez, R.: Use of logical models for proving infeasibility in term rewriting. Inf. Process. Lett. 136, 90–95 (2018). https://doi.org/10.1016/j.ipl.2018.04.002Lucas, S., Marché, C., Meseguer, J.: Operational termination of conditional term rewriting systems. Inf. Process. Lett. 95(4), 446–453 (2005). https://doi.org/10.1016/j.ipl.2005.05.002Lucas, S., Meseguer, J.: Proving operational termination of declarative programs in general logics. In: Chitil, O., King, A., Danvy, O. (eds.) Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, 8–10 September 2014, pp. 111–122. ACM (2014). https://doi.org/10.1145/2643135.2643152Lucas, S., Meseguer, J., Gutiérrez, R.: The 2D dependency pair framework for conditional rewrite systems. Part I: definition and basic processors. J. Comput. Syst. Sci. 96, 74–106 (2018). https://doi.org/10.1016/j.jcss.2018.04.002Lucas, S., Meseguer, J., Gutiérrez, R.: The 2D dependency pair framework for conditional rewrite systems—Part II: advanced processors and implementation techniques. J. Autom. Reasoning (2020, in press)McCune, W.: Prover9 and Mace4. https://www.cs.unm.edu/~mccune/mace4/Meßner, F., Sternagel, C.: nonreach – a tool for nonreachability analysis. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11427, pp. 337–343. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17462-0_19Middeldorp, A., Nagele, J., Shintani, K.: Confluence competition 2019. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.) TACAS 2019. LNCS, vol. 11429, pp. 25–40. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17502-3_2Nishida, N., Maeda, Y.: Narrowing trees for syntactically deterministic conditional term rewriting systems. In: Kirchner, H. (ed.) Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction. FSCD 2018. Leibniz International Proceedings in Informatics (LIPIcs), vol. 108, pp. 26:1–26:20. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2018). https://doi.org/10.4230/LIPIcs.FSCD.2018.26Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, Heidelberg (2002). http://www.springer.com/computer/swe/book/978-0-387-95250-5Prawitz, D.: Natural Deduction: A Proof-Theoretical Study. Dover, New York (2006)Sternagel, C., Sternagel, T., Middeldorp, A.: CoCo 2018 Participant: ConCon 1.5. In: Felgenhauer, B., Simonsen, J. (eds.) Proceedings of the 7th International Workshop on Confluence. IWC 2018, p. 66 (2018). http://cl-informatik.uibk.ac.at/events/iwc-2018/Sternagel, C., Yamada, A.: Reachability analysis for termination and confluence of rewriting. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11427, pp. 262–278. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17462-0_15Winkler, S., Moser, G.: MædMax: a maximal ordered completion tool. In: Galmiche, D., Schulz, S., Sebastiani, R. (eds.) IJCAR 2018. LNCS (LNAI), vol. 10900, pp. 472–480. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94205-6_3

A Scoping Review and Meta-Analysis of Anti-CGRP Monoclonal Antibodies: Predicting Response

Calcitonin gene-related peptide-targeted monoclonal antibodies (CGRP mAbs) are increasingly being used as preventive treatments for migraine. Their effectiveness and safety were established through numerous randomized placebo-controlled trials and real-world studies, yet a significant proportion of patients do not respond to this treatment, and currently, there is a lack of accepted predictors of response to guide expectations, as data from studies so far are lacking and inconsistent. We searched Embase and MEDLINE databases for studies reporting on predictors of response to CGRP and/or CGRP-receptor (CGRP-R) mAbs, defined as a 30% or 50% reduction in monthly headache or migraine days at varying durations of follow-up. Quantitative synthesis was performed where applicable. We found 38 real-world studies that investigated the association between various predictors and response rates. Based on these studies, good response to triptans and unilateral pain with or without unilateral autonomic symptoms are predictors of a good response to CGRP(-R) mAbs. Conversely, obesity, interictal allodynia, the presence of daily headaches, a higher number of non-successful previous prophylactic medications, and psychiatric comorbidities including depression are predictive of a poor response to CGRP(-R) mAbs. Future studies should confirm these results and help to generate more tailored treatment strategies in patients with migraine

Prebiotic Homochirality as a Critical Phenomenon

The development of prebiotic homochirality on early-Earth or another planetary platform may be viewed as a critical phenomenon. It is shown, in the context of spatio-temporal polymerization reaction networks, that environmental effects -- be them temperature surges or other external disruptions -- may destroy any net chirality previously produced. In order to understand the emergence of prebiotic homochirality it is important to model the coupling of polymerization reaction networks to different planetary environments.Comment: 6 Pages, 1 Figure, In Press: Origins of Life and Evolution of Biosphere