Exploiting Term Hiding to Reduce Run-time Checking Overhead

One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the correctness of these operations. A solution is adding run-time checks to the program via assertions, but this can introduce overheads that are in many cases impractical. While static analysis can greatly reduce such overheads, the gains depend strongly on the quality of the information inferred. Reusable libraries, i.e., library modules that are pre-compiled independently of the client, pose special challenges in this context. We propose a technique which takes advantage of module systems which can hide a selected set of functor symbols to significantly enrich the shape information that can be inferred for reusable libraries, as well as an improved run-time checking approach that leverages the proposed mechanisms to achieve large reductions in overhead, closer to those of static languages, even in the reusable-library context. While the approach is general and system-independent, we present it for concreteness in the context of the Ciao assertion language and combined static/dynamic checking framework. Our method maintains the full expressiveness of the assertion language in this context. In contrast to other approaches it does not introduce the need to switch the language to a (static) type system, which is known to change the semantics in languages like Prolog. We also study the approach experimentally and evaluate the overhead reduction achieved in the run-time checks.Comment: 26 pages, 10 figures, 2 tables; an extension of the paper version accepted to PADL'18 (includes proofs, extra figures and examples omitted due to space reasons

Antenna subtraction for gluon scattering at NNLO

We use the antenna subtraction method to isolate the double real radiation infrared singularities present in gluonic scattering amplitudes at next-to-next-to-leading order. The antenna subtraction framework has been successfully applied to the calculation of NNLO corrections to the 3-jet cross section and related event shape distributions in electron-positron annihilation. Here we consider processes with two coloured particles in the initial state, and in particular two-jet production at hadron colliders such as the Large Hadron Collider (LHC). We construct a subtraction term that describes the single and double unresolved contributions from the six-gluon tree-level process using antenna functions with initial state partons and show numerically that the subtraction term correctly approximates the matrix elements in the various single and double unresolved configurations.Comment: 71 pages, JHEP3 class; corrected typos, equivalent but more compact version of eq. (5.12), results unchange

Case series: convalescent plasma therapy for patients with COVID-19 and primary antibody deficiency

Patients with primary antibody deficiency are at risk for severe and in many cases for prolonged COVID-19. Convalescent plasma treatment of immunocompromised individuals could be an option especially in countries with limited access to monoclonal antibody therapies. While studies in immunocompetent COVID19 patients have demonstrated only a limited benefit, evidence for the safety, timing, and effectiveness of this treatment in antibody-deficient patients is lacking. Here, we describe 16 cases with primary antibody deficiency treated with convalescent plasma in four medical centers. In our cohort, treatment was associated with a reduction in viral load and improvement of clinical symptoms, even when applied over a week after onset of infection. There were no relevant side effects besides a short-term fever reaction in one patient. Longitudinal full-genome sequencing revealed the emergence of mutations in the viral genome, potentially conferring an antibody escape in one patient with persistent viral RNA shedding upon plasma treatment. However, he resolved the infection after a second course of plasma treatment. Thus, our data suggest a therapeutic benefit of convalescent plasma treatment in patients with primary antibody deficiency even months after infection. While it appears to be safe, PCR follow-up for SARS-CoV-2 is advisable and early re-treatment might be considered in patients with persistent viral shedding

A sustainable nano-hybrid system of laccase@M-MWCNTs for multifunctional PAHs and PhACs removal from water, wastewater, and lake water

This study examined the use of modified multiwall carbon nanotubes (M-MWCNTs) with immobilized laccase (L@M-MWCNTs) for removing ciprofloxacin (Cip), carbamazepine (Cbz), diclofenac (Dcf), benzo[a]pyrene (Bap), and anthracene (Ant) from different water samples. The synthesized materials were characterized using an array of advanced analytical techniques. The physical immobilization of laccase onto M-MWCNTs was confirmed through Scanning electron microscope (SEM)-dispersive X-ray spectroscopy (EDS) analysis and Brunner-Emmet-Teller (BET) surface area measurements. The specific surface area of M-MWCNTs decreased by 65% upon laccase immobilization. There was also an increase in nitrogen content seen by EDS analysis asserting successful immobilization. The results of Boehm titration and Fourier transform infrared (FTIR) exhibited an increase in acidic functional groups after laccase immobilization. L@M-MWCNTs storage for two months maintained 77.8%, 61.6%, and 57.6% of its initial activity for 4 °C, 25 °C, and 35 °C, respectively. In contrast, the free laccase exhibited 55.3%, 37.5%, and 23.5% of its initial activity at 4 °C, 25 °C, and 35 °C, respectively. MWCNTs improved storability and widened the working temperature range of laccase. The optimum removal conditions of studied pollutants were pH 5, 25 °C, and 1.6 g/L of M-MWCNTs. These parameters led to >90% removal of the targeted pollutants for four treatment cycles of both synthetic water and spiked lake water. L@M-MWCNTs demonstrated consistent removal of >90% for up to five cycles even with spiked wastewater. The adsorption was endothermic and followed Langmuir isotherm. Oxidation, dehydrogenation, hydroxylation, and ring cleavage seem to be the dominant degradation mechanisms

Antenna subtraction at NNLO with hadronic initial states: real-virtual initial-initial configurations

The antenna subtraction method handles real radiation contributions in higher order corrections to jet observables. The method is based on antenna functions, which encapsulate all unresolved radiation between a pair of hard radiator partons. To apply this method to compute hadron collider observables, initial-initial antenna functions with both radiators in the initial state are required. In view of extending the antenna subtraction method to next-to-next-to-leading order (NNLO) calculations at hadron colliders, we derive the one-loop initial-initial antenna functions in unintegrated and integrated form.Comment: 24 page

Expanded Clinical Pharmacogenetics Implementation Consortium Guideline for Medication Use in the Context of G6PD Genotype

Glucose-6-phosphate dehydrogenase (G6PD) deficiency is associated with development of acute hemolytic anemia in the setting of oxidative stress, which can be caused by medication exposure. Regulatory agencies worldwide warn against the use of certain medications in persons with G6PD deficiency, but in many cases, this information is conflicting, and the clinical evidence is sparse. This guideline provides information on using G6PD genotype as part of the diagnosis of G6PD deficiency and classifies medications that have been previously implicated as unsafe in individuals with G6PD deficiency by one or more sources. We classify these medications as high, medium, or low to no risk based on a systematic review of the published evidence of the gene-drug associations and regulatory warnings. In patients with G6PD deficiency, high-risk medications should be avoided, medium-risk medications should be used with caution, and low-to-no risk medications can be used with standard precautions, without regard to G6PD phenotype. This new document replaces the prior Clinical Pharmacogenetics Implementation Consortium guideline for rasburicase therapy in the context of G6PD genotype (updates at: www.cpicpgx.org)

Boolean Dynamics with Random Couplings

This paper reviews a class of generic dissipative dynamical systems called N-K models. In these models, the dynamics of N elements, defined as Boolean variables, develop step by step, clocked by a discrete time variable. Each of the N Boolean elements at a given time is given a value which depends upon K elements in the previous time step. We review the work of many authors on the behavior of the models, looking particularly at the structure and lengths of their cycles, the sizes of their basins of attraction, and the flow of information through the systems. In the limit of infinite N, there is a phase transition between a chaotic and an ordered phase, with a critical phase in between. We argue that the behavior of this system depends significantly on the topology of the network connections. If the elements are placed upon a lattice with dimension d, the system shows correlations related to the standard percolation or directed percolation phase transition on such a lattice. On the other hand, a very different behavior is seen in the Kauffman net in which all spins are equally likely to be coupled to a given spin. In this situation, coupling loops are mostly suppressed, and the behavior of the system is much more like that of a mean field theory. We also describe possible applications of the models to, for example, genetic networks, cell differentiation, evolution, democracy in social systems and neural networks.Comment: 69 pages, 16 figures, Submitted to Springer Applied Mathematical Sciences Serie

Removal of Pharmaceuticals from Water Using Laccase Immobilized on Orange Peels Waste-Derived Activated Carbon

The ongoing discharge of containments into the environment has raised concerns about the potential harm they pose to various organisms. In the framework of eliminating pharmaceutical chemicals from aqueous solutions, enzymatic degradation by laccase is an environmentally friendly option. In this investigation, laccase immobilized on biochar derived from agricultural waste (orange peels, OPs) was used for the first time to remove carbamazepine and diclofenac from aqueous media. Different characterizations, such as Fourier-transform infrared spectroscopy (FTIR), scanning electron microscopy and energy dispersive X-ray spectroscopy (SEM-EDS), X-Ray diffraction (XRD), specific surface area (SBET), Boehm titration, proximate and ultimate analysis, as well as the point of zero-charge (pHPZC) analysis, were used in this study. The immobilization of laccase results in enhanced stability with respect to storage, temperature, and pH compared to laccase in its free form. The findings showed that the ideal conditions for immobilization were a pH of 4, a temperature of 30 °C, and a laccase concentration of 4.5 mg/mL. These parameters led to an immobilization yield of 63.40%. The stability of laccase immobilized on biochar derived from orange peels (LMOPs) was assessed over a period of 60 days, during which they preserved 60.2% and 47.3% of their initial activities when stored at temperatures of 25 °C and 4 °C, respectively. In contrast, free laccase exhibited lower stability, with only 33.6% and 15.4% of their initial activities maintained under the same storage conditions. Finally, the use of immobilized laccase proved to be effective in eliminating these pollutants in up to five cycles. Upon comparing the two systems, namely LMOPs and modified orange peels (MOPs), it becomes apparent that LMOPs exhibit an estimated 20% improvement in removal efficiency. These results affirmed the viability of activated carbon derived from OPs as a cost-effective option for immobilizing laccase. This approach could potentially be further scaled up to effectively eliminate organic pollutants from water sources

Double real radiation corrections to ttˉt\bar{t} production at the LHC: the all-fermion processes

We present the double real radiation corrections to the hadronic $t \bar{t}$ production stemming from partonic processes with fermions only. For this purpose, we extend the NNLO antenna subtraction formalism developed originally for the computation of jet observables in $e^+e^-$ annihilation to include the evaluation of hadronic observables involving a massive pair of particles. In all partonic processes, we checked the validity of our subtraction terms given for leading and subleading colour contributions numerically by showing that the ratio between real radiation matrix elements and subtraction terms approaches unity in all single and double unresolved configurations.Comment: 68 pages, 9 figure