Roslyn Weiss, Socrates dissatisfied. An Analysis of Plato’s Crito, New York-Oxford, Oxford University Press, 1998, 187 pp.

Fil: Santa María, Andrés.

Utilizzo di Roslyn per l'analisi e il refactoring di codice C#

Microsoft ha introdotto nella versione 2015 di Visual Studio un nuovo compilatore per i linguaggi C# e Visual Basic chiamato Roslyn. Oltre che un compilatore, Roslyn è una piattaforma che mette a disposizione degli sviluppatori servizi per analizzare e modificare progetti .NET, interagire con le varie fasi della compilazione e creare applicazioni per l'analisi e generazione di codice sorgente. Obiettivo della tesi vuole essere lo studio della suddetta piattaforma ed il suo utilizzo nello sviluppo di estensioni per Visual Studio. La tesi si pone pertanto nel contesto delle tecniche di analisi e generazione di codice sorgente. Il lavoro di tesi ha previsto lo sviluppo di due applicazioni facenti uso delle API di Roslyn. La prima applicazione consiste in un analizzatore di codice C# che provvede alla segnalazione di warning riguardanti l'errato utilizzo del costrutto var e all'esplicitazione del tipo relativo. La seconda applicazione riguarda un generatore di codice C# che utilizza i servizi di Roslyn per semplificare e automatizzare la scrittura di codice nel contesto del framework Phoenix. I risultati ottenuti possono essere d'aiuto per un successivo studio della piattaforma Roslyn ed essere usati come punto di partenza per la creazione dei propri applicativi per l'analisi e generazione di codice sorgente.

Lo-Fi matchmaking: A study of social pairing for backpackers

It is technically feasible for mobile social software such as pairing or ‘matchmaking’ systems to introduce people to others and assist information exchange. However, little is known about the social structure of many mobile communities or why they would want such pairing systems. While engaged in other work determining requirements for a mobile travel assistant we saw a potentially useful application for a pairing system to facilitate the exchange of travel information between backpackers. To explore this area, we designed two studies involving usage of a low-fidelity role prototype of a social pairing system for backpackers. Backpackers rated the utility of different pairing types, and provided feedback on the social implications of being paired based on travel histories. Practical usage of the social network pairing activity and the implications of broader societal usage are discussed.

Children's rights and parenting beliefs : a study of attitudes, values and emotions

The conceptualization of childhood has changed over the centuries and appears to be undergoing further change in our post-modern culture. While the United Nations Convention on the Right of the Child is designed to give children everywhere basic human rights while taking into consideration their special needs, no recent research has examined adult attitudes toward those rights. In an attempt to understand the attitudes adults hold regarding autonomy rights and to look for some factors that could predict those attitudes, the current study considers values, parenting style, emotions and the issue of parent status as possible predictor variables. A total of 90 participants took part in the research, which had both written and interview components. Results generally failed to establish a reliable set of predictors. However, some interesting information was obtained regarding the endorsement of children's autonomy rights and some general conclusions were reached about our view of children and their rights at the end of the twentieth century.

Guía práctica para la intervención sobre el absentismo escolar en menores de 12 a 16 años : protocolo europeo.

Resultados del Proyecto Europeo Presentia que trata de ofrecer la formación necesaria a los docentes para prevenir el absentismo escolar entre alumnos de 12 a 16 años . La guía es una herramienta de trabajo que pretende dirigir las diferentes acciones profesionales a lo largo de un proceso de intervención sobre el absentismo escolar, un documento consensuado por los distintos servicios técnicos de las instituciones implicadas en el proyecto. Se trata de un protocolo de actuación de carácter internacional.

Proyecto Presentia : formación docente sobre absentismo escolar de alumnos de 12 a 16 años.

La versión impresa de la Guía práctica sobre Absentismo Escolar en menores de 12 a 16 años. Protocolo Europeo, forma parte de la base de Recursos

Practice multiple-choice papers suitable for : key skills level 1 communication, level 1 adult literacy (basic skills), and ESOL skills for life level 1 reading.

Este recurso puede ser utilizado tanto por los tutores como por los estudiantes que siguen las habilidades básicas, alumnos adultos de alfabetización en la evaluación final en el nivel 1 y los estudiantes de ESOL (English for speakers of other languages) en lectura. Contiene 12 cuestionarios, cada uno con 40 preguntas de opción múltiple para evaluar la capacidad del candidato para identificar los puntos e ideas principales de los escritos, entender el significado de los documentos y su estilo de escritura, interpretar la información de tablas, gráficos y mapas, y reconocer la ortografía, la gramática y la puntuación. También, incluye las respuestas y las hojas de evaluación para fotocopiar.

Practice multiple-choice papers suitable for : key skills level 2 communication, level 2 adult literacy (basic skills), and ESOL skills for life level 2 reading.

Este recurso puede ser utilizado tanto por los tutores como por los estudiantes que siguen las habilidades básicas, alumnos adultos de alfabetización en la evaluación final en el nivel 2 y los estudiantes de ESOL (English for speakers of other languages) en lectura. Contiene 12 cuestionarios, cada uno con 40 preguntas de opción múltiple para evaluar la capacidad del candidato para identificar los puntos e ideas principales de los escritos, entender el significado de los documentos y su estilo de escritura, interpretar la información de tablas, gráficos y mapas, y reconocer la ortografía, la gramática y la puntuación. También, incluye las respuestas y las hojas de evaluación para fotocopiar.

Net Neutrality Compendium: Human Rights, Free Competition and the Future of the Internet

The ways in which Internet traffic is managed have direct consequences on Internet users’ rights as well as on their capability to compete on a level playing field. Network neutrality mandates to treat Internet traffic in a non-discriminatory fashion in order to maximise end users’ freedom and safeguard an open Internet. This book is the result of a collective work aimed at providing deeper insight into what is network neutrality, how does it relates to human rights and free competition and how to properly frame this key issue through sustainable policies and regulations. The Net Neutrality Compendium stems from three years of discussions nurtured by the members of the Dynamic Coalition on Network Neutrality (DCNN), an open and multistakeholder group, established under the aegis of the United Nations Internet Governance Forum (IGF).

Esecuzione immediata di frammenti di codice sorgente C# tramite l’utilizzo della .NET Compiler Platform

.NET Compiler Platform è un compilatore per i linguaggi C# e Visual Basic realizzato da Microsoft. L’innovazione apportata da tale strumento è l’introduzione di API che permettono di accedere al compilatore; in particolare, è possibile accedere alle strutture dati utilizzate al suo interno, quali simboli o AST, e controllare e/o modificare il processo di compilazione. Una parte di questo progetto, chiamato anche progetto Roslyn, è focalizzata sull’introduzione dello scripting per il linguaggio C#. In questa trattazione si è interessati a sperimentare le possibilità offerte da tale strumento nel campo dell’esecuzione dinamica di frammenti di codice. Gli obiettivi imposti si collocano nell’ambito della re-ingegnerizzazione e dello sviluppo di software. Tali obiettivi sono la re-implementazione dei filtri di selezione contenuti nel framework Phoenix, utilizzando le API di Roslyn per migliorarne le prestazioni, e la progettazione di un componente che realizzi una console per lo scripting C# dotata della possibilità di riferire dinamicamente librerie. Le API di compilazione si rivelano essere non propriamente adatte all’esecuzione immediata di frammenti di codice, nonostante ciò, è possibile, appoggiandosi alla reflection, utilizzarle per giungere a questo risultato. Lo scripting, invece, si rivela uno strumento dalle grandi potenzialità nel suddetto ambito.

Mortality associated with discordant responses to antiretroviral therapy in resource-constrained settings

Objectives: We assessed mortality associated with immunologic and virologic patterns of response at 6 months of highly active antiretroviral therapy (HAART) in HIV-infected individuals from resource-limited countries in Africa and South America. Methods: Patients who initiated HAART between 1996 and 2007, aged 16 years or older, and had at least 1 measurement (HIV-1 RNA plasma viral load or CD4 cell count) at 6 months of therapy (3-9 month window) were included. Therapy response was categorized as complete, discordant (virologic only or immunologic only), and absent. Associations between 6-month response to therapy and all-cause mortality were assessed by Cox proportional hazards regression. Robust standard errors were calculated to account for intrasite correlation. Results: A total of 7160 patients, corresponding to 15,107 person-years, were analyzed. In multivariable analysis adjusted for age at HAART initiation, baseline clinical stage and CD4 cell count, year of HAART initiation, clinic, occurrence of an AIDS-defining condition within the first 6 months of treatment, and discordant and absent responses were associated with increased risk of death. Conclusions: Similar to reports from high-income countries, discordant immunologic and virologic responses were associated with intermediate risk of death compared with complete and no response in this large cohort of HIV-1 patients from resource-limited countries. Our results support a recommendation for wider availability of plasma viral load testing to monitor antiretroviral therapy in these settings.

Urinary soluble HLA-DR is a potential biomarker for acute renal transplant rejection

BACKGROUND.: Urine is a potentially rich source of biomarkers for monitoring kidney dysfunction. In this study, we have investigated the potential of soluble human leukocyte antigen (sHLA)-DR in the urine for noninvasive monitoring of renal transplant patients. METHODS.: Urinary soluble HLA-DR levels were measured by sandwich enzyme-linked immunosorbent assay in 103 patients with renal diseases or after renal transplantation. sHLA-DR in urine was characterized by Western blotting and mass spectrometry. RESULTS.: Acute graft rejection was associated with a significantly elevated level of urinary sHLA-DR (P<0.0001), compared with recipients with stable graft function or healthy individuals. A receiver operating characteristic curve analysis showed the area under the curve to be 0.88 (P<0.001). At a selected threshold, the sensitivity was 80% and specificity was 98% for detection of acute renal transplant rejection. sHLA-DR was not exosomally associated and was of lower molecular weight compared with the HLA-DR expressed as heterodimer on the plasma membrane of antigen-presenting cells. CONCLUSIONS.: sHLA-DR excreted into urine is a promising indicator of renal transplant rejection.

Outpatient versus inpatient treatment for patients with acute pulmonary embolism: an international, open-label, randomised, non-inferiority trial

Although practice guidelines recommend outpatient care for selected, haemodynamically stable patients with pulmonary embolism, most treatment is presently inpatient based. We aimed to assess non-inferiority of outpatient care compared with inpatient care.