Temporalized logics and automata for time granularity

Suitable extensions of the monadic second-order theory of k successors have been proposed in the literature to capture the notion of time granularity. In this paper, we provide the monadic second-order theories of downward unbounded layered structures, which are infinitely refinable structures consisting of a coarsest domain and an infinite number of finer and finer domains, and of upward unbounded layered structures, which consist of a finest domain and an infinite number of coarser and coarser domains, with expressively complete and elementarily decidable temporal logic counterparts. We obtain such a result in two steps. First, we define a new class of combined automata, called temporalized automata, which can be proved to be the automata-theoretic counterpart of temporalized logics, and show that relevant properties, such as closure under Boolean operations, decidability, and expressive equivalence with respect to temporal logics, transfer from component automata to temporalized ones. Then, we exploit the correspondence between temporalized logics and automata to reduce the task of finding the temporal logic counterparts of the given theories of time granularity to the easier one of finding temporalized automata counterparts of them.Comment: Journal: Theory and Practice of Logic Programming Journal Acronym: TPLP Category: Paper for Special Issue (Verification and Computational Logic) Submitted: 18 March 2002, revised: 14 Januari 2003, accepted: 5 September 200

The STRIP instrument of the Large Scale Polarization Explorer: microwave eyes to map the Galactic polarized foregrounds

In this paper we discuss the latest developments of the STRIP instrument of the “Large Scale Polarization Explorer” (LSPE) experiment. LSPE is a novel project that combines ground-based (STRIP) and balloon-borne (SWIPE) polarization measurements of the microwave sky on large angular scales to attempt a detection of the “B-modes” of the Cosmic Microwave Background polarization. STRIP will observe approximately 25% of the Northern sky from the “Observatorio del Teide” in Tenerife, using an array of forty-nine coherent polarimeters at 43 GHz, coupled to a 1.5 m fully rotating crossed-Dragone telescope. A second frequency channel with six-elements at 95 GHz will be exploited as an atmospheric monitor. At present, most of the hardware of the STRIP instrument has been developed and tested at sub-system level. System-level characterization, starting in July 2018, will lead STRIP to be shipped and installed at the observation site within the end of the year. The on-site verification and calibration of the whole instrument will prepare STRIP for a 2-years campaign for the observation of the CMB polarization

Relationship among research collaboration, number of documents and number of citations. A case study in Spanish computer science production in 2000-2009.

This paper analyzes the relationship among research collaboration, number of documents and number of citations of computer science research activity. It analyzes the number of documents and citations and how they vary by number of authors. They are also analyzed (according to author set cardinality) under different circumstances, that is, when documents are written in different types of collaboration, when documents are published in different document types, when documents are published in different computer science subdisciplines, and, finally, when documents are published by journals with different impact factor quartiles. To investigate the above relationships, this paper analyzes the publications listed in the Web of Science and produced by active Spanish university professors between 2000 and 2009, working in the computer science field. Analyzing all documents, we show that the highest percentage of documents are published by three authors, whereas single-authored documents account for the lowest percentage. By number of citations, there is no positive association between the author cardinality and citation impact. Statistical tests show that documents written by two authors receive more citations per document and year than documents published by more authors. In contrast, results do not show statistically significant differences between documents published by two authors and one author. The research findings suggest that international collaboration results on average in publications with higher citation rates than national and institutional collaborations. We also find differences regarding citation rates between journals and conferences, across different computer science subdisciplines and journal quartiles as expected. Finally, our impression is that the collaborative level (number of authors per document) will increase in the coming years, and documents published by three or four authors will be the trend in computer science literature

Advanced modelling of the Planck-LFI radiometers

The Low Frequency Instrument (LFI) is a radiometer array covering the 30-70 GHz spectral range on-board the ESA Planck satellite, launched on May 14th, 2009 to observe the cosmic microwave background (CMB) with unprecedented precision. In this paper we describe the development and validation of a software model of the LFI pseudo-correlation receivers which enables to reproduce and predict all the main system parameters of interest as measured at each of the 44 LFI detectors. These include system total gain, noise temperature, band-pass response, non-linear response. The LFI Advanced RF Model (LARFM) has been constructed by using commercial software tools and data of each radiometer component as measured at single unit level. The LARFM has been successfully used to reproduce the LFI behavior observed during the LFI ground-test campaign. The model is an essential element in the database of LFI data processing center and will be available for any detailed study of radiometer behaviour during the survey.Comment: 21 pages, 15 figures, this paper is part of the Prelaunch status LFI papers published on JINST: http://www.iop.org/EJ/journal/-page=extra.proc5/jins

Drop-out rate from the liver transplant waiting list due to HCC progression in HCV-infected patients treated with direct acting antivirals.

BACKGROUND & AIM: concerns about an increased hepatocellular carcinoma (HCC) recurrence rate following directly acting antiviral (DAA) therapy in cirrhotic patients with a prior complete oncological response have been raised. Data regarding the impact of HCV-treatment with DAAs on waiting list drop-out rates in patients with active HCC and HCV-related cirrhosis awaiting liver transplantation (LT) are lacking. MATERIALS AND METHODS: HCV-HCC patients listed for LT between January 2015 and May 2016 at Padua Liver Transplant Centre were considered eligible for the study. After enrollment patients were divided into 2 groups, depending on whether they underwent DAAs treatment while awaiting LT or not. For each patient clinical, serological and virological data were collected. HCC characteristics were radiologically evaluated at baseline and during follow-up (FU). For transplanted patients, pathological assessment of the explants was performed and recurrence-rates were calculated. RESULTS: twenty-three patients treated with DAAs and 23 controls were enrolled. HCC characteristics at time of LT-listing were comparable between the 2 groups. Median FU was 10 and 7 months, respectively, during which 2/23 (8.7%) and 1/23 (4.3%) drop-out events due to HCC-progression were registered (p = 0.9). No significant differences in terms of radiological progression were highlighted (p = 0.16). Nine out of 23 cases (39%) and 14/23 (61%) controls underwent LT, and histopathological analysis showed no differences in terms of median number and total tumor volume of HCC nodules, tumor differentiation or microvascular invasion. During post-LT FU, 1/8 DAAs treated patient (12,5%) and 1/12 control (8,3%) experienced HCC recurrence (p = 0.6). CONCLUSIONS: Viral eradication does not seem to be associated with an increased risk of drop-out due to neoplastic progression in HCV-HCC patients awaiting LT

Planck-LFI radiometers' spectral response

The Low Frequency Instrument (LFI) is an array of pseudo-correlation radiometers on board the Planck satellite, the ESA mission dedicated to precision measurements of the Cosmic Microwave Background. The LFI covers three bands centred at 30, 44 and 70 GHz, with a goal bandwidth of 20% of the central frequency. The characterization of the broadband frequency response of each radiometer is necessary to understand and correct for systematic effects, particularly those related to foreground residuals and polarization measurements. In this paper we present the measured band shape of all the LFI channels and discuss the methods adopted for their estimation. The spectral characterization of each radiometer was obtained by combining the measured spectral response of individual units through a dedicated RF model of the LFI receiver scheme. As a consistency check, we also attempted end-to-end spectral measurements of the integrated radiometer chain in a cryogenic chamber. However, due to systematic effects in the measurement setup, only qualitative results were obtained from these tests. The measured LFI bandpasses exhibit a moderate level of ripple, compatible with the instrument scientific requirements.Comment: 16 pages, 9 figures, this paper is part of the Prelaunch status LFI papers published on JINST: http://www.iop.org/EJ/journal/-page=extra.proc5/jins

The STRIP instrument of the Large Scale Polarization Explorer: microwave eyes to map the Galactic polarized foregrounds

In this paper we discuss the latest developments of the STRIP instrument of the “Large Scale Polarization Explorer” (LSPE) experiment. LSPE is a novel project that combines ground-based (STRIP) and balloon-borne (SWIPE) polarization measurements of the microwave sky on large angular scales to attempt a detection of the “B-modes” of the Cosmic Microwave Background polarization. STRIP will observe approximately 25% of the Northern sky from the “Observatorio del Teide” in Tenerife, using an array of forty-nine coherent polarimeters at 43 GHz, coupled to a 1.5 m fully rotating crossed-Dragone telescope. A second frequency channel with six-elements at 95 GHz will be exploited as an atmospheric monitor. At present, most of the hardware of the STRIP instrument has been developed and tested at sub-system level. System-level characterization, starting in July 2018, will lead STRIP to be shipped and installed at the observation site within the end of the year. The on-site verification and calibration of the whole instrument will prepare STRIP for a 2-years campaign for the observation of the CMB polarization

A timeband framework for modelling real-time systems

Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures. New scientific foundations are required for specifying, designing and implementing these systems. One key challenge is to cope with the wide range of time scales and dynamics inherent in such systems. To exploit the unique properties of time, with the aim of producing more dependable computer-based systems, it is desirable to explicitly identify distinct time bands in which the system is situated. Such a framework enables the temporal properties and associated dynamic behaviour of existing systems to be described and the requirements for new or modified systems to be specified. A system model based on a finite set of distinct time bands is motivated and developed in this paper