Programas de verdade, "mundos de crença": o verdadeiro segundo Paul Vayne

This study comes to reflect on the place of truth in everyday human experience. The notion of truth, expressed in different ways, in different systems of thought, cultural and historical, reveals the non-uniformity of their meaning and the arbitrary grouping under one name, truth. Given this fact, of so many beliefs taken as absolute, we ask with the historian Jean Marie Paul Veyne, if the truth is only one, or many called by a word namesake. If, through their ideas, men cannot access a definitely solid knowledge, unchanging and jaunty interference of the human condition (as their interests and affections), then in what sense it can claim a greater and exclusivist truth? Assuming the impossibility of apprehension of the reality of this type, Paul Veyne develops the notion of truth programs, referential beliefs assumed as cartographies that direct action and thought. He defends thus the idea of heterogeneity and plurality, as irreducible elements of human truths. On the one hand there is in society a plurality of truth programs, on the other there is a plurality of beliefs that is inside man. That is, in the way they believe the men also shows plural, because they believe in more than one program and counter programs. The thought of Paul Veyne is nonetheless a form of skepticism directed at all supposedly absolute and universal anthropological truths, because depending on the belief system studied and the specific moment in its history, a set of rules is established to distinguish the true from the false.

Progettazione e Sviluppo di un Sistema di Proactive Alerting all'interno di una piattaforma di Big Data Analytics

Il lavoro presentato in questo elaborato tratterà lo sviluppo di un sistema di alerting che consenta di monitorare proattivamente una o più sorgenti dati aziendali, segnalando le eventuali condizioni di irregolarità rilevate; questo verrà incluso all'interno di sistemi già esistenti dedicati all'analisi dei dati e alla pianificazione, ovvero i cosiddetti Decision Support Systems. Un sistema di supporto alle decisioni è in grado di fornire chiare informazioni per tutta la gestione dell'impresa, misurandone le performance e fornendo proiezioni sugli andamenti futuri. Questi sistemi vengono catalogati all'interno del più ampio ambito della Business Intelligence, che sottintende l'insieme di metodologie in grado di trasformare i dati di business in informazioni utili al processo decisionale. L'intero lavoro di tesi è stato svolto durante un periodo di tirocinio svolto presso Iconsulting S.p.A., IT System Integrator bolognese specializzato principalmente nello sviluppo di progetti di Business Intelligence, Enterprise Data Warehouse e Corporate Performance Management. Il software che verrà illustrato in questo elaborato è stato realizzato per essere collocato all'interno di un contesto più ampio, per rispondere ai requisiti di un cliente multinazionale leader nel settore della telefonia mobile e fissa.

Coding Strategies and Implementations of Compressive Sensing

This dissertation studies the coding strategies of computational imaging to overcome the limitation of conventional sensing techniques. The information capacity of conventional sensing is limited by the physical properties of optics, such as aperture size, detector pixels, quantum efficiency, and sampling rate. These parameters determine the spatial, depth, spectral, temporal, and polarization sensitivity of each imager. To increase sensitivity in any dimension can significantly compromise the others.

This research implements various coding strategies subject to optical multidimensional imaging and acoustic sensing in order to extend their sensing abilities. The proposed coding strategies combine hardware modification and signal processing to exploiting bandwidth and sensitivity from conventional sensors. We discuss the hardware architecture, compression strategies, sensing process modeling, and reconstruction algorithm of each sensing system.

Optical multidimensional imaging measures three or more dimensional information of the optical signal. Traditional multidimensional imagers acquire extra dimensional information at the cost of degrading temporal or spatial resolution. Compressive multidimensional imaging multiplexes the transverse spatial, spectral, temporal, and polarization information on a two-dimensional (2D) detector. The corresponding spectral, temporal and polarization coding strategies adapt optics, electronic devices, and designed modulation techniques for multiplex measurement. This computational imaging technique provides multispectral, temporal super-resolution, and polarization imaging abilities with minimal loss in spatial resolution and noise level while maintaining or gaining higher temporal resolution. The experimental results prove that the appropriate coding strategies may improve hundreds times more sensing capacity.

Human auditory system has the astonishing ability in localizing, tracking, and filtering the selected sound sources or information from a noisy environment. Using engineering efforts to accomplish the same task usually requires multiple detectors, advanced computational algorithms, or artificial intelligence systems. Compressive acoustic sensing incorporates acoustic metamaterials in compressive sensing theory to emulate the abilities of sound localization and selective attention. This research investigates and optimizes the sensing capacity and the spatial sensitivity of the acoustic sensor. The well-modeled acoustic sensor allows localizing multiple speakers in both stationary and dynamic auditory scene; and distinguishing mixed conversations from independent sources with high audio recognition rate.

Programming Molecular Devices using Nucleic Acid Hairpins

Nucleic Acid hairpins have been a subject of study for the last four decades. They are composed of single strand that is

hybridized to itself, and the central section forming an unhybridized loop. In nature, they stabilize single stranded RNA, serve as nucleation

sites for RNA folding, protein recognition signals, mRNA localization and regulation of mRNA degradation. On the other hand,

DNA hairpins in biological contexts have been studied with respect to forming cruciform structures that can regulate gene expression.

The use of DNA hairpins as fuel for synthetic molecular devices, including locomotion, was proposed and experimental demonstrated in 2003. They

were interesting because they bring to the table an on-demand energy/information supply mechanism.

The energy/information is hidden (from hybridization) in the hairpin’s loop, until required.

The energy/information is harnessed by opening the stem region, and exposing the single stranded loop section.

The loop region is now free for possible hybridization and help move the system into a thermodynamically favourable state.

The hidden energy and information coupled with

programmability provides another functionality, of selectively choosing what reactions to hide and

what reactions to allow to proceed, that helps develop a topological sequence of events.

Hairpins have been utilized as a source of fuel for many different DNA devices. In this thesis, we program four different

molecular devices using DNA hairpins, and experimentally validate them in the

laboratory. 1) The first device: A

novel enzyme-free autocatalytic self-replicating system composed entirely of DNA that operates isothermally. 2) The second

device: Time-Responsive Circuits using DNA have two properties: a) asynchronous: the final output is always correct

regardless of differences in the arrival time of different inputs.

b) renewable circuits which can be used multiple times without major degradation of the gate motifs

(so if the inputs change over time, the DNA-based circuit can re-compute the output correctly based on the new inputs).

3) The third device: Activatable tiles are a theoretical extension to the Tile assembly model that enhances

its robustness by protecting the sticky sides of tiles until a tile is partially incorporated into a growing assembly.

4) The fourth device: Controlled Amplification of DNA catalytic system: a device such that the amplification

of the system does not run uncontrollably until the system runs out of fuel, but instead achieves a finite

amount of gain.

Nucleic acid circuits with the ability

to perform complex logic operations have many potential practical applications, for example the ability to achieve point of care diagnostics.

We discuss the designs of our DNA Hairpin molecular devices, the results we have obtained, and the challenges we have overcome

to make these truly functional.

The ecology and evolution of invasive Potamopyrgus antipodarum in Australia

The spread of invasive organisms is one of the greatest threats to ecosystems and biodiversity worldwide. Understanding the evolutionary and ecological factors responsible for the transport, introduction, establishment and spread of invasive species will assist the development of control strategies. The New Zealand mudsnail, Potamopyrgus antipodarum (Gray 1843) (Gastropoda: Hydrobiidae), is a global freshwater invader, with populations established in Europe, Asia, the Americas and Australia. While sexual and asexual P. antipodarum coexist in the native range, invasive populations reproduce by parthenogenesis, producing dense populations that compete for resources with native species. Potamopyrgus antipodarum is a natural model system for the study of evolutionary and ecological processes underlying invasion. This thesis assesses the invasion history, genetic diversity and ecology of P. antipodarum in Australia, with particular focus on: a) potential source populations, b) distribution and structure of populations, and c) species traits related to the establishment, persistence and spread of invasive P. antipodarum. Genetic analyses were carried out on specimens collected for this study from New Zealand and Australia, along with existing museum samples. In combination with published data, the analyses revealed low genetic diversity among and within invasive populations in south-eastern Australia, relative to New Zealand populations. Phylogenetic relationships inferred from mitochondrial sequences indicated that the Australian populations belong to clades dominated by parthenogenetic haplotypes that are known to be present in Europe and the US. These ‘invasive clades’ are likely to originate from the North Island of New Zealand, and suggest a role for selection in determining genetic composition of invasive populations. The genotypic diversity of Australian P. antipodarum was low, with few, closely related clones distributed across south-eastern Australia. The pattern of clone distribution was not consistent with any assessed geographical or abiotic factors; instead a few, widely-distributed clones were present in high frequencies at most sites. Differences in clone frequencies were found, which may indicate differential success of clonal lineages. A range of traits have been proposed as facilitators of invasion success, and within-species variation in these traits can promote differential success of genotypes. Using laboratory-based experiments, the performance of the three most common Australian clones was tested across a suite of invasion-relevant traits. Ecologically-relevant variation in traits was found among the clones. These differences may have determined the spatial distribution of clones, and may continue to do so into the future. This thesis found that the P. antipodarum invasion of Australia is the result of few introductions of a small number of globally-invasive genotypes that vary in ecologically-relevant traits. From a source of considerable genetic diversity in the native range, very few genotypes have become invasive. Those that are invasive appear to be very successful at continental scales. These findings highlight a capacity in asexual invaders to successfully invade, and potentially adapt to, a broad range of ecosystems. The P. antipodarum invasion system is amenable to research using combinations of field-based studies, molecular and laboratory approaches, and is likely to yield significant, broadly-applicable insights into invasion.

Molecular and hybrid systems for solar-to-chemical energy conversion

My Ph.D. thesis was dedicated to the exploration of different paths to convert sunlight into the shape of chemical bonds, by the formation of solar fuels. During the past three years, I have focused my research on two of these, namely molecular hydrogen H2 and the reduced nicotinamide adenine dinucleotide enzyme cofactor NAD(P)H. The first could become the ideal energy carrier for a truly clean energy system; it currently represents the best chance to liberate humanity from its dependence on fossil fuels. To address this, I studied different systems which can achieve proton reduction upon light absorption. More specifically, part of my work was aimed to the development of a cost-effective and stable catalyst in combination with a well-known photochemical cycle. To this extent, I worked on transition metal oxides which, as demonstrated in this work, have been identified as promising H2 evolution catalysts, showing excellent activity, stability, and previously unreported versatility. Another branch of my work on hydrogen production dealt with the use of a new class of polymeric semiconductor materials to absorb light and convert it into H2. The second solar fuel mentioned above is a key component of the most powerful methods for chemical synthesis: enzyme catalysis. The high cost of the reduced forms prohibits large-scale utilization, so artificial photosynthetic approaches for regenerating it are being intensively studied. The first system I developed exploits the tremendous reducing properties of a scarcely known ruthenium complex which is able to reduce NAD+. Lastly, I sought to revert the classical role of the sacrificial electron donor to an active component of the system and, to boost the process, I build up an autonomous microfluidic system able to generate highly reproducible NAD(P)H amount, demonstrating the superior performance of microfluidic reactors over batch and representing another successful photochemical NAD(P)H regeneration system.

On the system of rational difference equations x(n) = A+(1)over-bar y(n-p), y(n) = A+(gamma(n-1))over-bar x(n-r)y(n-5)

In this paper, we study the behavior of the positive solutions of the system of two difference equations [GRAPHICS] where p >= 1, r >= 1, s >= 1, A >= 0, and x(1-r), x(2-r),..., x(0), y(1-max) {p.s},..., y(0) are positive real numbers. (c) 2005 Elsevier Inc. All rights reserved.

Common sense on chronic diseases, or, A rational treatise on the mechanical cause and cure of most chronic affections of the truncal organs of both male and female systems : embracing the author's views on physical education, and the present popular system of artificial life /

Included in the original collection of the Starling Medical College.

Accessibility to general practitioners in rural South Australia - A case study using geographic information system technology

Objective: To demonstrate the potential of GIS (geographic information system) technology and ARIA (Accessibility/Remoteness Index for Australia) as tools for medical workforce and health service planning in Australia. Design: ARIA is an index of remoteness derived by measuring road distance between populated localities and service centres. A continuous variable of remoteness from 0 to 12 is generated for any location in Australia. We created a GIS, with data on location of general practitioner services in non-metropolitan South Australia derived from the database of HUMPS (Rural Undergraduate Medical Placement System), and estimated, for the 1170 populated localities in South Australia, the accessibility/inaccessibility of the 109 identified GP services. Main outcome measures: Distance from populated locality to GP services. Results: Distance from populated locality to GP service ranged from 0 to 677 km (mean, 58 km). In all, 513 localities (43%) had a GP service within 20 km (for the majority this meant located within the town). However, for 173 populated localities (15%), the nearest GP service was more than 80 km away. There was a strong correlation between distance to GP service and ARIA value for each locality (0.69; P<0.05). Conclusions: GP services are relatively inaccessible to many rural South Australian communities. There is potential for GIS and for ARIA to contribute to rational medical workforce and health service planning. Adding measures of health need and more detailed data on types and extent of GP services provided will allow more sophisticated planning.

Prediction of absolute rate coefficients and product branching ratios for the C(P-3) plus allene reaction system

Complex chemical reactions in the gas phase can be decomposed into a network of elementary (e.g., unimolecular and bimolecular) steps which may involve multiple reactant channels, multiple intermediates, and multiple products. The modeling of such reactions involves describing the molecular species and their transformation by reaction at a detailed level. Here we focus on a detailed modeling of the C(P-3)+allene (C3H4) reaction, for which molecular beam experiments and theoretical calculations have previously been performed. In our previous calculations, product branching ratios for a nonrotating isomerizing unimolecular system were predicted. We extend the previous calculations to predict absolute unimolecular rate coefficients and branching ratios using microcanonical variational transition state theory (mu-VTST) with full energy and angular momentum resolution. Our calculation of the initial capture rate is facilitated by systematic ab initio potential energy surface calculations that describe the interaction potential between carbon and allene as a function of the angle of attack. Furthermore, the chemical kinetic scheme is enhanced to explicitly treat the entrance channels in terms of a predicted overall input flux and also to allow for the possibility of redissociation via the entrance channels. Thus, the computation of total bimolecular reaction rates and partial capture rates is now possible. (C) 2002 American Institute of Physics.

Binder treatment and lubricant system for aluminium P/M

Organic binders are used in premixes for powder metallurgy applications to prevent dusting and segregation. This is a particular problem for aluminium powder metallurgy because the dust is a potential safety hazard. The binder must also burn out completely at low temperatures in an inert environment and not react with the metal powders. It is demonstrated that cellulose acetate, polyvinyl acetate and polyvinyl alcohol are effective dedusting agents but they react with the metal powders during sintering and decrease the sintered density. Paraffin wan is an effect dedusting agent that provided die wall lubricity, does not interfere with sintering and increases tensile strength and ductility.

Support System for Rational Use of Electric Energy

This paper presents the system developed to promote the rational use of electric energy among consumers and, thus, increase the energy efficiency. The goal is to provide energy consumers with an application that displays the energy consumption/production profiles, sets up consuming ceilings, defines automatic alerts and alarms, compares anonymously consumers with identical energy usage profiles by region and predicts, in the case of non-residential installations, the expected consumption/production values. The resulting distributed system is organized in two main blocks: front-end and back-end. The front-end includes user interface applications for Android mobile devices and Web browsers. The back-end provides data storage and processing functionalities and is installed in a cloud computing platform - the Google App Engine - which provides a standard Web service interface. This option ensures interoperability, scalability and robustness to the system.