Mechanising the theory of intervals using OBJ3

This work uses the OBJ3 term rewriting system to formalize the type interval through some of its algebraic and topological properties. The intended contribution is not the discovery of new theorems related to numerical or interval arithmetic. Rather, our aim is to formally specify the type interval with the view of performing mechanical (automated) reasoning about its properties.     

Gap application results for adjacent electron beams treatment

Nowadays, electron beams from high-energy linear accelerators (LINAC) are widely used in a variety of radiotherapy treatments being suitable especially for superficial tumors. Since this sort of ionizing radiation has stopping power higher than photons, deeper and healthier tissues can be preserved. On the other hand, when applying adjacent electron beams, “hot” spots can be observed, due to penumbra and/or scattering, contributing to the increase of the absorbed dose in the target volume. In this sense, the objective of this work was to investigate the effects of parallel adjacent electron beams using the chemical dosimeter Fricke Xylenol Gel (FXG) and compare the experimental results with ones acquired using Monte Carlo simulation. Thus, 10 × 10, 15 × 15 and 20 × 20 cm² fields were irradiated with 5, 8 and 10 MeV electron beams applying different gap widths. The experimental results and the simulations indicated overdose values up to 40% from the prescribed one for the specific tumor. This demonstrates that specific gaps are necessary in the case of treatments with parallel adjacent electron beams in order to prevent overdoses in the depth of interest.     

Cholesterol Oxidation in Fish and Fish Products

Fish and fish products are important from a nutritional point of view due to the presence of high biological value proteins and the high content of polyunsaturated fatty acids, especially those of the n‐3 series, and above all eicosapentaenoic acid and docosahexaenoic acid. However, these important food products also contain significant amounts of cholesterol. Although cholesterol participates in essential functions in the human body, it is unstable, especially in the presence of light, oxygen, radiation, and high temperatures that can cause the formation of cholesterol oxidation products or cholesterol oxides, which are prejudicial to human health. Fish processing involves high and low temperatures, as well as other methods for microbiological control, which increases shelf life and consequently added value; however, such processes favor the formation of cholesterol oxidation products. This review brings together data on the formation of cholesterol oxides during the preparation and processing of fish into food products which are recognized and recommended for their nutritional properties.     

Cooperative Space-Time Block Codes for Wireless Video Sensor Networks

Wireless video sensor networks (WVSNs) are gaining popularity due to numerous potential applications such as video surveillance, environmental and habitat monitoring, and so on. Considering large-scale WVSNs, in which the sink node is not within the range of all other nodes, a multi-hop operation is desired. This paper proposes a novel cooperative system that uses space time-block codes to enhance the performance of multi-hop wireless video sensor networks. The proposed scheme is designed to deal with large-scale WVSNs, by adapting the cluster size and extending the cooperation between the cluster-heads. The performance comparison between the proposed system and a non-cooperative scheme is presented based on network lifetime for varying propagation scenarios, number of camera nodes, and on the quality of transmitted videos in a WVSN. Simulation results show an improvement in performance for the proposed system.     

Correct hardware synthesis

This paper presents an algebraic compilation approach to the correct synthesis (compilation into hardware) of a synchronous language with shared variables and parallelism. The synthesis process generates a hardware component that implements the source program by means of gradually reducing it into a highly parallel state-machine. The correctness of the compiler follows by construction from the correctness of the transformations involved in the synthesis process. Each transformation is proved sound from more basic algebraic laws of the source language; the laws are themselves formally derived from a denotational semantics expressed in the Unified Theories of Programming. The proposed approach is based on previous efforts that handle both software and hardware compilation, in a pure algebraic style, but the complexity of our source language demanded significant adaptations and extensions to the existing approaches.     

PCL/β-AgVO3 nanocomposites obtained by solvent casting as potential antimicrobial biomaterials

The adhesion of microorganisms on biomaterials can impair its effective application. The addition of antimicrobial agents is a promising alternative to overcome this limitation. In this work, films of polycaprolactone (PCL) and nanostructured β-AgVO₃ (SV) were produced by solvent casting with 0.1, 0.5, and 1.0 wt% of SV. The effect of SV on the structure of PCL was investigate using Fourier transform infrared spectroscopy (FTIR), X-ray diffraction (XRD), Raman spectroscopy, differential scanning calorimetry (DSC), and scanning electron microscopy (SEM). The antimicrobial activity of the films against Staphylococcus aureus and Escherichia coli was evaluated by the agar diffusion method and by direct contact test. FTIR confirmed the presence of SV into the PCL films, with chemical interaction between them. SEM showed that SV nanorods were well dispersed and with good interfacial adhesion with PCL. XRD diffraction and Raman spectroscopy showed that the presence of SV increased the number of nucleation sites, reducing the size of crystallites and increasing the amorphous domains in the PCL matrix, consequently reducing crystallinity. This behavior was confirmed by DSC, which showed a reduction in the crystallinity with increasing SV content. Films with 1 wt% of SV showed antimicrobial activity against Staphylococcus aureus in direct contact test.     

Robust optimization of the rate of penetration of a drill-string using a stochastic nonlinear dynamical model

This work proposes a strategy for the robust optimization of the nonlinear dynamics of a drill-string, which is a structure that rotates and digs into the rock to search for oil. The nonparametric probabilistic approach is employed to model the uncertainties of the structure as well as the uncertainties of the bit-rock interaction model. This paper is particularly concerned with the robust optimization of the rate of penetration of the column, i.e., we aim to maximize the mathematical expectation of the mean rate of penetration, respecting the integrity of the system. The variables of the optimization problem are the rotational speed at the top and the initial reaction force at the bit; they are considered deterministic. The goal is to find the set of variables that maximizes the expected mean rate of penetration, respecting, vibration limits, stress limit and fatigue limit of the dynamical system.     

Alcohol extract of Bauhinia forficata link reduces lipid peroxidation in the testis and epididymis of adult Wistar rats

Bauhinia forficata is a medicinal plant that has flavonoid components with hypoglycemic, antioxidant, hepatoprotective, antibacterial, antiviral and anti‐inflammatory action. Aim of this study is to evaluate the action of B. forficata alcoholic extract in the male genital system of adult male Wistar rats. For that, 20 adult male Wistar rats were distributed into two experimental groups: the B. forficata group, receiving B. forficata alcoholic extract (0.1 ml/10 g body weight/day) on alternate days, and the control group, receiving just the vehicle for 30 days straight both via gavage. On the 31st day, the animals were euthanized, and the testis and epididymis were collected for histopathological, biochemical, morphometric, and sperm count analysis. Mass spectrometry identified new compounds in the extract: trans‐caffeic acid, liquiritigenin, gallocatechin, and 2,4,6‐trihydroxyphenanthren‐2‐glycoside. Biochemical analysis showed higher total cholesterol levels in the testis and lower malondialdehyde levels in the testis and epididymis, in the B. forficata group. The mast cell count showed a reduction in degranulated mast cells in the caput region of the epididymis, in the B. forficata group. The luminal compartment of the caput and the epithelial of the epididymis cauda were reduced, whereas the stromal region of the epididymis caput was increased in the B. forficata group, compared with the control group. The testicular tissue was less impaired, considering that all the histological analyses were similar to the control. We believe that B. forficata alcoholic extract in the male genital system showed antioxidant action, especially in the epididymal tissue.