Optimal control theory based design of elasto-magnetic metamaterial

A method to design a new type of metamaterial is presented. A two-step strategy to define an optimal long-range force distribution embedded in an elastic support to control wave propagation is considered. The first step uses a linear quadratic regulator (LQR) to produce an optimal set of long-range interactions. In the second step, a least square passive approximation of the LQR optimal gains is determined. The paper investigates numerical solutions obtained by the previously described procedure. Finally, we discuss physical and engineering implications and practical use of the present study

Twin-waves propagation phenomena in magnetically-coupled structures

The use of magnetic dipoles embedding in an elastic support introduces long-range interaction forces. This is a completely new paradigm in structural mechanics, classically based on local short-range particle interaction. The features of long-range forces produce very new mechanical coupling effects. This paper examines the case in which two identical rod-like structures, each with a dipole distribution embedded, vibrate side by side. Waves generated in one of the rods propagate also in the second and vice versa creating a new effect we name twin-waves. The present investigation unveils the existence of an infinite number of propagation modes even in one-dimensional infinite structures, a new and unus al behaviour in classical waveguides. The physics behind this phenomenon is further investigated also by numerical simulations

Long-range retarded elastic metamaterials: wave-stopping, negative, and hypersonic or superluminal group velocity

This paper investigates new phenomena in elastic wave propagation in metamaterials, characterised by long-range interactions. The kind of waves borne in this context unveil wave-stopping, negative group velocity, instability and hypersonic or superluminal effects, both for instantaneous and for nonlocal retarded actions. Closed form results are presented and a universal propagation map synthesizes the expected properties of these materials. Perspectives in physics, engineering and social dynamics are discussed

Glutaredoxin: Discovery, redox defense and much more

Glutaredoxin, Grx, is a small protein containing an active site cysteine pair and was discovered in 1976 by Arne Holmgren. The Grx system, comprised of Grx, glutathione, glutathione reductase, and NADPH, was first described as an electron donor for Ribonucleotide Reductase but, from the first discovery in E.coli, the Grx family has impressively grown, particularly in the last two decades. Several isoforms have been described in different organisms (from bacteria to humans) and with different functions. The unique characteristic of Grxs is their ability to catalyse glutathione-dependent redox regulation via glutathionylation, the conjugation of glutathione to a substrate, and its reverse reaction, deglutathionylation. Grxs have also recently been enrolled in iron sulphur cluster formation. These functions have been implied in various physiological and pathological conditions, from immune defense to neurodegeneration and cancer development thus making Grx a possible drug target. This review aims to give an overview on Grxs, starting by a phylogenetic analysis of vertebrate Grxs, followed by an analysis of the mechanisms of action, the specific characteristics of the different human isoforms and a discussion on aspects related to human physiology and diseases.LC, FTO and VB would like to dedicate this work to the memory of Professor Arne Holmgren, discoverer of glutaredoxin, a reference in redox research, a great mentor and storyteller. It was a privilege to work and learn from him. The authors want to thank also all the excellent scientists with whom Arne worked for their contribution to increases the knowledge about glutaredoxins. The authors thank Dr Colin Miller for proofreading the manuscript. LC was supported by the Swedish Cancer Society (961), the Swedish Research Council Medicine (13X-3529) and a grant from the Swedish Fulbright Commission (2020). VB and FFV are supported by iMed.ULisboa’s strategic project (UIDP/04138/2020; UIDB/04138/2020), financed by national funds from Fundação para a Ciência e Tecnologia, Portugal (FCT; www.fct.pt). VB is financed by national funds via Fundação para a Ciência e Tecnologia through Norma Transitória - DL57/2016/CP1376/CT002. FFV is financed by Fundação para a Ciência e Tecnologia through Assistant Researcher grant CEECIND/03023/2017.info:eu-repo/semantics/publishedVersio

Reversing Single Sessions

Session-based communication has gained a widespread acceptance in practice as a means for developing safe communicating systems via structured interactions. In this paper, we investigate how these structured interactions are affected by reversibility, which provides a computational model allowing executed interactions to be undone. In particular, we provide a systematic study of the integration of different notions of reversibility in both binary and multiparty single sessions. The considered forms of reversibility are: one for completely reversing a given session with one backward step, and another for also restoring any intermediate state of the session with either one backward step or multiple ones. We analyse the costs of reversing a session in all these different settings. Our results show that extending binary single sessions to multiparty ones does not affect the reversibility machinery and its costs

Vitamin e-loaded membrane dialyzers reduce hemodialysis inflammaging

Background Inflammaging is a persistent, low-grade, sterile, nonresolving inflammatory state, associated with the senescence of the immune system. Such condition downregulates both innate and adaptive immune responses during chronic disorders as type II diabetes, cancer and hemodialysis, accounting for their susceptibility to infections, malignancy and resistance to vaccination. Aim of this study was to investigate hemodialysis inflammaging, by evaluating changes of several hemodialysis treatments on indoleamine 2,3-dioxygenase-1 activity and nitric oxide formation. Methods We conducted a randomized controlled observational crossover trial. Eighteen hemodialysis patients were treated with 3 different hemodialysis procedures respectively: 1) Low-flux bicarbonate hemodialysis, 2) Low-flux bicarbonate hemodialysis with vitamin E - loaded dialyzers, and 3) Hemodialfitration. The control group consisted of 14 hospital staff healthy volunteers. Blood samples were collected from all 18 hemodialysis patients just after the long interdialytic interval, at the end of each hemodialysis treatment period. Results Hemodialysis kynurenine and kynurenine/L - tryptophan blood ratio levels were significantly higher, when compared to the control group, indicating an increased indoleamine 2,3-dioxygenase-1 activity in hemodialysis patients. At the end of the low-flux bicarbonate hemodialysis with vitamin E - loaded dialyzers period, L - tryptophan serum levels remained unchanged vs both low-flux bicarbonate hemodialysis and hemodialfitration. Kynurenine levels instead decreased, resulting in a significant reduction of kynurenine/L - tryptophan blood ratio and indoleamine 2,3-dioxygenase-1 activity, when matched to both low-flux bicarbonate hemodialysis and HDF respectively. Serum nitric oxide control group levels, were significantly lower when compared to all hemodialysis patient groups. Interestingly, low-flux bicarbonate hemodialysis with vitamin E - loaded dialyzers nitric oxide serum levels from venous line blood samples taken 60 min after starting the hemodialysis session were significantly lower vs serum taken simultaneously from the arterial blood line. Conclusions The treatment with more biocompatible hemodialysis procedure as low-flux bicarbonate hemodialysis with vitamin E - loaded dialyzers, reduced indoleamine 2,3-dioxygenase-1 activity and nitric oxide formation when compared to both low-flux bicarbonate hemodialysis and hemodialfitration. These data suggest that low-flux bicarbonate hemodialysis with vitamin E - loaded dialyzers lowering hemodialysis inflammaging, could be associated to changes of proinflammatory signalling a regulated molecular level

Hybrid Session Verification through Endpoint API Generation

© Springer-Verlag Berlin Heidelberg 2016.This paper proposes a new hybrid session verification methodology for applying session types directly to mainstream languages, based on generating protocol-specific endpoint APIs from multiparty session types. The API generation promotes static type checking of the behavioural aspect of the source protocol by mapping the state space of an endpoint in the protocol to a family of channel types in the target language. This is supplemented by very light run-time checks in the generated API that enforce a linear usage discipline on instances of the channel types. The resulting hybrid verification guarantees the absence of protocol violation errors during the execution of the session. We implement our methodology for Java as an extension to the Scribble framework, and use it to specify and implement compliant clients and servers for real-world protocols such as HTTP and SMTP

The Paths to Choreography Extraction

Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis of correct-by-construction software (Choreographic Programming). They require a top-down approach: programmers first write choreographies, and then use them to verify or synthesize their programs. However, most existing software does not come with choreographies yet, which prevents their application. To attack this problem, we propose a novel methodology (called choreography extraction) that, given a set of programs or protocol specifications, automatically constructs a choreography that describes their behavior. The key to our extraction is identifying a set of paths in a graph that represents the symbolic execution of the programs of interest. Our method improves on previous work in several directions: we can now deal with programs that are equipped with a state and internal computation capabilities; time complexity is dramatically better; we capture programs that are correct but not necessarily synchronizable, i.e., they work because they exploit asynchronous communication

Automatic Optic Nerve Measurement: A New Tool to Standardize Optic Nerve Assessment in Ultrasound B-Mode Images

Transorbital sonography provides reliable information about the estimation of intra-cranial pressure by measuring the optic nerve sheath diameter (ONSD), whereas the optic nerve (ON) diameter (OND) may reveal ON atrophy in patients with multiple sclerosis. Here, an AUTomatic Optic Nerve MeAsurement (AUTONoMA) system for OND and ONSD assessment in ultrasound B-mode images based on deformable models is presented. The automated measurements were compared with manual ones obtained by two operators, with no significant differences. AUTONoMA correctly segmented the ON and its sheath in 71 out of 75 images. The mean error compared with the expert operator was 0.06 ± 0.52 mm and 0.06 ± 0.35 mm for the ONSD and OND, respectively. The agreement between operators and AUTONoMA was good and a positive correlation was found between the readers and the algorithm with errors comparable with the inter-operator variability. The AUTONoMA system may allow for standardization of OND and ONSD measurements, reducing manual evaluation variability