From Category Theory to Functional Programming: A Formal Representation of Intent

The possibility of managing network infrastructures through software-based programmable interfaces is becoming a cornerstone in the evolution of communication networks. The Intent-Based Networking (IBN) paradigm is a novel declarative approach towards network management proposed by a few Standards Developing Organizations. This paradigm offers a high-level interface for network management that abstracts the underlying network infrastructure and allows the specification of network directives using natural language. Since the IBN concept is based on a declarative approach to network management and programmability, we argue that the use of declarative programming to achieve IBN could uncover valuable insights for this new network paradigm. This paper proposes a formalization of this declarative paradigm obtained with concepts from category theory. Taking this approach to Intent, an initial implementation of this formalization is presented using Haskell, a well-known functional programming language

Thin-plate spline analysis of mandibular morphological changes induced by early class III treatment: a long-term evaluation

To evaluate the long-term mandibular morphological changes induced by early treatment of class III malocclusion with rapid maxillary expansion (RME) and facial mask (FM)

Differential effects on membrane permeability and viability of human keratinocyte cells undergoing very low intensity megasonic fields

Among different therapeutic applications of Ultrasound (US), transient membrane sonoporation (SP) - a temporary, non-lethal porosity, mechanically induced in cell membranes through US exposure - represents a compelling opportunity towards an efficient and safe drug delivery. Nevertheless, progresses in this field have been limited by an insufficient understanding of the potential cytotoxic effects of US related to the failure of the cellular repair and to the possible activation of inflammatory pathway. In this framework we studied the in vitro effects of very low-intensity US on a human keratinocyte cell line, which represents an ideal model system of skin protective barrier cells which are the first to be involved during medical US treatments. Bioeffects linked to US application at 1 MHz varying the exposure parameters were investigated by fluorescence microscopy and fluorescence activated cell sorting. Our results indicate that keratinocytes undergoing low US doses can uptake drug model molecules with size and efficiency which depend on exposure parameters. According to sub-cavitation SP models, we have identified the range of doses triggering transient membrane SP, actually with negligible biological damage. By increasing US doses we observed a reduced cells viability and an inflammatory gene overexpression enlightening novel healthy relevant strategies

Le Equazioni Algebriche: i metodi risolutivi nella storia della matematica

Nel presente lavoro si illustrerà  un percorso didattico che usa la metodologia della storia della matematica nell’insegnamento. Si tratteranno, in particolare, i vari metodi risolutivi delle equazioni di primo e di secondo grado nella storia, dal metodo di falsa posizione degli egizi, ai metodi del completamento a quadrato o delle applicazioni delle aree nei greci, fino ai metodi risolutivi di René  Descartes (Cartesio). I metodi geometrici dei greci e di Cartesio sono svolti con il software di geometria dinamica Geogebra. Il percorso si conclude con i riferimenti storici al rinascimento e alle formule risolutive delle equazioni di terzo e quarto grado e a  Evariste Galois

Accessing and assessing lunar resources with PROSPECT

PROSPECT is a package in development by ESA to assess the in-situ resource potential of lunar regolith. PROSPECT will: obtain sub-surface regolith samples, extract volatiles, identify chemical species, quantify abundances, and characterize isotopes

Deep-underground search for the decay of 180m-Ta with an ultra-low-background HPGe detector

$^{180m}$Ta is the longest-lived metastable state presently known. Its decay has not been observed yet. In this work, we report a new result on the decay of $^{180m}$Ta obtained with a $2015.12$-g tantalum sample measured for $527.7$ d with an ultra-low background HPGe detector in the STELLA laboratory of the Laboratori Nazionali del Gran Sasso, in Italy. Before the measurement, the sample has been stored deep-underground for ten years, resulting in subdominant background contributions from cosmogenically activated $^{182}$Ta. We observe no signal in the regions of interest and set half-life limits on the process for the two channels EC and $\beta^-$: $T_{1/2,~\mathrm{EC}} > 1.6 \times 10^{18}$ yr and $T_{1/2,~\beta^-} > 1.1\times 10^{18}$ yr ($90$% C. I.), respectively. We also set the limit on the $\gamma$ de-excitation / IC channel: $T_{1/2,~\mathrm{IC}} > 4.1 \times 10^{15}$ yr ($90$% C. I.). These are, as of now, the most stringent bounds on the decay of $^{180m}$Ta worldwide.Comment: 8 pages, 7 figures, 4 table

Eating and feeding disorders in pediatric age

Eating and feeding disorders are common in pediatric age and may be important to discover and recover the early symptoms in order to optimize the treatment and management

Recent advances in cutaneous lymphoma—implications for current and future classifications

The Revised European-American Classification of mature lymphoid neoplasms published in 1994 and the 2001, 2008 and 2016 WHO classifications that followed, were the product of international collaboration and consensus amongst haematopathologists, geneticists, molecular scientists and clinicians. Primary cutaneous lymphomas were fully incorporated into this process following the publication of the WHO-EORTC classification of cutaneous lymphomas in 2005. The definition, diagnostic criteria and recommended studies for primary cutaneous lymphoma continue to be refined. The 2022 International Consensus Classification represents the most recent update and an overview of all the main entities presenting primarily in the skin, together with the major changes in classification, are summarized herein. Primary cutaneous marginal zone lymphoma is segregated from other extranodal marginal zone lymphomas of mucosa-associated lymphoid tissue (MALT lymphoma) and downgraded to a lymphoproliferative disorder in line with its markedly indolent behaviour. In addition, two subtypes are recognised, based largely but not exclusively on whether they are heavy chain class-switched or IgM positive. Similarly, in keeping with a trend to greater conservatism, primary cutaneous acral CD8 positive T cell lymphoma is now also classified as a lymphoproliferative disorder. In addition, significant new insights into the biology of primary cutaneous lymphoma have also recently been forthcoming and will be presented. These studies have enhanced our knowledge of genetic, epigenetic and transcriptional changes in this group of diseases. They not only identify potential targets for novel therapies, but also raise as yet unanswered questions as to how we categorise cutaneous lymphomas, particularly with respect to relationships with similar lymphomas at extracutaneous sites

Dermoscopic features of nonpigmented eccrine poroma

N/

Neuropsychomotricity in water: A new rehabilitative tool for neruodevelop-mental disorders

Neuropsychomotricity in water is a rehabilitative practice that avails itself just of the liquid element, as a mediator of relationships: in water yes they upset all dynamics, be they relational, of equilibrium, of movement and perception, due to the fact that proprioceptive sensations, created by bodily contact with water, they are different than those generated by contact with air