Discovering invariants via simple component analysis

We propose a new technique combining dynamic and static analysis of programs to find linear invariants. We use a statistical tool, called simple component analysis, to analyze partial execution traces of a given program. We get a new coordinate system in the vector space of program variables, which is used to specialize numerical abstract domains. As an application, we instantiate our technique to interval analysis of simple imperative programs and show some experimental evaluations.     

Bayesian analysis of repairable systems showing a bounded failure intensity

The failure pattern of repairable mechanical equipment subject to deterioration phenomena sometimes shows a finite bound for the increasing failure intensity. A non-homogeneous Poisson process with bounded increasing failure intensity is then illustrated and its characteristics are discussed. A Bayesian procedure, based on prior information on model-free quantities, is developed in order to allow technical information on the failure process to be incorporated into the inferential procedure and to improve the inference accuracy. Posterior estimation of the model-free quantities and of other quantities of interest (such as the optimal replacement interval) is provided, as well as prediction on the waiting time to the next failure and on the number of failures in a future time interval is given. Finally, numerical examples are given to illustrate the proposed inferential procedure.     

Introducing QoS awareness in distributed programming: QTcl

A number of distributed applications require communication services with quality of service (QoS) guarantees. Building global‐scale distributed systems with predictable properties is one of the great challenges for computer systems engineering in the new century. Work undertaken within the Internet Engineering Task Force has led to the definition of novel architectural models for the Internet with QoS support. According to these models, the network has to be appropriately configured in order to provide applications with the required performance guarantees. In next‐generation networks, enabling applications to interact with the underlying QoS services is of primary importance. Hence, several special‐purpose application programming interfaces (APIs) have been defined to let applications negotiate QoS parameters across QoS‐capable networks. However, so far, none of these APIs are available in different operating environments. We believe that such features should be embedded in programming environments for distributed applications. In this work we present how we included QoS control features in Tcl, a programming language that has been widely adopted for the development of distributed multimedia applications. Our work has led to the implementation of QTcl, an extended Tcl interpreter that provides programmers with a new set of primitives, in full compliance with the standard SCRAPI programming interface for the RSVP protocol. QTcl in highly portable, in that it enables standard QoS negotiation to be performed in a seamless fashion on the most common operating systems. Copyright © 2003 John Wiley & Sons, Ltd.     

Estimating the development cost of custom software

In this paper an approach for the estimation of software development costs is presented. The method is based on the characterization of the software to be developed in terms of project and environment attributes and comparison with some similar completed project(s) recovered from a historical database. A case study is also presented, focusing on the calibration and application of the method on 59 information systems implementing supply chain functions in industry. Various strategies are explored, the best of which predicted effort quite effectively, with a mean estimation error of 24% with respect to the actual effort.     

Qualitative Ordinal Scales: The Concept of Ordinal Range

Many practical problems of quality control involve the use of ordinal scales. Questionnaires planned to collect judgments on qualitative or linguistic scales, whose levels are terms such as “good,” “bad,” “medium,” etc., are extensively used both in evaluating service quality and in visual controls for manufacturing industry. In an ordinal environment, the concept of distance between two generic levels of the same scale is not defined. Therefore, a population (universe) of judgments cannot be described using “traditional” statistical distributions since they are based on the notion of distance. The concept of “distribution shape” cannot be defined as well. In this article, we introduce a new statistical entity, the so-called ordinal distribution, to describe a population of judgments expressed on an ordinal scale. We also discuss which of the traditional location and dispersion measures can be used in this context and we briefly analyze some of their properties. A new dispersion measure, the ordinal range, as an extension of the cardinal range to ordinal scales, is then proposed. A practical application in the field of quality is developed throughout the article.     

Proteomics and Extracellular Vesicles as Novel Biomarker Sources in Peritoneal Dialysis in Children

Peritoneal dialysis (PD) represents the dialysis modality of choice for pediatric patients with end-stage kidney disease. Indeed, compared with hemodialysis (HD), it offers many advantages, including more flexibility, reduction of the risk of hospital-acquired infections, preservation of residual kidney function, and a better quality of life. However, despite these positive aspects, PD may be associated with several long-term complications that may impair both patient’s general health and PD adequacy. In this view, chronic inflammation, caused by different factors, has a detrimental impact on the structure and function of the peritoneal membrane, leading to sclerosis and consequent PD failure both in adults and children. Although several studies investigated the complex pathogenic pathways underlying peritoneal membrane alterations, these processes remain still to explore. Understanding these mechanisms may provide novel approaches to improve the clinical outcome of pediatric PD patients through the identification of subjects at high risk of complications and the implementation of personalized interventions. In this review, we discuss the main experimental and clinical experiences exploring the potentiality of the proteomic analysis of peritoneal fluids and extracellular vesicles as a source of novel biomarkers in pediatric peritoneal dialysis.     

Towards 3D Bioprinted Spinal Cord Organoids

Three-dimensional (3D) cultures, so-called organoids, have emerged as an attractive tool for disease modeling and therapeutic innovations. Here, we aim to determine if boundary cap neural crest stem cells (BC) can survive and differentiate in gelatin-based 3D bioprinted bioink scaffolds in order to establish an enabling technology for the fabrication of spinal cord organoids on a chip. BC previously demonstrated the ability to support survival and differentiation of co-implanted or co-cultured cells and supported motor neuron survival in excitotoxically challenged spinal cord slice cultures. We tested different combinations of bioink and cross-linked material, analyzed the survival of BC on the surface and inside the scaffolds, and then tested if human iPSC-derived neural cells (motor neuron precursors and astrocytes) can be printed with the same protocol, which was developed for BC. We showed that this protocol is applicable for human cells. Neural differentiation was more prominent in the peripheral compared to central parts of the printed construct, presumably because of easier access to differentiation-promoting factors in the medium. These findings show that the gelatin-based and enzymatically cross-linked hydrogel is a suitable bioink for building a multicellular, bioprinted spinal cord organoid, but that further measures are still required to achieve uniform neural differentiation.     

Pressure‐Tunable Ambipolar Conduction and Hysteresis in Thin Palladium Diselenide Field Effect Transistors

Few‐layer palladium diselenide (PdSe₂) field effect transistors are studied under external stimuli such as electrical and optical fields, electron irradiation, and gas pressure. The ambipolar conduction and hysteresis are observed in the transfer curves of the as‐exfoliated and unprotected PdSe₂ material. The ambipolar conduction and its hysteretic behavior in the air and pure nitrogen environments are tuned. The prevailing p‐type transport observed at atmospheric pressure is reversibly turned into a dominant n‐type conduction by reducing the pressure, which can simultaneously suppress the hysteresis. The pressure control can be exploited to symmetrize and stabilize the transfer characteristics of the device as required in high‐performance logic circuits. The transistors are affected by trap states with characteristic times in the order of minutes. The channel conductance, dramatically reduced by the electron irradiation during scanning electron microscope imaging, is restored after an annealing of several minutes at room temperature. The work paves the way toward the exploitation of PdSe₂ in electronic devices by providing an experiment‐based and deep understanding of charge transport in PdSe₂ transistors subjected to electrical stress and other external agents.     

Energy Deposition around Swift Carbon-Ion Tracks in Liquid Water

Energetic carbon ions are promising projectiles used for cancer radiotherapy. A thorough knowledge of how the energy of these ions is deposited in biological media (mainly composed of liquid water) is required. This can be attained by means of detailed computer simulations, both macroscopically (relevant for appropriately delivering the dose) and at the nanoscale (important for determining the inflicted radiobiological damage). The energy lost per unit path length (i.e., the so-called stopping power) of carbon ions is here theoretically calculated within the dielectric formalism from the excitation spectrum of liquid water obtained from two complementary approaches (one relying on an optical-data model and the other exclusively on ab initio calculations). In addition, the energy carried at the nanometre scale by the generated secondary electrons around the ion’s path is simulated by means of a detailed Monte Carlo code. For this purpose, we use the ion and electron cross sections calculated by means of state-of-the art approaches suited to take into account the condensed-phase nature of the liquid water target. As a result of these simulations, the radial dose around the ion’s path is obtained, as well as the distributions of clustered events in nanometric volumes similar to the dimensions of DNA convolutions, contributing to the biological damage for carbon ions in a wide energy range, covering from the plateau to the maximum of the Bragg peak.