Miracle-dz/UniFAR-FTUs huggingface dataset:
Experimental study of surface generating process in tangential ultrasonic vibration assisted grinding for titanium alloys

This paper presents a fundamental investigation of the surface generating mechanisms involved in Tangential ultrasonic vibration assisted grinding (TUAG) for Titanium alloys processing. The relationship between ultrasonic vibration, grinding parameters and surface quality is illuminated; the grain paths chasing phenomena is pointed out to describe the surface forming, the surface topography and micro structure are studied and analyzed by a series of experiments. The influence of grain paths overlap and interfere on surface roughness and grinding force are studied respectively. A series of experiments designed by three-variable four-level fractional factorial is used to evaluate the machining performance. The experimental results are employed to clarify the surface features of Titanium alloys fabricated by ultrasonic vibration assisted grinding, in order to explain the interaction effects of the ultrasonic parameters on material removal rate, grinding force and surface quality. Experimental results show that the grinding force of TUAG is less than that of CG. At the spindle speed of 2000rpm, the grinding force in TUAG is 13N less than that in CG, which greatly optimizes the machining process and improves the surface machining quality.
Interface of the Natural Ventilation Systems with Building Management Systems

The vertical city is increasingly being seen as the most viable solution for many urban centers. However, being vertical means constructing tall buildings which imply a large amount of energy requirement mostly due to the mechanical ventilation systems. Replacing these systems with natural ventilation is of importance on the way of achieving sustainable buildings and cities. However, there are many challenges in incorporating natural ventilation systems into tall office buildings. Because, having a far distance from the ground levels, tall buildings are exposed to turbulent and unstable wind conditions. Therefore, advanced technical systems to monitor/control a tall building is required even though natural ventilation is mostly considered a passive, low technological approach to condition a building. These systems utilize sensors to measure internal environmental conditions and external conditions of air temperature, humidity, wind velocity, and rain to utilize passive or active modes, based on the data received. To integrate such systems, in most cases, a hybrid approach is required to fill the gap between the natural and mechanical ventilation systems. Since, climate conditions may not be suitable for solely depending on natural ventilation throughout the year, using mechanical ventilation systems as a back-up to natural ventilation is mostly required. Based on this approach, this study presents advanced natural ventilation strategies of a number of buildings integrating Building Management Systems. Throughout the study, it is intended to guide further researches on natural ventilation and consequently to contribute to the environmental quality of urban areas and smart sustainable development of the cities.
Feeding habits of the endangered Japanese diving beetle Hydaticus bowringii (Coleoptera: Dytiscidae) larvae in paddy fields and implications for its conservation

The diving beetle Hydaticus bowringii Clark, 1864 (Coleoptera: Dytiscidae) is on the Red List of Japan as 'Near Threatened'. However, there is no quantitative information on the feeding habits of its larvae, which could be used to aid its conservation. In order to determine the prey that are important for the survival and growth of larvae of H. bowringii, we combined the results of field surveys of paddy fields and rearing experiments. In the field, H. bowringii larvae predominantly feed on tadpoles of five species of frogs and occasionally also on insects, loaches and worms. The phenology of the tadpoles was similar to that of larvae of H. bowringii, as their abundances increased from May to June and decreased in July. Experimentally reared larvae of H. bowringii grew faster when fed tadpoles than when fed Sigara nymphs or a mixture of both prey, and more emerged as adults when tadpoles were included in their diet. Adults were larger in the tadpole treatment than in the Sigara treatment. Based on these results, we conclude that tadpoles are more suitable prey for the survival and growth of larvae of H. bowringii than insects. The decline in the abundance of frogs could be one of the factors determining the decrease in the local abundances of H. bowringii. In conclusion, we affirm that in order to conserve populations of H. bowringii it is crucial to maintain paddy field environments in which frogs are abundant.
4E cognition and the dogma of harmony

ABSTRACT In recent years, we have witnessed the rise of a contemporary approach to cognitive psychology known as 4E cognition. According to this ‘extracranial’ view of cognition, the mind is not ensconced in the head, but dynamically intertwined with a host of different entities, social as well as technological. The purpose of the present article is to raise a concern about 4E cognition. The concern is not about whether the mind is in fact extended, but about how this condition is currently portrayed in the 4E literature. It is argued that 4E scholars tend to paint an overly idealized picture of human–technology relations in which all entities are presumed to cooperate and collaborate. The article first describes the basic tenets of extended cognition and distributed cognition, two of the most thingly approaches in this new wave of cognitive psychology. It then proceeds to discuss the twin notions of cognition and representation and argues that it may be time to leave these concepts behind. Finally, it sketches out the so-called ‘dogma of harmony’ in the 4E literature and argues for the importance of making analytical room for conflictual human–technology relations. Two examples of such conflictual relations are provided: bad habits and deskilling.
Urban gulls adapt foraging schedule to human-activity patterns

Numerous animals are able to adapt to temporal patterns in natural food availability, but whether species living in relatively novel environments such as cities can adapt to anthropogenic activity cycles is less well understood. We aimed to assess the extent to which urban gulls have adapted their foraging schedule to anthropogenic food source fluctuations related to human activity by combining field observations at three distinct urban feeding grounds (park, school and waste centre) with global positioning system (GPS) tracking data of gulls visiting similar types of feeding grounds throughout the same city. We found that the birds’ foraging patterns closely matched the timing of school breaks and the opening and closing times of the waste centre, but gull activity in the park appeared to correspond to the availability of natural food sources. Overall, this suggests that gulls may have the behavioural flexibility to adapt their foraging behaviour to human time schedules when beneficial and that this trait could potentially enable them to thrive in cities.
Ionic liquid–solvent mixtures as supercapacitor electrolytes for extreme temperature operation

Ionic liquid (IL)-based electrolytes containing molecular solvents were shown to be attractive for extreme temperature applications in electric double layer capacitors (EDLCs). In particular, the IL–butyronitrile (BuCN) mixture provides high capacitance (around 125 F g−1 at 500 mA g−1) independent of testing temperature, and superior performance at high current rates (reduced current dependence at high rates). Importantly, the IL–BuCN electrolyte can safely operate between −20 and + 80 °C, which overcomes the high temperature limitations of current commercial EDLCs. An additional advantage of IL–solvent mixtures is that the higher concentration of IL ions in the mixtures allows a greater specific capacitance (F g−1) to be achieved. The conductivity of the ionic liquid N-butyl-n-methylpyrrolidinium bis(trifluoromethane sulfonyl) imide (PYR14TFSI) could be increased from 2.48 mS cm−1 up to 45 mS cm−1 by mixing with an appropriate solvent. Importantly, these solvent mixtures also retain a wide electrochemical voltage window, in the range 4–6 V.
The importance and differences of analytical procedures' application for auditing blockchain technology between external and internal auditors in Croatia

Abstract Nowadays audit profession is faced with an excessive evolution of the information and communication technology (ICT). The effects of ICT on auditing are dual. On the one hand, auditing is faced with the digitalization of companies’ business operations, and on the other, auditors must be able to adapt their methodologies to these changes in order to be able to audit implemented ICT in the companies’ business operations. One of the latest ICT innovations includes the application of blockchain technology (BCT) in different business operations of a company, which represents the object of auditing. In order to audit BCT, auditors must apply appropriate audit procedures, whereas analytical procedures (APs) represent the most useful one. The subjects of this paper are external and internal auditors, and their application of APs for auditing implemented BCT in the companies’ business operations, in Croatia. Therefore, the main objective of this paper is to investigate the differences in the APs’ application and its usefulness for auditing BCT, as an emerging ICT, between external and internal auditors. To investigate the main objective of the paper, desk research and survey research were conducted. Overall results indicated that external and internal auditors in Croatia are aware that auditing BCT requires the application of advanced APs, for what they need to possess excellent knowledge about APs and BCT. Obtained results showed that auditors in Croatia possess below-average knowledge about APs and BCT. Therefore, the necessity for specialized education of external and internal auditors is inevitable. Regarding the investigation of differences in the readiness to audit BCT between external and internal auditors in Croatia, the results confirmed that external auditors are more ready to audit BCT than internal auditors. Finally, research results confirmed that the application of advanced APs in audit engagements will increase the efficiency and effectiveness of companies’ business operations supported by the BCT.
Family Coping Strategies During Finland’s COVID-19 Lockdown

During spring 2020, the COVID-19 pandemic and global lockdowns fundamentally changed families’ everyday lives. This study aims to examine how families with children coped during the COVID-19 lockdown in Finland and what kind of coping strategies they developed. An online survey including both qualitative and quantitative questions was conducted between April and May 2020 to gather Finnish families’ experiences during the COVID-19 lockdown. In this study, we focus on information from one open-ended question, and Huston’s social-ecological theory was used as an analytical framework. The results showed that Finnish families employed coping strategies on three levels: macroenvironmental, relationship, and individual. This supports the argument that to better understand families’ coping strategies, the macrosocietal environment surrounding families, their relationships, and the interactions between family members, as well as individual decisions and attitudes, should be taken into account.
A Method for Assessing the Stability of Digital Automatic Control Systems (ACS) with Discrete Elements. Hypothesis and Simulation Results

The article presents a new approach to the analysis of the stability of automatic systems with discrete links.In almost all modern automatic control systems, there are links that break signals in time. These are power controlled switches - transistors or thyristors operating in a pulsed mode and digital links in regulators.Time discretization significantly affects the stability of processes in the automatic control system. The theoretical analysis of such systems is rather complicated and requires a significant change in engineering approaches to analysis. In connection with the improvement of digital controllers and a significant increase in their performance, in recent years this problem has practically not been remembered. However, its mathematical "content" has not changed since the 80s of the 20th century, when discreteness began to play a major role among the problems hindering progress in automatic control systems, in terms of the transition to digital systems.In this paper, a new approach is proposed, which consists in interpreting the sampling operation by a link with the proposed frequency characteristic, which determines the suppression of input high-frequency signals. This link greatly simplifies engineering calculations and demonstrates the new capabilities of sampling systems. These possibilities include the rational distribution of digitalization resources - the number of bits and the sampling interval between the regulator channels, depending on the frequency range of the efficiency of these channels. Theoretical statements have been verified and confirmed by simulation. It is shown how this approach makes it possible to formulate new principles of construction of seemingly well-known controllers - PID controllers and variable structure systems (VSS).
PARAMETRIC MANDIBLE RECONSTRUCTION PLATE

This study investigated the feasibility of a parametric mandible reconstruction plate in order to reduce surgical lead time, improve fit, and reduce residual stresses. The parametric plates were generated on the basis of simulated cephalometric measurements. A finite element analysis and a reconstruction plate/mandible fit test were performed on several combinations to determine whether the parametric plate provided a suitable alternative to conventional reconstruction plates in terms of fit and structural performance. The results indicated that the parametric plate is structurally superior to a conventional plate. The comparison test indicated that the parametric plate provides a reasonable approximation of mandible geometry.
Distributed M-ary hypothesis testing for decision fusion in multiple-input multiple-output wireless sensor networks

: In this study, the authors study binary decision fusion over a shared Rayleigh fading channel with multiple antennas at the decision fusion centre (DFC) in wireless sensor networks. Three fusion rules are derived for the DFC in the case of distributed M -ary hypothesis testing, where M is the number of hypothesis to be classified. Namely, the optimum maximum a posteriori (MAP) rule, the augmented quadratic discriminant analysis (A-QDA) rule and MAP observation bound. A comparative simulation study is carried out between the proposed fusion rules in-terms of detection performance and receiver operating characteristic (ROC) curves, where several parameters are taken into account such as the number of antennas, number of local detectors, number of hypothesis and signal-to-noise ratio. Simulation results show that the optimum (MAP) rule has better detection performance than A-QDA rule. In addition, increasing the number of antennas will improve the detection performance up to a saturation level, while increasing the number of the hypothesis will deteriorate the detection performance.
‘You can rent it for a while, but it is our house’: Sports fans’ experience of returning ‘home’ to a new multipurpose stadium

Understanding how stadium landscapes are constructed and used, how their elements relate to the broader local fan community is to understand a good deal about the culture, values and concerns of the people who use it. Yet, despite the unique role sports stadiums have in facilitating a memorable match-day experience, theorising this space remains underdeveloped. This research investigates contemporary stadium design and use from a fan perspective by examining the factors that enhance and inhibit the experience in a newly built multipurpose and shared stadium space. The research illustrates how transitioning to a new stadium involves a complex paradox between old traditions and new spaces. This paper has two objectives. First, it explores how the fans of an Australian rugby league team reimagine the concept of ‘home’ in a newly built multipurpose and multi-tenanted stadium. Second, the paper explores how this sense of home and, by extension, belonging was amplified by the club’s ‘dressing’ of the stadium. We argue that in the resettlement of fans, the use of symbols and rituals provides a scaffold for supporters to build an emotional connection to a new stadium, whilst also understanding that they, too, are active in the process of reimaging the stadium space.
Detection of Ki67 Hot-Spots of Invasive Breast Cancer Based on Convolutional Neural Networks Applied to Mutual Information of H&E and Ki67 Whole Slide Images

Ki67 hot-spot detection and its evaluation in invasive breast cancer regions play a significant role in routine medical practice. The quantification of cellular proliferation assessed by Ki67 immunohistochemistry is an established prognostic and predictive biomarker that determines the choice of therapeutic protocols. In this paper, we present three deep learning-based approaches to automatically detect and quantify Ki67 hot-spot areas by means of the Ki67 labeling index. To this end, a dataset composed of 100 whole slide images (WSIs) belonging to 50 breast cancer cases (Ki67 and H&E WSI pairs) was used. Three methods based on CNN classification were proposed and compared to create the tumor proliferation map. The best results were obtained by applying the CNN to the mutual information acquired from the color deconvolution of both the Ki67 marker and the H&E WSIs. The overall accuracy of this approach was 95%. The agreement between the automatic Ki67 scoring and the manual analysis is promising with a Spearman’s ρ correlation of 0.92. The results illustrate the suitability of this CNN-based approach for detecting hot-spots areas of invasive breast cancer in WSI.
Competitive fit‐revelation sampling and mixed pricing strategy

When firms launch new products, consumers may be uncertain about whether these products fit their individual preferences before they have any personal experience with them. Such consumer fit uncertainty is very common for products sold online. To resolve this uncertainty, firms may provide fit‐revelation sampling along with competitive pricing depending on their competitors' strategies. In this paper, we formulate a game‐theoretical model to study the fit‐revelation sampling strategies for two competing firms of substitute products in a market consisting of switchers and nonswitchers. We derive equilibrium sampling and pricing strategies and provide conditions under which the two firms adopt symmetric or asymmetric sampling strategies. Our analysis provides possible explanations on why different sampling strategies are observed among competing firms in practice. We show that fit‐revelation sampling can be an important market differentiation tool. Adopting asymmetric sampling strategies, the two firms can take advantage of the market differentiation effect to avoid head‐on competition and make both of them better off. Counter‐intuitively, the profits of both firms can be increasing in the degree of competition (i.e., the size of switchers), and decreasing in the size of nonswitchers. We also provide new insights on the cause of price dispersion for competing firms facing consumer fit uncertainty. This would help firms to adjust their promotion strategies in accordance with their sampling campaigns. We extend the model to consider a more general case in which firms have different sizes of nonswitchers. We show that the firm with a larger size of nonswitchers is more willing to provide fit‐revelation sampling if the benefit from dropping low‐value consumers through sampling is large. Targeted sampling and pricing strategies are further examined in this paper. We show that firms always prefer asymmetric sampling strategies when targeting the group of switchers.
Mathematics for Computer Science: A Flipped Classroom with an Optional Project

The Mathematics for Computer Science mandatory course was conducted in a flipped classroom (FC) setting with an optional, voluntary, project-based learning (PBL) component. The objective of this study was to examine the effect of studying in an FC setting, with and without PBL, on students’ problem-solving performance, conceptual understanding, and affective perceptions. Participants were 374 undergraduate freshmen and sophomores, of whom 20% elected to participate in an optional probability PBL. The most significant finding was the reinforcement of collaboration, as reflected by teamwork on problem solving during the FC class time. The PBL students demonstrated an advantage in their performance over their peers in probability—the topic they explored, and in their positive responses regarding studying in the FC setting, with an emphasis on the collaborative learning component. The research demonstrates the importance of active engagement in a technology-based environment in which STEM undergraduate students solve problems and implement projects.
Autoignition Dynamics of N-dodecane Droplets under Normal Gravity

ABSTRACT Experimental observations of two-stage autoignition dynamics of fiber-supported normal dodecane droplets in air under normal gravity are presented for a range of pressures and temperatures. High-speed shadowgraph imaging of the autoignition process reveals cool-flame and hot-flame front-formation and propagation dynamics. During two-stage ignition, a cool-flame kernel is first formed below the droplet; it then propagates toward the droplet along the fuel-vapor plume, and subsequently a hot-flame kernel is established behind the cool-flame front which rapidly expands, engulfing the droplet and establishing the classical diffusion flame. Results for the cool-flame and hot-flame kernel locations and their propagation speeds are presented for a range of ambient pressures, varying between normal atmospheric pressure and super-critical pressures and temperatures.
Network-Wide Forwarding Anomaly Detection and Localization in Software Defined Networks

A crucial requirement for Software Defined Network (SDN) is that data plane forwarding behaviors should always agree with control plane policies. Such requirement cannot be met when there are forwarding anomalies, where packets deviate from the paths specified by the controller. Most anomaly detection methods for SDN install dedicated rules to collect statistics of each flow, and check whether the statistics conform to the “flow conservation principle”. We find these methods have a limited detection scope: they look at one flow each time, thus can only check a small number of flows simultaneously. In addition, dedicated rules for statistics collection can impose a large overhead on flow tables of SDN switches. To this end, this paper presents FOCES, a network-wide forwarding anomaly detection and localization method in SDN. Different from previous methods, FOCES applies a new kind of flow conservation principle at network wide, and can check forwarding behaviors of all flows in the network simultaneously, without installing any dedicated rules. Finally, FOCES applies a voting-based method to localize malicious switches when anomalies are detected. Experiments with four network topologies show that FOCES can achieve a detection precision higher than 90%, when the packet loss rate is no larger than 10%, and a localization accuracy of around 80% when the packet loss rate is no larger than 5%.