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.     

Focusing qualitative simulation using temporal logic: theoretical foundations

We illustrate TeQsim, a qualitative simulator for continuous dynamical systems that combines the expressive power of qualitative differential equations with temporal logic to constrain and refine the resulting predicted behaviors. Temporal logic is used to specify constraints that restrict the simulation to a region of the state space and to specify trajectories for input variables. A propositional linear‐time temporal logic is adopted, which is extended to a three valued logic that allows a formula to be conditionally entailed when quantitative information specified in the formula can be applied to a behavior to refine it. We present a formalization of the logic with correctness and completeness results for the adopted model checking algorithm. We show an example of the simulation of a non‐autonomous dynamical system and illustrate possible application tasks, ranging from simulation to monitoring and control of continuous dynamical systems, where TeQsim can be applied. This revised version was published online in June 2006 with corrections to the Cover Date.     

Integration of XML Schemas at various “severity” levels

This paper presents a novel approach for the integration of a set of eXtensible Markup Language (XML) Schemas. The proposed approach is specialized for XML, almost automatic, semantic and “light”. Further, an original peculiarity is that it is parametric w.r.t. a “severity” level against which the integration task is performed. The paper describes the approach in all details, illustrates various theoretical results, presents the experiments we have performed for testing it and, finally, compares it with various related approaches already proposed in the literature.     

Harmonic solution of semiconductor transport equations for microwave and millimetre-wave device modelling

The hydrodynamic transport equations for charges in a semiconductor have been solved for a periodic excitation by means of a harmonic approach, in order to model microwave and millimetre-wave active devices. The solution is based on the expansion of physical variables in a Fourier series in the time domain, and on discretisation in the space domain. A waveform-balance technique in the TD is used to solve the nonlinear equations system. This approach allows for a longer time step with respect to standard TD solutions for most cases of interest, greatly reducing simulation time by at least two orders of magnitude in typical cases. © 2003 Wiley Periodicals, Inc. Int J RF and Microwave CAE 14: 36–48, 2004.     

Direct-EI in LC-MS: towards a universal detector for small-molecule applications

This review article will give an up-to-date and exhaustive overview on the efficient use of electron ionization (EI) to couple liquid chromatography and mass spectrometry (LC-MS) with an innovative interface called Direct-EI. EI is based on the gas-phase ionization of the analytes, and it is suitable for many applications in a wide range of LC-amenable compounds. In addition, thanks to its operating principles, it prevents unwelcome matrix effects (ME). In fact, although atmospheric pressure ionization (API) methodologies have boosted the use of LC-MS, the related analytical methods are sometime affected by inaccurate quantitative results, due to unavoidable and unpredictable ME. In addition, API's soft ionization spectra always demand for costly and complex tandem mass spectrometry (MS/MS) instruments, which are essential to acquire an "information-rich" spectrum and to obtain accurate quantitative information. In EI a one-stage analyzer is sufficient for a qualitative investigation and MS/MS detection is only used to improve sensitivity and to cut chemical noise. The technology illustrated here provides a robust and straightforward access to classical, well-characterized EI data for a variety of LC applications, and readily interpretable spectra for a wide range of areas of research. The Direct-EI interface can represent the basis for a forthcoming universal LC-MS detector for small molecules.     

On‐Chip Magnetic Platform for Single‐Particle Manipulation with Integrated Electrical Feedback

Methods for the manipulation of single magnetic particles have become very interesting, in particular for in vitro biological studies. Most of these studies require an external microscope to provide the operator with feedback for controlling the particle motion, thus preventing the use of magnetic particles in high‐throughput experiments. In this paper, a simple and compact system with integrated electrical feedback is presented, implementing in the very same device both the manipulation and detection of the transit of single particles. The proposed platform is based on zig‐zag shaped magnetic nanostructures, where transverse magnetic domain walls are pinned at the corners and attract magnetic particles in suspension. By applying suitable external magnetic fields, the domain walls move to the nearest corner, thus causing the step by step displacement of the particles along the nanostructure. The very same structure is also employed for detecting the bead transit. Indeed, the presence of the magnetic particle in suspension over the domain wall affects the depinning field required for its displacement. This characteristic field can be monitored through anisotropic magnetoresistance measurements, thus implementing an integrated electrical feedback of the bead transit. In particular, the individual manipulation and detection of single 1‐μm sized beads is demonstrated.     

Anatomical Laser Microdissection of the Ileum Reveals mtDNA Depletion Recovery in A Mitochondrial Neuro-Gastrointestinal Encephalomyopathy (MNGIE) Patient Receiving Liver Transplant

mitochondrial neuro-gastrointestinal encephalomyopathy (MNGIE) is a rare genetic disorder characterized by thymidine phosphorylase (TP) enzyme defect. The absence of TP activity induces the imbalance of mitochondrial nucleotide pool, leading to impaired mitochondrial DNA (mtDNA) replication and depletion. Since mtDNA is required to ensure oxidative phosphorylation, metabolically active tissues may not achieve sufficient energy production. The only effective life-saving approach in MNGIE has been the permanent replacement of TP via allogeneic hematopoietic stem cell or liver transplantation. However, the follow-up of transplanted patients showed that gut tissue changes do not revert and fatal complications, such as massive gastrointestinal bleeding, can occur. The purpose of this study was to clarify whether the reintroduction of TP after transplant can recover mtDNA copy number in a normal range. Using laser capture microdissection and droplet-digital-PCR, we assessed the mtDNA copy number in each layer of full-thickness ileal samples of a naive MNGIE cohort vs. controls and in a patient pre- and post-TP replacement. The treatment led to a significant recovery of gut tissue mtDNA amount, thus showing its efficacy. Our results indicate that a timely TP replacement is needed to maximize therapeutic success before irreversible degenerative tissue changes occur in MNGIE.     

Light Triggers the Antiproliferative Activity of Naphthalimide-Conjugated (η6-arene)ruthenium(II) Complexes

We report the synthesis and characterization of three half-sandwich Ru(II) arene complexes [(η⁶-arene)Ru(N,N′)L][PF₆]₂ containing arene = p-cymene, N,N′ = bipyridine, and L = pyridine meta- with methylenenaphthalimide (C1), methylene(nitro)naphthalimide (C2), or methylene(piperidinyl)naphthalimide (C3). The naphthalimide acts as an antenna for photoactivation. After 3 h of irradiation with blue light, the monodentate pyridyl ligand had almost completely dissociated from complex C3, which contains an electron donor on the naphthalimide ring, whereas only 50% dissociation was observed for C1 and C2. This correlates with the lower wavelength and strong absorption of C3 in this region of the spectrum (λ_max = 418 nm) compared with C1 and C2 (λ_max = 324 and 323 nm, respectively). All the complexes were relatively non-toxic towards A549 human lung cancer cells in the dark, but only complex C3 exhibited good photocytoxicity towards these cancer cells upon irradiation with blue light (IC₅₀ = 10.55 ± 0.30 μM). Complex C3 has the potential for use in photoactivated chemotherapy (PACT).     

Chelating Polymers for Targeted Decontamination of Actinides: Application of PEI-MP to Hydroxyapatite-Th(IV)

In case of an incident in the nuclear industry or an act of war or terrorism, the dissemination of plutonium could contaminate the environment and, hence, humans. Human contamination mainly occurs via inhalation and/or wounding (and, less likely, ingestion). In such cases, plutonium, if soluble, reaches circulation, whereas the poorly soluble fraction (such as small colloids) is trapped in alveolar macrophages or remains at the site of wounding. Once in the blood, the plutonium is delivered to the liver and/or to the bone, particularly into its mineral part, mostly composed of hydroxyapatite. Countermeasures against plutonium exist and consist of intravenous injections or inhalation of diethylenetetraminepentaacetate salts. Their effectiveness is, however, mainly confined to the circulating soluble forms of plutonium. Furthermore, the short bioavailability of diethylenetetraminepentaacetate results in its rapid elimination. To overcome these limitations and to provide a complementary approach to this common therapy, we developed polymeric analogs to indirectly target the problematic retention sites. We present herein a first study regarding the decontamination abilities of polyethyleneimine methylcarboxylate (structural diethylenetetraminepentaacetate polymer analog) and polyethyleneimine methylphosphonate (phosphonate polymeric analog) directed against Th(IV), used here as a Pu(IV) surrogate, which was incorporated into hydroxyapatite used as a bone model. Our results suggest that polyethylenimine methylphosphonate could be a good candidate for powerful bone decontamination action.     

Neural approach for temperature‐dependent modeling of GaN HEMTs

Gallium nitride high electron‐mobility transistors have gained much interest for high‐power and high‐temperature applications at high frequencies. Therefore, there is a need to have the dependence on the temperature included in their models. To meet this challenge, the present study presents a neural approach for extracting a multi‐bias model of a gallium nitride high electron‐mobility transistors including the dependence on the ambient temperature. Accuracy of the developed model is verified by comparing modeling results with measurements. Copyright © 2014 John Wiley & Sons, Ltd.