Miracle-dz/UniFAR-FTUs huggingface dataset:
PARTIAL DISCHARGE INCEPTION VOLTAGE AND BREAKDOWN VOLTAGE OF AL2O3 NANOCOMPOSITE AFTER THERMAL AGING

Nanotechnology deals with characteristics in nanometer size and/or microscopic regions on materials and functional devices. Nowadays, the nano fillers are used in different epoxy resin systems. The disadvantages of polymeric materials are ageing effects which are not understood in details so far. Penetrating water leads to complex physical and chemical interactions at the microscopic interfaces between filler and polymeric matrix. The results of the interactions at the large internal filler surfaces are an increase in the conductivity and intensification of interfacial polarizations effects. These effects can result a change of the dielectric parameters and a decrease of the electrical strength and life-span. In this study aromatic epoxy resin, and related micro filler are the same for all produced samples. Al2O3 was added as nano fillers. Nano fillers were mixed with the resin using ultrasound device and high speed mixer simultaneously. Then the distribution of the nano fillers was checked by means of transmission electron microscopy. The investigations were carried out under homogeneous (rogowski-rogowski) and inhomogeneous (rod-plane) electrical field. The influences of the nano fillers up to 10% by weight on the partial discharge inception voltage and breakdown voltage of the specimens after different aging periods at 130°C (15% above the glass transition temperature) were investigated and the mentioned parameters were measured at room temperature.
The Relationship between Abnormal Echocardiography Findings in Fetus with Small Gestational Age

Background: Intrauterine growth restriction (IUGR), refers to a condition in which the fetus does not grow well according to its genetic potential. Development of the cardiovascular system and impairing fetal developmental planning ultimately caused long-term cardiovascular morbidity. In the present study, the incidence of cardiac abnormalities in fetuses affected by IUGR as well as factors related to the occurrence of these abnormalities were evaluated. Material and Methods: In this descriptive-analytical study, pregnant women referred to the Imam Khomeini Hospital in Ahvaz during February 2018 to January 2020 were recruited. Complete clinical information was recorded using a questionnaire. The recorded information included age, birth weight, gestational age, weight and BMI and comorbidities. Then, echocardiographic data; structural abnormalities including septal condition, valves and outflow of large arteries, and the presence of mass or oxygen in the heart and pulmonary arteries, EF and HR, were extracted from the medical records. Results: In the present study, 152 patients were studied. The mean age of patients was 28.2 ranged from 17to 40year. Fetal echocardiography showed that nearly 60% of fetuses had heart abnormalities. The most common disease was ventricular septal defect (VSD) (n = 21,13.8%), followed by atrial septal defec(ASD) (n = 15,9.9%) and concurrent ASD and VSD was observed in of 11.2% cases (n = 17). The incidence of echocardiographic abnormalities in IUGR fetuses was significantly higher than in SGA (p = 0.0001). However, the type of IUGR did not have a significant relationship with the incidence of echocardiographic findings in terms of time of performance (Early or late). Among the Doppler ultrasound factors, uterine artery PI (p = 0.001) and umbilical artery PI (p = 0.008) were associated with fetal heart abnormalities. Conclusion: In general, the findings of this study showed that the incidence of heart disorders in IUGR fetuses is high and is related to the severity of fetal growth restriction. Cardiac abnormalities are more common in IUGR fetuses than in SGA. Our results have also shown that the umbilical artery PI and uterine artery PI can be used as predictive factors in diagnosing fetal heart abnormalities. Our findings suggest an evaluation of echocardiography in IUGR fetuses.
Can Systems Explain Permissions Better? Understanding Users' Misperceptions under Smartphone Runtime Permission Model

Abstract Current smartphone operating systems enable users to manage permissions according to their personal preferences with a runtime permission model. Nonetheless, the systems provide very limited information when requesting permissions, making it difﬁcult for users to understand permissions’ capabilities and potentially induced risks. In this paper, we ﬁrst investigated to what extent current system-provided information can help users understand the scope of permissions and their potential risks. We took a mixed-methods approach by collecting real permission settings from 4,636 Android users, an interview study of 20 participants, and large-scale Internet surveys of 1559 users. Our study identiﬁed several common misunderstandings on the runtime permission model among users. We found that only a very small percentage (6.1%) of users can infer the scope of permission groups accurately from the system-provided information. This indicates that the information provided by current systems is far from sufﬁcient. We thereby explored what extra information that systems can provide to help users make more informed permission decisions. By surveying users’ common concerns on apps’ permission requests, we identiﬁed ﬁve types of information (i.e., decision factors) that are helpful for users’ decisions. We further studied the impact and helpfulness of the factors to users’ permission decisions with both positive and negative messages. Our study shows that the background access factor helps most while the grant rate helps the least. Based on the ﬁndings, we provide suggestions for system designers to enhance future systems with more permission information.
ESTABLISHMENT OF IRAQI CAMELS REFERENCE INTERVALS OF IRON STATUS PARAMETERS

Iron is necessary for many iron-based enzymes such as cytochromes, catalase, hydrogenase, as well as the essential oxygen storage molecule myoglobin and oxygen transporter hemoglobin. Reference interval (RI) calculation of iron status parameters in Iraqi camels have not been done yet. For this reason, the present study was designed. The current study carried out by blood sample collection from 122 healthy camels from Al-Kut & Al-Najaf provinces. According to the age, camels were divided in two groups, less than 2 years (<2 year) and more than 2 years (>2 year) for both sexes (103 male & 19 female). Results were analyzed using Roc analysis at 90% confidence interval and expressed as median and the lower and upper limit. Total serum iron, total iron binding capacity, unsaturated iron binding capacity, transferrin saturation and ferritin lower and upper limits were (66.25:104.81); (288.38:390.07); (194.02: 316.92); (19.55:33.14); (255.60: 521.68) respectively. There were no significant influences of sex and age less than two years on iron status parameters. Adult male and female showed significant differences in ferritin concentration, which was not observed in young male and female. In conclusion The present fixed data can play very important role to estimate the healthy state of Iraqi camels.
What about Grammar? Using BERT Embeddings to Explore Functional-Semantic Shifts of Semi-Lexical and Grammatical Constructions

The aim of this short paper is to extend the application of embedding-based methodologies beyond the realm of lexical semantic change. It focuses on the use of unsupervised BERT-embeddings and uncertainty measures (Classification Entropy), and assesses whether (and how) they can be used to (semi-)automatically flag possible functional-semantic changes in the use of the construction [BE about ] in the Corpus of Historical American English (COHA)
RefinedC: A Foundational Refinement Type System for C Based on Separation Logic Programming

Given the central role that C continues to play in systems software, and the difficulty of writing safe and correct C code, it remains a grand challenge to develop effective formal methods for verifying C programs. In this paper, we propose a new approach to this problem: a type system we call RefinedC , which combines ownership types (for modular reasoning about shared state and concurrency) with refinement types (for encoding precise invariants on C data types and Hoare-style specifications for C functions). RefinedC is both automated (requiring minimal user intervention) and foundational (producing a proof of program correctness in Coq), while at the same time handling a range of low-level programming idioms such as pointer arithmetic. In particular, following the approach of RustBelt, the soundness of the RefinedC type system is justified semantically by interpretation into the Coq-based Iris framework for higher-order concurrent separation logic. However, the typing rules of RefinedC are also designed to be encodable in a new “sep-aration logic programming” language we call Lithium . By restricting to a carefully chosen (yet still expressive) fragment of separation logic, Lithium supports predictable, automatic, goal-directed proof search without backtracking . We demonstrate the effectiveness of RefinedC on a range of representative examples of C code.
ICC: A New Machine Learning Technique for Identifying Response-Speciﬁc Subpopulations

The goal of problems such as market segmentation is to identify groups or subpopulations of examples within a data set that share unique properties relevant to their response, or classiﬁcation. Existing methods include clustering (possibly followed by predictive modeling), which deﬁnes similarity in the original feature space, and clusterwise regression models, which consider similarity in the parameters of the response model. This paper presents an integrated two-level modeling process that uses the performance of diﬀerent predictive models that are built for each particular cluster to guide the cluster construction, while taking the similarities between the data points in the original feature space into consideration. Better understanding and interpretation of the data can be achieved by analyzing the unique decision surface for each particular subpopulation. We show that the model achieves the dual objectives of accuracy and interpretability.
Rétinoïdes et caroténoïdes : métabolisme dans la peau humaine après application topique et rôle dans la photoprotection

L'epiderme humain contient des retinoides endogenes et des carotenoides. Nous presentons une methode d'evaluation de la penetration et du metabolisme des retinoides (acide retinoique, retinaldehyde, retinol, palmitate-de-retinyle) dans la peau humaine "ex-vivo" a partir de peau totale incubee dans des cellules de Franz. Les resultats montrent qu'il n'y a pas de metabolisme pour l'acide retinoique, forme active de la vitamine A qui lie les recepteurs nucleaires, alors qu'on observe un metabolisme d'oxydation et de reduction pour le retinaldehyde, ainsi qu'une augmentation des retinoides endogenes pour le retinol et ses esters. Nous mettons en evidence pour la premiere fois que le β-carotene est un precurseur de la vitamine A dans l'epiderme humain. Nous montrons un effet filtre de la vitamine A (palmitate-de-retinyle) "in vivo" chez l'homme qui contribue potentiellement a la protection de l'ADN contre les effets des UVB.
Hardware Foundation for Secure Computing

—Software security solutions are often considered to be more adaptable than their hardware counterparts. However, software has to work within the limitations of the system hardware platform, of which the selection is often dictated by functionality rather than security. Performance issues of security solutions without proper hardware support are easy to understand. The real challenge, however, is in the dilemma of “what should be done? ” vs. “what could be done? ” Security software could become ineffective if its “liberal” assumptions, e.g., the availability of a substantial trusted computing base (TCB) on the hardware platform, are violated. To address this dilemma, we have been developing and prototyping a security-by-design hardware foundation platform that enhances mainstream microprocessors with proper hardware security primitives to support and enhance software security solutions. This paper describes our progress in the use of a customized security co-processor to provide security services.
Development of a System-Level Multi-Physics Model of a High-Performance Hybrid Vehicle

This master course thesis was developed at POWERTECH Engineering S.R. L. , an engineering consultant company, specialized in 1D and 3D CFD analysis, in collaboration with Aston Martin Lagonda, the well known high performance car manufacturer. This thesis was developed using GT-SUITE, a 1D CFD software with many tools focused on vehicle simulation. Numerical analysis have become a fundamental tool in the development process of a vehicle. It allows to develop and optimize new engines and vehicles reducing costs and time to market. The subject of this thesis is a high end hybrid electric vehicle currently under study at Aston Martin Lagonda. The starting point of the project was a fast running model, called RT (where RT stands for Real-Time), of an engine developed in a previous thesis work. The main objective was to integrate the engine model in the model of the vehicle. The vehicle model had an engine based onmaps, which guarantees low computational time and low need of control, but it lacks predictive capability and adaptation to different operating conditions. The RT model was developed in order to provide more precision, with only a marginal decrease of accuracy with respect the detailed model, limiting as much as possible its impact on the overall computational time. Great attention was given to the heat rejection prediction by the engine model in order to provide accurate results to the detailed cooling system with which the vehicle model is equipped. Sommario Questa tesi di laurea magistrale è stata sviluppata presso POWERTECH Engineering S.R. L. , un’azienda di consulenza ingegneristica, specializzata in analisi CFD 1D e 3D, in collaborazione con Aston Martin Lagonda, la nota casa automobilistica. Questa tesi è stata sviluppata usando GT-SUITE, un software CFD 1D con numerosi strumenti sviluppati per le simulazioni di veicolo. L’analisi numerica è diventata uno degli aspetti fondamentali nello sviluppo di un veicolo. Permette infatti di sviluppare ed ottimizzare nuovi motori e veicoli riducendo i costi e i tempi di produzione. L’oggetto di questa tesi è un veicolo ibrido ad alte prestazioni in fase di studio presso Aston Martin Lagonda. Il punto di partenza del progetto è stato un ”Fast Running Model”, chiamato RT (dove RT sta per Real-Time), di un motore sviluppato in un lavoro di tesi precedente. L’obiettivo principale era quello di integrare il modello del motore nel modello veicolo corrispondente. Il modello veicolo aveva un motore basato su mappe, che garantiscono tempi computazionali ridotti e una minore necessità di controllo, ma mancano di capacità predittiva e di adattamento alle diverse condizioni operative. Il modello RT è stato sviluppato per fornire una maggior precisione, con una diminuzione marginale dell’accuratezza rispetto al modello dettagliato, e con un impatto minimo sui tempi di calcolo totali. Molta attenzione è stata data alla predizione della dispersione termica del modello motore al fine di fornire risultati accurati al modello del sistema di raffreddamento dettagliato di cui il modello di veicolo è dotato.
Wastewater Engineering: Treatment and Reuse

1. Wastewater Engineering: An Overview 2. Constituents in Wastewater 3. Analysis and Selection of Wastewater Flowrates and Constituent Loadings 4. Introduction to Process Analysis and Selection 5. Physical Unit Operations 6. Chemical Unit Processes 7. Fundamentals of Biological Treatment 8. Suspended Growth Biological Treatment Processes 9. Attached Growth and Combined Biological Treatment Processes 10. Anaerobic Suspended and Attached Growth Biological Treatment Processes 11. Advanced Wastewater Treatment 12. Disinfection Processes 13. Water Reuse 14. Treatment, Reuse, and Disposal of Solids and Biosolids 15. Issues Related to Treatment-Plant Performance Appendixes A Conversion Factors B Physical Properties of Selected Gases and the Composition of Air C Physical Properties of Water D Solubility of Dissolved Oxygen in Water as a Function of Salinity and Barometric Pressure E MPN Tables and Their Use F Carbonate Equilibrium G Moody Diagrams for the Analysis of Flow in Pipes
The Assisted Places Scheme: An Ambiguous Case of Privatization

That was the view of Mark Carlisle, the Minister responsible for implementing the Assisted Places Scheme (interviewed by us, February 1982). Yet that Scheme, the Thatcher government's first major policy initiative in education, is now often seen as part of a broader process of privatizing the education sygtem.2 However, we have argued elsewhere that its genealogy did not lie in the market ideology of the 'New Right', and that it was primarily the resurrection of a 'scholarship ladder' to selective secondary education and therefore deliberately limited in scope.3 It is certainly not immediately obvious that a Scheme which uses public money to help a relatively small number of individuals to purchase places in schools which would otherwise be filled almost entirely by full feepayers is a privatization measure in the commonsense meaning of the term. But this may be to take rather too narrow a view of the nature of privatization, and of its relationship to other elements of Conservative ideology such as the fostering of parental choice. In this paper, we therefore explore the Assisted Places Scheme in terms of the various policy strands that might be considered as components in the privatising of educational provision. Heald has identified four major elements of privatization:4
Effects of alloying element Ti on α-Nb5Si3 and Nb3Al from first principles

The energies and electronic structures of the alloying element Ti in the Nb–Si–Al–Ti three-phase alloy, Nbss (Nb solid solution), Nb5Si3 and Nb3Al, have been studied by the first-principles pseudopotential plane-wave method based on density functional theory. It is found that the preferred sites for the alloying element Ti are the Nb I sublattice sites of α-Nb5Si3 and then the Nb sublattice sites of Nb3Al phase according to the calculations of impurity formation energies. Using a sum of overlap populations of all bonds in the conventional cell, we evaluate the covalent bonding of intermetallic compounds quantitatively. It is found that Ti can decrease the covalent bonding of α-Nb5Si3 and Nb3Al. We also analyse the bond characters using valence charge densities and total density of states.
The Interaction between PEDOT/PSS Gate and sub-$\mu$ low-k Insulator for All Printed OFETs

In all printed OFETs with Poly(3,4-ethylenedioxythiophene)/ poly(styrenesulfonate) (PEDOT/ PSS) gate, offset printing and gravure of electrically dense sub-$\mu$ insulators from polyvinylphenol (PVPh), polyvinyl alcohol (PVOH) and poly(methyl methacrylate) (PMMA) as well as other organic and inorganic materials turned out to be problematic due to the most reactive part of the gate material- the negative sulfonate ions from PSS. The present paper investigates the nature of the interaction between PSS and PVOH sub-$\mu$ insulator explored by infrared spectroscopy and electrical methods. Some evidence is obtained that most probably OH- and not sulfonate ions are responsible for creating channels, penetrated by PEDOT/PSS nano dispersion applied as gate.
Influence of Shear Heating and Thermomechanical

14 Localized frictional sliding on faults in the continental crust transitions at depth to dis15 tributed deformation in viscous shear zones. This brittle-ductile transition (BDT), and/or 16 the transition from velocity-weakening (VW) to velocity-strengthening (VS) friction, are 17 controlled by the lithospheric thermal structure and composition. Here we investigate 18 these transitions, and their effect on the depth extent of earthquakes, using 2D antiplane 19 shear simulations of a strike-slip fault with rate-and-state friction. The off-fault mate20 rial is viscoelastic, with temperature-dependent dislocation creep. We solve the heat equa21 tion for temperature, accounting for frictional and viscous shear heating that creates a 22 thermal anomaly relative to the ambient geotherm which reduces viscosity and facilitates 23 viscous flow. We explore several geotherms and effective normal stress distributions (by 24 changing pore pressure), quantifying the thermal anomaly, seismic and aseismic slip, and 25 the transition from frictional sliding to viscous flow. The thermal anomaly can reach sev26 eral hundred degrees below the seismogenic zone in models with hydrostatic pressure, 27 but is smaller for higher pressure (and these high-pressure models are most consistent 28 with San Andreas Fault heat flow constraints). Shear heating raises the BDT, sometimes 29 to where it limits rupture depth rather than the frictional VW-to-VS transition. Our ther30 momechanical modeling framework can be used to evaluate lithospheric rheology and 31 thermal models through predictions of earthquake ruptures, postseismic and interseis32 mic crustal deformation, heat flow, and the geological structures that reflect the com33 plex deformation beneath faults. 34
Correlation Between Tablet Mechanical Strength and Brittle Fracture Tendency

High-compression loads often lead to lamination and capping (brittle fracture) during tablet manufacture. Lactose granules containing 1, 2.5 or 5% w/w starch binder were used to form tablets with and without a centre hole, at different compression loads. The brittle fracture index (BFI) was estimated from the equation: BFI = 0.5(T/To − 1) where, To and T are the tensile strength of tablets with and without a centre hole, respectively. The effects of granule particle size on BFI and tensile strength were also studied at a constant load. At a given binder level, an increase in compression load increased tablet tensile strength, with a corresponding increase in BFI. Thus, BFI values varied linearly with tensile strength (r > 0.98). The slopes of the BFI vs tensile strength plots were 0.286 (1% binder), 0.181 (2.5% binder) and 0.098 (5% binder) indicating that the effect of tensile strength on BFI was greater at lower binder levels. A decrease in the particle size of the granules resulted in an increase in both tensile strength and BFI. In this system BFI was also linearly related to tensile strength (r ≥ 0.95). The slopes of the BFI vs tensile strength plots were 0.124 (1% binder), 0.096 (2.5% binder) and 0.092 (5% binder). Again the effect of tensile strength on BFI increased at lower binder levels. BFI is an inverse measure of plastic deformation during diametral compression. The results show that hard tablets deform less readily which explains why high compression loads lead to brittle fracture. Binder deficient formulations are also more susceptible to brittle fracture.
Psychometric Properties of Social Perception of Mathematics:‎‎ Rasch Model Analysis

Social perception is an evaluation process, which uses any information available in order to form impressions, understanding, and judgments about others. It is also considered as an essential element of social skills. This study aims to examine the psychometric analysis of students’ social perceptions of mathematics using Rasch model analysis. This study uses a quantitative survey approach. The sample comprised 40 first year students at King Faisal University . The Rasch model is used because it is considered an effective tool for assessing constructs’ validity and reliability of the instrument. It also generalizes results and inferential studies. The developed questionnaire consists of six dimensions. Every dimension consists of six items. They are verifying the validity based on the Rasch model using item polarity, item fit, and dimensionality. In addition, the reliability was verified using person and item reliability, and item and person separation. The results of the Rasch model analysis show that the items of social perception of mathematics SPoM fit the model appropriately.