Miracle-dz/UniFAR-FTUs huggingface dataset:
A Numerical Study on Interference Between Different Layers for a Layer-By-Layer Hydraulic Fracture Procedure

A three-dimensional (3D) solid-fluid coupling model is proposed with the well-known science and engineering analysis software ABAQUS for reservoirs of multi-thin layered pay zoon with low permeability. The cohesive element based on damage mechanics is used for describing fluid flow through fractures and rock crack propagations. Self-developed subroutines are incorporated into ABAQUS for considering viscosity and leak off coefficient of proppant-laden fluid as well as pressure applied on the proppants in the fracture(s) already constructed in preceding fracture step(s). The layer-by-layer fracturing process of a vertical well in Daqing Oilfield of China and interference between different layers are simulated with the model. The numerical results are well coincident with the corresponding data measured in the field. The effects of layer’s spacing on fracture results are studied.
Protective effect of aqueous extract of Adiantum capillus leaves against renal toxicity induced by gentamicin

The study aimed to investigate the therapeutic effect of Aqueous Extract of Adiantum capillus-veneris leaves (AEA) against nephrotoxicity induced by Gentamicin. Twenty four adult male rats housed in animal house unit / college of veterinary, underwent to the necessary laboratory conditions. Study period was 8 days. Rats divided into four groups: first was normal control, second treated gentamicin(80mg/kg/day.im), third group treated with gentamicin(80mg/kg/day.im) and AEA(250mg/kg/day. oral) and fourth group treated with gentamicin (80mg/kg/day.im) and metformin (100mg/kg/day.oral). Blood were taken by cutting jugular vein serum were used to estimate levels of albumin, urea, creatinine, malondialdehyde(MDA), glutathione (GSH) and superoxide dismutase (SOD). Also Kidney were weighted and homogenate to estimate oxidant-antioxidant parameters. Results showed a significant increase in albumin, urea, creatinine, MDA and a significant decrease in GSH and SOD in rats treated by gentamicin compared to control in P<0.01, while treating by AEA and metformin showed a significant decrease in Albumine, Urea, creatinine, MDA and a significant increase in GSH and SOD and CAT in AEA group compared to gentamicin group. The significance was higher in AEA than metformin. We concluded that AEA has a therapeutic activity against nephrotoxicity induced by gentamicin in male rats.
Comparing Task-Specific Ensembles to General Language Models in Distinguishing Elaborated and Compact Language Codes within CoCA-CoLA

An interesting but heretofore un-operationalized concept in sociolinguistics is the notion of language code elaboration as articulated by Bernstein[1]. More elaborated code is used between individuals who have less assumptions of shared understandings, and so a measure of this concept has broad applicability in studying group behavior, dynamics, and cohesion. The goal of this study is to identify the most promising approach for developing such a measure. I compare a general language model (BERT) to an ensemble approach based on syntactic parsing, which was specifically constructed for it’s suitability to the task. In out-of-sample testing on a combined corpus of CoCA and CoLA text blocks, both approaches struggle to successfully perform the task.
Vehicle Center-of-Gravity Height and Dynamics Estimation with Uncertainty Quantification by Marginalized Particle Filter

This paper addresses the center-of-gravity height and dynamics estimation problem, which is key for rollover-prevention systems in automotive. We model the vehicle as a spring-damper system and develop a Bayesian method that outputs estimates of the center-of-gravity height, suspension stiffness and damping coefficient. We leverage the model structure to design a computationally efficient particle filter, which, combined with Bayesian optimization for particle initialization and a particle-size adaptation scheme, leads to an implementation that provides accurate, smooth estimates of CoG height, stiffness, and damping. A Monte-Carlo simulation study on a standardized maneuver shows that the method almost instantaneously provides reliable estimates that represent well the true parameter values.
Second-Order Logic and Arithmetic

The goal of these notes is to present intuitionistic and classical second-order logic and arithmetic and the prove a result due to J.-Y. Girard, stating that all provably total functions of Second-Order Peano’s arithmetic are representable in System F . Similarly to the case of first-order arithmetic and System T , the result is based on a general Π2-conservativity result of classical arithmetic over intuitionistic arithmetic. An important reference on Second-Order Arithmetic and System F is [GLT89]. Our approach combines the developments presented in [SU06] and [Kri90]. We refer to [Sim10] for details on the (important) amount of mathematics which can be formalized in Second-Order Arithmetic.
A distributed database system for event-based microservices

Microservice architectures are an emerging industrial approach to build large scale and event-based systems. In this architectural style, an application is functionally partitioned into several small and autonomous building blocks, so-called microservices, communicating and exchanging data with each other via events. By pursuing a model where fault isolation is enforced at microservice level, each microservice manages their own database, thus database systems are not shared across microservices. Developers end up encoding substantial data management logic in the application-tier and encountering a series of challenges on enforcing data integrity and maintaining data consistency across microservices. In this vision paper, we argue that there is a need to rethink how database systems can better support microservices and relieve the burden of handling complex data management tasks faced by programmers. We envision the design and research opportunities for a novel distributed database management system targeted at event-driven microservices.
ORIGINAL RESEARCH PAPER CT IMAGING FEATURES OF PANCREATITIS

BACKGROUND: Pancreatitis has highly variable clinical presentation and severity. Computerized tomography (CT) is the modality of choice for investigating pancreatitis. CT is not only very helpful to evaluate focal as well as diffuse lesions but also in evaluating the extent, nature of the lesion and involvement of adjacent structures can be clearly demonstrated. PURPOSE: The objective of our study was to study the CT findings of Pancreatitis and its associated features in a tertiary care centre. MATERIALS & METHODS: CT scan of 49 patients with pancreatitis were studied. All the CT scans were performed on Siemens Somatom Perspective (128 slice) machine. RESULTS: Majority of the patients in this study had imaging features of acute pancreatitis which comprised of 91.8 % of patients. Interstitial edematous pancreatitis (IEP) was the most common type of pancreatitis seen in 71.4 % of patients. In IEP, majority of the patients i.e. 77% had moderately severe pancreatitis and associated pseudocyst was seen in 37 % of these patients. Abdominal pain and fever were the most common complaint. Alcoholism showed strong association with pancreatitis. CONCLUSION: From this study we can infer that pancreatitis show characteristic findings on CT study. These imaging characteristics coupled with clinical history and laboratory finding helps us to achieve an accurate diagnosis. Imaging techniques enable us to assess, grade and stage pancreatitis with a fair degree of reliability non-invasively. It also helps in designing a management plan for better patient care.
for Weakly-Supervised Semantic Segmentation”

In the main paper, we used backdoor adjustment [16] to perform the causal intervention. In this section, we show the derivation of backdoor adjustment for the proposed causal graph (in Figure 3(b) of the main paper), by leveraging the following three do-calculus rules [15]. Given an arbitrary causal directed acyclic graph G, there are four nodes respectively represented by X , Y , Z, and W . Particularly, GX denotes the intervened causal graph where all incoming arrows to X are deleted, and GX denotes another intervened causal graph where all outgoing arrows from X are deleted. We use the lower cases x, y, z, and w to represent the respective values of nodes: X = x, Y = y, Z = z, and W = w. For any interventional distribution compatible with G, we have the following three rules: Rule 1. Insertion/deletion of observations: P (y∣do(x), z,w) = P (y∣do(x),w), if (Y Z ∣X,W )G X . (A1)
Deliverable D4.1 – State of the art on performance and power estimation of embedded and high-performance cores

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Deliverable D4.1 – State of the art on performance and power estimation of embedded and high-performance cores Anastasiia Butko, Abdoulaye Gamatié, Gilles Sassatelli, Stefano Bernabovi, Michael Chapman, Philippe Naudin
TOWARDS THE ENVIRONMENTALLY SUSTAINABLE SMART VILLAGE

Environmental sustainability is a critical global challenge. Housing and infrastructure demand huge quantities of resources and result in significant environmental effects. The creation of ‘smart villages’ offers a unique opportunity to redefine how housing and infrastructure systems interact with the natural environment and explore solutions for improving their environmental sustainability. The concept of the Smart Village has a heavy focus on using technological solutions to enhance the existing networks and services available within a village community. This inevitably leads to an increase in resource use (both for construction and operation) which can be counterproductive to improving the environmental sustainability of villages. With environmental concerns becoming increasingly integral to decision-making, the design and implementation of Smart Villages must consider the potential environmental implications and performance of Smart Village solutions if they are to be considered truly ‘smart’. This paper introduces a four-step process for identifying, analysing and implementing solutions for achieving an environmentally sustainable Smart Village. This involves an integrated design process where the current environmental performance of a village is assessed (step 1), the local context is analysed to determine what resources, skills and expertise are locally available (step 2), potential Smart Village solutions are identified and analysed (step 3), and the Smart Village is designed and implemented, with the assistance of trained professionals and village communities (step 4). A village community located in Assam, India is used as a case study to demonstrate the application of step 1. By using this process in the design and implementation of Smart Villages, greater confidence is able to be placed in ensuring that potential solutions, both technological and non-technological are not creating greater environmental issues than already exist within villages. It can also be used to provide a better understanding of current village performance and that of potential Smart Village solutions so that opportunities for further environmental improvements are able to be identified and prioritised.
A Scheme Foreign Function Interface to JavaScript Based on an Infix Extension

This paper presents a JavaScript Foreign Function Inter-face for a Scheme implementation hosted on JavaScript and supporting threads. In order to be as convenient as possible the foreign code is expressed using infix syntax, the type conversions between Scheme and JavaScript are mostly implicit, and calls can both be done from Scheme to JavaScript and the other way around. Our approach takes advantage of JavaScript’s dynamic nature and its support for asynchronous functions. This allows concurrent activities to be expressed in a direct style in Scheme using threads. The paper goes over the design and implementation of our approach in the Gambit Scheme system. Examples are given to illustrate its use
README: A Literature Survey Assistant

We study the implicit regularization imposed by gradient descent for learning multi-layer homogeneous functions including feed-forward fully connected and convolutional deep neural networks with linear, ReLU or Leaky ReLU activation. We rigorously prove that gradient flow (i.e. gradient descent with infinitesimal step size) effectively enforces the differences between squared norms across different layers to remain invariant without any explicit regularization. This result implies that if the weights are initially small, gradient flow automatically balances the magnitudes of all layers. Using a discretization argument, we analyze gradient descent with positive step size for the non-convex low-rank asymmetric matrix factorization problem … This paper addresses the task of estimating the 6D-pose of a known 3D object from a single RGB-D image. Most modern approaches solve this task in three steps: i) compute local features, ii) generate a pool of pose-hypotheses, iii) select and refine a pose from the pool. This work focuses on the second step. While all existing approaches generate the hypotheses pool via local reasoning, e.g. RANSAC or Hough-Voting, we are the first to show that global reasoning is beneficial at this stage. In particular, we formulate a novel fully-connected Conditional Random Field (CRF) …
A Strong Call-By-Need Calculus

We present a call-by-need $\lambda$-calculus that enables strong reduction (that is, reduction inside the body of abstractions) and guarantees that arguments are only evaluated if needed and at most once. This calculus uses explicit substitutions and subsumes the existing strong-call-by-need strategy, but allows for more reduction sequences, and often shorter ones, while preserving the neededness. The calculus is shown to be normalizing in a strong sense: Whenever a $\lambda$-term t admits a normal form n in the $\lambda$-calculus, then any reduction sequence from t in the calculus eventually reaches a representative of the normal form n. We also exhibit a restriction of this calculus that has the diamond property and that only performs reduction sequences of minimal length, which makes it systematically better than the existing strategy. We have used the Abella proof assistant to formalize part of this calculus, and discuss how this experiment affected its design. In particular, it led us to derive a new description of call-by-need reduction based on inductive rules.
ETHNOBOTANICAL SURVEY OF MEDICAL PLANT USED FOR THE TREATMENT OF HYPERTENSION IN SUBULUSSALAM SUB-DISTRICT ACEH, INDONESIA

This research is intended to know the types of plants, parts, preparation and its use for hypertension therapy in the community in Rundeng of Subulussalam City. Data collection is done by interview and observation. Data analysis was done descriptively in table form. The results of the study found 22 species of plants, consisting of 21 genus, 18 families as hypertension drugs used by the community in Rundeng of Subulussalam City. The plant parts that are used as hypertension drugs are all parts of plant organs, with the leaves as the most widely used parts. The most dominant preparation way is by boiling, blend it in a blender and then drink the juice. The most dominant way to consume plants for medicine is by drinking the juice and eating it as fresh vegetables.
Process Maturity Models

The Software Engineering Institute (SEI) at Carnegie Mellon University started it all off in 1995 with the publication of The Capability Maturity Model: Guidelines for Improving the Software Process. The SEI’s work came out of the quality control movement and was inspired by Watts Humphrey, who had managed software development projects at IBM for 27 years before joining SEI. The DOD decided they needed a way to evaluate the capabilities of software companies bidding on the development of DOD systems. Humphrey and SEI believed that software organizations that understood their processes, and could consistently execute those processes, were the most likely organizations to produce successful DOD projects. Thus, SEI developed a number of process measures and developed the, now famous, 5-step model that describes the levels that an organization moves through as it evolves from an immature organization without process discipline, to a mature organization where all processes are measured, managed and consistently performed. (See Figure 1)
Automated Motor-Bike System using Fuzzy Logic

- In Boolean logic the truth-value can be 0 or 1. As against this in fuzzy logic, the truth-values of variables may be between 0 to 1 with 0 & 1 being extreme cases. Fuzzy logic finds its application in washing machine, image processing, decision-making, car control systems, Aerospace vehicle control system, etc. One such application, which we are taking under consideration in this paper, is Automated Motor-Bike control system. A fuzzy logic control method for controlling a motor bike, manually powered vehicle is disclosed which is used to assist a rider of the vehicle. The system manages the acceleration for riding a motor bike, a brake reducing the speed of a vehicle.
Exploring Improvements to the SQuAD 2.0 BiDAF Model

We have explored different deep learning based approaches to the question answering problem on SQuAD 2.0 using an improved version of the BiDAF model. Our baseline was provided by the default project starter code, and is a modified BiDAF that has only word embeddings and performs on SQUAD 2.0. We explored three areas of improvements: character embeddings, conditioning the end prediction on the start prediction
Mathematical Modeling, Optimization and Scheduling of Aircraft's Components Maintenance and of the Maintenance Workshop

This thesis concerns the simultaneous scheduling of preventive maintenance for a fleet of aircraft and their common components along with the maintenance workshop, to which the components are sent for repair. The problem arises from an industrial project with the Swedish aerospace and defence company Saab. While an aircraft operates, its components deteriorate and in order for it to remain operational, maintenance of its components is required. Components that are to be maintained are sent to the maintenance workshop, which schedules and performs all maintenance activities. Our modelling is based on a mixedbinary linear optimization model of a preventive maintenance scheduling problem with so-called interval costs over a finite and discretized time horizon. We extend this scheduling model with the flow of components through the repair workshop, including stocks of spare components as well as of damaged components to be repaired. Along with the scheduling problem, we address and analyze two different contracting forms between the two stakeholders: aircraft operator and maintenance workshop. Namely, an availability of repaired components contract and a repair turn–around–time contract of components sent to the maintenance workshop. We present both an individual and a type-based component flow modeling. Our model is able to capture important properties of the results from the contracting forms and it can be utilized for obtaining a lower limit on the optimal performance of a contracted collaboration between the stakeholders.
Petro-mineralogical controls on coda attenuation in volcanic rock samples

ACKNOWLEDGEMENTS We thank Dr John Millett (Volcanic Basin Petroleum Research VBPR) for providing the rock samples, Dr Maxim Lebedev (Curtin University) for helping us with the acquisition of the µCT images, and Prof Andrew Putnis for his insights in the mineralogical description of the samples. We also thank the Aberdeen-Curtin Alliance (http://aberdeencurtinalliance.org/) for providing funding for this research. Part of this study was undertaken using the TIMA instrumentation (ARC LE140100150) at the John de Laeter Center, Curtin University. This work was supported by resources provided by the Pawsey Supercomputing Centre with funding from the Australian Government and the Government of Western Australia. DATA AVAILABILITY The data underlying this paper are available in Mendeley Data, at http://dx.doi. org/10.17632/ysmt4kcjtn.2. Results-related data are available in the paper and its online supplementary material.
The ripening and storage quality of nectarine fruits in response to preharvest application of gibberellic acid

SummaryGibberellic acid (GA3) was applied in the orchard both to delay ripening and to prolong the potential storage life of ‘Flamekist’ nectarines. Treatments were applied at various times during and after pit hardening at doses ranging from 33 to 100 mg l-1 a.i. Effective treatments delayed fruit ripening on the tree, measured by the retardation of the change in fruit ground colour and the development of blush. The rates of fruit softening and loss of acidity were also retarded, but the soluble solids content (SSC) was not affected. Three applications of GA3 during fruit development or one application at the termination of pit hardening increased the percentage of fruits with no storage disorders following five or six weeks’ controlled atmosphere storage. To our knowledge, this is the first report on the ability of GA3 to prevent physiological storage disorders in stone fruits.
SQuAD: To QANet and Beyond

One of the important topics in NLP domain is machine reading comprehension through automated question answering. In this project we research and implement from scratch a question answering system based on QANet [1] neural network model. We compare the performance of QANet neural network architecture to one of the previous recurrent neural network, in particular a baseline based on BiDAF [2] architecture. Then we experiment by modifying components of QANet model in a novel way and observe the impact of architectural modifications to model’s performance on SQUAD v2.0 [3] dataset
DOES BITCOIN IMPROVE OPTIMAL PORTFOLIOS? A STOCHASTIC SPANNING APPROACH

iv ÖZET . v ACKNOWLEDGEMENT . vi TABLE OF CONTENTS . vii LIST OF FIGURES . ix CHAPTER I: INTRODUCTION . 1 CHAPTER II: DIVERSIFICATION AND POTFOLIO OPTIMIZATION METHODS . 4 CHAPTER III: STOCHASTIC DOMINANCE vs. STOCHASTIC SPANNING . 14 CHAPTER IV: BITCOIN AND ITS UNIQUE FEATURES . 28
Mutation in Virus and Genetic Alteration in Viruses - A Review

The remarkable capacity of some viruses to adjust and adapt to a new host and environment is highly dependent on the capacity to generate de Novo diversity in a short period. Rates of spontaneous mutation shift abundantly among viruses. RNA viruses change quicker than DNA viruses, single-stranded virus transforms quicker than double standard infection and genome size seems to connect adversely with transformation rate. Viral change rates are equalised at various stages, like polymerase fidelity, Sequence content, template secondary structure, cellular microenvironment, application mechanism, proofreading and post replication repair. The mutation rate of an organism is defined as the probability where a change in genetic information is passed to the next generation. In viruses, a generation is often defined as a cell infection cycle, which includes an attachment to the cell surface, entry, gene expression, replication, encapsidation, and release of infectious particles. Also, enormous quantities of changes can be presented by some virus-encoded diversity generating elements, as well as by host-encoded cystine/ adenosine deaminase. Our recent knowledge on viral change rates explains that viral hereditary variety is determined by multiple viruses and host interaction and the viral mutation rates can evolve in response to specific selective pressures.