Scientific workflows with the jABC framework

The jABC is a framework for process modelling and execution according to the XMDD (eXtreme model-driven design) paradigm, which advocates the rigorous use of user-level models in the software development process and software life cycle. We have used the jABC in the domain of scientific workflows for more than a decade now—an occasion to look back and take stock of our experiences in the field. On the one hand, we discuss results from the analysis of a sample of nearly 100 scientific workflow applications that have been implemented with the jABC. On the other hand, we reflect on our experiences and observations regarding the workflow development process with the framework. We then derive and discuss ongoing further developments and future perspectives for the framework, all with an emphasis on simplicity for end users through increased domain specificity. Concretely, we describe how the use of the PROPHETS synthesis plugin can enable a semantics-based simplification of the workflow design process, how with the jABC4 and DyWA frameworks more attention is paid to the ease of data management, and how the Cinco SCCE Meta-Tooling Suite can be used to generate tailored workflow management tools.     

Evidence for Biological Age Acceleration and Telomere Shortening in COVID-19 Survivors

The SARS-CoV-2 infection determines the COVID-19 syndrome characterized, in the worst cases, by severe respiratory distress, pulmonary and cardiac fibrosis, inflammatory cytokine release, and immunosuppression. This condition has led to the death of about 2.15% of the total infected world population so far. Among survivors, the presence of the so-called persistent post-COVID-19 syndrome (PPCS) is a common finding. In COVID-19 survivors, PPCS presents one or more symptoms: fatigue, dyspnea, memory loss, sleep disorders, and difficulty concentrating. In this study, a cohort of 117 COVID-19 survivors (post-COVID-19) and 144 non-infected volunteers (COVID-19-free) was analyzed using pyrosequencing of defined CpG islands previously identified as suitable for biological age determination. The results show a consistent biological age increase in the post-COVID-19 population, determining a DeltaAge acceleration of 10.45 ± 7.29 years (+5.25 years above the range of normality) compared with 3.68 ± 8.17 years for the COVID-19-free population (p < 0.0001). A significant telomere shortening parallels this finding in the post-COVID-19 cohort compared with COVID-19-free subjects (p < 0.0001). Additionally, ACE2 expression was decreased in post-COVID-19 patients, compared with the COVID-19-free population, while DPP-4 did not change. In light of these observations, we hypothesize that some epigenetic alterations are associated with the post-COVID-19 condition, particularly in younger patients (< 60 years).     

Single-crystalline Te microtubes: Synthesis and NO2 gas sensor application

Tellurium tubular crystals were grown by direct thermal evaporation of tellurium metal in an inert atmosphere on quartz substrates at ambient pressure without employing any catalyst. Tellurium powder was evaporated by heating at 600 °C and was condensed at a substrate temperature of 300–350 °C in the downstream of argon gas at a flow rate of 100 mL/min. The structure and chemical composition of the as-synthesized samples were examined by X-ray diffraction analysis, scanning electron microscopy, energy-dispersive X-rays microanalysis and micro-Raman spectroscopy. Scanning electron microscopy images and X-ray diffraction patterns showed that the as-synthesized Te had a tubular single-crystalline morphology with a hexagonal cross-section. The Te microtubes were typically 0.5–6 mm long, 30–70 μm in external diameter, and 5–20 μm thick. NO₂ gas-sensing properties of the Te microtubes at room temperature were also investigated. They showed a promising sensitivity and response towards tested gas.     

Query representation and management in a multiparadigmatic visual query environment

We propose a framework for database querying providing the user with several interaction paradigms based on different (i.e., form-based, diagrammatic, iconic, and hybrid) visual representations of the database. A unified model, namely the Graph Model, is used as the common underlying model, in terms of which databases expressed in the most common data models can be easily converted. Graph Model databases can be queried by means of the multiparadigmatic interface. The semantics of the query operations is formally defined in terms of the Graphical Primitives. Such a formal approach enables the query manager to maintain the same query consistently in any representation. In the proposed multiparadigmatic environment, the user can switch from one interaction paradigm to another during query formulation, so that the most suitable query representation can be found.     

A General Approach to L(h, k)-Label Interconnection Networks

Given two non-negative integers h and k,an L(h,k)-labeling of a graph G=(V,E) is a function from the set V to a set of colors,such that adjacent nodes take colors at distance at least h,and nodes at distance 2 take colors at distance at least k.The aim of the L(h,k)-labeling problem is to minimize the greatest used color.Since the decisional version of this problem is NP-complete,it is important to investigate particular classes of graphs for which the problem can be efficiently solved.It is well known that the most common interconnection topologies,such as Butterfly-like,Bene(?),CCC,Trivalent Cayley networks,are all characterized by a similar structure:they have nodes organized as a matrix and connections are divided into layers.So we naturally introduce a new class of graphs,called (1×n)-multistage graphs,containing the most common interconnection topologies,on which we study the L(h,k)-labeling.A general algorithm for L(h,k)-labeling these graphs is presented,and from this method an efficient L(2,1)-labeling for Butterfly and CCC networks is derived.Finally we describe a possible generalization of our approach.     

Genotoxicity and Epigenotoxicity of Carbazole-Derived Molecules on MCF-7 Breast Cancer Cells

The carbazole compounds PK9320 (1-(9-ethyl-7-(furan-2-yl)-9H-carbazol-3-yl)-N-methylmethanamine) and PK9323 (1-(9-ethyl-7-(thiazol-4-yl)-9H-carbazol-3-yl)-N-methylmethanamine), second-generation analogues of PK083 (1-(9-ethyl-9H-carbazol-3-yl)-N-methylmethanamine), restore p53 signaling in Y220C p53-mutated cancer cells by binding to a mutation-induced surface crevice and acting as molecular chaperones. In the present paper, these three molecules have been tested for mutant p53-independent genotoxic and epigenomic effects on wild-type p53 MCF-7 breast adenocarcinoma cells, employing a combination of Western blot for phospho-γH2AX histone, Comet assay and methylation-sensitive arbitrarily primed PCR to analyze their intrinsic DNA damage-inducing and DNA methylation-changing abilities. We demonstrate that small modifications in the substitution patterns of carbazoles can have profound effects on their intrinsic genotoxic and epigenetic properties, with PK9320 and PK9323 being eligible candidates as “anticancer compounds” and “anticancer epi-compounds” and PK083 a “damage-corrective” compound on human breast adenocarcinoma cells. Such different properties may be exploited for their use as anticancer agents and chemical probes.     

Diffusion coefficient measurements in consolidated clay by RBS micro-scale profiling

The determination of radionuclide diffusion coefficients is necessary for performance assessment of clay formations as a geological barrier for deep geological repositories for high-level radioactive waste.Diffusion coefficients of elements that are retained by the clay and have short diffusion lengths are quite difficult to measure over reasonable time spans, by conventional techniques.This paper presents a novel application of the Rutherford Backscattering Spectrometry (RBS) technique to determine solute diffusion coefficients in consolidated clays. The RBS technique was selected because it allows the measurement of concentration profiles at short range distances (μm).The proposed methodology was tested on the Opalinus clay (OPA) from the Swiss Jura, where the Mont Terri underground laboratory is located. The diffusion of four elements with different adsorption behaviors onto the clay was analyzed: Eu and U as adsorbing elements, Sr as low adsorbing, and Re as a non-adsorbing element with anionic behavior.Apparent diffusion coefficients (D_a) could be experimentally determined for Re, Eu and U after a few days of diffusion time, while for Sr it was only possible to estimate a lower limit for the diffusion coefficient. The uncertainties of the proposed methodology are discussed on the basis of sensitivity studies.     

Static analysis of Linear Logic programming

Linear Logic is gaining momentum in computer science because it offers a unified framework and a common vocabulary for studying and analyzing different aspects of programming and computation. We focus here on models where computation is identified with proof search in the sequent system of Linear Logic. A proof normalization procedure, called “focusing”, has been proposed to make the problem of proof search tractable. Correspondingly, there is a normalization procedure mapping formulae of Linear Logic into a syntactic fragment of that logic, calledLinLog, where the focusing normalization for proofs can be most conveniently expressed. In this paper, we propose to push this compilation/normalization process further, by applying abstract interpretation and partial evaluation techniques to (focused) proofs inLinLog. These techniques provide information concerning the evolution of the computational resources (formulae) during the execution (proof construction). The practical outcome that we expect from this theoretical effort is the definition of a general tool for statically analyzing and reasoning about the runtime behavior of programs in frameworks where computations can be accounted for in terms of proof search in Linear Logic.     

A Design Methodology for a Self-Oscillating Electronic Ballast

This paper presents a design methodology and analysis of electronic ballast employing the self-oscillating-command circuit. The self-oscillating electronic ballast is represented as a relay control system in order to determine its parameters using the describing-function method and an extended Nyquist stability criterion. Simulation and experimental results of the electronic ballast supplying a 40-W fluorescent lamp are presented in order to confirm the feasibility of the performed design methodology.