Synthesizing SystemC Code from Delay Hybrid CSP

Delay is omnipresent in modern control systems, which can prompt oscillations and may cause deterioration of control performance, invalidate both stability and safety properties. This implies that safety or stability certificates obtained on idealized, delay-free models of systems prone to delayed coupling may be erratic, and further the incorrectness of the executable code generated from these models. However, automated methods for system verification and code generation that ought to address models of system dynamics reflecting delays have not been paid enough attention yet in the computer science community. In our previous work, on one hand, we investigated the verification of delay dynamical and hybrid systems; on the other hand, we also addressed how to synthesize SystemC code from a verified hybrid system modelled by Hybrid CSP (HCSP) without delay. In this paper, we give a first attempt to synthesize SystemC code from a verified delay hybrid system modelled by Delay HCSP (dHCSP), which is an extension of HCSP by replacing ordinary differential equations (ODEs) with delay differential equations (DDEs). We implement a tool to support the automatic translation from dHCSP to SystemC

Editorial: Anticoagulation in cardiovascular diseases: evolving role, unmet needs, and grey areas

N

Automated Testing of Infotainment System

Infotainment system is one of the most complex Electronic Control Unit (ECU) which is integrated with number of ECU?s in the car. Infotainment system is getting more features in recent years because of which the testing of these systems has become very complex. Testing of these systems with very high accuracy is a difficult task. This paper presents a method of testing the various features of Infotainment System with very high Accuracy and less Human Effort

Anestésicos locales en odontoestomatología

El motivo del presente trabajo es hacer una revisión bibliográfica sobre los anestésicos locales (AL) que son las drogas de más uso en Odontoestomatología y que, merced a su perfeccionamiento, en los últimos años han significado un enorme avance, tanto en los tratamientos odontológicos, para mejorar de forma determinante la operatoria dental, como el confort del paciente en estos procederes. Además al haber añadido a estos anestésicos locales un vasoconstrictor se ha conseguido que se puedan usar dosis menores de anestésico y a la vez que con menos dosis se puede actuar más tiempo y en buenas condiciones para el paciente y el dentista. Se realiza al mismo tiempo un estudio de las posibles interacciones medicamentosas, contraindicaciones, etc. de los distintos componentes de la solución anestésica, así como las posibles reacciones de alergia o de hipersensibilidad a la que puedan dar lugar y que se han de tener muy en cuenta a la hora de su utilización en la cavidad oral.The purpose of the present paper is to carry out a review of the literature on local anesthetics (LAs), which are the most commonly used drugs in dentistry. Thanks to their improvement over the last few years, they have constituted an enormous advance in both odontological treatment - improving the dental operation in a determinant manner, and the comfort of the patient during these procedures. Furthermore, the addition of a blood vessel constrictor to these local anesthetics has meant that a lower dose of anesthetic can be used, which at the same time acts for longer, providing better conditions for both the patient and dentist. In addition, a study is made of the possible drug interactions, contraindications etc. of the different components in the anesthetic solution, and likewise the possible allergic hypersensitive reactions which can take place and which must be taken closely into consideration when used in the oral cavity

Mossbauer and magnetization studies of amorphous NdFeB compositionally modulated thin films

Several NdFeB compositionally modulated thin films are studied by using both conversion electron Mossbauer spectra and SQUID (superconducting quantum-interference-device) magnetometry. Both the hyperfine fields and the easy magnetization magnitude are not correlated with the modulation characteristic length (lambda) while the magnetization perpendicular to the thin-film plane decreases as lambda increases. The spectra were recorded at room temperature being the gamma rays perpendicular to the substrate plane. The magnetization measurements were recorded by using a SHE SQUID magnetometer in applied magnetic fields up to 5.5 T and in the temperature range between 1.8 and 30 K

A telescope detection system for direct and high resolution spectrometry of intense neutron fields

A high energy- and spatial-resolution telescope detector was designed and constructed for neutron spectrometry of intense neutron fields. The detector is constituted by a plastic scintillator coupled to a monolithic silicon telescope (MST), in turn consisting of a DE and an E stage. The scintillator behaves as an “active” recoil-proton converter, since it measures the deposited energy of the recoil-protons generated across. The MST measures the residual energy of recoil-protons downstream of the converter and also discriminates recoil-protons from photons associated to the neutron field. The lay-out of the scintillator/MST system was optimized through an analytical model for selecting the angular range of the scattered protons. The use of unfolding techniques for reconstructing the neutron energy distribution was thus avoided with reasonable uncertainty (about 1.6% in neutron energy) and efficiency (of the order of 106 counts per unit neutron fluence). A semi-empirical procedure was also developed for correcting the non-linearity in light emission from the organic scintillator. The spectrometer was characterized with quasi-monoenergetic and continuous fields of neutrons generated at the CN Van De Graaff accelerator of the INFN-Legnaro National Laboratory, Italy, showing satisfactory agreement with literature data

Venous thromboembolism in COVID-19 patients

We read with interest the study published by Tang and coll.1 in a recent issue of the Journal of Thrombosis and Haemostasis. In this retrospective analysis, conducted at the Tongji Hospital of Wuhan, China, it is reported that heparin treatment reduces mortality in subjects affected by severe COVID-19 who have \u201csepsis-induced coagulopathy\u201d. The definition of severe COVID-19 was the presence of at least one of following: respiratory rate 6530 breaths /min; arterial oxygen saturation 6493% at rest; PaO2/FiO2 64300 mmHg. The Authors of this study also reported that, among subjects not treated with heparin, mortality raised according with D-dimer levels. Of note, patients that received heparin in this study were mostly treated with enoxaparin, at the thromboprophylactic dose of 40-60 mg/day, for at least 7 days

New Insights into the Photophysics of DNA Nucleobases

We report the results of an extended time-resolved study of DNA nucleobases in aqueous solutions conducted in the deep UV using broad-band femtosecond transient absorption and electronic two-dimensional spectroscopies. We found that the photodeactivation in all DNA nucleobases occurs in two steps: fast relaxation (500-700 fs) from the excited state ππ* to a "dark" state and its depopulation to the ground state within 1-2 ps. Our experimental observations and performed theoretical modeling allow us to conclude that this dark state can be associated with the nπ* electronic state, which is connected to the excited and ground states via conical intersections

Photo-oxidative action in cervix carcinoma cells induced by HpD — mediated photodynamic therapy

Photodynamic therapy leads to oxidative stress through the generation of free radicals. Oxidative stress causes damage to cellular macromolecules such as nucleic acids, proteins and lipids. Aim: To examine the hematoporphyrin derivative (HpD) — mediated photodynamic effect on cervical adenocarcinoma cell line HeLa. Methods: The HpD localization in HeLa cells was analyzed by confocal microscopy with epi-fluorescence system. Lipid peroxidation (LPO) was estimated by measurement of the concentration of malondialdehyde, protein degradation — by modified Ellman’s method, superoxide dysmutase (SOD) — using Ransod Kit. The expression of inducible nitric oxide synthase (iNOS) was detected by immunocytochemical staining. Results: The HpD was distributed all over the cytoplasm with preferential localization in the inner side of the plasma membrane and around the nuclear envelope. The process of photosensitizer distribution was time dependent. PDT-HpD increased the level of malonodialdehyde (MDA), SOD activity and the expression of iNOS in HeLa cells. However, PDT induced the decrease in the level of protein-associated thiol groups. Conclusions: Our study showed the important role of PDT-mediated oxidative stress in HeLa cells. HpD-PDT might be alternative and less invasive approach for treatment of patients with cervical cancer resistant for standard chemotherapy and radiotherapy

Raman Spectroscopy Spectral Fingerprints of Biomarkers of Traumatic Brain Injury

Traumatic brain injury (TBI) affects millions of people of all ages around the globe. TBI is notoriously hard to diagnose at the point of care, resulting in incorrect patient management, avoidable death and disability, long-term neurodegenerative complications, and increased costs. It is vital to develop timely, alternative diagnostics for TBI to assist triage and clinical decision-making, complementary to current techniques such as neuroimaging and cognitive assessment. These could deliver rapid, quantitative TBI detection, by obtaining information on biochemical changes from patient's biofluids. If available, this would reduce mis-triage, save healthcare providers costs (both over- and under-triage are expensive) and improve outcomes by guiding early management. Herein, we utilize Raman spectroscopy-based detection to profile a panel of 18 raw (human, animal, and synthetically derived) TBI-indicative biomarkers (N-acetyl-aspartic acid (NAA), Ganglioside, Glutathione (GSH), Neuron Specific Enolase (NSE), Glial Fibrillary Acidic Protein (GFAP), Ubiquitin C-terminal Hydrolase L1 (UCHL1), Cholesterol, D-Serine, Sphingomyelin, Sulfatides, Cardiolipin, Interleukin-6 (IL-6), S100B, Galactocerebroside, Beta-D-(+)-Glucose, Myo-Inositol, Interleukin-18 (IL-18), Neurofilament Light Chain (NFL)) and their aqueous solution. The subsequently derived unique spectral reference library, exploiting four excitation lasers of 514, 633, 785, and 830 nm, will aid the development of rapid, non-destructive, and label-free spectroscopy-based neuro-diagnostic technologies. These biomolecules, released during cellular damage, provide additional means of diagnosing TBI and assessing the severity of injury. The spectroscopic temporal profiles of the studied biofluid neuro-markers are classed according to their acute, sub-acute, and chronic temporal injury phases and we have further generated detailed peak assignment tables for each brain-specific biomolecule within each injury phase. The intensity ratios of significant peaks, yielding the combined unique spectroscopic barcode for each brain-injury marker, are compared to assess variance between lasers, with the smallest variance found for UCHL1 (σ2 = 0.000164) and the highest for sulfatide (σ2 = 0.158). Overall, this work paves the way for defining and setting the most appropriate diagnostic time window for detection following brain injury. Further rapid and specific detection of these biomarkers, from easily accessible biofluids, would not only enable the triage of TBI, predict outcomes, indicate the progress of recovery, and save healthcare providers costs, but also cement the potential of Raman-based spectroscopy as a powerful tool for neurodiagnostics.</p