Who gets what? The interactive effect of MPs’ sex in committee assignments in Portugal

This article investigates the role of key individual-level factors, namely expertise, seniority and preferences in women’s assignments to legislative committees. It focuses on Portugal and draws on biographical data on MPs in five elections until 2009 and interviews with 20 legislators in 2014. The results show that female and male MPs have a similar probability of being appointed to powerful and economic issue committees, but female MPs are more likely to be appointed to social issue committees regardless of expertise and seniority. Although this outcome might be the product of their own preferences, it is influenced by embedded gender norms.info:eu-repo/semantics/publishedVersio

False-Positive Uptake on Radioiodine Whole-Body Scan Due to Bronchiectasis

info:eu-repo/semantics/publishedVersio

Characterising strongly normalising intuitionistic sequent terms

This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the typing system is reduced to that of a well known typing system with intersection types for the ordinary lambda-calculus. The completeness of the typing system is obtained from subject expansion at root position. This paper's sequent term calculus integrates smoothly the lambda-terms with generalised application or explicit substitution. Strong normalisability of these terms as sequent terms characterises their typeability in certain "natural'' typing systems with intersection types. The latter are in the natural deduction format, like systems previously studied by Matthes and Lengrand et al., except that they do not contain any extra, exceptional rules for typing generalised applications or substitution

Severe Thyroid-associated Ophtalmopathy and Hashimoto´s Thyroiditis in Euthyroid Patient

info:eu-repo/semantics/publishedVersio

Refocusing generalised normalisation

When defined with general elimination/application rules, natural deduction and $\lambda$-calculus become closer to sequent calculus. In order to get real isomorphism, normalisation has to be defined in a ``multiary'' variant, in which reduction rules are necessarily non-local (reason: nomalisation, like cut-elimination, acts at the \emph{head} of applicative terms, but natural deduction focuses at the \emph{tail} of such terms). Non-local rules are bad, for instance, for the mechanization of the system. A solution is to extend natural deduction even further to a \emph{unified calculus} based on the unification of cut and general elimination. In the unified calculus, a sequent term behaves like in the sequent calculus, whereas the reduction steps of a natural deduction term are interleaved with explicit steps for bringing heads to focus. A variant of the calculus has the symmetric role of improving sequent calculus in dealing with tail-active permutative conversions

Abnormal Appearance of the Umbilicus: An Indicator of Urachal Anomalies

The urachus is an intra-abdominal fibrous remnant of the allantois. The non-involution of the allantois can result in urachal anomalies. The abnormal appearance of the umbilicus may be a sign of such anomalies. We have observed 3 cases of term neonates with atypical appearance of the umbilical stump, all of which manifested urachal anomalies, as documented by ultrasound scan. These appearances are rarely described in the literature, and seem to regress at around 2 months. Therefore, it is important that healthcare professionals should be aware of the possible implications of atypical umbilical stumps, evaluate each case accordingly and, if an urachal anomaly is diagnosed, refer the patient to a paediatric surgery centre, as such malformations carry an underlying risk of infection or malignancy.info:eu-repo/semantics/publishedVersio

Cabeças de lista às eleições legislativas portuguesas: laços locais ou visibilidade nacional?

Cabeças de lista às eleições legislativas portuguesas: laços locais ou visibilidade nacional? Este artigo investiga em que medida as características pessoais dos cabeças de lista diferem das dos outros candidatos, partindo de uma base de dados original sobre os candidatos à Assembleia da República, em cinco eleições legislativas entre 1983-2009. Os resultados revelam que os candidatos com maior visibilidade nacional – políticos conhecidos, figuras públicas, candidatos com mais experiência parlamentar – têm mais probabilidade de serem colocados no topo da lista do que os candidatos que apresentam um perfil principalmente local. Este padrão não se altera significativamente em função da magnitude do distrito, do tipo de partido, nem com o amadurecimento da democracia. palavras-chave: cabeças de lista; recrutamento parlamentar; laços locais; visibilidade nacional.info:eu-repo/semantics/publishedVersio

Acute Osteoarthritis: Exuberant Presentation of an Unusual Condition in the Neonatal Period

info:eu-repo/semantics/publishedVersio