Miracle-dz/UniFAR-FTUs huggingface dataset:
Contributions of supernovae type II&Ib/c to the galactic chemical evolution

The supernovae SN II & Ib/c make major stellar nucleosynthetic contributions to the inventories of the stable nuclides during the chemical evolution of the galaxy. A case study is performed here with the help of recently developed numerical simulations of the galactic chemical evolution in the solar neighbourhood to understand the contributions of the SN II and Ib/c by making a comparison of the stellar nucleosynthetic yields obtained by two leading groups in the field. These stellar nucleosynthetic yields differ in terms of the treatment of stellar evolution and nucleosynthesis. The formulation for the galactic chemical evolution is developed for the recently revised solar metallicity of ∼0.014. Further, the recent nucleosynthetic yields of the stellar models based on the revised solar metallicity are also used. The analysis suggest that it could be difficult to explain in a self-consistent manner the various features associated with the elemental evolutionary trends over the galactic timescales by any single adopted stellar nucleosynthetic model of SN II & Ib/c.
RASTREAMENTO DE PRODUTOS MÉDICOS HOSPITALARES COM APLICAÇÃO DO BLOCKCHAIN

utilizar blockchain traballho apresentar as principais características fundamentais da Blockchain e ela funciona. casos de uso Blockchain utilização na área da saúde. metodologia pesquisa científica de caráter exploratório desenvolvida, partir de testes experimentais, referências bibliográficas caso aplicado a produtos médicos hospitalares. criar computacional a criação aplicações Blockchain utilizando Ethereum.
On the Formalization of Imperative Object-based Calculiin (Co)Inductive Type Theories

In this paper, we study the formalization of Abadi and Cardelli's impsigma, a representative object-based calculus with types and side effects, in interactive proof assistants based on (Co)Inductive Type Theories, Like Coq. In order to make the formal development of the theory of impsigma easier, we reformulate its static and dynamic semantics taking most advantage of the features provided by CC^(Co)Ind, the coinductive type theory underlying Coq. The new presentation is thus in the style of Natural Deduction Semantics (the counterpart in Natural Deduction style of Kahn's Natural semantics), using higher-order abstract syntax and hypothetical-general premises a la Martin-Lof. Interestingly, for a significant fragment of impsigma we can even use coinductive typing systems, thus avoiding "store types" and leading to a substantial simplification of the proofs of key metaproperties, such as Subject Reduction. The solutions we have devised in the encoding of and metareasoning on can be readily applied to other imperative calculi featuring similar issues.
Hybrid Retrieval Machine for Recognizing 3- D Protein Molecules

Harris corner detector is commonly used to detect feature points for recognizing 2-D or 3-D objects. However, the feature points calculated from both of query and target objects need to be same positions to guarantee accurate recognitions. In order to check the positions of calculated feature points, we generate a Huffman tree which is based on adjacent feature values as inputs. However, the structures of two Huffman trees will be same as long as both of a query and targets have same feature values no matter how different their positions are. In this paper, we sort feature values and calculate the Euclidean distances of coordinates between two adjacent feature values. The Huffman Tree is generated with these Euclidean distances. As a result, the information of point locations can be included in the generated Huffman tree. This is the main strategy for accurate recognitions. We call this system as the HRM(Hybrid Retrieval Machine). This system works very well even when artificial random noises are added to original data. HRM can be used to recognize biological data such as proteins, and it will curtail the costs which are required to biological experiments.
Investigation of Energy Cost of Data Compression Algorithms in WSN for IoT Applications

The exponential growth in remote sensing, coupled with advancements in integrated circuits (IC) design and fabrication technology for communication, has prompted the progress of Wireless Sensor Networks (WSN). WSN comprises of sensor nodes and hubs fit for detecting, processing, and communicating remotely. Sensor nodes have limited resources such as memory, energy and computation capabilities restricting their ability to process large volume of data that is generated. Compressing the data before transmission will help alleviate the problem. Many data compression methods have been proposed but mainly for image processing and a vast majority of them are not pertinent on sensor nodes because of memory impediment, energy utilization and handling speed. To overcome this issue, authors in this research have chosen Run Length Encoding (RLE) and Adaptive Huffman Encoding (AHE) data compression techniques as they can be executed on sensor nodes. Both RLE and AHE are capable of balancing compression ratio and energy utilization. In this paper, a hybrid method comprising RLE and AHE, named as H-RLEAHE, is proposed and further investigated for sensor nodes. In order to verify the efficacy of the data compression algorithms, simulations were run, and the results compared with the compression techniques employing RLE, AHE, H-RLEAHE, and without the use of any compression approach for five distinct scenarios. The results demonstrate the RLE’s efficiency, as it surpasses alternative data compression methods in terms of energy efficiency, network speed, packet delivery rate, and residual energy throughout all iterations.
School turnaround lessons for policy and practice: A systematic review of research and evaluation

While there currently exists a vast body of research around school turnaround policies, few studies speak to why they have or have not worked. This paper undertakes a systematic review of research literature on school turnaround policies to explore why this lack of understanding prevails in the field. We find key disconnects between “policy” and “practice” research on the topic of school turnaround. We contend that this divide negates the potential to learn from school leadership policy and practice in turnaround settings. We offer implications of these findings within turnaround research and policy while pointing out that this apparent divide seems to extend beyond the example of turnaround.
Time dependence in large amplitude oscillatory shear: A rheo-ultrasonic study of fatigue dynamics in a colloidal gel

We report on the response of a yield stress material, namely, a colloidal gel made of attractive carbon black particles, submitted to large amplitude oscillatory shear stress (LAOStress) in a Couette geometry. At a constant stress amplitude well below its apparent yield stress, the gel displays fatigue and progressively turns from an elastic solid to a viscous fluid. The time-resolved analysis of the strain response, of the Fourier components, and of Lissajous plots allows one to define two different timescales τw<τf associated with the yielding and fluidization of the gel. Coupling rheology to ultrasonic imaging further leads to a local picture of the LAOStress response in which the gel first fails at the walls at τw and then undergoes a slow heterogeneous fluidization involving solid–fluid coexistence until the whole sample is fluid at τf. Spatial heterogeneities are observed in both the gradient and vorticity directions and suggest a fragmentation of the initially solidlike gel into macroscopic domains.
Ultra-broadband dual-comb spectroscopy across 1.0–1.9 µm

We have carried out dual-comb spectroscopy and observed in a simultaneous acquisition a 140-THz-wide spectrum from 1.0 to 1.9 µm using two fiber-based frequency combs phase-locked to each other. This ultrabroad-wavelength bandwidth is realized by setting the difference between the repetition rates of the two combs to 7.6 Hz using the sub-Hz-linewidth fiber combs. The recorded spectrum contains five vibration-rotation bands of C2H2, CH4, and H2O at different wavelengths across the whole spectrum. The determined transition frequencies of C2H2 agree with those from the previous sub-Doppler resolution measurement of individual lines using CW lasers within 2 MHz.
zCOSMOS 10k-bright spectroscopic sample: Exploring mass and environment dependence in early-type galaxies

Aims. We present the analysis of the U – V rest-frame color distribution and some spectral features as a function of mass and environment for a sample of early-type galaxies up to z = 1 extracted from the zCOSMOS spectroscopic survey. This analysis is used to place constraints on the relative importance of these two properties in controlling galaxy evolution. Methods. We used the zCOSMOS 10k-bright sample, limited to the AB magnitude range 15 < I < 22.5, from which we extracted two different subsamples of early-type galaxies. The first sample (“red galaxies”) was selected using a photometric classification (2098 galaxies), while in the second case (“ETGs”) we combined morphological, photometric, and spectroscopic properties to obtain a more reliable sample of elliptical, red, passive, early-type galaxies (981 galaxies). The analysis is performed at fixed mass to search for any dependence of the color distribution on environment, and at fixed environment to search for any mass dependence. Results. In agreement with the low redshift results of the SDSS, we find that the color distribution of red galaxies is not strongly dependent on environment for all mass bins, exhibiting only a weak trend such that galaxies in overdense regions (log_(10)(1+Δ) ~ 1.2) are redder than galaxies in underdense regions (log_(10)(1+Δ) ~ 0.1), with a difference of = 0.027±0.008 mag. On the other hand, the dependence on mass is far more significant, and we find that the average colors of massive galaxies (log_(10)(M/M_☉) ~ 10.8) are redder by = 0.093±0.007 mag than low-mass galaxies (log_(10)(M/M_☉) ~ 10) throughout the entire redshift range. We study the color-mass (U – V)_(rest) ∝ S_M ·log_(10)(M/M_☉) relation, finding a mean slope = 0.12±0.005, while the color-environment (U – V)_(rest) ∝ S_δ · log_(10)(1+Δ) relation is flatter, with a slope always smaller than S_δ ≈ 0.04. The spectral analysis that we perform on our ETGs sample is in good agreement with our photometric results: we study the 4000 A break and the equivalent width of the Hδ Balmer line, finding for D4000 a dependence on mass ( =0.11±0.02 between log_(10)(M/M_☉) ~ 10.2 and log_(10)(M/M_☉) ~ 10.8), and a much weaker dependence on environment ( = 0.05±0.02 between high and low environment quartiles). The same is true for the equivalent width of Hδ, for which we measure a difference of ΔEW0(Hδ) = 0.28±0.08 A across the same mass range and no significant dependence on environment. By analyzing the lookback time of early-type galaxies, we support the possibility of a downsizing scenario, in which massive galaxies with a stronger D4000 and an almost constant equivalent width of Hδ formed their mass at higher redshift than lower mass ones. We also conclude that the main driver of galaxy evolution is the galaxy mass, the environment playing a subdominant role.
Power-law and Logarithmic Entropy Corrected Holographic Dark Energy Models in Brans-Dicke Cosmology with Granda-Oliveros Cut-Off

In this paper, the cosmological implications of the Power Law Entropy Corrected Holographic Dark Energy (PLECHDE) and the Logarithmic Entropy Corrected Holographic Dark Energy (LECHDE) models in the context of Brans-Dicke (BD) cosmology for both non-interacting and interacting DE and Dark Matter (DM) are studied. As the system infrared cut-off, we choose the recently proposed Granda-Oliveros cut-off, which contains a term proportional to the first time derivative of the Hubble parameter and one term proportional to $H^2$, i.e. the Hubble parameter squared. We obtain the expressions of three quantities, i.e. the Equation of State (EoS) parameter $\omega_D$, the deceleration parameter $q$ and the evolutionary form of the energy density parameter $\Omega'_D$ of the PLECHDE and LECHDE models in a non-flat Universe for non-interacting and interacting DE and DM as well. Moreover, we investigate the limiting cases corresponding to: a) absence of entropy corrections; b) Einstein's gravity; and c) concomitantly absence of entropy corrections and Einstein's gravity. Furthermore, we consider the limiting case corresponding to the Ricci scale, which is recovered for some particular values of the parameters characterizing the Granda-Oliveros scale. We also study the statefinder diagnostic and the cosmographic parameters for both models considered in this work.
An early screening method of the diabetic foot based on infrared thermography

Early screening of the diabetic foot is crucial for diabetic foot prevention and treatment. Since neuropathy and vasculopathy caused by hyperglycemia can lead to abnormal foot temperature, a diabetic foot screening method based on infrared thermography has been recommended. We designed a fully automated method for early screening of the diabetic foot. The automatic segmentation of infrared images of the foot region was achieved by designing an image processing algorithm; the automatic extraction of various temperature features was achieved by combining the angiosome concept. SVM was used to establish a classification model. The study recruited 41 diabetic patients (diabetic group, diabetic foot Wagner grade 0) and 48 healthy individuals (control group) to validate the reliability of the method and showed an accuracy rate of up to 87.5% in the test set.
Perceived usability evaluation of learning management systems via axiomatic design with a real life application

PurposeUsage of learning management systems (LMSs) has become widespread with the disruption of face-to-face educations after the COVID-19 pandemic. There are several software products, usually named as LMS to enable and support distance education. However, selection of a suitable LMS is a complex multiple criteria decision making (MCDM) problem that requires consideration of many criteria and inputs from different parties like students, academicians, education managers, etc. Usability evaluation of LMS is one of the critical steps in deciding which LMS system to be adapted. There are several studies related to usability evaluation of LMS in the literature, but utilization of MCDM methods and real life case studies are very rare. Based on this motivation, perceived usability evaluation of SAKAI-LMS that is in use at an academic department is performed by employing axiomatic design procedure (ADP). This paper aims to discuss the aforementioned issues.Design/methodology/approachADP is considered as a suitable MCDM method for perceived usability evaluation as it allows an easy approach to data fusion and setting performance targets for decision makers. A questionnaire is developed to collect data from three types of system users about predetermined usability criteria and their importance. After detailed statistical analyses and weighting criteria via analytical hierarch process (AHP), ADP is carried out to evaluate usability of the LMS.FindingsIt is found that the proposed ADP based approach is easy to apply in practical circumstances and able to quantify perceived usability of the LMSs.Research limitations/implicationsThe proposed approach provides an easy and practical evaluation of perceived usability of the LMSs for decision makers who are responsible for the implementation of LMSs. The developed novel and practical MCDM-based perceived usability approach for LMS in this study has been verified through a real life case study at an academic department. Perceived usability results, therefore, reflects only the views of this focus group and are not generalizable.Originality/valueFirst time in the literature, a comprehensive ADP based MCDM approach is proposed based on the analyses of the related literature and information gathered from the system users.
DISCOVERY OF X-RAY PULSATIONS FROM THE INTEGRAL SOURCE IGR J11014−6103

We report the discovery of PSR J1101−6101, a 62.8 ms pulsar in IGR J11014−6103, a hard X-ray source with a jet and a cometary tail that strongly suggests it is moving away from the center of the supernova remnant (SNR) MSH 11−61A at v > 1000 km s−1. Two XMM-Newton observations were obtained with the EPIC pn in small window mode, resulting in the measurement of its spin-down luminosity erg s−1, characteristic age τc = 116 kyr, and surface magnetic field strength Bs = 7.4 × 1011 G. In comparison to τc, the 10–30 kyr age estimated for MSH 11−61A suggests that the pulsar was born in the SNR with initial period in the range 54 ⩽ P0 ⩽ 60 ms. PSR J1101−6101 is the least energetic of the 15 rotation-powered pulsars detected by INTEGRAL, and has a high efficiency of hard X-ray radiation and jet power. We examine the shape of the cometary nebula in a Chandra image, which is roughly consistent with a bow shock at the velocity inferred from the SNR age and the pulsar's . However, its structure differs in detail from the classic bow shock, and we explore possible reasons for this.
Universal low-temperature tricritical point in metallic ferromagnets and ferrimagnets

An earlier theory of the quantum phase transition in metallic ferromagnets is revisited and generalized in three ways. It is shown that the mechanism that leads to a fluctuation-induced first-order transition in metallic ferromagnets with a low Curie temperature is valid, (1) irrespective of whether the magnetic moments are supplied by the conduction electrons or by electrons in another band, (2) for ferromagnets in the XY and Ising universality classes as well as for Heisenberg ferromagnets, and (3) for ferrimagnets as well as for ferromagnets. This vastly expands the class of materials for which a first-order transition at low temperatures is expected, and it explains why strongly anisotropic ferromagnets, such as UGe2, display a first-order transition as well as Heisenberg magnets.
Active Disturbance Rejection Control to Consensus of Second-Order Stochastic Multiagent Systems

In this article, we attempt for the first time to apply the active disturbance rejection control approach to the disturbance rejection and consensus for a class of second-order stochastic multiagent systems, whose network topology is undirected and connected. Extended state observers are designed for online estimation of the unmeasured states and random total disturbance, which is the effect of external nonrandom disturbance, colored noise, and bounded noise corrupting each agent. Active antidisturbance consensus protocols based on the estimates of unmeasured states and random total disturbance are then designed to guarantee the consensus in both mean square and almost sure practical sense, while random total disturbance of each agent is compensated in real time in the closed loop. Some numerical simulations are performed for a practical system to verify the rationality of the consensus protocols.
Aedes albopictus Sterile Male Production: Influence of Strains, Larval Diet and Mechanical Sexing Tools

Simple Summary Aedes albopictus is a vector able to transmit several arboviruses. Due to its high impact on human health, it is important to develop an efficient control strategy for this pest. Nowadays, control based on chemical insecticides is limited by the number of available active principles and the emergence of resistances. A valuable alternative to classic control strategies is the sterile insect technique (SIT) which relies on the release of the target insect sterile males. Mating between wild female and sterile male results in no viable offspring. A crucial aspect of SIT is the production of a large number of sterile males with a low presence of females that can bite and transmit viruses. Since productivity and female contamination during mass production are affected by different variables, in this study we investigated mechanical sorting tools, strain and larval diets. It emerged that the use of the sieve could be limited by colony adaptation over breeding generations, while the Fay-Morlan separator could be a valuable tool to overcome this issue. Strains with different degrees of colonization and larval diets affect the productivity and the female presence; therefore, control of these variables could improve the feasibility and reduce the costs of SIT programs. Abstract The sterile insect technique (SIT) is a biologically based method of pest control, which relies on the mass production, sterilization, and release of sterile males of the target species. Since females can transmit viruses, it is important to develop a mass rearing system to produce a large number of males with a low presence of females. We evaluated the effects of different strains, larval diets and sexing tools on male productivity and residual female presence for the application of SIT against Aedes albopictus. Strains coming from Italy, Germany, Greece, and Montenegro, with different levels of colonization, were reared with three larval diets: IAEA-BY, BLP-B and SLP-BY. Developed pupae were sexed using two different mechanical methods: sieve or Fay-Morlan separator. The results proved that adoption of the Fay-Morlan separator increased the productivity and limited the female presence. The IAEA-BY diet showed the lowest female contamination. Strains with a high number of breeding generations showed a decreased productivity and an increased female presence. Increased female presence was found only in extensively reared strains and only when the sorting operation was conducted with sieves. We hypothesize that extensive colonization may determine a size reduction which limits the sexing tool efficiency itself.
A formal and practical design procedure for substitution-permutation network cryptosystems

The design and analysis of private key block cryptosystems has long been an area of interest to the cryptographic community. This thesis focusses on a certain class of these ciphers known as substitution-permutation networks. We describe a design procedure which is formal in that both network components--the substitution boxes--and the networks themselves can be proven to possess certain cryptographically desirable properties. Furthermore, this design procedure is practical in that new cryptosystems with efficient software/hardware implementations can easily be constructed with this method. Our results include a procedure for substitution box design which guarantees bijection, nonlinearity, satisfaction of the Strict Avalanche criterion, and satisfaction of the Output Bit Independence Criterion. Procedures for the generation of binary bent sequences and a new lower bound on the cardinality of this set of vectors are also given. We prove the equivalence of bent functions and Boolean functions satisfying the highest order Strict Avalanche Criterion and provide a design procedure for substitution-permutation networks which uses bent functions explicitly in the component s-boxes. These networks therefore display ideal plaintext/ciphertext and key/ciphertext avalanche characteristics with respect to arbitrary input modification. We also discuss the concept of the "statistical security" of a cryptosystem and propose new methods for the statistical analysis of block ciphers.
Enhancement of quantum correlations between two particles under decoherence in finite-temperature environment

Enhancing the quantum correlations in realistic quantum systems interacting with the environment of finite temperature is an important subject in quantum information processing. In this paper, we use weak measurement and measurement reversal to enhance the quantum correlations in a quantum system consisting of two particles. The transitions of the quantum correlations measured by the local quantum uncertainty of qubit-qubit and qutrit-qutrit quantum systems under generalized amplitude damping channels are investigated. We show that, after the weak measurement and measurement reversal, the joint system shows more robustness against decoherence.