Search results for " Soft"

Programmatūras testēšana un trasējamība

2005

And Now for Something Completely Different: Running Lisp on GPUs

2018

The internal parallelism of compute resources increases permanently, and graphics processing units (GPUs) and other accelerators have been gaining importance in many domains. Researchers from life science, bioinformatics or artificial intelligence, for example, use GPUs to accelerate their computations. However, languages typically used in some of these disciplines often do not benefit from the technical developments because they cannot be executed natively on GPUs. Instead existing programs must be rewritten in other, less dynamic programming languages. On the other hand, the gap in programming features between accelerators and common CPUs shrinks permanently. Since accelerators are becomi…

The long and winding road: Accidents and tinkering in software standardization

2021

Software is based on universal principles but not its development. Relating software to hardware is never automatic or easy. Attempts to optimize software production and drastically reduce their costs (like in hardware) have been very restricted. Instead, highly-skilled and experienced individuals are ultimately responsible for project success. The long and convoluted path towards useful and reliable software is often plagued by idiosyncratic accidents and emergent complexity. It was expected that software standardisation would remove these sources of unwanted diversity by aiming to controllable development processes, universal programming languages, and toolkits of reusable software compon…

Il paradigma proprietario e l'appropriazione dell'immateriale

2014

Uno studio sui paradigmi dell'appropriazione materiale e immateriale, con particolare attenzione per il diritto privato europeo e dalle prospettive dei limiti dei diritti e dell'evoluzione tecnologica. A study on the paradigms of the material and immaterial appropriation, with particular attention to the european private law and from the perspective of limitations to the rights and technological innovation.

Investigating the causal mechanisms underlying the customization of software development methods

2017

Over the last four decades, software development has been one of the mainstream topics in the Software Engineering and Information Systems disciplines. Thousands of methods have been put forward offering prescriptions for software development processes. The goal of these methods is to produce high-quality software in a systematic manner. However, it is widely known that these methods are rarely followed as prescribed – developers often modify or skip different steps, practices, or quality rules recommended by software development methods. While a group of previous studies suggests that maximizing the flexibility and leanness of software development processes is the key driver of such custom…

Sequence Determines Degree of Knottedness in a Coarse-Grained Protein Model

2015

Knots are abundant in globular homopolymers but rare in globular proteins. To shed new light on this long-standing conundrum, we study the influence of sequence on the formation of knots in proteins under native conditions within the framework of the hydrophobic-polar (HP) lattice protein model. By employing large scale Wang-Landau simulations combined with suitable Monte Carlo trial moves we show that, even though knots are still abundant on average, sequence introduces large variability in the degree of self-entanglements. Moreover, we are able to design sequences which are either almost always or almost never knotted. Our findings serve as proof of concept that the introduction of just o…

Minimal Information About an Immuno-Peptidomics Experiment (MIAIPE)

2018

Minimal Information about an Immuno-Peptidomics Experiment (MIAIPE) is an initiative of the members of the Human Immuno-Peptidome Project (HIPP), an international program organized by the Human Proteome Organization (HUPO). The aim of the MIAIPE guidelines is to deliver technical guidelines representing the minimal information required to sufficiently support the evaluation and interpretation of immunopeptidomics experiments. The MIAIPE document has been designed to report essential information about sample preparation, mass spectrometric measurement and associated mass spectrometry (MS)-related bioinformatics aspects that are unique to immunopeptidomics and may not be covered by the genera…

Teaching mechanical oscillations using an integrate curriculum

1997

Abstract A set of teaching materials dealing with harmonic oscillations was developed as part of a research project investigating the influence of different pedagogical tools on physics learning. The materials incorporate simulation software and laboratory activities associated with Teacher and Student Units. The project involved research groups at seven Italian universities and the materials have been trialled in high schools nation‐wide. This paper describes the experimental protocol for the use of these materials in pilot classes and the evaluation of student learning and teacher training results. The intervention was found to improve physics education at school praxis level and to promo…

Deformed quons and bi-coherent states

2017

We discuss how a q-mutation relation can be deformed replacing a pair of conjugate operators with two other and unrelated operators, as it is done in the construction of pseudo-fermions, pseudo-bosons and truncated pseudo-bosons. This deformation involves interesting mathematical problems and suggests possible applications to pseudo-hermitian quantum mechanics. We construct bi-coherent states associated to $\D$-pseudo-quons, and we show that they share many of their properties with ordinary coherent states. In particular, we find conditions for these states to exist, to be eigenstates of suitable annihilation operators and to give rise to a resolution of the identity. Two examples are discu…

Chronic obstructive lung disease “expert system”: Validation of a predictive tool for assisting diagnosis

2018

Purpose: The purposes of this study were development and validation of an expert system (ES) aimed at supporting the diagnosis of chronic obstructive lung disease (COLD). Methods: A questionnaire and a WebFlex code were developed and validated in silico. An expert panel pilot validation on 60 cases and a clinical validation on 241 cases were performed. Results: The developed questionnaire and code validated in silico resulted in a suitable tool to support the medical diagnosis. The clinical validation of the ES was performed in an academic setting that included six different reference centers for respiratory diseases. The results of the ES expressed as a score associated with the risk of su…