Miracle-dz/UniFAR-FTUs huggingface dataset:
Landé factors for even-parity 5pnp and 5pnf J = 1, 2 levels along the Rydberg series of Sn I

Landé g-factors have been measured by time-resolved laser-induced fluorescence and Zeeman quantum-beat techniques for the even-parity levels of the J = 1 5pnp (n = 11–13, 15–19) and J = 2 5pnp (n = 11–13, 15–19, 31, 32), 5pnf (n = 4, 5, 9–19, 22, 23) Rydberg series and for all the 5p7p and 5p8p perturbing levels of neutral tin. A two-colour two-step excitation scheme was used in the experiment. The experimental results have been compared with theoretical g-values obtained by the multichannel quantum defect theory and the relativistic Hartree–Fock theory, respectively. In most cases, the theoretical values agree well with the experimental data.
Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study*

Extensive testing of IoT SW is very important to prevent errors and security vulnerabilities. In the SW domain the automated concolic testing technique has been shown very effective.In this paper we propose an approach for concolic testing of binaries targeting RISC-V systems with peripherals. Our approach works by integrating the Concolic Testing Engine (CTE) with the architecture specific Instruction Set Simulator (ISS) inside of a Virtual Prototype (VP). We provide a designated CTE-interface to integrate (SystemCbased) peripherals into the concolic testing by means of SW models. This combination enables a high simulation performance at binary level with comparatively little effort to integrate peripherals with concolic execution capabilities. Our approach has been effective in finding several buffer overflow related security vulnerabilities in the FreeRTOS TCP/IP stack.
EFFICIENT ORAL CANCER CLASSIFICATION USING GLCM FEATURE EXTRACTION AND FUZZY COGNITIVE MAP FROM DENTAL RADIOGRAPHS

Oral cancers are staged using Tumor, Node and Metastatis (TNM) staging system. In some cases, this will lead to wrong diagnosis. The proposed work uses Fuzzy Cognitive Map (FCM) to classify the lesions. The map is constructed using the five Gray Level Co-occurrence Matrix (GLCM) features extracted from Dental Radiographs. The results from this method were compared with other methods. 50 cases were classified by experts into benign and malignant. The classification accuracy obtained for malignant cases is 87.50% and benign cases are 84.61%. The performance of the system is analyzed using Accuracy, Sensitivity and Specificity. The results are compared with other methods.
The Developers’ Design Thinking Toolbox in Hackathons: A Study on the Recurring Design Methods in Software Development Marathons

Abstract Hackathons are time-bounded collaborative events that typically take between 1 and 3 days of intense teamwork to build prototypes usually in the form of software, aiming to specific challenges proposed by the organizers. These events became a widespread practice in the IT industry, in universities and in many other scenarios, as a result of a growing open-innovation trend in the last decade. Since the main deliverable of these events is a demonstrable version of an idea, such as early hardware or software prototypes, the short time frame requires participants to quickly understand the proposed challenge or even identify issues related to a given domain. To create solutions, teams follow an ad-hoc but effective design approach, that many times seems informal since the background of the participants is rather centered on technical aspects (e.g., web and mobile programming) and does not involve any training in design thinking. To understand this creative process, we conducted a set of 37 interviews with people from 16 countries, consisting of 32 hackathons winners and 5 hackathon organizers. We aimed to identify the design practices (i.e., processes and recurring design methods) that are applied by winners in these types of events. Also, we conducted a focus group with 8 people experienced in hackathons (participants and organizers) to discuss our findings. Our analysis revealed that although hackathon winners with IT background have no formal training in design thinking, they are aware of many design methods and typically follow a sequence of phases that involve divergent and convergent thinking to explore the problem space and propose alternatives in a solution space, which is the rationale behind design thinking. We derived a set of recommendations based on design strategies that seem to lead to successful hackathon participation. These recommendations can also be useful to organizers who intend to enhance the experience of newcomers in hackathons.
Working conditions are associated with the occurrence of sleepiness of nursing professionals: a case-control study

Objectives To identify the factors associated with the occurrence of sleepiness among nursing professionals. Material and Methods A case-control study nested in a cross-sectional one, conducted with 364 controls and 121 cases. Data on demographic and occupational characteristics were collected, as well as about lifestyle, physical and psychosocial work environment and somnolence. A multiple logistic regression analysis was performed. Results The independent factors associated with the presence of sleepiness were as follows: imbalance between efforts and rewards (ORa=3.81; p <0.001), high overcommitment (ORa=3.20; p <0.001), workload equal to or greater than 45 hours a week (ORa=2.30; p =0.001), situations that can generate pain/injury with moderate or high exposure (ORa=1.85; p =0.037), and night work (ORa=1.71; p =0.038). The model was adjusted by gender and age group. Conclusion Individual and historical-occupational characteristics and, mainly, those related to the physical and psychosocial work environment, were associated with the occurrence of sleepiness. Public and institutional preventive policies must include improvements in the conditions of the physical and psychosocial work environment, as well as strengthening of the individual resources.
Design of High Frequency , Low Phase Noise LC Digitally Controlled Oscillator for 5 G Intelligent Transport Systems

This paper presents the design, simulation, and measurements of a low power, low phase noise 10.25–11.78 GHz LC digitally controlled oscillator (LC DCO) with extended true single phase clock (E-TSPC) frequency divider in 130 nm complementary metal–oxide–semiconductor (CMOS) technology for 5G intelligent transport systems. The main goal of this work was to design the LC DCO using a mature and low-cost 130 nm CMOS technology. The designed integrated circuit (IC) consisted of two parts: the LC DCO frequency generation and division circuit and an independent frequency divider testing circuit. The proposed LC DCO consisted of the following main blocks: the high Q-factor inductor, switched-capacitors block, cross-coupled transistors, and the current control block. Inductors with switched-capacitors block formed an LC tank. The designed E-TSPC frequency divider consisted of eight blocks connected in a series; each block increased the division ratio by a factor of two. The frequency of the input signal was divided in the region from two to 256 times using the designed divider. The main parameters of the designed E-TSPC divider and the LC DCO measurements were given as follows: LC DCO achieved a wide tuning range from 10.25 GHz to 11.78 GHz (1.53 GHz, 15.28% bandwidth); phase noise at 1 MHz offset frequency from LC DCO lowest carrier frequency was −113.42 dBc/Hz; phase noise at 1 MHz offset frequency from LC DCO highest carrier frequency was −110.51 dBc/Hz; The average power consumption of the designed LC DCO core and E-TSPC divider were 10.02 mW and 97.52 mW, respectively; the figure of merit (FOM) and the extended FOMT values of the proposed LC DCO were −183.52 dBc/Hz and −187.20 dBc/Hz, respectively. These FOM and FOMT results were achieved due to very low phase noise (−113.52 dBc/Hz) and a wide frequency tuning range (15.28%). The total layout area including the pads was 1.5 mm × 1.5 mm, with the largest part of the layout occupied by the proposed LC DCO (193 μm × 311 μm). The largest part of the LC DCO was occupied by the inductor 184 μm × 184 μm. The manufactured chip was packed into a quad flat no-leads (QFN) 20 pads package.
Chemical tagging and the second r-process

Elements in the range 37 < Z < 47 provide key information on their formation process. Several studies have shown that some of these elements are formed by an r-process, that differs from the main r-process creating europium. Through a detailed abundance study of Rb - Ag I will show, by comparing these abundances to those of Ba and Eu, that their formation processes differ. The formation process of Pd and Ag deviates from the weak/main s-process as well as from the main r-process. Hence, Pd and Ag - and to some extend Zr - are created by a second/weak r-process. However, the characteristics and formation site of this process is not well understood. The abundance ratios of Rb/Zr help constrain the neutron number density of the formation site, while comparing the Pd and Ag abundances to yield predictions can provide limitations on the entropy and electron fraction of the formation environment. This study presents clues on the second r-process. Furthermore, the formation processes of the heavy elements might not differ in a clear cut way. Several of these neutron-capture processes might yield various amounts of heavy elements (e.g. Sr and Ba) at the same time or metallicity. This could possibly help explain the large star-to-star abundance scatter for these two elements below [Fe/H]= -2.5. Knowing their origin is important in the era of large surveys (e.g Gaia-ESO). Strontium and barium will, limited by resolution and signal-to-noise ratio, be the only detectable heavy elements in the most metal-poor stars. Hence, they will, depending on metallicity, be the main tracers of the weak and main s-/r-processes. Understanding the effects of stellar parameters, synthetic spectrum codes, model atmospheres, and NLTE on the Sr abundances are crucial to describe the chemical evolution of our Galaxy. I will present these effects for Sr.
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE FAKULTA STROJNÍ ÚSTAV STROJÍRENSKÉ TECHNOLOGIE BAKALÁŘSKÁ PRÁCE OPTIMALIZACE VÝROBY TRANSPORTNÍ A SKLADOVACÍ PALETY OPTIMALIZATION OF TRANSPORT AND STORAGE PALLET PRODUCTION

This bachelor thesis deals with the design of a new transport pallet, adapted to the production technologies and production processes of the company in which it will be produced. Part of this work is also an evaluation of the existing solution of transport pallets, which gave rise to a new palette, which came from optimization and adaptation to the production profile of the company. The main role in the design of the new pallet solution was played by the simplicity and speed of production and use of the company's main production technologies, which are cutting of material using CNC laser, forming process on bending machines and MIG / MAG welding. As an input semi-finished product, the company exclusively uses 3,000 mm x 1,500 mm steel sheetmetals and a maximum thickness of 20 mm for its primary production. Handling routes and warehouses are customized for these dimensions. For this reason, the requirement for a semi-finished product, which was supposed to be a sheet, of these or smaller dimensions, also played a major role. Thus, the effort to avoid the semi-finished product in the form of rods and profiles with a standard manufacturing length of 6,000 mm.
The Effect of Chemical Treatment on The Production of Active Silica from Rice

In this study the effect of chemical treatment on the production of high purity silica from rice husk was investigated. Rice husk, supplied from Kastomonu region-Turkey, was used as a sources of silica. They were washed with water to remove the contaminants present in them then dried in an oven at 100"C for 24 h. The dried husks were then subjected to the chemical treatment before calcinations in order to increase silica contents of husk ash. In experiments, HCl was used as a leaching reagent for extracting inorganic impu­ rities from the husk and the affect of leaching temperature, reactive concentration, leaching time and solid percent on the purity of silica ash were systematically investigated. The results of leaching test showed that high purity amorphous silica could be produced with a 99.74 °/t grade. The surface properties of both rice hush and husk ashes were analyzed by Scanning Electron Microscope (SEM).
VALORIZATION OF TEMPO-OXIDIZED CELLULOSIC FRACTIONS FOR EFFICIENT DYE REMOVAL FROM WASTEWATERS

“Petru Poni” Institute of Macromolecular Chemistry of Romanian Academy, Iasi, 41 A, Gr. Ghica Voda Alley, 700487, Iasi, Romania “Gheorghe Asachi” Technical University of Iasi, Faculty of Chemical Engineering and Environmental Protection, 73, Prof. Dr. Docent Dimitrie Mangeron Blvd, 700050, Iasi, Romania ✉Corresponding authors: Gabriela Biliuta, biliuta.gabriela@icmpp.ro Daniela Suteu, danasuteu67@yahoo.com Sergiu Coseri, coseris@icmpp.ro
RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers

In recent years, formal methods based on Symbolic Computer Algebra (SCA) have shown very good results in verification of integer multipliers. The success is based on removing redundant terms (vanishing monomials) early which allows to avoid the explosion in the number of monomials during backward rewriting. However, the SCA approaches still suffer from two major problems: (1) high dependence on the detection of Half Adders (HAs) realized as AND-XOR gates in the multiplier netlist, and (2) extremely large search space for finding the source of the vanishing monomials. As a consequence, if the multiplier consists of dirty logic, i.e. for instance using non-standard libraries or logic optimization, the existing SCA methods are completely blind on the resulting polynomials, and their techniques for effective division fail.In this paper, we present REVSCA. REVSCA brings back light into backward rewriting by identifying the atomic blocks of the arithmetic circuits using dedicated reverse engineering techniques. Our approach takes advantage of these atomic blocks to detect all sources of vanishing monomials independent of the design architecture. Furthermore, it cuts the local vanishing removal time drastically due to limiting the search space to a small part of the design only. Experimental results confirm the efficiency of our approach in verification of a wide variety of integer multipliers with up to 1024 output bits.
VERTICAL DISTRIBUTION OF AEROSOLS OVER THE GREATER MEDITERRANEAN BASIN USING CALIOP OBSERVATIONS

Vertically resolved data from Level 3 Version 3 CALIOP database are used to assess the vertical distribution of aerosols over the greater Mediterranean basin (9.5 ̊W to 38.5 ̊E and from 29.5 ̊N to 46.5 ̊N). Extinction coefficient measurements at 532 nm from 4 years (December 2006 to November 2010) are analysed and provided at the high resolution of 60 meters. The latitudinal variation reveals a south-to-north gradient of the highest altitude of aerosols that is 6 km in summer. The pattern is mixed in the longitudinal variation presenting high boundary and surface layer values in the western, central and eastern parts of the basin varying with season. The seasonal pattern of aerosol optical depth (AOD) values is in general agreement with other studies, indicating higher values in the dry than wet season of the year. However, there are also some differences like the smaller spatial and seasonal variations of AOD and relatively high autumn AOD.
Research on Operation–Planning Double-Layer Optimization Design Method for Multi-Energy Microgrid Considering Reliability

A multi-energy microgrid has multiple terminal resources and multiple distributed components for energy production, conversion, and storage. By using this grid, an interconnected network with optimized multiple energy sources can be formed. This type of grid can minimize energy waste while laying the critical foundation for an energy Internet. The multi-energy microgrid must be formed properly to ensure multi-energy coupling and complement. However, critical technologies (e.g., reliability assessment) and configuration planning methods now need further research. In this study, a novel method for the reliability evaluation of a multi-energy supply is proposed, and an operation–planning double-layer optimization design method is investigated that considers reliability. On that basis, the effects of different configuration schemes on economy and reliability are quantitatively analyzed. First, the coupling relationship between multi-energy carriers in a typical multi-energy microgrid is analyzed; subsequently, the energy efficiency and economical models of the key equipment in the grid system are determined. Monte Carlo simulation and the Failure Mode and Effect Analysis (FMEA) method are applied to evaluate the reliability with sorted indicators. A double-layer optimization model is built for a multi-energy microgrid with the optimal configuration. The impact of configuration on the reliability and economical performance of the microgrid system is quantitatively analyzed based on actual calculations. The results obtained here are relative to the capacity, configuration, operation, and energy supply reliability of the multi-energy microgrid, and may serve as the feasible guidelines for future integrated energy systems.
SLA-Based Adaptation Schemes in Distributed Stream Processing Engines

With the upswing in the volume of data, information online, and magnanimous cloud applications, big data analytics becomes mainstream in the research communities in the industry as well as in the scholarly world. This prompted the emergence and development of real-time distributed stream processing frameworks, such as Flink, Storm, Spark, and Samza. These frameworks endorse complex queries on streaming data to be distributed across multiple worker nodes in a cluster. Few of these stream processing frameworks provides fundamental support for controlling the latency and throughput of the system as well as the correctness of the results. However, none has the ability to handle them on the fly at runtime. We present a well-informed and efficient adaptive watermarking and dynamic buffering timeout mechanism for the distributed streaming frameworks. It is designed to increase the overall throughput of the system by making the watermarks adaptive towards the stream of incoming workload, and scale the buffering timeout dynamically for each task tracker on the fly while maintaining the Service Level Agreement (SLA)-based end-to-end latency of the system. This work focuses on tuning the parameters of the system (such as window correctness, buffering timeout, and so on) based on the prediction of incoming workloads and assesses whether a given workload will breach an SLA using output metrics including latency, throughput, and correctness of both intermediate and final results. We used Apache Flink as our testbed distributed processing engine for this work. However, the proposed mechanism can be applied to other streaming frameworks as well. Our results on the testbed model indicate that the proposed system outperforms the status quo of stream processing. With the inclusion of learning models like naïve Bayes, multilayer perceptron (MLP), and sequential minimal optimization (SMO). , the system shows more progress in terms of keeping the SLA intact as well as quality of service (QoS).
Decoration of Vertically Aligned Carbon Nanotubes with Semiconductor Nanoparticles Using Atomic Layer Deposition

Vertically aligned carbon nanotubes (VACNTs or “CNT forest”) were decorated with semiconductor particles (TiO2 and ZnO) by atomic layer deposition (ALD). Both the structure and morphology of the components were systematically studied using scanning (SEM) and high resolution transmission electron microscopy (HRTEM), energy-dispersive X-ray spectroscopy (EDX), Raman spectroscopy, and X-ray diffraction (XRD) methods. Characterization results revealed that the decoration was successful in the whole bulk of VACNTs. The effect of a follow-up heat treatment was also investigated and its effect on the structure was proved. It was attested that atomic layer deposition is a suitable technique for the fabrication of semiconductor/vertically aligned carbon nanotubes composites. Regarding their technological importance, we hope that semiconductor/CNT forest nanocomposites find potential application in the near future.
Expression and characterization of a constitutively active STAT 6 from Tetraodon

In this paper, we report the cloning and characterization of the STAT6 gene from the pufferfish, Tetraodon nigroviridis. The TnSTAT6 gene is composed of 20 exons and 19 introns. The exoneintron organization of this gene is similar to that of HsSTAT6 except for the exons encoding the C-terminal transactivation domain. The full-length complementary (c)DNA of TnSTAT6 encodes a 794-amino acid protein that is 31% identical to human STAT6. We generated a constitutively active TnSTAT6-JH1 by fusing the kinase domain of carp JAK1 to the C-terminal end of TnSTAT6 and demonstrated that the fusion protein has specific DNA-binding ability and can activate a reporter construct carrying multiple copies of mammalian IL-4response elements. Interestingly, TnSTAT6-JH1 associated with and phosphorylated TnSTAT6 on Tyr661. Mutation of this residue, Y661W, in TnSTAT6 abolished its association with TnSTAT6-JH1. This is consistent with the importance of the corresponding Tyr641 of HsSTAT6 in tyrosine phosphorylation and dimer formation. On the other hand, treatment of mammalian IL-4 did not induce tyrosine phosphorylation of wild-type TnSTAT6, suggesting that both the divergent N-terminal domain and coiled-coiled domain of TnSTAT6 may affect the interaction of TnSTAT6 with mammalian IL-4 receptor complexes. 2010 Elsevier Ltd. All rights reserved.
1 3-Dimensional Simulation of Plasma Dynamics in SPT * †

A kinetic approach is applied to model plasma dynamics in SPT accelerating channel. Magnetic field is assumed to be external, predefined and stationary. Atom and ion dynamics is simulated and experimental data on electron dynamics and near-wall electric potential distribution is utilized. Completely 3-D simulation was carried out for SPT-100 with thrust vector control unit (TVCU), having essentially azimuth nonsymmetrical magnetic field. Results of the simulation are in satisfactory agreement with the measurements of thrust and thrust vector deviation angle. Distributions of plasma macroparameters are in a well agreement with available data on local plasma measurements in SPT accelerating channel.
Nonlinear response of driven systems in weak turbulence theory

A method is presented for predicting the saturation levels and particle transport in weakly unstable systems with a discrete number of modes. Conditions are established for either steady‐state or pulsating responses when several modes are excited for cases where there is and there is not resonance overlap. The conditions for saturation and the associated transport are discussed. Depending on parameters, the saturation level can be low, with only a small fraction of the available free energy released to waves and with no global transport, or the saturation level can be quite high, with almost complete conversion of free energy to wave energy coupled with rapid transport.
An Image Processing Oriented Optical Mark Recognition and Evaluation System

Standart bir kagit uzerine basilmis optik formlarin, siradan bir tarayici ile taratilmasi sonucunda elde edilen goruntuler uzerindeki coktan secmeli test isaretlemelerinin taninmasi ve degerlendirilmesi icin bir yontem. Bu yontem optik isaret tanima/okuma olarak adlandirilir ve isaretlenmis coktan secmeli formlardaki verilerin yakalanmasi islemidir. Optik isaret tanima/okuma uygulamasi Python yazilim dili ve OpenCV goruntu isleme kutuphanesi kullanilarak gelistirilmistir. Uygulama icerisine cevap anahtarinin girilmesi ile yanlis isaretlenen daire kirmizi, dogru cevaplanan daire yesil olarak isaretlenmis, dogru/yanlis/bos bilgiler hesaplanarak optik form goruntusu uzerine yazdirilmistir.