Miracle-dz/UniFAR-FTUs huggingface dataset:
Composing Concurrent Objects

Adopting the object-oriented paradigm for the development of large and complex software systems offers several advantages, of which increased extensibility and reusability are the most prominent ones. The object-oriented model is also quite suitable for modelling concurrent systems. However, it appears that extensibility and reusability of concurrent applications is far from trivial. In addition, very little attention has been paid by the conventional object-oriented development methodologies to the analysis and design of synchronisation constraints for concurrent objects. To address these problems, in this thesis the framework of composition-filters, an extension to the object-oriented model, is adopted. An analysis is presented of the problems involved in reusing and extending concurrent objects, in particular the so-called inheritance anomalies. Based on this analysis, a set of criteria for effective extensible concurrent objectoriented programming languages is formulated. The thesis introduces techniques for the creation of concurrency and the synchronisation of concurrent activities, fully integrated within the (object-oriented) composition-filters model. Important properties of the proposed object model are: all objects are -potentially- active, intra-object concurrency is supported and synchronisation specifications are fully separated from method implementations. The applicability and expressive power of the proposed technique are demonstrated, and it is shown how reusability and extensibility of concurrent objects are achieved.
Influence of Sn and Mn on structural, optical and magnetic properties of spray pyrolysed CdS thin films

ABSTRACT Sn, Mn-doped CdS thin films were deposited using on glass substrates at 400°C in air atmosphere by chemical spray pyrolysis method. X-ray Diffraction (XRD) of the deposited film exhibits the cubic phase of CdS with a preferred orientation along the (1 1 1) plane. The average crystallite size (D) of pure CdS (18 nm), Sn:CdS (7 nm) and Mn:CdS (6 nm) thin films are calculated. The morphological variations due to the incorporation of Sn and Mn in CdS thin films observed by the Scanning electron microscopy (SEM) images. Incorporation of Sn and Mn confirmed from Energy dispersive X-ray spectroscopy (EDAX). Sn and Mn-doped CdS thin films show a significant blue shift in the absorption spectrum. From the optical studies, The optical bandgap values are 2.43 eV (CdS), 2.28 eV (Mn:CdS) and 2.03 eV (Sn:CdS) respectively. Advanced magnetic saturation and coercivity have been studied for the doped CdS thin films. Consequently, the obtained results will lead to better performance for the optoelectronic and spintronic applications.
Electric vehicle aggregator/system operator coordination for charging scheduling and services procurement

Summary form only given. In response to the need for the decarbonization of the transport sector, it is expected that large fleets of electric vehicles (EVs) will constitute an important share of the electricity demand. This evolution is likely to be accompanied by a parallel evolution of the electricity supply business with the deployment of smart grid technologies. As a consequence, it is expected that demand will feature higher potential for communication and control, which will enable its active participation in the daily operational planning of power systems. In particular, EVs being equipped with a battery can both defer their demand or inject electricity back into the system. However, to achieve volumes that can have an impact on the system, these demands need to be aggregated and operated as an ensemble. This paper proposes the necessary adaptations to include the input of EV aggregation to electricity markets. This permits the scheduling of EV charging and services in coordination with the system operator thus enhancing the power system's efficiency and security while reducing its environmental impact. Results show that the EVs penetration levels that the system would be able to absorb without requiring expansion of the supply side, are significantly increased when coordination over their charging schedule is performed.
The efficiency of a helium-3 neutron detector evaluated using MCNPX

A compact neutron source based on a piezoelectric transformer has been developed as part of an on-going research effort into radioisotope source replacements for oil-well logging and non-destructive testing applications. One of the key features that will dictate the viability of the device is the effective neutron yield produced during operation. A proportional counter that uses 3He as the active sensing material was used for the purpose of detecting neutrons. The detector response to neutrons depends upon the efficiency of the 3He proportional counter tube in conjunction with the solid angle subtended by the source and the detector, as well as the material system that surrounds the proportional counter. The coupled geometry effect and energy dependence of the detector efficiency make an analytical solution prone to error. Additionally, obtaining a calibrated neutron source that mimics the size and desired activity of the piezoelectric transformer-based source was not in the scope of the research. Consequently, a numerical model of the neutron source and detector was developed and subjected to Monte Carlo analysis using MCNPX employing neutrons as the source particles. A sensitivity analysis of the detector position and orientation was used to determine the optimal location for high-sensitivity neutron counting.
Cultural Intelligence Stimulating Professional Adjustment

Contrary to earlier studies, this paper analyzed the influence of cultural intelligence (CQ) on professional adjustment of expatriates. The stimulators were four dimensions of CQ i.e. Cognitive, Meta-cognitive, motivational and Behavioral. The paper is quantitative in nature and a structured questionnaire was used to administer the survey. The target population of this research was senior and middle level Indian expatriates working with different companies in USA and Canada. The present research contradicted the earlier researches, which stated that cultural intelligence is helpful only in personal/social adjustment of expatriates not in professional adjustment. The results clearly indicated a positive relationship of motivational CQ and meta-cognitive CQ with professional adjustment of Indian expatriates. The results suggest that organizations must select those employees for expat assignments that long-for changes/challenges, and should train them to improve cross-cultural consciousness eventually leading to better professional adjustment at foreign locations.
A novel in situ efficiency estimation algorithm for three-phase induction motors operating with distorted unbalanced voltages

This paper presents a novel algorithm for in situ efficiency estimation for induction motors operating with distorted unbalanced voltages. The proposed technique utilizes the genetic algorithm, IEEE Form F2-Method F1 calculations, large motor test database and a new stray-load loss formula. The technique is evaluated by testing 3 small- and medium-sized induction motors with 11 different combinations of voltage unbalance and total harmonic distortion. The results showed acceptable accuracy. The technique may be used as a potential industrial tool that can help derate induction motors in the presence of voltage unbalance and harmonics distortion.
IDA-PBC with adaptive friction compensation for underactuated mechanical systems

In this work the control of underactuated mechanical systems with dry friction on actuated and unactuated joints is investigated. A new interconnection-and-damping-assignment passivity-based-control (IDA-PBC) design is presented, which includes the adaptive estimation of the friction forces and the introduction of a nonlinear dissipative term in the closed-loop system dynamics. As a result, the traditional IDA-PBC is complemented with an additional matching condition and the control law is augmented with a new term that accounts for the Coulomb friction forces on all joints. Two adaptive control paradigms are considered for comparison purposes and stability conditions are discussed. The control design is detailed for two demonstrative examples: the disk-on-disk system; the Acrobot system. The effectiveness of the proposed design is demonstrated with numerical simulations.
WOX4 Promotes Procambial Development1[W][OA]

Plant shoot organs arise from initial cells that are recruited from meristematic tissues. Previous studies have shown that members of the WUSCHEL-related HOMEOBOX (WOX) gene family function to organize various initial cell populations during plant development. The function of the WOX4 gene is previously undescribed in any plant species. Comparative analyses of WOX4 transcription and function are presented in Arabidopsis (Arabidopsis thaliana), a simple-leafed plant with collateral vasculature, and in tomato (Solanum lycopersicum), a dissected-leafed species with bicollateral venation. WOX4 is transcribed in the developing vascular bundles of root and shoot lateral organs in both Arabidopsis and tomato. RNA interference-induced down-regulation of WOX4 in Arabidopsis generated small plants whose vascular bundles accumulated undifferentiated ground tissue and exhibited severe reductions in differentiated xylem and phloem. In situ hybridization analyses of Atwox4-RNA interference plants revealed delayed and reduced expression of both the phloem developmental marker ALTERED PHLOEM1 and HOMEOBOX GENE8, a marker of the vascular procambium. Overexpression of SlWOX4 correlated with overproliferation of xylem and phloem in transgenic tomato seedlings. The cumulative data suggest that the conserved WOX4 function is to promote differentiation and/or maintenance of the vascular procambium, the initial cells of the developing vasculature.
Stray Load Losses Analysis of Cage Induction Motor Using 3-D Finite-Element Method With External Circuit Coupling

The stray load losses in electrical machines represent a non-negligible contribution of the total losses and are a key point for an accurate evaluation of the energy efficiency of the considered device. In this paper, a methodology using the 3-D finite-element (FE) modeling approach and a posteriori loss calculation is presented for the estimation of the stray load losses. The case of a cage induction motor is investigated, and results are compared with the experiment. The simulation is performed at different load conditions using a 3-D FE model with external circuit coupling.
muRedder: Shredding Speaker for Ephemeral Musical Experience

The experience of sound may be seen as fleeting or ephemeral, as it naturally disperses through space in waveforms unless recorded by media. We designed muRedder to reinstate the ephemerality of sound by shredding a song ticket that embeds a sound source while playing the song simultaneously. In this study, we explored ordinary music listening activities by turning intangible music content into tangible artefacts, making the music unable to be replayed, and representing the sound-fading process by shredding the ticket. We conducted a field study with 10 participants over seven days. The results showed that muRedder enabled users to focus solely on the music content and to actively find times to enjoy the music. We also found that limitedness of the media draws prudent decision in selecting music. By showing the process of consuming the invisible auditory content in a way that is tangibly perceivable, our findings imply new value for slow consumption of digital content and musical participation in public spaces.
A Novel Input-Side Current Sensing Method to Achieve AVP for Future VRs

This paper begins with a review of different current sensing methods for the voltage regulator (VR) to achieve adaptive voltage position (AVP). These methods are either inaccurate or with high power consumption for current sensing. Next, a new input-side current sensing method for AVP is proposed. The basic idea of the proposed method is to sense the average input current, which results in low power dissipation for current sensing. Meanwhile, a compensation circuit is proposed to eliminate current sensing errors due to input and output voltage variations. As a result, both low power dissipation and good current sensing accuracy can be achieved by applying the proposed method. The transient and tolerance analysis of this method are provided and a design guideline is illustrated and experimentally verified
Active-Clamping ZVS Flyback Converter Employing Two Transformers

This paper presents a two-transformer active-clamping zero-voltage-switching (ZVS) flyback converter, which is mainly composed of two active-clamping flyback converters. By utilizing two separate transformers, the proposed converter allows a low-profile design to be readily implemented while retaining the merits of a conventional single-transformer topology. The presented two-transformer active-clamping ZVS flyback converter can approximately share the total load current between two secondaries. Therefore, the transformer copper loss and the rectifier diode conduction loss can be decreased. Detailed analysis and design of this new two-transformer active-clamping ZVS flyback converter are described. Experimental results are recorded for a prototype converter with an ac input voltage ranging from 85 to 135 V, an output voltage of 24 V and an output current of 8 A, operating at a switching frequency of 180 kHz.
Identification of North American sister taxa to Macroscelidea suggests a North American origin for the order and a non-African origin for Afrotheria. Present evidence indicates that the restriction of Macroscelidea to Africa from the middle Eocene to the present

homoplasies rather than synapomorphies. The cotylar fossa (and associated enlarged medial malleolus), present in apheliscines and macroscelideans, is shared with hyracoids, proboscideans, tubulidentates, and their possible extinct relatives Meniscotherium and Plesiorycteropus. Living members of this assemblage of mammals have been classified in Ungulata by morphological systematists, but in Afrotheria by molecular systematists. Presence of a cotylar fossa does not seem to be associated with any particular mode of locomotion, because it occurs in fossorial (Tubulidentata, Plesiorycteropus) and scansorial (Hyracoidea) mammals, as well as in the cursorial/saltatorial macroscelideans. The cotylar fossa is also present in cercopithecoid primates and macropodid marsupials, and is therefore not unique to potential afrotheres, but it is absent in most mammals, including other cursorial and saltatorial mammals. The broad functional but restricted taxonomic distribution of the cotylar fossa makes it a potentially significant indicator of phylogenetic affinities and argues for a relationship of apheliscines and macroscelideans to hyracoids, proboscideans and tubulidentates. The combination of dental and tarsal characters in apheliscines is most consistent with a relationship to Hyracoidea and Proboscidea, regardless of whether these taxa are classified in Afrotheria or a monophyletic Ungulata. Identification of North American sister taxa to Macroscelidea suggests a North American origin for the order and a non-African origin for Afrotheria. Present evidence indicates that the restriction of Macroscelidea to Africa from the middle Eocene to the present is either relictual or (more likely) indicative of Palaeocene or Eocene dispersal to Africa. Therefore, the subsequent distribution of Macroscelidea no longer supports an African origin. Because Holarctic Palaeocene apheliscines and Paschatherium potentially represent the oldest known afrotheres, a non-African origin or relictual distribution is also implied for Afrotheria, a supposition supported by early non-African records of sirenians, proboscideans and possibly tubulidentates. Neither possibility supports claims that Placentalia originated in Gondwana, which are based partly on the assumption of an African origin for Afrotheria. This conclusion agrees with that of a recent phylogenetic analysis combining morphologic and molecular data that suggested paenungulate affinities for other North American ‘condylarths’. A
Deep Learning–based Eco-driving System for Battery Electric Vehicles

Author(s): Wu, Guoyuan; Ye, Fei; Hao, Peng; Esaid, Danial; Boriboonsomsin, Kanok; Barth, Matthew J. | Abstract: Eco-driving strategies based on connected and automated vehicles (CAV) technology, such as Eco-Approach and Departure (EAD), have attracted significant worldwide interest due to their potential to save energy and reduce tail-pipe emissions. In this project, the research team developed and tested a deep learning–based trajectory-planning algorithm (DLTPA) for EAD. The DLTPA has two processes: offline (training) and online (implementation), and it is composed of two major modules: 1) a solution feasibility checker that identifies whether there is a feasible trajectory subject to all the system constraints, e.g., maximum acceleration or deceleration; and 2) a regressor to predict the speed of the next time-step. Preliminary simulation with microscopic traffic modeling software PTV VISSIM showed that the proposed DLTPA can achieve the optimal solution in terms of energy savings and a greater balance of energy savings vs. computational efforts when compared to the baseline scenarios where no EAD is implemented and the optimal solution (in terms of energy savings) is provided by a graph-based trajectory planning algorithm.View the NCST Project Webpage
Understanding Museums - Museums, education and visitor experience

 Introduction: learning, the visiting experience and the art museum as educator, Des Griffin and Leon Paroissien  ‘Protecting the past, safeguarding the future’: museum studies, the profession and museum practice in Australia, Jennifer Barrett  What's driving children's cultural participation? , Barbara Piscitelli  The museum education mix: students, teachers and museum educators, Janette Griffin  Family visitors to museums in Australia, Lynda Kelly
A Bi-Level Optimization Approach for Optimal Operation of Distribution Networks with Retailers and Micro-grids

Distributed energy resources (DERs) including distributed generators (DGs) and controllable loads (CLs) are managed in the form of several microgrids (MGs) in active distributions networks (ADNs) to meet the demand locally. On the other hand, some loads of distribution networks (DNs) can be supplied by retailers which participate in wholesale energy markets. Therefore, there are several decision makers in DNs which their cooperation should be modeled for optimal operation of the network. For this purpose, a bi-level optimization approach is proposed in this paper to model the cooperation between retailers and MGs in DNs. In the proposed model, the aim of the upper level (leader) and lower level (follower) problems are to maximize the profit of retailers and to minimize the cost of MGs, respectively. To solve the proposed multi-objective bi-level optimization model, multi-objective Particle Swarm Optimization (MOPSO) algorithm is employed. The effectiveness of the proposed bi-level model and its solution methodology is investigated in the numerical results.
Comportamento de vacas leiteiras da raça holandesa, em pastagem de milheto com e sem sombra

Com os objetivos de avaliar o tempo total diario das principais atividades de vacas leiteiras em pastejo, de definir o intervalo de tempo adequado para a tomada do registro de comportamento de vacas leiteiras e de avaliar a influencia da disponibilidade de sombra em areas de pastagem nas respostas fisiologicas de vacas leiteiras, foi desenvolvido um experimento no Laboratorio de Bovinocultura de Leite do Departamento de Zootecnia da UFSM - RS com 18 vacas lactantes. O experimento foi composto por dois tratamentos: com sombreamento artificial (seis m2/vaca) e sem sombreamento. A oferta de forragem foi estimada a partir das estimativas de disponibilidade de forragem do milheto (Pennisetum americanum) realizadas no inicio de cada periodo de avaliacao comportamental. Foram realizados quatro periodos de avaliacao totalizando 20 horas diarias, sendo observada, a cada cinco minutos (periodo diurno) e a cada 10 minutos (periodo noturno), a ocorrencia das atividades de pastejo, ruminacao e ocio. Os diferentes intervalos de observacao avaliados foram: 5, 10, 15 e 20 minutos no periodo da manha e 10 e 20 minutos a noite. Os parâmetros fisiologicos avaliados foram: temperatura retal (°C), frequencia respiratoria (mov/min) e frequencia cardiaca (bat/min). Os animais foram distribuidos em um delineamento inteiramente casualizado com nove vacas por tratamento. A reducao na oferta de forragem aumentou o tempo de pastejo e de ruminacao e diminuiu o tempo de ocio. Os animais sem acesso a sombra diminuem o tempo de pastejo, sem conseguir compensa-lo com pastejo noturno. Houve diferenca na atividade de pastejo entre os periodos, sendo que as vacas pastejaram mais durante o dia que durante a noite. As vacas ruminaram mais a noite, nao havendo diferenca entre tratamentos, entretanto durante o dia as vacas sem disponibilidade de sombra permaneceram mais tempo em ruminacao. Para a atividade de ocio, nao foram observadas diferencas entre os periodos, nos animais sem acesso a sombra. Para os animais com acesso a sombra esta atividade foi maior no periodo noturno, o qual nao diferiu do tratamento sem acesso a sombra. Os tempos medios diurnos de pastejo, ruminacao e ocio nao diferiram (P>0,05) para os diferentes intervalos utilizados nos quatro periodos de observacao. Animais sem acesso a sombra artificial tem as temperaturas retais, frequencias respiratorias e frequencias cardiacas aumentadas em comparacao com os animais que tiveram acesso a sombra
Awareness of Indirect Information Disclosure on Social Network Sites

This research investigates user awareness and attitudes toward potential inferences of information posted on social network sites (SNSs). The study reports how user attitudes change after exposure to inferences made based upon information they have disclosed on an SNS, namely, on Facebook. To demonstrate this, two sub-studies involving three focus group sessions were conducted with Facebook users. In the first sub-study, the users received a general introduction to information that can be inferred from posts by using a prototypical privacy-enhancement tool called DataBait. Then, the second sub-study allowed the users to witness the potential inferences of their own Facebook photos and posts by using the DataBait tool. Next, qualitative content analysis was conducted to analyze the results, and these showed that the participants’ attitudes toward privacy on SNSs changed from affective to cognitive when they became aware of potential inferences from actual information posted on their own Facebook accounts. The results imply that end users require more cognitive awareness regarding their genres of disclosure and the effect of their disclosures on their privacy. Moreover, as privacy awareness is contextual, there is a need for more research and development of online tools that will allow users to manage and educate themselves.