The Two Phases of Galaxy Formation

Cosmological simulations of galaxy formation appear to show a two-phase character with a rapid early phase at z>2 during which in-situ stars are formed within the galaxy from infalling cold gas followed by an extended phase since z<3 during which ex-situ stars are primarily accreted. In the latter phase massive systems grow considerably in mass and radius by accretion of smaller satellite stellar systems formed at quite early times (z>3) outside of the virial radius of the forming central galaxy. These tentative conclusions are obtained from high resolution re-simulations of 39 individual galaxies in a full cosmological context with present-day virial halo masses ranging from 7e11 M_sun h^-1 < M_vir < 2.7e13 M_sun h^-1 and central galaxy masses between 4.5e10 M_sun h^-1 < M_* < 3.6e11 M_sun h^-1. The simulations include the effects of a uniform UV background, radiative cooling, star formation and energetic feedback from SNII. The importance of stellar accretion increases with galaxy mass and towards lower redshift. In our simulations lower mass galaxies ($M_* < 9e10 M_sun h^-1) accrete about 60 per cent of their present-day stellar mass. High mass galaxy ($M_* > 1.7e11 M_sun h^-1) assembly is dominated by accretion and merging with about 80 per cent of the stars added by the present-day. In general the simulated galaxies approximately double their mass since z=1. For massive systems this mass growth is not accompanied by significant star formation. The majority of the in-situ created stars is formed at z>2, primarily out of cold gas flows. We recover the observational result of archaeological downsizing, where the most massive galaxies harbor the oldest stars. We find that this is not in contradiction with hierarchical structure formation. Most stars in the massive galaxies are formed early on in smaller structures, the galaxies themselves are assembled late.Comment: 13 pages, 13 figures, accepted for publication in Ap

Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)

Security protocols are often found to be flawed after their deployment. We present an approach that aims at the neutralization or mitigation of the attacks to flawed protocols: it avoids the complete dismissal of the interested protocol and allows honest agents to continue to use it until a corrected version is released. Our approach is based on the knowledge of the network topology, which we model as a graph, and on the consequent possibility of creating an interference to an ongoing attack of a Dolev-Yao attacker, by means of non-collaboration actuated by ad-hoc benign attackers that play the role of network guardians. Such guardians, positioned in strategical points of the network, have the task of monitoring the messages in transit and discovering at runtime, through particular types of inference, whether an attack is ongoing, interrupting the run of the protocol in the positive case. We study not only how but also where we can attempt to defend flawed security protocols: we investigate the different network topologies that make security protocol defense feasible and illustrate our approach by means of concrete examples.Comment: 29 page

Validation of Low-Cost Driving Simulator Based on Continuous Speed Profiles

[EN] The number of road safety studies that are based on driving simulators is growing significantly. The Polytechnic University of Valencia, Spain, developed a low-cost driving simulator for the assessment, training, and rehabilitation of drivers (SE2RCO). The main objective of this research was the validation of the driving simulator so that studies about road safety and highway geometric design that considered human factors could be performed. The validation was based on continuous speed profiles collected from 28 volunteers on a 30-km-long, two-lane rural road section. The same volunteers drove through the same road section built in SE2RCO. Speed data of 79 curves and 52 tangents were selected for the analysis. Comparison of the real and simulated speeds ensured the simulator's objective validity according to average and operating speeds. Two models were developed to predict field speeds from simulated speeds. Results showed that a simulated average speed lower than approximately 90 km/h was linked to a similar real average speed. For higher simulated speeds, the average speed in the real environment was lower than the simulated one. In addition, the actual operating speed was around 5 km/h lower than the operating speed in the driving simulator. Most volunteers assessed the quality and similarity of the virtual environment compared with the real world as medium or high and assessed the driving tasks similarly, thus achieving subjective validation of the simulator.The authors thank the Polytechnic University of Valencia, which subsidized the research project CONSIM-Desarrollo de un Modelo para la Evaluacion de la Consistencia del Diseno Geometric de Carreteras Convencionales Mediante Simuladores de Conduccion. The study presented here was also part of the research project titled CASEFU-Estudio Experimental de la Funcionalidad y Seguridad de las Carreteras Convencionales, which was subsidized by the Spanish Ministry of Economy and Competitiveness and the European Social Fund.Llopis-Castelló, D.; Camacho Torregrosa, FJ.; Marín-Morales, J.; Pérez Zuriaga, AM.; García García, A.; Dols Ruiz, JF. (2016). Validation of Low-Cost Driving Simulator Based on Continuous Speed Profiles. Transportation Research Record Journal of the Transportation Research Board. 2602:104-114. https://doi.org/10.3141/2602-13S104114260

Penerapan Tema Cablak pada Rancangan Rumah Budaya Betawi

Tema pada sebuah bangunan merupakan sebuah wujud dari identitas dan penerapan konsep rancangan. Konsep rancangan tersebut yang nantinya akan menerapkan berbagai macam elemen mulai dari bentuk, material, konsep ruang luar, dan interior bangunan. Dalam Rumah Budaya Betawi ini pengambilan tema juga disesuaikan dengan apa yang ingin ditunjukkan. Tema Cablak diambil karena diharapkan mampu mengaplikasikan salah satu karakter dari orang Betawi ke dalam objek rancang. Hal ini ditinjau karena karakter ini merupakan salah satu karakter kuat yang tercermin pada hampir setiap individu orang Betawi. Maka karakter tersebutlah yang menjadikan cablak dapat diangkat sebagai tema dalam perancangan ini. Metoda yang digunakan untuk mendukung dalam proses perancangan ini adalah studi literatur, studi lapangan, studi kasus, dan wawancara. Hasil rancangan adalah penerapan karakteristik cablak ke dalam lansekap dan bentuk yang ditata menjadi lebih terbuka, lebih mudah diakses, dan akrab bagi pengguna Rumah Budaya Betawi, yang diutamakan bagi penduduk sekitar yaitu penduduk Perkampungan Budaya Betawi, kampung Kalibata

Functional assessment of cancer therapy questionnaire for breast cancer (FACT-B+4): Italian version validation

BACKGROUND: Improvements in breast cancer diagnosis and treatment led to an increased incidence of survivors' rate. The healthcare system has to face new problems related not only to the treatment of the disease, but also to the management of the quality of life after the diagnosis. The aim of this study was to validate the Italian version of the Functional Assessment of Cancer Therapy - Breast (FACT-B+4) questionnaire and to evaluate its reliability. METHODS: The questionnaire was administered twice, with an interval of three days between each administration, to a cohort of women of the Breast Surgical Unit, PoliclincoUmberto I. Cronbach's alpha was used as a measure of the internal consistency of the Italian version. RESULTS: The Italian version of the tool was administered to 55 subjects. The Cronbach's alpha for most scores registered values >0.7, both at baseline and at the follow-up analysis, therefore the subscale showed good internal consistency. CONCLUSIONS: The Italian version of FACT-B+4 demonstrated acceptable reliability properties in the Breast Unit patients. The use of this questionnaire seemed to be effective and in line with the results derived from the English and Spanishversions. Internal consistency and validity had similar performance results

Imaging Protein Fibers at the Nanoscale and In Situ.

Protein self-assembly offers a rich repertoire of tools and technologies. However, despite significant progress in this area, a deterministic measure of the phenomenon, which might lead to predictable relationships between protein components, assembly mechanisms, and ultimately function, is lacking. Often the challenge relates to the choice of the most informative and precise measurements that can link the chemistry of the building blocks with the resulting assembly, ideally in situ and in real time. Using the example of protein fibrillogenesis-a self-assembly process fundamental to nearly every aspect of biological organization, from viral assembly to tissue restoration-this chapter demonstrates how protein self-assembly can be visually and precisely measured while providing measurement protocols applicable to other self-assembly systems