Miracle-dz/UniFAR-FTUs huggingface dataset:
Dynamics and stability of 1 D patterns in active polar fluids

Turbulence in active fluids has been proposed as a new universality class of turbulence. However, the mechanisms governing these flows are poorly understood. In this work, we study numerically the formation of uni-dimensional patterns in a minimal model for an active polar nematic fluid, for arbitrary values of the flow alignment coefficient ν. In addition, we determine analytically the linear stability of the asymptotic states, as a function ν. We describe the complete bifurcation diagram for uniform states in 1D and show the existence of transversal (2D) instabilities, in particular in the so-called flow alignment regime |ν| > 1. This result shows that the secondary instabilities leading to turbulence are not specific of the case ν = 0, thus reinforcing the conclusion that active flows constitute a new universality class of turbulence.
In vitro effect of cyclosporine A , mitomycin C and prednisolone on cell kinetics in cultured human umbilical vein endothelial cells

Introduction: Vascular endothelial cell damage plays an important role in microvascular thrombogenesis. In vivo administration of cyclosporin A or mitomycin C sometimes results in thrombotic microangiopathy in patients. Materials and methods: The effects of cyclosporin A, mitomycin C and/or prednisolone on the cell cycle in cultured human umbilical vein endothelial cells were investigated to evaluate drug-induced endothelial cell damage and the protective effect of prednisolone on endothelial cells against the damage by cyclosporin A or mitomycin C in vitro. Results: The addition of cyclosporin A to cultures caused proliferation arrest in the G1-phase in a dose-dependent manner, while mitomycin C inhibited DNA synthesis, which resulted in cell cycle arrest and inhibition of BrdUrd incorporation in the S-phase. The administration of prednisolone also caused cell cycle arrest in the G1 by itself, and protected the cells from the damage caused by mitomycin C. The inhibitory effects of cyclosporin A and prednisolone on the cell cycle were reversible, while mitomycin C was not. The highly phosphorylated retinoblastoma protein expressed in human umbilical vein endothelial cells decreased in the presence of mitomycin C. Soluble thrombomodulin levels in the culture supernatant were elevated by the addition of cyclosporin A. Conclusion: These effects of the drugs may cause the cell cycle arrest and the prolonged repair of damaged endothelial cells in patients. D 2004 Elsevier Ltd. All rights reserved.
FORENSIC SPEAKER IDENTIFICATION THROUGH COMPARATIVE ANALYSIS OF THE FORMANT FREQUENCIES OF THE VOWELS IN THE MACEDONIAN LANGUAGE

The main objective of this study is forensic speaker identification from an incriminated recording. The identification was made through a comparative analysis between first three formants F1, F2 and F3 of the voice samples from the questioned and suspects’ recordings. The measurements were made with the PRAAT software, for each of the five vowels in the Macedonian language: a, e, i, o and u, which were isolated from the recordings. Used methodology of recording examinations employed in this research showed positive identification of the questioned voice. The forensic audio analysis still doesn't have its place in legal and the crime fighting systems in Macedonia. This is a sufficient reason to put a bigger accent on the research of this issue in the future that will contribute in solving many criminal cases which until now, because of the type of generally accepted evidence, were not resolved. PACS: 89.20. Mn, 43.72. Uv, 43.72. Fx
Model Pluralism

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: (i) any successful analysis of models must target sets of models, their multiplicity of functions within science, and their scientific context and history and (ii) for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z.
Risk characterisation of chemicals in food and diet

Renwick, A. G. , Barlow, S. M. , Hertz-Picciotto, I. , Boobis, A. R. , Dybing, E. , Ädler, L. , Eisenbrand, G. , Greig, J. B. , Kleiner, J., Lambe, J., Müller, D. J., Smith, M. R. , Tritscher, A. , Tuijtelaars, S. , van den Brandt, P. A. , Walker, R. , & Kroes, R. (2003). Risk characterisation of chemicals in food and diet. Food and Chemical Toxicology, 41(9), 1211-1271. https://doi.org/10.1016/S0278-6915(03)00064-4
A NOVEL NATIVE BIOCONTROL AGENT TRICHODERMA BREVICOMPACTUM PROMOTES GROWTH AND RESISTANCE TO THE POWDERY MILDEW IN IMPATIENS BALSAMINA

Ornamental plants are very important to control environmental pollution and ultimately contribute in beautification of urban areas. Native Trichoderma brevicompactum Tb-50 isolated from rhizosphere soil of ornamental plant, Salvia splendens Ker-Gawler was identified via combination of morphological and molecular methods based on rDNA internal transcribed spacer region gene sequences. The antagonist action of Tb-50 against five soil-borne plant pathogens, Sclerotinia sclerotiorum, Fusarium oxysporum, Rhizoctonia solani, Alternaria alternate and Cytospora chrysosperma, was respectively investigated on dual culture in petri dishes. Moreover, the present study focuses to promote flower production, improvement of vegetative parts, diseases resistance and early blossoming flowers of Impatiens balsamina by the applications of Tb-50. The presented results showed positive effects on leaves, stem height, seeds setting and plant height when compared with control group (CK). Besides, it is also found that the applications of Tb-50 controlled powdery mildew on I. balsamina.
An Insight Into : Quantum Random Walks G 14 PJS Mathematics 3 rd Year Project Spring 2013

We shall review both the discrete and continuous time quantum walks on the line and on graphs, and then compare them to their classical analogues. Where we see that the quantum walks have a standard deviation of t, as compared to the classical case of √ t, where t represents the number of steps taken by the walker. This means that the quantum walker travels much further on average, than their classical counterpart. This is because the quantum walker can be in a superposition of multiple positions at any one time; this property of quantum systems offers great rewards for quantum algorithmic development. Taking advantage of this property we introduce one simple, but very important quantum database search algorithm, Grover’s algorithm. The algorithm can find an element in a random database of N elements in a computational time of t = O( √ N), which is much faster than the equivalent classical algorithm of t = O(N). Where t still represents the number of steps (or iterations). We then use the discrete quantum walk to adapt Grover’s algorithm, so that we can use it for the spatial search algorithm in N -dimensions, without losing any quantum speed up. We finally discuss how to experimentally implement the discrete walk via trapped ions.
II Information Hiding in Networks

Covert Channels have existed for more than twenty years now. Although they did not receive a special attention in their early years, they are being more and more studied nowadays. This work focuses on network covert channels and it attempts to give an overview on their basics to later analyse several existing implementations which may compromise the security perimeter of a corporate network. The features under study are the bandwidth provided by the channel and the ease of detection. The studied tools have turned out to be in most cases unreliable and easy to detect with current detection techniques and the bandwidth provided is usually moderate but they might pose a threat if not taken into consideration. Keyword: Network Security, Covert Channels, Bandwidth, Detection, Covert TCP, ICMP Ping Tunnel, HTTP Firepass, Ozyman DNS Tunnel.
EFFECTS OF FEEDING PLANT MATERIAL ON GROWTH AND SURVIVAL OF PINK SHRIMP FARFANTEPENAEUS PAULENSIS

Significant amounts of plant material have been detected in the stomach contents of Farfantepenaeus paulensis juveniles inhabiting the Patos Lagoon estuary, southern Brazil. A 20-day long laboratory feeding experiment was performed to evaluate survival and growth of F. paulensis juveniles (0.84 ± 0.24 g; mean initial body weight ± sd) fed on three distinct plant diets. The feeding treatments consisted of: (1) macroalga Enteromorpha sp. (Entero treatment); (2) seagrass Ruppia maritima (Ruppia treatment); (3) saltmarsh Spartina sp. (Spartina treatment); (4) commercial diet (CD treatment); and (5) without food (Unfed treatment). Overall, growth and survival of juveniles submitted to plant treatments were similar to the Unfed treatment. Significant growth and survival were observed only in the CD treatment. Results indicated that the plant material tested were not capable to support survival and growth of F. paulensis when offered as the sole food source. It could be suggested that the consumption of this plant material by F. paulensis during their estuarine phase might be focused on the attached organisms.
A typology of copular sentences

Declerck's book consists basically of two parts. The first part presents a typology of copular sentences and lays the foundations for the second part, which deals with a variety of points, including the use of // is . versus He/she is . in sentences like It is the postman and He is my neighbor, (syntactic) restrictions on the use of '// clefts', a typology of different types of'it clefts' and 'WH clefts', and the (pragmatic) differences between these different types. As Declerck himself emphasises, the book is not written within a particular theoretical framework; its aim is rather to present a large quantity of data concerning the linguistic phenomena in question, and thus to contribute to any theory aiming at descriptive and explanatory adequacy. The book does not really form a unified whole. The first chapter, taking up the first half of the book, is in a way the most important in that it provides the necessary background for each of the following chapters (in particular for chapters 2 and 3). It is, however, in no way itself dependent on what is to follow and can be seen, and used, as an independent and complete study of copular sentences of the form NP1-6e-NP2. The remaining five chapters, though drawing on the first chapter, are independent of, and sometimes hardly related to, one another. It is partly for this reason that, after having given a short overview of the contents, I will concentrate on certain parts of the book only (in particular the first two chapters). The book is divided into six chapters. The first deals with the different types of copular sentences that exist in English (to be discussed below): specificational sentences, predicational sentences, descriptionally identifying sentences, identity statements, and definitions. This classification forms the basis of the explanation given by Declerck in chapter 2 of the difference between the use of it versus he/she/they in sentences like // is
Numerical Study of Creeping Flow Through Sinusoidally Periodic Tube

There has been renewed interest in the flow behaviour within tubes with periodically varying cross-section with the recognition that they can be used as particle separation devices. In this paper, we present a numerical study of the effect of tube geometry on creeping flow of viscous incompressible fluid through sinusoidally constricted periodic tube which is axisymmetric but longitudinally asymmetric. The boundary element method is used to solve for the flow in the tube by specifying the pressure drop across the ends of the tube. The boundary element equations have been formulated for ­an infinite periodic tube by writing the velocity in terms of the integrals over the tube boundary and is used to calculate the force on the tube boundary, to obtain the detailed velocity distribution within the tube and to determine the effect of amplitude and wavelength of corrugation on the structure of the flow. We have found that the highest axial velocity is at throat region and lowest axial velocity is at expansion region. Also, we have discovered that the maximum radial velocity occurs at diverging cross-section and minimum radial velocity occurs at converging cross-section. The tangential force on the tube wall is examined for different amplitudes and wavelengths of corrugation and observed that the tangential force is greater in the constricted region than in the expansion region. The physical quantities (such as velocity and force) increase with increasing amplitude and decrease with increasing wavelength. Finally, we have compared our results with the work of Hemmat and Borhan [3] and have found good agreement with them.
Neutron scattering study of magnetic order in single-crystalline CeCuAl

M. Klicpera,1,2,* P. Javorský,1 P. Čermák,1,3 A. Schneidewind,3 B. Ouladdiaf,2 and M. Diviš1 1Charles University in Prague, Faculty of Mathematics and Physics, Department of Condensed Matter Physics, Ke Karlovu 5, 121 16 Prague 2, Czech Republic 2Institut Laue Langevin, 71 Avenue des Martyrs, CS 20156, 38042 Grenoble Cedex 9, France 3Jülich Centre for Neutron Science, Forschungszentrum Jülich GmbH, Outstation at Heinz Maier-Leibnitz Zentrum, Lichtenbergstraße 1, 85747 Garching, Germany (Received 18 April 2014; revised manuscript received 19 May 2015; published 15 June 2015)
Logical Network Security for Live Inter-Domain Networking on Testbeds

This paper proposes abstractions and security infrastructure to facilitate use of network testbeds for longlived, evolving, multi-domain experiments. We extend ExoPlex, a controller toolkit for network service providers (NSPs) running in testbed slices. The ExoPlex prototype runs on the ExoGENI testbed, but its approach generalizes to other testbeds with similar capabilities. A long-term goal is to use research fabrics to interconnect subnets across multiple campuses and testbeds. To this end, we focus on the problem of a security architecture to protect inter-domain routing, enable subnet owners to express policies to manage connectivity and control their exposure, and establish flexible governance structures that can evolve over time. ExoPlex is based on a logical security model, in which participants use a logic language to express policies and security assertions in certificates. Experiments show that logical network security can meet these needs in a powerful and flexible way, and is fast enough to be practical at modest scales. In particular, we show how to use logical security to verify IP prefix ownership, verify inter-domain paths (equivalent to BGPsec), and enforce compliance with user-specified policies for connectivity and path control.
Real-Time Generative Hand Modeling and Tracking

In our everyday life we interact with the surrounding environment using our hands. A main focus of recent research has been to bring such interaction to virtual objects, such as the ones projected in virtual reality devices, or super-imposed as holograms in AR/MR headsets. For these applications, it is desirable for the tracking technology to be robust, accurate, and have a seamless deployment. In this thesis we address these requirements by proposing an efficient and robust hand tracking algorithm, introducing a hand model representation that strikes a balance between accuracy and performance, and presenting the online algorithm for precise hand calibration. In the first part we present a robust method for capturing articulated hand motions in real time using a single depth camera. Our system is based on a realtime registration process that accurately reconstructs hand poses by fitting a 3D articulated hand model to depth images. We register the hand model using depth, silhouette, and temporal information. To effectively map low-quality depth maps to realistic hand poses, we regularize the registration with kinematic and temporal priors, as well as a data-driven prior built from a database of realistic hand poses. We present a principled way of integrating such priors into our registration optimization to enable robust tracking without severely restricting the freedom of motion. In the second part we propose the use of sphere-meshes as a novel geometric representation for real-time generative hand tracking. We derive an optimization to non-rigidly deform a template model to fit the user data in a number of poses. This optimization jointly captures the user’s static and dynamic hand geometry, thus facilitating high-precision registration. At the same time, the limited number of primitives in the tracking template allows us to retain excellent computational performance. We confirm this by embedding our models in an open source real-time registration algorithm to obtain a tracker steadily running at 60Hz. In the third part we introduce an online hand calibration method that learns the geometry as the user performs live in front of the camera, thus enabling seamless virtual interaction at the consumer level. The key novelty in our approach is an online optimization algorithm that jointly estimates pose and shape in each frame, and determines the uncertainty in such estimates. This knowledge allows the algorithm to integrate per-frame estimates over time, and build a personalized geometric model of the captured user. Our approach can easily be integrated in state-of-the-art continuous generative motion tracking software. We provide a detailed evaluation that shows how our approach achieves accurate motion tracking for real-
FREE SURFACE FLOWS USING A FIXED FINITE ELEMENT MESH 835 Mould filling problems involve relatively high Reynolds

The simulation of low Froude number mould filling problems on fixed meshes presents significant difficulties. As the Froude number decreases, the coupling between the position of the interface and the resulting flow field increases. The usual two-phase flow model provides poor results for such flow. In order to overcome the difficulties, a free surface model that applies boundary conditions at the interface accurately is used. Moreover, the use of wall laws on curved boundaries also fails in the case of low Froude number flows. To solve this second problem, we combine wall laws with ‘do nothing’ boundary conditions. A special feature of our approach is that ‘do nothing’ boundary conditions are only applied in the normal direction. These two key ingredients together with the Level Set method allow us to simulate three-dimensional mould filling problems borrowed directly from the foundry. Copyright q 2010 John Wiley & Sons, Ltd.
Systemic forest health : The changing role of public participation in WA forest policy and management

Notions of holism and systemic health have broadened our understanding of the treatment and prevention of disease. Integral to these concepts is a whole-system perspective, which enables the holistic treatment of health and its dimensions. A perspective such as this demands that the focus be directed at the health of an entire system and that of its constituent parts; their health becomes a prerequisite for the health of the whole (systemic health). In the context of ecosystem health, social and political systems can be understood as subsystems of a wider natural system and their ‘health’ or ‘well-being’ as contributing to the health of this broader system in which they are embedded. In Australia, the relationships between socio-political systems and ecosystems have undergone considerable changes over the last 50 years. Growing levels of environmental awareness, for instance, have led to an increase in public concern about, and scrutiny of, the governance and management of the environment and to a growth in the demand for public participation in environmental policy-making. Focusing on the social and political dimensions of forestry in Western Australia, this paper examines the notion of systemic forest health against the background of changing public perceptions of forests and their management as well as growing demands by the public for its engagement in political decision-making processes affecting forest health. It is argued that public participation is a vital component of forest health and that meaningful public input is therefore required in political processes working towards the systemic health of ecosystems.
Efficacy and absorption of hyaluronic acid and N-acetyl-D-glucosamine for the treatment of osteoarthritis: a review

Osteo-articular diseases affect many elderly people, resulting in worse quality of life and a substantial public health cost. Osteoarthritis, inflammatory articular diseases and conditions associated with cartilage disruption are the most frequently diagnosed. Non-steroidal anti-inflammatory drugs, glucocorticoids and physiotherapy are used to treat affected patients, while some nutraceutical products containing chondroprotective and osteotropic substances have been shown to improve their signs and symptoms. However, the true absorption and efficacy of these substances in humans is largely unknown. The absorption of hyaluronans and chondroitin sulfate is likely negatively affected by their high molecular weight. Nevertheless, many published papers have reported significant improvements in symptoms and articular functionality in patients taking these compounds. This paper attempts to clarify the apparent dichotomy between absorption and efficacy, and compare the clinical evidence for the bioavailability of hyaluronic acid with that of its precursor N-acetyl glucosamine.
Modelling Causation in Evidence-Based Legal Reasoning

Q3 What are the specificities of legal causation in comparison to other fields of study? What are the relevant aspects of causation considered in case law? Q4 What role does causation play in legal responsibility attribution? Q5 What role does language play in causal analysis? How can understanding legal causal language improve formal analysis of causation? Q6 How can formal theories of causation aid in analysing legal causation? Do any of the formal theories provide an advantage over the current legal analysis of causation? Q7 In what ways the current evidential reasoning theories could be applied to explain and evaluate causal links in case law? Q8 What is the role of evidence in legal causal analysis? How can the guidelines given to legal decision makers be improved for a more transparent reasoning about causation? What sort of causal theories work and doesn’t work in law?
Simple But Not Secure : An Empirical Security Analysis of OAuth 2 . 0-Based Single Sign-On Systems

Social login is currently used by millions of Facebook users to sign in more than one million supporting websites. The protocol behinds this web-based single sign-on (SSO) scheme is OAuth 2.0, which is also adopted by major service providers such as Google and Microsoft. Several formal methods have been used to analyze the security of the OAuth protocol, but no novel threat is found. To understand and improve the security of OAuth 2.0 SSO systems in the real-world settings, this work investigates potential security threats by examining the implementations of three major identity providers (i.e., Facebook, Microsoft and Google) and about one hundred popular supporting websites listed on Google Top 1,000 Websites. Our analysis and evaluation found several systematic weaknesses that allow an attacker to gain unauthorized access to the victim user’s profile and social graph on the identity providers, as well as impersonating the victim on the supporting website. A further investigation found that those weaknesses are rooted from a set of simplicity features o↵ered by the design of the protocol and IdP implementations. Based on the insights from this analysis, we recommend practical countermeasures to mitigate the uncovered threats.