Miracle-dz/UniFAR-FTUs huggingface dataset:
Calm Water and Seakeeping Investigation for a Fast Catamaran

In this paper calm water and in wave research activities on a high-speed displacement catamaran performed at CNRINSEAN in collaboration with the IIHR are presented. The selected geometry is the DELFT-372 catamaran, for which a large database is in construction through a series of NICOP projects. Calm water activity was carried out for the analysis of the interference phenomena; resistance, trim and sinkage tests have been performed for both the monohull and the catamaran with several separation lengths and for a wide range of Froude numbers (Fr=0.1÷0.8). Experimental (inner and outer) wave cuts have been also acquired for selected separation lengths and Froude numbers. Seakeeping tests with transient, regular and irregular waves are performed. Preliminarily, comparison with the experimental results in regular wave carried out at DELFT have been done. Seakeeping transient tests allowed the identification of the Froude number of maximum response; once it has been determined, regular wave experiments were used to assess the role of the nonlinearities on the hull motions at that Fr: several steepness and wavelengths of the incident wave system were considered. The measurements collected are a valuable data base for both hydrodynamic studies of high speed catamaran and CFD validation.
High strain insulation systems for compulsator rotors

As the power density requirement for new compulsator (CPA) designs increases, designers are driven to use more composites to reduce mass, spin the rotors faster to store more energy, and operate the machine at higher voltages to increase machine power output. In any particular compulsator design, the rotor windings are subjected to high strain levels as the rotor is spun and experiences radial growth. A critical component in the rotor winding design is the high voltage insulation. As the rotor is spun, the induced strains are applied to the insulation system on the coil conductors. This implies that over the operating life of a compulsator, the coil structure and the high voltage insulation must remain structurally intact, while undergoing repeated cyclic loading. This paper presents the design and testing of a compulsator rotor winding that has been recently fabricated at the Center for Electromechanics at The University of Texas at Austin. The paper focuses on the testing done both at room and elevated temperature to evaluate the winding structure and high voltage insulation system under both tensile and transverse strain conditions. Data presented suggests a factor of safety of at least five for strain to failure values and high voltage insulation good for at least twice line voltage after testing to strain failure.
Application of orthogonal-core transformer to series compensation for power system

This paper presents an orthogonal-core type series compensator for a power flow control in an electric power system. The orthogonal-core type series compensator is constructed with the variable inductors using the orthogonal-cores and capacitors. For reduction of harmonic currents, the orthogonal-core utilizes wedge gaps and third windings. The orthogonal-core type series compensator is able to control the active power and its flow direction.
Pull-in study for round double-gimbaled electrostatic torsion actuators

This paper reports an analytical study of the pull-in effect in round, double-gimbaled, electrostatic torsion actuators with buried, variable length electrodes, designed for optical cross-connect applications. We find that the fractional tilt at pull-in for the inner round plate in this system depends only on the ratio of the length of the buried electrode to the radius of the plate. The fractional tilt at pull-in for the outer support ring depends only on the ratio of the length of the buried electrode to the outer radius of the ring and the ratio of the ring's inner and outer radii. Expressions for the pull-in voltage are determined in both cases. General relationships are also derived relating the applied voltage to the resulting tilt angle, both normalized by their pull-in values. Calculated results are verified by comparison with finite element MEMCAD simulations, with fractional difference smaller than 4% for torsion-mode dominant systems.
Current Topics in Artiﬁcial Intelligence: Depth

This short survey discusses the role of depth in current deep learning research. Both positive and negative views towards this topic are provided and contrasted. On the positive side, the general philosophy behind depth is ﬁrst presented (Section 1), followed by support from both theory (Section 2), where we highlight the efﬁciency and representation power of deep models, and experiments (Section 3), where we use participants of ILSVRC to illustrate the point. On the negative side, we start with the well known issue of vanishing/exploding gradient (Section 4), and ﬁnally show how and why it is possible for a deep model to be approximated by a shallow one (Section 5). This is the ﬁrst of the four short surveys.
Proactivity, mindsets and the development of students’ entrepreneurial self-efficacy: behavioural skills as the catalyst

ABSTRACT With the promotion of entrepreneurship and innovation in higher education, university students have become the emerging entrepreneurial subjects worldwide. Developing students’ entrepreneurial self-efficacy can increase their entrepreneurial intentions and the likelihood to engage in student entrepreneurship. Recent studies have found that students’ implicit mindsets (i.e. growth mindsets and fixed mindsets) have significant impact on their entrepreneurial self-efficacy. Building upon these studies, we argue that not only students’ traits (i.e. proactivity) and mindsets influence the development of their entrepreneurial self-efficacy, students’ behavioural skills relevant to entrepreneurship (i.e. entrepreneurial behaviours) function as the catalyst in the web of relationships. To test the hypothesis, we surveyed 154 students in a public university of New Zealand. The results showed that university students’ entrepreneurial behaviours fully mediated the relationship between their fixed mindsets and entrepreneurial self-efficacy, and partially mediated the relationship between proactivity and entrepreneurial self-efficacy. The findings confirm the importance of both traits and mindsets in the development of students’ entrepreneurial self-efficacy, and also identify the bridging role of behavioural skills. This study contributes to the implicit theory approach for understanding entrepreneurial self-efficacy and highlights the importance of practising behaviour skills to foster students’ entrepreneurial self-efficacy.
Image Generation using Continuous Filter Atoms

In this paper, we model the subspace of convolutional ﬁlters with a neural ordinary differential equation (ODE) to enable gradual changes in generated images. Decom-posing convolutional ﬁlters over a set of ﬁlter atoms allows efﬁciently modeling and sampling from a subspace of high-dimensional ﬁlters. By further modeling ﬁlters atoms with a neural ODE, we show both empirically and theoretically that such introduced continuity can be propagated to the generated images, and thus achieves gradually evolved image generation. We support the proposed framework of image generation with continuous ﬁlter atoms using various experiments, including image-to-image translation and image generation conditioned on continuous labels. Without auxiliary network components and heavy supervision, the proposed continuous ﬁlter atoms allow us to easily manipulate the gradual change of generated images by controlling integration intervals of neural ordinary differential equation. This research sheds the light on using the subspace of network parameters to navigate the diverse appearance of image generation.
Security Assessment of Common Open Source MQTT Brokers and Clients

Security and dependability of devices are paramount for the IoT ecosystem. Message Queuing Telemetry Transport protocol (MQTT) is the de facto standard and the most common alternative for those limited devices that cannot leverage HTTP. However, the MQTT protocol was designed with no security concern since initially designed for private networks of the oil and gas industry. Since MQTT is widely used for real applications, it is under the lens of the security community, also considering the widespread attacks targeting IoT devices. Following this direction research, in this paper we present an empirical security evaluation of several widespread implementations of MQTT system components, namely five broker libraries and three client libraries. While the results of our research do not capture very critical flaws, there are several scenarios where some libraries do not fully adhere to the standard and leave some margins that could be maliciously exploited and potentially cause system inconsistencies.
Affects in Online Stakeholder Engagement: A Dissensus Perspective

A predominant assumption in studies of deliberative democracy is that stakeholder engagements will lead to rational consensus and to a common discourse on corporate social and environmental responsibilities. Challenging this assumption, we show that conflict is ineradicable and important and that affects constitute the dynamics of change of the discourses of responsibilities. On the basis of an analysis of social media engagements in the context of the grand challenge of plastic pollution, we argue that civil society actors use mobilization strategies with their peers and inclusive-dissensus strategies with corporations to convert them to a new discourse. These strategies use moral affects to blame and shame corporations and solidarity affects to create feelings of identification with the group and to avoid disengagement and polarization. Our research contributes to the literature on deliberative democracy and stakeholder engagement in social media in the collective constructions of discourses on grand challenges.
Is It Possible to Earn Abnormal Return in an Inefficient Market? An Approach Based on Machine Learning in Stock Trading

Risk management and stock investment decision-making is an essential topic for investors and fund managers, especially in the context of the COVID-19 pandemic. The problem becomes easier if the market is efficient, where stock prices fully reflect potential risk. Nevertheless, if the market is not efficient, investors may have an opportunity to find an effective investment method. Vietnam is one of the emerging markets; the efficiency is still weak. Thus, there will be an opportunity for astute investors. This study aims to test the weak-form efficient market and provide a modern approach to investors' decision-making. To achieve that aim, this study uses historical data of stocks in the VN-Index and VN30 portfolio to buy and sell within a one-day period under the rolling window approach to test the Ho Chi Minh City Stock Exchange (HoSE) through a runs test and to perform stock trading using the support vector machine (SVM) and logistic regression. The buying/selling of stocks is guided by the forecasted outcomes (increase/decrease) of logistic regression and SVM. This study adjusted the return rate in proportion to the risks and compared it with index investments of VN-Index and VN30 to evaluate investment efficiency. The test results dismissed the weak-form efficient-market hypothesis, which opens up many opportunities for short-term traders. This study's primary contribution is to provide a stock trading strategy for short-term investors to maximize trading profits. Because logistic regression and SVM have proven effective trading methods, investors can use them to achieve abnormal returns.
An accurate experimental apparatus for measuring losses in magnetic components

An experimental apparatus has been designed and built to accurately measure losses in magnetic components. The apparatus consists of a highly conductive pedestal on which the device under test (DUT) is mounted. A heat flux sensor placed under the pedestal is used to measure the total heat generated in the DUT. The pedestal along with the heat-flux sensor is placed inside an evacuated chamber to minimize heat loss by convection. Calibration of the apparatus with power resistors showed that it is accurate to within 5% in the power range of interest. A detailed parametric analysis of the factors affecting the accuracy of the apparatus is presented. This apparatus is ideally suited for planar magnetic components.
Discrete time modeling and control of the voltage source converter for improved disturbance rejection

A new voltage source converter control approach is presented, based on multivariable z-domain control techniques. Using time-averaging theory in the synchronous reference frame, a linear time-varying model of the converter is developed. The new model may be directly employed as an efficient simulation tool and used as a basis for developing discrete time inverter controls. Application of digital control techniques results in current step tracking in one switching period, with zero overshoot. While DC load fluctuations are rapidly compensated through nonlinear feedforward, AC system voltage disturbances are rejected through a positive and negative sequence bias estimation scheme. As a result, the converter may operate at its current limit under even severe AC voltage unbalance and only a balanced AC current will flow, thus ensuring full protection of the semiconductor devices in all three converter legs. Experimental results validate both the time-varying simulation model as well as the proposed control design.
Litter‐trapping tank bromeliads in five different forests: Carbon and nutrient pools and fluxes

Bromeliads are the most abundant litter‐trapping plants in Neotropical forest canopies. By intercepting litter, bromeliads obtain and retain nutrients before they reach the pedosphere. Here, we analyzed the litter captured and stored by tank bromeliads (TB) in five different forests along an elevation gradient in Mexico. Among those forests, carbon and nutrient pools and nitrogen fluxes in TB were estimated in a mangrove (MF) and a semi‐deciduous tropical forest (SDTF). The composition of the litter trapped by TB along the gradient was similar to forest litterfall and was mainly composed of leaves. Most of the litter was captured in the dry season, and we found a significant effect of projected plant area and the interaction between month and site on bromeliad litter capture. Moreover, litter stored in TB increased exponentially with projected plant area and differed between three studied bromeliad species. In the MF (with ca. 2,700 TB ha−1), barely ca. 1% of annual litterfall is trapped by these plants, but even in the SDTF, with >10,000 TB ha−1, only ca. 2.4% is captured. We found that carbon and nitrogen pools in TB were small and represented <1% of the carbon and nitrogen stored in forest aboveground biomass. Furthermore, the residence time of litter trapped in TB was similar to that of litter on the forest floor. In the light of our results, we conclude that in the studied forests, the effect of TB on the forest carbon and nutrient cycle is negligible.
A broadband tunable distributed feedback resonator

A tunable Bragg-type distributed feedback microwave resonator is presented. The resonator is formed by a transmission line periodically loaded with varactor diodes. A tunable periodic superstructure is superimposed on the transmission line by periodically DC biasing the varactor diodes. Two resonators of this type were fabricated, one on an alumina substrate in coplanar hybrid integrated technology and the second in microstrip on RT-Duroid substrate. With this resonator configuration, tuning bandwidths from 400 MHz to 4 GHz and 200 MHz to 2 GHz, respectively, were achieved. <<ETX>>
Mechanical Capsid Maturation Facilitates the Resolution of Conflicting Requirements for Herpesvirus Assembly

The minor capsid protein UL25 plays a critical role in the mechanical maturation of the HSV-1 capsid during virus assembly and is required for stable DNA packaging. We modulated the UL25 capsid interactions by genetically deleting different UL25 regions and quantifying the effect on mechanical capsid stability using an atomic force microscopy (AFM) nanoindentation approach. ABSTRACT Most viruses undergo a maturation process from a weakly self-assembled, noninfectious particle to a stable, infectious virion. For herpesviruses, this maturation process resolves several conflicting requirements: (i) assembly must be driven by weak, reversible interactions between viral particle subunits to reduce errors and minimize the energy of self-assembly, and (ii) the viral particle must be stable enough to withstand tens of atmospheres of DNA pressure resulting from its strong confinement in the capsid. With herpes simplex virus 1 (HSV-1) as a prototype of human herpesviruses, we demonstrated that this mechanical capsid maturation is mainly facilitated through capsid binding auxiliary protein UL25, orthologs of which are present in all herpesviruses. Through genetic manipulation of UL25 mutants of HSV-1 combined with the interrogation of capsid mechanics with atomic force microscopy nano-indentation, we suggested the mechanism of stepwise binding of distinct UL25 domains correlated with capsid maturation and DNA packaging. These findings demonstrate another paradigm of viruses as elegantly programmed nano-machines where an intimate relationship between mechanical and genetic information is preserved in UL25 architecture. IMPORTANCE The minor capsid protein UL25 plays a critical role in the mechanical maturation of the HSV-1 capsid during virus assembly and is required for stable DNA packaging. We modulated the UL25 capsid interactions by genetically deleting different UL25 regions and quantifying the effect on mechanical capsid stability using an atomic force microscopy (AFM) nanoindentation approach. This approach revealed how UL25 regions reinforced the herpesvirus capsid to stably package and retain pressurized DNA. Our data suggest a mechanism of stepwise binding of two main UL25 domains timed with DNA packaging.
Gut Microbiota Linked with Reduced Fear of Humans in Red Junglefowl Has Implications for Early Domestication

Domestication of animals can lead to profound phenotypic modifications within short evolutionary time periods, and for many species behavioral selection is likely at the forefront of this process. Animal studies have strongly implicated that the gut microbiome plays a major role in host behavior and cognition through the microbiome–gut–brain axis. Consequently, herein, it is hypothesized that host gut microbiota may be one of the earliest phenotypes to change as wild animals were domesticated. Here, the gut microbiome community in two selected lines of red junglefowl that are selected for either high or low fear of humans up to eight generations is examined. Microbiota profiles reveal taxonomic differences in gut bacteria known to produce neuroactive compounds between the two selection lines. Gut–brain module analysis by means of genome‐resolved metagenomics identifies enrichment in the microbial synthesis and degradation potential of metabolites associated with fear extinction and reduces anxiety‐like behaviors in low fear fowls. In contrast, high fear fowls are enriched in gut–brain modules from the butyrate and glutamate pathways, metabolites associated with fear conditioning. Overall, the results identify differences in the composition and functional potential of the gut microbiota across selection lines that may provide insights into the mechanistic explanations of the domestication process.
Minority carrier lifetime results for SOI wafers

SOI technology is based upon the difficult process of fabricating thin silicon films on an insulating layer. This thin silicon layer is the active layer of the device, but it is difficult to obtain electrical characterization of this layer. We are testing a technique for Quality Control and Quality Assessment (QC/QA) by providing rapid, non-invasive, non-contact characterization. This technique is to measure the apparent lifetime of carriers excited by pulsed optical excitation. We infer the effective carrier lifetime from the data by means of an integral of modulating functions with the observed exponentially decaying signal. This provides a robust measure of lifetime with no operator input. This system has been used to determine lifetimes as short as 15 nanoseconds (for a SOI wafer) and as long as 350 /spl mu/seconds (for a bulk wafer) with a reproducibility of about 10%.
Reclamation with trees pre- and post-SMCRA in Southern Illinois

Abstract I compare survival and heights of trees of similar ages planted pre-law on sites ungraded or dragline-leveled, and post-law on. sites ungraded or bulldozer-graded or graded with topsoil replaced by pan scrapers. Relative heights at age 10 of trees of five species (silver maple [Acer sacckmmum L. ], white ash [Fraxminus americana L. ], black walnut [Juglans nigra L. ], sweetgom [Liquidambar styraciflua L. ], and tuliptree [Liriodendron tulipifera L. ] planted on ungraded cast overbwden pre-law in 1947 and postdaw in 1981 and 1982 were similar within species and varied among species. For the trees planted post-law, heights and growth rates in the preceding five years of all species were greater on cast overburden whether ungraded or graded than on replaced topsoil. Grading, and topsoil replacement, adversely affected survival of two species. A typical rooting medium pre-law was deep and well-drained with fresh minerals from coarse fragments in a mixed cast overburden. Relatively poor tree performance on.
EnBinDiff: Identifying Data-Only Patches for Binaries

In this article, we focus on <bold>data-only</bold> patches, a specific type of security patches <italic>not incurring any structural changes</italic>. As one of the most significant causes leading to false negatives, data-only patches become a fundamental problem that affects all state-of-the-art binary diffing approaches/tools. To this end, we first systematically study data-only patches, and thoroughly illustrate the essence and adverse effect on existing tools. Based on the observations, we further propose and implement a system named <monospace>EnBinDiff</monospace> based on Value Set Analysis (VSA) to effectively identify data-only patches. Specifically, <monospace>EnBinDiff</monospace> first precisely identifies functions from binaries, and then efficiently locates all “matched” function pairs based on structural binary diffing. After that, <monospace>EnBinDiff</monospace> performs <italic>data-only patch analysis</italic>, including stack frame matching and constant value matching, to identify data-only patches from the matched functions. To demonstrate the effectiveness of <monospace>EnBinDiff</monospace>, we conduct an extensive evaluation with multiple datasets. The results demonstrate that the proposed system outperforms state-of-the-art binary diffing tools, and the false negative rate is reduced from 11.02% to 1.63%. Furthermore, we apply <monospace>EnBinDiff</monospace> to analyze real-world binaries, and successfully identify 20 1-day vulnerabilities.