Miracle-dz/UniFAR-FTUs huggingface dataset:
Thermodynamic and Kinetic Stabilities of Al(III) Complexes with N2O3 Pentadentate Ligands

Al(III) complexes have been recently investigated for their potential use in imaging with positron emission tomography (PET) by formation of ternary complexes with the radioisotope fluorine-18 (18F). Although the derivatives of 1,4,7-triazacyclononane-1,4,7-triacetic acid (NOTA) are the most applied chelators for [Al18F]2+ labelling and (pre)clinical PET imaging, non-macrocyclic, semi-rigid pentadentate chelators having two N- and three O-donor atoms such as RESCA1 and AMPDA-HB have been proposed with the aim to allow room temperature labelling of temperature-sensitive biomolecules. The paucity of stability data on Al(III) complexes used for PET imaging instigated a complete thermodynamic and kinetic solution study on Al(III) complexes with aminomethylpiperidine (AMP) derivatives AMPTA and AMPDA-HB and the comparison with a RESCA1-like chelator CD3A-Bn (trans-1,2-diaminocyclohexane-N-benzyl-N,N′,N′-triacetic acid). The stability constant of [Al(AMPDA-HB)] is about four orders of magnitude higher than that of [Al(AMPTA)] and [Al(CD3A-Bn)], highlighting the greater affinity of phenolates with respect to acetate O-donors. On the other hand, the kinetic inertness of the complexes, determined by following the Cu2+-mediated transmetallation reactions in the 7.5–10.5 pH range, resulted in a spontaneous and hydroxide-assisted dissociation slightly faster for [Al(AMPTA)] than for the other two complexes (t1/2 = 4.5 h for [Al(AMPTA)], 12.4 h for [Al(AMPDA-HB)], and 24.1 h for [Al(CD3A-Bn)] at pH 7.4 and 25 °C). Finally, the [AlF]2+ ternary complexes were prepared and their stability in reconstituted human serum was determined by 19F NMR experiments.
Laser spectroscopy of radioactive isotopes: Role and limitations of accurate isotope-shift calculations

Nuclear mean-square charge radii of radioactive isotopes are obtained from isotope-shift measurements using laser spectroscopy. To extract the values of $\ensuremath{\delta}\ensuremath{\langle}{r}^{2}\ensuremath{\rangle}$ the atomic field and mass shift factors need to be evaluated. We here summarize the currently available experimental and theoretical techniques for calculating the atomic field and mass shift factors for complex, open-shell atoms, including the $5{s}^{2}{\phantom{\rule{4pt}{0ex}}}^{1}\phantom{\rule{-0.16em}{0ex}}{S}_{0}\ensuremath{-}4d5p{\phantom{\rule{4pt}{0ex}}}^{1}\phantom{\rule{-0.16em}{0ex}}{P}_{1}$ and $4d5s{\phantom{\rule{4pt}{0ex}}}^{3}\phantom{\rule{-0.16em}{0ex}}{D}_{2}\ensuremath{-}4d5p{\phantom{\rule{4pt}{0ex}}}^{3}\phantom{\rule{-0.16em}{0ex}}{P}_{1}$ transitions for singly charged yttrium ($Z=39$).
COLLABORATIVE NET OF DESCRIPTORS OF SOCIAL RESPONSIBILITY AT PPGCI/UFPB

It focuses on descriptors and correlative topics about social responsibility (SR) on Information Science (IS), with the purpose of identifying, ranking and relating descriptors that are found on dissertations presented at the PPGCI/UFPB from 1980 to 2010. In an amount of 48 descriptors, random sampling was applied. Such descriptors were decreased to a number of 38, so as to better represent them through graph. For data analysis and net construction, the Ucinet software was used. Such software assesses relation patterns and data associations with the application of peculiar measures. The combined use of methods and techniques has enabled the identification of both strong and weak connections of descriptors within the net as well as the existence of three kinds of relationship among them: communication relation, similarity and closeness ones.
The Effect of Goat-Milk-Based Infant Formulas on Growth and Safety Parameters: A Systematic Review and Meta-Analysis

Goat-milk-based infant formulas (GMFs) are now available in several countries, having been approved by authorities. We systematically evaluated the effects of GMF compared with cow-milk-based formula (CMF) on infant growth and safety parameters. The MEDLINE, EMBASE, and Cochrane Library databases were searched (December 2022) for randomized controlled trials (RCTs). The risk of bias was assessed using the Revised Cochrane Risk-of-Bias tool (ROB-2). Heterogeneity was quantified by I2. Four RCTs involving a total of 670 infants were identified. All trials revealed some concern in ROB-2. Furthermore, all of the included studies were funded by the industry. Compared with infants fed CMF, those fed GMF showed similar growth in sex- and age-adjusted z-scores for weight (mean difference, MD, 0.21 [95% confidence interval, CI, −0.16 to 0.58], I2 = 56%), length (MD 0.02, [95% CI −0.29 to 0.33], I2 = 24%), and head circumference (MD 0.12, 95% [CI −0.19 to 0.43], I2 = 2%). Stool frequency was similar among the groups. Due to differences in the reporting of stool consistency, no firm conclusion can be drawn. Adverse effects (serious or any) were similar in both groups. These findings provide reassurance that GMFs compared with CMFs are safe and well tolerated.
AN INTEGRAL THEORY OF CONSCIOUSNESS

An extensive data search among various types of developmental and evolutionary sequences yielded afour quadrant' model of consciousness and its development (the four quadrants being intentional, behavioral, cultural, and social). Each of these dimensions was found to unfold in a sequence of at least a dozen major stages or levels. Combining the four quadrants with the dozen or so major levels in each quadrant yields an integral theory of consciousness that is quite comprehensive in its nature and scope. This model is used to indicate how a general synthesis and integration of twelve of the most influential schools of consciousness studies can be effected, and to highlight some of the most significant areas of future research. The conclusion is that anall-quadrant, all-level' approach is the minimum degree of sophistication that we need into order to secure anything resembling a genuinely integral theory of consciousness.
Arbuscular Mycorrhizal Fungi Enhance Growth and Increase Concentrations of Anthocyanin, Phenolic Compounds, and Antioxidant Activity of Black Rice (Oryza sativa L.)

Black rice (Oryza sativa L.) contains high concentrations of bioactive compounds that are associated with human-health benefits. Arbuscular mycorrhizal fungi (AMF) can increase plant performance and concentrations of these bioactive compounds. In a pot experiment, the effects of four different species of AMF (Claroideoglomus etunicatum; Rhizophagus variabilis; Rhizophagus nov. spec.; Acaulospora longula) were assessed on growth performance, grain yield, concentrations of phenolic compounds and anthocyanin, and antioxidant activity of two black-rice cultivars. The experiment was a completely randomized factorial design with two factors, viz. cultivar (Niew Dam Hmong and Maled Phai) and treatment (four different species of AMF and two non-inoculated treatments, without and with mineral fertilizer). Results showed that cultivar, treatment, and their interaction were almost always significant sources of variation for both plant performance parameters and concentrations of bioactive compounds. Maled Phai showed higher performance and higher concentrations of phenolics and anthocyanins but lower antioxidant activity than Niew Dam Hmong. The non-inoculated treatment without mineral fertilizer showed the lowest performance. The non-inoculated treatment with mineral fertilizer resulted in larger root and shoot biomass than the mycorrhizal treatments, but grain yield was higher in the mycorrhizal treatments. Inoculation with R. variabilis resulted in the highest concentration of phenolics and anthocyanins. We conclude that R. variabilis was the best inoculum for increasing grain yield and bioactive compounds, especially in Maled Phai.
ADINet: Attention-guided dual-branch integration network for atypical visual saliency prediction

Abstract. Compared with typically developed people, patients with autism spectrum disorder (ASD) have many differences, including visual attention. Recently, researchers have employed saliency prediction to conduct early diagnosis for patients with ASD by observing whether the fixation maps of the patients are consistent with prediction results. Though numerous saliency models have been designed, which promotes the performance of saliency prediction significantly, the efforts major in atypical attention prediction are fewer. Therefore, we propose a novel atypical saliency model, namely attention-guided dual-branch integration network, to perform atypical visual saliency prediction. Generally, our model is a U-shaped architecture including an encoder and a decoder. In the encoder, we first deploy the dual-branch fusion module to extract multiscale deep features, where the dual branches consist of a coarse branch and a fine branch. Particularly, the multiscale features of each branch are integrated in a bilateral way. Then, we employ the multiattention module consisting of dilated convolution, channel attention, and spatial attention to further elevate the high-level semantic cues. Particularly, the attention units are constructed in a cascaded way. Besides, to give an effective representation for the differences between atypical saliency estimation and the typical saliency estimation, we design a new discriminative mask to compute the loss function. Extensive experiments are performed on challenging datasets, and the results show the superiority and effectiveness of our atypical saliency model when compared with the state-of-the-art saliency prediction models.
Acceleration of exit to steady-state mode when modeling semiconductor converters

The purpose of the article is to develop a method and algorithm for the accelerated calculation of steady states of thyristor converters using computer models of converters based on the use of the theory of difference equations in the form of recurrent linear relationships for state variables on the boundaries of the converter periods. Methodology. The article is devoted to the solution of the problem of reducing the cost of computer time to achieve the steady state of the thyristor converter. For this, it is proposed to use difference equations, for which the values of the state variables at the limits of the periods of the converter's operation are taken as variables. These values are accumulated during the initial periods of the transient process of the converter, after which the coefficients of the difference equations are calculated, and the following limit values of the state variables are found using the defined difference equations. A program in the algorithmic language of the MATLAB system is presented, which implements the proposed method and algorithm compatible with the visual model of the converter. Results. The theoretical foundations of the proposed method and the area of its applicability are substantiated. Recommendations are presented for determining the number of periods of the flow process that must be calculated for further implementation of the method. An algorithm for forming matrix relations for determining the coefficients of difference equations with respect to the values of state variables at the boundaries of periods is shown. Matrix equations are given that allow calculating the parameters of the steady state. All stages of the algorithm are illustrated with numerical examples. Originality. The method rationally combines all the advantages of visual modeling based on the numerical integration of equations using the method of state variables for the periods of operation of the converter with the analytical solution of the recurrence relations obtained on this basis for the values of state variables at the boundaries of adjacent periods. Practical value. The proposed method makes it possible to reduce by several orders of magnitude the computer time spent on calculating the parameters of the steady-state mode of the converter and, at the same time, to significantly improve the accuracy of these calculations. The practical application of the method is very effective in research and design of thyristor converters of electrical energy parameters.
A System-Theoretic Foundation for Blind Equalization of an FIR MIMO Channel System

We consider the blind deconvolution problem of FIR multiple-input multiple-output channel systems. The systems-theoretic foundation is established on the broadest class of equalizable channel systems. This class of equalizable channel systems is then characterized. Based on this characterization, a fundamental factorization property, called irreducible- allpass factorization, is shown. Based on this fact, it is shown that any equalizable FIR system can and only can be converted to a paraunitary system, through the whitening of the observations, using the second-order statistics. The current second order statistics techniques considered only those channel systems that are irreducible, only half of the irreducible-allpass factorization of equalizable channels.
Enhancing some separability criteria in many-body quantum systems

Quantum measurements based on mutually unbiased bases, mutually unbiased measurements and general symmetric informationally complete positive operator valued measurements, which are commonly used in quantum information and quantum computation. In this paper, by a broad class of informationally complete symmetric measurements and correlation matrices, some separability criteria are proposed for different quantum systems that are more robust and comprehensive than the corresponding criteria previously introduced L M Lai, T Li, S M Fei, and Z X Wang, (2018 Quantum Inf. Process., 17, 314); J W Shang, A Asadian, and H J Zhu, (2018 Phys. Rev. A 98, 022309). Furthermore, we extend the separability criteria of tripartite quantum systems to many-body systems. The proposed entanglement criteria may further enrich the relationship between quantum entanglement and measurement.
Seltsame Hadronen und Antiprotonen als Proben heißer und dichter Kernmaterie in relativistischen Schwerionenkollisionen

Strange particles play an important role as probes of relativistic heavy-ion collisions where hot and dense matter is studied. The focus of this thesis is on the production of strange particles within a transport model of Boltzmann-Uhling-Uhlenbeck (BUU) type. Current data of the HADES Collaboration concerning K± and φ spectra provide the appropriate experimental framework. Moreover, the double-strange hyperon Ξ− is analyzed below the free NN production threshold. Hadron multiplicities, transversemomentum and rapidity spectra are compared with recent experimental data. Further important issues are in-medium mass shifts, the nuclear equation of state as well as the mean field of nucleons. Besides the study of AA collisions a comparison with recent ANKE data regarding the φ yield in pA collisions is done. Transparency ratios are determined and primarily investigated for absorption of φ mesons by means of the BUU transport code. Thereby, secondary φ production channels, isospin asymmetry and detector acceptance are important issues. A systematic analysis is presented for different system sizes. The momentum integrated Boltzmann equations describe dense nuclear matter on a hadronic level appearing in the Big Bang as well as in little bangs, in the context of kinetic off-equilibrium dynamics. This theory is applied to antiprotons and numerically calculated under consideration of various expansion models. Here, the evolution of protonand antiproton densities till freeze-out is analyzed for ultra-relativistic heavyion collisions within a hadrochemic resonance gas model acting as a possible ansatz for solving the “antiproton puzzle”. Furthermore, baryonic matter and antimatter is investigated in the early universe and the adiabatic path of cosmic matter is sketched in the QCD phase diagram.
Consistency in systematic sampling

In design-based stereology, fixed parameters (such as volume, surface area, curve length, feature number, connectivity) of a non-random geometrical object are estimated by intersecting the object with randomly located and oriented geometrical probes (e.g. test slabs, planes, lines, points). Estimation accuracy may in principle be increased by increasing the number of probes, which are usually laid in a systematic pattern. An important prerequisite to increase accuracy, however, is that the relevant estimators are unbiased and consistent. The purpose of this paper is therefore to give sufficient conditions for the unbiasedness and strong consistency of design-based stereological estimators obtained by systematic sampling. Relevant mechanisms to increase sample size, compatible with stereological practice, are considered.
Deep Learning-Based In-Cabin Monitoring and Vehicle Safety System Using a 4-D Imaging Radar Sensor

In this article, we use a multiple-input–multiple-output (MIMO) radar for in-vehicle passenger detection. We propose a 2-D convolutional neural network-long short-term memory (CNN-LSTM) to accurately detect, count, and classify passengers inside five-seater vehicles. Our deep learning model first extracts the feature using a CNN model, and then, a series of frames will be delivered to a time series model (LSTM) to predict new scenarios. In addition, we provide the outcomes of various deep learning models and show that temporal deep learning models perform better in our radar datasets. Furthermore, we provide reliable session-dependent datasets collected from different car models with various passengers (including infants/children and adults). The results show that our proposed 2-D CNN-LSTM model can detect unattended infants/children in vehicles with more than 95% accuracy, count passengers and identify their occupied seats with an accuracy of 89%, and classify passengers with more than 74% accuracy. Since our model is evaluated in a new car with new passengers, it ensures the generality of our proposed method to be deployed in any five-seater vehicle.
Handgrip Strength and Muscle Quality: Results from the National Health and Nutrition Examination Survey Database

Background: Handgrip strength (HGS) and the appendicular lean mass index (ALMI) are important determinants of sarcopenia. Muscle quality (MQ) is a measure of muscle strength relative to muscle mass. We examined trends in handgrip strength, the appendicular lean mass index, and analyzed their relationship with age, anthropometry, and body composition in a sample of participants in the United States (US). Methods: This cross-sectional study analyzed data from 14,741 US males (49.7%) and females (50.3%) 6–80 years old who responded to the National Health and Nutrition Examination Survey (NHANES) from 2011 to 2014. Dual X-ray absorptiometry was used to measure appendicular skeletal muscle mass. HGS was evaluated using the Takei Digital Grip Strength Dynamometer. Smoothed normative curves for HGS and the ALMI were constructed using a generalized additive model. Multiple regression analyses were used to examine associations of HGS and the ALMI with age, nutrition-related factors, physical activity, and body composition. Results: Mean HGS and the ALMI declined with advancing age. While mean HGS increased with the ALMI, it decreased with the fat mass index. HGS increased in males with an increase in body mass index, energy intake, the ALMI, and vitamins; however, HGS in females increased with albumin, but it had a negative association with the fat mass index and age, but not with increasing adiposity. Conclusions: HGS and the ALMI change with age: HGS increases with age, then stabilizes and declines; the ALMI increases with age, then stabilizes. In addition, we provide evidence for the effect of anthropometry, nutrition, physical activity, and body composition on HGS and the ALMI in US population.
Bounded Model Checking de programas imperativos

A detecção de erros em sistemas computacionais, em particular em sistemas críticos, é uma tarefa fundamental para garantir o correcto funcionamento dos sistemas e, por este motivo, a verificação formal é um elemento primordial no desenvolvimento de sistemas computacionais. Muitas das técnicas de verificação formal de sistemas computacionais são baseadas em Model Checking (MC). O MC é uma técnica de verificação automática que assenta na modelação de sistemas através de máquinas de estados fini Error detection in computer systems, particularly in critical systems, is a key task to ensure the correct functioning of systems and, therefore, formal verification is a key element in the development of computer systems. Many of the techniques of formal verification of computer systems are based on Model Checking (MC). MC is an automatic verification technique which is based on using finite state machines to model systems, and on the specification of the desired properties for the systems
Ni-Doped In2O3 Nanoparticles and Their Composite with rGO for Efficient Degradation of Organic Pollutants in Wastewater under Visible Light Irradiation

The efficient degradation of organic effluent is always desirable when using advanced photocatalysts with enhanced activity under visible light. Nickel-doped indium oxide (Ni-In2O3) is synthesized via a hydrothermal route as well as its composites with reduced graphene oxide (rGO). Facile synthesis and composite formation methods lead to a well-defined morphology of fabricated nanocomposite at low temperatures. The bandgap energy of indium oxide lies in the range of 3.00–4.30 eV. Its high light absorption capacity, high stability, and non-toxicity make it a choice as a photocatalyst that is active under visible light. The transition metal Ni-doping changes the indium oxide’s chemical, optical, and physicochemical properties. The Ni-In2O3 and rGO composites improved the charge transport and reduced the charge recombination. The phase analysis of the developed photocatalysts was performed using X-ray diffraction (XRD), and the morphological and structural properties were observed using advanced microscopic techniques (SEM and TEM), while UV-vis and FTIR spectroscopic techniques were used to confirm the structure and optical and chemical properties. The electrochemical properties of the photocatalysts were investigated using cyclic voltammetry (CV), linear sweep voltammetry (LSV), and electrochemical impedance spectroscopy (EIS), and the charge-transfer properties of the obtained photocatalysts and the mechanism of the photocatalytic degradation mechanism of methylene blue, a common dye used in the dyeing industry, were determined.