16,018 research outputs found

    Several types of types in programming languages

    Get PDF
    Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

    Impact of Radiotherapy, Chemotherapy and Surgery in Multimodal Treatment of Locally Advanced Esophageal Cancer

    Get PDF
    Objectives: It was the aim of this study to assess our institutional experience with definitive chemoradiation (CRT) versus induction chemotherapy followed by CRT with or without surgery (C-CRT/S) in esophageal cancer. Methods: We retrospectively analyzed 129 institutional patients with locally advanced esophageal cancer who had been treated by either CRT in analogy to the RTOG 8501 trial (n = 78) or C-CRT/S (n = 51). Results: The median, 2-and 5-year overall survival (OS) of the entire collective was 17.6 months, 42 and 24%, respectively, without a significant difference between the CRT and C-CRT/S groups. In C-CRT/S patients, surgery statistically improved the locoregional control (LRC) rates (2-year LRC 73.6 vs. 21.2%; p = 0.003); however, this was translated only into a trend towards improved OS (p = 0.084). The impact of escalated radiation doses (>= 60.0 vs. <60.0 Gy) on LRC was detectable only in T1-3 N0-1 M0 patients of the CRT group (2-year LRC 77.8 vs. 42.3%; p = 0.036). Conclusion: Definitive CRT and a trimodality approach including surgery (C-CRT/S) had a comparable outcome in this unselected patient collective. Surgery and higher radiation doses improve LRC rates in subgroups of patients, respectively, but without effect on OS. Copyright (C) 2012 S. Karger AG, Base

    Fixed Effect Estimation of Large T Panel Data Models

    Get PDF
    This article reviews recent advances in fixed effect estimation of panel data models for long panels, where the number of time periods is relatively large. We focus on semiparametric models with unobserved individual and time effects, where the distribution of the outcome variable conditional on covariates and unobserved effects is specified parametrically, while the distribution of the unobserved effects is left unrestricted. Compared to existing reviews on long panels (Arellano and Hahn 2007; a section in Arellano and Bonhomme 2011) we discuss models with both individual and time effects, split-panel Jackknife bias corrections, unbalanced panels, distribution and quantile effects, and other extensions. Understanding and correcting the incidental parameter bias caused by the estimation of many fixed effects is our main focus, and the unifying theme is that the order of this bias is given by the simple formula p/n for all models discussed, with p the number of estimated parameters and n the total sample size.Comment: 40 pages, 1 tabl

    Electrostatically gated membrane permeability in inorganic protocells

    Get PDF
    Although several strategies are now available to produce functional microcompartments analogous to primitive cell-like structures, little progress has been made in generating protocell constructs with self-controlled membrane permeability. Here we describe the preparation of water-dispersible colloidosomes based on silica nanoparticles and delineated by a continuous semipermeable inorganic membrane capable of self-activated, electrostatically gated permeability. We use crosslinking and covalent grafting of a pH-responsive copolymer to generate an ultrathin elastic membrane that exhibits selective release and uptake of small molecules. This behaviour, which depends on the charge of the copolymer coronal layer, serves to trigger enzymatic dephosphorylation reactions specifically within the protocell aqueous interior. This system represents a step towards the design and construction of alternative types of artificial chemical cells and protocell models based on spontaneous processes of inorganic self-organization

    Developments in CLARA accelerator design and simulations

    Get PDF
    We present recent developments in the accelerator design of CLARA (Compact Linear Accelerator for Research and Applications), the proposed UK FEL test facility at Daresbury Laboratory. Updates on the electron beam simulations and code comparisons including wakefields are described. Simulations of the effects of geometric wakefields in the small-aperture FEL undulator are shown, as well as further simulations on potential FEL experiments using chirped beams. We also present the results of simulations on post-FEL diagnostics

    A twenty-year survey of dermatophytoses in Braga, Portugal

    Get PDF
    Modifications in social habits together with the increase of emigration have contributed not only to increased dermatophytoses but also to an altered etiology. During the last few years, Braga has suffered a radical change from a rural to a cosmopolitan life-style

    Influence of severe plastic deformation on the precipitation hardening of a FeSiTi steel

    Full text link
    The combined strengthening effects of grain refinement and high precipitated volume fraction (~6at.%) on the mechanical properties of FeSiTi alloy subjected to SPD processing prior to aging treatment were investigated by atom probe tomography and scanning transmission electron microscopy. It was shown that the refinement of the microstructure affects the precipitation kinetics and the spatial distribution of the secondary hardening intermetallic phase, which was observed to nucleate heterogeneously on dislocations and sub-grain boundaries. It was revealed that alloys successively subjected to these two strengthening mechanisms exhibit a lower increase in mechanical strength than a simple estimation based on the summation of the two individual strengthening mechanisms

    Transit Timing and Duration Variations for the Discovery and Characterization of Exoplanets

    Full text link
    Transiting exoplanets in multi-planet systems have non-Keplerian orbits which can cause the times and durations of transits to vary. The theory and observations of transit timing variations (TTV) and transit duration variations (TDV) are reviewed. Since the last review, the Kepler spacecraft has detected several hundred perturbed planets. In a few cases, these data have been used to discover additional planets, similar to the historical discovery of Neptune in our own Solar System. However, the more impactful aspect of TTV and TDV studies has been characterization of planetary systems in which multiple planets transit. After addressing the equations of motion and parameter scalings, the main dynamical mechanisms for TTV and TDV are described, with citations to the observational literature for real examples. We describe parameter constraints, particularly the origin of the mass/eccentricity degeneracy and how it is overcome by the high-frequency component of the signal. On the observational side, derivation of timing precision and introduction to the timing diagram are given. Science results are reviewed, with an emphasis on mass measurements of transiting sub-Neptunes and super-Earths, from which bulk compositions may be inferred.Comment: Revised version. Invited review submitted to 'Handbook of Exoplanets,' Exoplanet Discovery Methods section, Springer Reference Works, Juan Antonio Belmonte and Hans Deeg, Eds. TeX and figures may be found at https://github.com/ericagol/TTV_revie
    corecore