Miracle-dz/UniFAR-FTUs huggingface dataset:
On the effect of rotation on magnetohydrodynamic turbulence at high magnetic Reynolds number

This article is focused on the dynamics of a rotating electrically conducting fluid in a turbulent state. As inside the Earth's core or in various industrial processes, a flow is altered by the presence of both background rotation and a large scale magnetic field. In this context, we present a set of 3D direct numerical simulations of incompressible decaying turbulence. We focus on parameters similar to the ones encountered in geophysical and astrophysical flows, so that the Rossby number is small, the interaction parameter is large, but the Elsasser number, defining the ratio between Coriolis and Lorentz forces, is about unity. These simulations allow to quantify the effect of rotation and thus inertial waves on the growth of magnetic fluctuations due to Alfvén waves. Rotation prevents the occurence of equipartition between kinetic and magnetic energies, with a reduction of magnetic energy at decreasing Elsasser number Λ. It also causes a decrease of energy transfer mediated by cubic correlations. In terms of flow structure, a decrease of Λ corresponds to an increase in the misalignment of velocity and magnetic field.
Global Analysis of Dynamical Systems: Festschrift dedicated to Floris Takens for his 60th birthday

Preface. 1 Forced oscillations and bifurcations Floris Takens. 2 Historical behaviour in smooth dynamical systems David Ruelle. References. 3 Implicit formalism for affine-like maps and parabolic composition Jacob Palis and Jean-Christophe Yoccoz. On Floris as a friend. 3-1 On homoclinic bifurcations. 3-2 Implicit formalism for affine-like maps. 3-3 Parabolic composition. References. 4 Strong resonances and Takens's Utrecht preprint Bernd Krauskopf. 4-1 Setting and notation. 4-2 Zq-equivariant normal forms. 4-3 Weak resonance. 4-4 Strong resonances. 4-5 Strong resonance for q = 4. 4-6 From the normal form to the full dynamics. References. 5 Semi-local analysis of the k : 1 and k : 2 resonances in quasi-periodically forced systems Florian Wagener. 5-1 Preliminaries. 5-2 Normal form analysis. 5-3 Semi-local bifurcation analysis of the k: 1 resonance. 5-4 Semi-local bifurcation analysis of the k: 2 resonance. 5-5 Conclusions.vi . Acknowledgements. References. 6 Generic unfolding of the nilpotent saddle of codimension four Freddy Dumortier, Peter Fiddelaers and Chengzhi Li. 7 Exponential confinement of chaos in the bifurcation sets of real analytic difeomorphisms. 8 Takens-Bogdanov bifurcations without parameters and oscillatory shock profiles. 9 Global birfurcations of periodic orbits in the forced Van der Pol equation. 10 An unfolding theory approach to bursting in fast-slow systems. 11 The intermittency route to chaotic dynamics. 12 Homoclinic points in complex dynamical systems. Excitation of elliptic normal modes of invariant tori in volume perserving flows. 14 On the global dynamics of Kirchhoff's equations: rigid body models for underwater vehicles. 15 Global dynamics and fast indicators. 16 A general nonparametric bootstrap test for Granger causality. 17 Birkhoff averages and bifurcations. 18 The multifractal analysis of Birkhoff averages and large deviations. 19 Existence of absolutely continuous invariant probability measures for multimodal maps. 20 On the dynamics of the renormalization operator. Index
Green Criminology and Rhetoric of Public Opinion: Online Commenting on Gas Rigs Near Israel's Coast

ABSTRACT This study identifies the key themes in online commenting on news reports about gas rig placements near Israel’s coastline. We employed an inductive thematic analysis to study 1276 comments and three main themes emerged from the analysis: (a) views on protesting against the rigs; (b) criminal labels; and (c) dangers of nearshore rigs. Although the majority of the comments supported the protest against the rigs, there was no consensus. The commenters who supported the protest described the acts that lead to environmental harm as criminal, deviant and corrupt. They also criticized the Israeli government and considered capital-government relations as the driving mechanism to place the rigs near the coast. The discussion addresses the meanings of the themes in the context of green cultural criminology, rhetorical strategies, including politics of definitions and causes, the rhetoric of rectitude and rationality, domain statements, and Aristotle’s rhetoric framework (logos, pathos, and ethos).
Teacher agency in the selection of literary texts

ABSTRACT The nature of English as a school subject – and particularly English literature – is a longstanding issue of debate for practitioners and researchers internationally. One dimension of this concerns the forces that shape the diet of literary texts that students are fed. In this study, we draw on the ecological model of agency to interrogate the factors which influence how teachers choose literary texts for whole class teaching. Dimensions of agency are used as lenses to reveal the complex ways in which values and beliefs, structures of authority, material resources, and identities shape the selection of books, plays and poetry that are taught in English. By looking across these dimensions, we identify important questions which contribute to the debate: who should have agency to choose the texts taught; how does teacher agency influence students’ experiences of English literature; how far should we expect these experiences to be standardised?
Functional constraints channel mandible shape ontogenies in rodents

In mammals, postnatal growth plays an essential role in the acquisition of the adult shape. During this period, the mandible undergoes many changing functional constraints, leading to spatialization of bone formation and remodelling to accommodate various dietary and behavioural changes. The interactions between the bone, muscles and teeth drive this developmental plasticity, which, in turn, could lead to convergences in the developmental processes constraining the directionality of ontogenies, their evolution and thus the adult shape variation. To test the importance of the interactions between tissues in shaping the ontogenetic trajectories, we compared the mandible shape at five postnatal stages on three rodents: the house mouse, the Mongolian gerbil and the golden hamster, using geometric morphometrics. After an early shape differentiation, by both longer gestation and allometric scaling in gerbils or early divergence of postnatal ontogeny in hamsters in comparison with the mouse, the ontogenetic trajectories appear more similar around weaning. The changes in muscle load associated with new food processing and new behaviours at weaning seem to impose similar physical constraints on the mandible, driving the convergences of the ontogeny at that stage despite an early anatomical differentiation. Nonetheless, mice present a rather different timing compared with gerbils or hamsters.
Growing up in a crowd: social environment shapes the offspring's early exploratory phenotype in a colonial breeding species

In colonial breeding species, the number of adverse social interactions during early life typically varies with breeding density. Phenotypic plasticity can help deal with this social context, by allowing offspring to adjust their behaviour. Furthermore, offspring may not be unprepared since mothers can allocate resources to their embryos that may pre-adjust them to the post-hatching conditions. Thus, we hypothesize that lesser black-backed gull chicks raised in dense breeding areas, with greater exposure to intra-specific aggression, show higher levels of anxiety and lower levels of exploration compared to chicks in low-density areas, and that this is facilitated by prenatal effects. To test this, we cross-fostered clutches within and across pre-defined high- and low-breeding density areas. We measured chicks' anxiety and exploration activity in an open-field test that included a novel and a familiar object. We found that both pre- and post-natal social environment contributed nearly equally and shaped the offspring's exploratory behaviour, but not its anxiety, in an additive way. Post-natal effects could reflect a learned avoidance of intra-specific aggression, yet identifying the pathways of the prenatal effects will require further study.
A theoretical framework to analyse the flow of particles in a dynamical system with stochastic transition rates and site capacities

We study the stochasticity in a dynamical model: ribosome flow model with different site sizes that models the unidirectional movement of particles controlled by transition rates along a lattice having different site sizes. Our work models the parameters as random variables with known distributions and investigates the steady-state flow rate under this notion by using tools from the random matrix theory. Some closed-form theoretical results are derived for the steady-state flow rate under some restrictive assumptions such as random variables being independent and identically distributed. Furthermore, for arbitrary but bounded stochastic transition rates, stochastic site capacities, or both, we establish bounds for the steady-state flow rate. Our analysis can be generalized and applied to study the flow of particles in numerous transport systems in the stochastic environment.
Effect of eTansiyon smartphone application on hypertension control

Abstract Aim: To investigate the effectiveness of eTansiyon smartphone application in blood pressure control in patients with hypertension. Background: Global prevalence of hypertension and the burden of chronic illness care, especially in primary care, are increasing in world. We have developed eTansiyon to ensure the continuity of patient-physician relationship, so it may help to improve the lifestyle of patients with hypertension, increase their adherence to treatment and achieve the target blood pressure. Methods: This study was a non-randomized controlled study. The sample was selected by random sampling method among the patients registered in 6 Family Health Units (FHUs). Randomization was performed at the FHU level; the units were randomized to 4 control group (CG) and 2 intervention group (IG), so that randomization in this study was 2:1. Both groups were followed up for at least four months. In addition to CG, IG were provided to use eTansiyon. Obtained data were analysed to evaluate differences between groups at the beginning and end of the study, intra-group changes after follow-up and interaction between groups and follow-up period. Findings: The study was performed with 124 patients in CG and 61 patients in IG. At the end of the study, the average systolic blood pressure/diastolic blood pressure (SBP/DBP) of office and home was significantly lower in IG compared to CG (P < 0.001, MD 9.5 mmHg; P = 0.007, MD 3.8 mmHg; P < 0.001, MD 10.6 mmHg; P < 0.001, MD 4.8 mmHg, respectively), and it was found that the proportion of people with target blood pressure in IG was significantly higher than CG (P < 0.001, 49.2%(n = 30) and 22.6%(n = 28), respectively). Repeated measures ANOVA and generalized estimating equations results showed that follow-up period and interaction between groups were significant in terms of office and home SBP/DBP and target blood pressure level during follow-up period (P < 0.001, P < 0.001, P < 0.001, P < 0.001, P < 0.024, respectively).
Odd-viscosity-induced passivation of Moffatt vortices

Abstract Odd viscosity is associated with a number of striking physical phenomena: a disk rotating in a viscous liquid experiences a normal compressive or tensile stress depending on its sense of rotation; chiral active matter interfacial deformations level off in a manner akin to surface tension; and unstable thermocapillary films become stabilized. In this article we show that odd viscosity decreases the size and intensity of Moffatt vortices in a corner formed by a solid substrate and a free interface. The effect is present because odd viscosity creates a normal-stress-induced shear stress at the liquid–gas interface. The new shear stress is out of phase and oppositely directed with respect to the interfacial liquid velocity. It squeezes the vortices and damps their rotation. As a consequence, Moffatt vortices can now be observed with greater facility in an experiment. Odd viscosity also increases the range of corner angles over which Moffatt vortices can be observed, and, in general, it shows a tendency to moderate singular behaviour.
There's no formula for a good mother: shame and estranged maternal labour

This article theorises a group of mothers’ experiences of shame as a result of feeding infant formula to their children. Drawing on interviews with formula and breastfeeding mothers, the author brings together insights from scholarship on shame, feminist scholarship on reproductive labour and the Marxist notion of estranged labour to demonstrate that shame causes the formula-feeding mothers in this study, who initially wanted to breastfeed, to be estranged in their labour as mothers. The article addresses a gap in qualitative infant-feeding scholarship, which focuses primarily on breastfeeding. It provides an empathic account framing breastfeeding and formula-feeding mothers as potential allies against ‘controlling images’ of motherhood who face different facets of the same pressure to fulfil idealised roles. Both scholarly work on reproductive labour, and public programmes supporting new mothers, should account more seriously for the experiences of formula feeding mothers.
Re-exploring Seminal Works on Resource-Based View and Resource Dependence Theory: The Case of Entrepreneurial Research Organization

Abstract A core idea to strategic management is resource management, differentiating between an inward resource perspective and an outward resource view. Historically, this was the front line in interpreting organizational resources for the formation and execution of strategy. However, this paper questions whether this dichotomy is still an appropriate approach to conceptualize resource management. By reviewing the seminal works that formed the resource-based view (RBV) and resource dependence theory (RDT), possibilities for cross-fertilization can be indicated. Specifically, this paper re-examines Edith Penrose’s pioneering work “The Theory of the Growth of the Firm” (1959) and Jeffrey Pfeffer and Gerald R. Salancik’s book “The External Control of Organizations” (1978) for complementarities. By integrating the ideas of resources as well as entrepreneurship and framing them within the context of entrepreneurial research organizations, a novel, yet analytical space for synthesis of RBV and RDT is presented.
Finite Element Formulation

For solving the equations describing the diaphragm deformation we will use the finite element method. In this chapter we will present the formulation of the method for geometrically nonlinear, three-dimensional continuum elements. We will focus on the particular aspect of rubber-like materials. The basic ideea of the nonlinear finite element formulation is to linearize the weak form of the equations of the problem and to solve these equations for the finite elements discretized domain. This leads to an incremental approach, the solution at each step being obtained from the solution at the previous step. By step it is understood a load increment in static analysis, and, a time step in transient analysis [12][58]. In solid mechanics the weak form form is usualy derived from the principle of virtual work. In our presentation for the weak and linearized form we follow the formulation given by Simo and Taylor [50]. For the finite element implementation we use a similar approach as used by Schweizerhof [46] and Bathe [12]. The time integration scheme and the numerical algorithms are described according to [27][28] and [1]-[4].
Therapeutic alliance impact on analgesic outcomes in a real-world clinical setting: An observational study

Abstract A good therapeutic alliance is relevant for healthcare providers exposed to patients’ suffering, especially since patients and physicians may understand the painful experience differently. Our aim was to explore the impact of therapeutic alliance on analgesic outcomes in a real-world interdisciplinary pain unit (PU). A cross-sectional observational study was conducted on outpatients (n = 69) using opioids on a long-term basis for the treatment of chronic non-cancer pain, where clinical pharmacologists and pharmacists advised patients about their opioid treatment. Responses to the patient-doctor relationship questionnaire (PDRQ), sociodemographic and clinical information (pain level, quality of life and hospital use) were collected, whereas pharmacology data (analgesic prescription, adverse events, and compliance) were obtained from electronic health records. Patients were predominantly middle-aged (75 % women, 72 % retired), experiencing moderate pain (VAS 40–70 mm) on average, and under a high morphine equianalgesic dosage (95 ± 88 mg per day, mainly tapentadol or fentanyl). Patients with better PDRQ outcomes, and therefore better therapeutic alliance, showed lower pain intensity than patients with worse PDRQ outcomes (pain intensity: high scores 60 ± 47 mm and medium scores 60 ± 45 mm vs. low scores 80 ± 75 mm, p < 0.01). Along with this, pain intensity was lower when patients affirmed that, thanks to the health-care providers, they “gained new insight”, “felt better”, or “felt content with their doctor’s treatment”. What´s more, patients who affirmed “I benefit from the treatment” experienced increased pain relief (benefit 40 ± 30 vs. non-benefit 19 ± 26 mm, p = 0.010) and improved quality of life (benefit 33 ± 25 vs. non-benefit 18 ± 16 mm, p = 0.031). However, there was a percentage of patients who did not fully understand the provided information, which is something to be taken into account to improve in clinical routine. Therapeutic alliance supported by pharmacist experts on pain management can be an effective strategy to improve analgesic outcomes. Further efforts are needed to improve communication strategies for pain management. Future directions of research should include the analysis of the role of the pharmacist in poly-professional consultations as related to the advice of patients about their medication, and the mutual trust with the patients.
Debloating Address Sanitizer

Address Sanitizer (ASan) is a powerful memory error detec-tor. It can detect various errors ranging from spatial issues like out-of-bound accesses to temporal issues like use-after-free. However, ASan has the major drawback of high runtime overhead. With every functionality enabled, ASan incurs an overhead of more than 1x . This paper ﬁrst presents a study to dissect the operations of ASan and inspects the primary sources of its runtime overhead. The study unveils (or conﬁrms) that the high overhead is mainly caused by the extensive sanitizer checks on memory accesses. Inspired by the study, the paper proposes ASan--, a tool assembling a group of optimizations to reduce (or “ debloat ”) sanitizer checks and improve ASan’s efﬁciency. Unlike existing tools that remove sanitizer checks with harm to the capability, scalability, or usability of ASan, ASan-- fully maintains those decent properties of ASan. Our evaluation shows that ASan-- presents high promise. It reduces the overhead of ASan by 41.7% on SPEC CPU2006 and by 35.7% on Chromium. If only considering the overhead incurred by sanitizer checks, the reduction rates increase to 51.6% on SPEC CPU2006 and 69.6% on Chromium. In the context of fuzzing, ASan-- increases the execution speed of AFL by over 40% and the branch coverage by 5%. Combined with orthogonal, fuzzing-tailored optimizations, ASan-- can speed up AFL by 60% and increase the branch coverage by 9%. Running in Chromium to support our daily work for four weeks, ASan-- did not present major usability issues or signiﬁcant slowdown and it detected all the bugs we reproduced from previous reports.
Excellent cyclic stability of symmetric and asymmetric supercapacitors constructed by graphene deposited Cu and Ni electrodes

Supercapacitors (SC) with ionic liquid bis(trifluoromethanesulfonyl)imide (TFMS) trapped polyacrylamide (PAAM) hydrogel separator between graphene deposited nickel and copper foam electrodes were designed and assembled in CR2032 coin cell. The symmetric and asymmetric SCs were named as G‐NiF/G‐NiF, G‐CuF/G‐CuF, and G‐NiF/G‐CuF where G‐NiF, and G‐CuF stands for graphene deposited nickel foam and copper foam, respectively. The best electrochemical performance was obtained for G‐NiF/G‐NiF in terms of higher energy, power, and current densities from the galvanostatic charge‐discharge (GCD) and CV curves. Specific capacitances of G‐CuF/G‐CuF, G‐NiF/G‐NiF, and G‐NiF/G‐CuF SCs were found as 8.3, 9.8, and 10.4 F g−1 at 0.5 mA, respectively. Capacitance retention of both G‐NiF/G‐NiF and G‐NiF/G‐CuF SCs does not change and reveals excellent performance of 100% up to 5000 cycles indicating long term stability in SCs applications.
SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis

Concolic execution is a powerful program analysis technique for systematically exploring execution paths. Compared to random-mutation-based fuzzing, concolic execution is especially good at exploring paths that are guarded by complex and tight branch predicates. The drawback, however, is that concolic execution engines are much slower than native execution. While recent advances in concolic execution have significantly reduced its performance overhead, our analysis shows that state-of-the-art concolic executors overlook the overhead for managing symbolic expressions. Based on the observation that concolic execution can be modeled as a special form of dynamic data-flow analysis, we propose to leverage existing highly-optimized data-flow analysis frameworks to implement concolic executors. To validate this idea, we implemented a prototype S YM S AN based on the data-flow sanitizer of LLVM and evaluated it against the state-of-the-art concolic executors SymCC and SymQEMU with three sets of programs: nbench, the DARPA Cyber Grand Challenge dataset, and real-world applications from Google’s Fuzzbench and binutils. The results showed that S YM S AN has a much lower overhead for managing symbolic expressions. The reduced overhead can also lead to faster concolic execution and improved code coverage.
SGXFuzz: Efficiently Synthesizing Nested Structures for SGX Enclave Fuzzing

Intel’s Software Guard Extensions (SGX) provide a non-introspectable trusted execution environment (TEE) to protect security-critical code from a potentially malicious OS. This protection can onlybeeffectiveiftheindividualenclavesarese-cure, which is already challenging in regular software, and this becomes even more difficult for enclaves as the entire environment is potentially malicious. As such, many enclaves expose common vulnerabilities, e.g., memory corruption and SGX-specific vulnerabilities like null-pointer dereferences. While fuzzing is a populartechnique to assess the securityofsoftware, dynamically analyzing enclaves is challenging as enclaves are meant to be non-introspectable. Further, they expect an allocated multi-pointer structure as input instead of a plain buffer. In this paper, we present SGXF UZZ , a coverage-guided fuzzer that introduces a novel binary input structure synthesis method to expose enclave vulnerabilities even without source-code access. To obtain code coverage feedback from enclaves, we show how to extract enclave code from distribution formats. We also present an enclave runner that allows execution of the extracted enclave code as a user-space application at native speed, while emulating all relevant environment interactions of the enclave. We use this setup to fuzz enclaves using a state-of-the-artsnapshotfuzzing engine thatdeploys ournovelstructure synthesis stage. This stage synthesizes multi-layer pointer structures and size fields incrementally on-the-fly based on faultsignals. Furthermore,itmatches the expectedinputformat