Miracle-dz/UniFAR-FTUs huggingface dataset:
nfluence of fluid displacement patterns on seismic velocity during upercritical CO 2 injection : Simulation study for evaluation of the elationship between seismic velocity and CO 2 saturation

Monitoring of injected subsurface carbon dioxide (CO2) is essential for safe CO2 capture and storage. Quantitative monitoring requires knowledge of the relationship between CO2 saturation and P-wave velocity (VP). VP response to CO2 saturation is not unique and depends on the CO2 distribution within rock pores. This study evaluated the influence of CO2 distributions on VP–CO2 saturation relationships. We conducted two computational studies with different injection pressures, using a two-phase lattice Boltzmann method for CO2 injection simulation and wave propagation simulation with a finite difference approach for evaluation of VP change. The change of capillary number associated with various injection pressures affected the CO2 displacement patterns. Viscous fingering was typical at high capillary numbers, whereas both viscous and capillary fingering were observed at low capillary numbers. We identified a difference in VP–CO2 saturation relationships in these two cases; i.e., lower VP was observed in the high O2 distribution features capillary number case than at low capillary number at the same saturation. The difference in VP response to CO2 saturation is caused by CO2 distribution features. We evaluated VP with consideration of the porescale CO2 distribution. This study demonstrates that capillary number at each reservoir location (e.g., distance from injection well) should be considered to accurately estimate CO2 saturation from seismic velocity. © 2016 Elsevier Ltd. All rights reserved.
IPTC-18027-MS Using 4 D Seismic Surveys and History Matching to Estimate Critical and Maximum Gas Saturation

An approach is explored for estimating critical and maximum gas saturation using 4D seismic data from multiple surveys shot during gas exsolution and dissolution in a producing hydrocarbon reservoir. To guide this process, hydrocarbon gas properties and behaviour are studied, and their relation to the fluid-flow physics is understood using numerical simulation and seismic modelling. This understanding is then used to interpret observed seismic data, which has surveys repeated every 12 to 24 months, from a turbidite field in the United Kingdom Continental Shelf (UKCS). Furthermore, the field reservoir simulation model is then history matched to the production data and the gas saturation effects observed on the 4D seismic data. The 4D seismic response is a function of pressure changes, fluid (oil/water/gas) changes and noise. The effects of the gas mechanism are extracted from the seismic data based on its unique relationship to the seismic amplitudes. It is found that these changes can be represented by a binary model (presence or absence of gas) which enables the use of a logical objective function to compute the misfit between the observed data and simulated data, and thus guide the parameterisation process of the history matching exercise. This approach circumvents full physics modelling in a joint history matching workflow that includes conditioning to both production data and multiple time lapse seismic data. It is concluded that for seismic surveys repeated at intervals of six months or more, the gas saturation distribution during either liberation or dissolution exists at two fixed saturations defined by the critical and the maximum gas saturation. From analysing only the 4D seismic data, we find a low critical gas saturation and a maximum gas saturation that is relatively unconstrained. The history matching exercise also gives us similar low values for the critical gas saturation, and highlights the importance of the vertical permeability in getting an extensively corroborated model. This paper explores a direct link between 4D seismic and the fluid flow parameters, a link between the gas saturation distribution and seismic response, as well as a quantitative analysis using multiple 4D seismic surveys for history matching.
FFT Generator in Furthark A prototype Futhark library using FFTW technniques

In the end of 20th century Frigo and Johnson presented The Fastest Fourier Transform in the West, which has shown to be a highly successful approach for computing the discrete Fourier Transform. In this project FFTW techniques are employed to investigate the possibility of implementing a new FFT library in Futhark, genfft, which is then compared against the existing radix-2 FFT in Futhark. The results show that even though genfft is inefficient on datasets sizes involving prime factors, it is faster than the existing Futhark FFT on large datasets when the dataset sizes involve radices 2, 3 and 4.
Rouissage des tubercules de manioc à partir de “ pied de cuve ” à base de manioc roui

Les essais de rouissage en laboratoire selon la technique de “pied de cuve” à base de manioc roui de 72 et 96 heures et de l’eau diluée à 10% d’un précédent rouissage ont montré la même évolution des caractéristiques physico-chimiques que les rouissages témoins. Tous les milieux de rouissage deviennent acides (pH 4,5) et anaérobie (pO2= 0,8 mg/l) avec des températures qui varient entre 22 à 24 °C. Du point de vue microbiologique, le nombre de bactéries lactiques augmente au niveau des tubercules ensemencés par rapport au témoin. Leur rôle apparaît dans la préparation des conditions environnementales adéquates (diminution du pH et de la pression partielle en oxygène) pour un rouissage réussi. Les rouissages réalisés avec les “pieds de cuve” réduisent les odeurs des tubercules rouis et la durée de rouissage de 24 à 36 heures. Ces résultats se sont confirmés en milieu réel, dans l’étang. L’utilisation des “pieds de cuve” permet donc d’améliorer les qualités des produits de rouissage. Les ensemencements avec d’autres types de “pieds de cuves” (tubercules rouis de 48 heures, eau d’un précédent rouissage non diluée) ne donnent pas les effets recherchés. Ils augmentent le temps de rouissage: le ramollissement des tubercules est observé au bout de 8 à 10 jours. Summary
Paced Chirping : Rethinking TCP start-up

Paced Chirping is a replacement of slow start that continuously pulses the network with groups of packets called ’chirps’. The decreasing inter-packet gap of the chirps allows the sender to estimate the available capacity from queueing delay measurements. Each chirp creates a small measurable queue, and the queue is allowed to drain in-between subsequent chirps. Using the capacity estimates Paced Chirping transition to congestion avoidance without overshooting capacity. Paced Chirping is implemented in Linux using the kernels pacing framework to realise chirps. We have added code to the pacing framework that allows a congestion control module to create chirps with desired characteristics. This does allow for more elaborate start-up schemes, made necessary by increasing capacity and the need for lower latency. Pacing precision is a challenge at high speed due to timing precision. With the proposed NIC API change essayed by Van Jacobson at netdev 0x12 precision can be improved significantly. Paced Chirping achieves fast acceleration with extremely low maximum queueing delay (couple of milliseconds), and it is a promising step towards a start-up algorithm that can reach utilization fast without hurting latency-sensitive applications. In the acceleration world, Cubic (without hystart) is best and DCTCP is worst. In the delay overshoot world Cubic is worst and DCTCP is best. Paced Chirping is as good as the best in both worlds. The best acceleration of today’s schemes gives the worst overshoot and the best overshoot gives the worst acceleration. With paced chirping, the acceleration and the overshoot are as good as the best of both worlds.
Design and Performance Analysis of a Double-Tail Comparator for Low-Power Applications

A comparator is the fundamental building block in most analog-to-digital converters. The need of low-power, area efficient, and high-speed analog-to-digital converters require the use of dynamic regenerative comparators with small die area to maximize the speed and power efficiency. Designing of high speed comparators is more difficult when the supply voltage is smaller due to the use of large transistors to compensate the reduction of supply voltage which results in increase in die area, delay and power of the comparator. In this paper, an analysis on the delay and power consumption of the dynamic comparators will be presented. Based on the presented analysis, a new fully double-tail comparator using positive feedback is proposed, in which the conventional double-tail comparator is modified for lesser power consumption and high speed even in small supply voltages. The proposed topology is based on placing two cross coupled control transistors along the input side of the double-tail comparator. This cross coupled control transistors strengthens the positive feedback during the regeneration which reduces the delay time. Addition to that switching transistor is added to reduce the power dissipation. Circuit simulation results in a 0. 18μm CMOS technology confirm the analysis results. It is shown that in the proposed double-tail comparator both the power consumption and delay time is significantly reduced in comparison with all other dynamic comparators.
Generating Indicative and Informative Summaries For Search Engine Results

In internet search engine, webpage summaries can help users to quickly decide which webpage to read from a list of search results, reducing the time and effort to visit irrelevent webpages. We create a search result presentation system that combines both indicative summary and informative summary. Indicative summary facilitates a quick scanning among the search results, and informative summary provides succinct description of the original document. This paper discusses the detail techniques we develop to generate indicative and informative summaries.
Lipase Diversity in Glacier Soil Based on Analysis of Metagenomic DNA Fragments and Cell Culture

1 Key Laboratory of Feed Biotechnology of the Ministry of Agriculture, Feed Research Institute, Chinese Academy of Agricultural Sciences, Beijing 100081, P. R. China 2 Biotechnology Research Institute, Chinese Academy of Agricultural Sciences, Beijing 100081, P. R. China 3 Institute of Biochemistry and Molecular Biology, School of Life Science, Lanzhou University, Lanzhou 730000, P. R. China 4 SUNHY Group, Wuhan 430074, P. R. China
Experimental and numerical study of the ignition delay times of primary reference fuels containing diethyl ether

Research on ignition and combustion of diethyl ether (DEE) has gained significant interest due to the promising properties of DEE as alternative fuel [1, 2] and as ignition enhancer. It can also help to reduce soot formation. DEE is typically produced from ethanol by catalytic dehydrogenation [3] and is therefore of interest as a biomass-derived fuel component. In addition, DEE is used as a model fuel to test safety-relevant ignition processes caused by hot surfaces. It has a surprisingly high cetane number of 125 when compared with alkanes with the same molecular size (e.g., 22 for butane and 30 for pentane). Therefore, uunderstanding the ignition chemistry of DEE is of high practical interest. There are many investigations dealing with diethyl ether. Di Tommaso et al. [4] studied reactions relevant to autoxidation of DEE using computational methods. Recently, the effects of blending DEE to Diesel fuel on the combustion behavior were studied in a direct-injection Diesel engine [5]. Interestingly, DEE was found to increase the ignition delay times, despite its high cetane number. Laminar burning velocities of DEE/air mixtures were measured at various equivalence ratios, initial temperatures, and pressures in a spherical bomb by schlieren photography [6, 7]. Inomata et al. [8] studied the ignition delay times of DEE in air. They found that the mixture is extremely reactive and observed a monotonic decrease of the ignition delay time with increasing temperature. Clothier et al. [9] investigated the effect of DEE on Diesel fuel and concluded that DEE inhibits the ignition of Diesel fuel and thus decreases the cetane number of Diesel fuel. The increased ignition delay times were attributed to the interaction of DEE with some aromatics in Diesel fuel [10].
Fuzzy-Logic-Controller-Based SEPIC Converter for MPPT in Standalone PV systems

This paper presents a fuzzy controller (FC)- based single-ended primary-inductor converter (SEPIC) for maximum power point tracking (MPPT) operation of a photovoltaic (PV) system along with battery. The FLC proposed scheme uses the convergent distribution of the membership function. The fuzzy controller for the SEPIC MPPT scheme shows the voltage without any changes in different load conditions at the inverter output (load) side. The behaviour of the converter is tested in simulation at different operating conditions. The load is fed from the battery storage continuously with constant voltage. The battery will be charge with the help of PV module and the SEPIC converter, which is controlled by FLC-based MPPT. The proposed FLC-based MPPT with battery will supply more power to the load than the without battery system.
Market Structure : The last thirty-five years

The aim of this document is to describe the development of market structure analysis (MSA) from the point of view of the practitioner rather than the academic. Although we make reference to the academic literature, the genesis of quantitative MSA began with the Hendry group who purposely kept the inner workings of their model a secret. After Hendry and up to the present, the fundamental story of MSA is one of research practice not keeping up with modern advances in the analysis of marketing data.
Statistics and Experimental Design

This is an excellent little book, not only for the biology student, but for anyone seeking an introduction to the practical uses of statistics. The author clearly thinks of his subject in terms of its application in scientific research and even the short sections on probability are presented from a real-life viewpoint. An extensive range of topics is covered, including discussion of simple statistics, regression analysis and the principles and practice of experimental design, with chapters on missing values and non-normality, the precision of results, and non-parametric tests. The subject is developed a t a steady pace, and little mathematical training is required of the reader. New concepts appear in bold italics as they are introduced, and a comprehensive reference index is given, so that the book can readily be used for private study. There are copious diagrams and worked examples in the text and answers and comments a t the end of the book for the testing exercises tha t follow each chapter. A further reading list might usefully have been appended to certain chapters for those readers wishing to pursue these topics in depth. The book is particularly well printed, and the diagrams are tidy and clear. I have no hesitation in oommending this book to the attention of both student and practising biologists and also to all teachers of statistics who want to relate their oourses to the real world.
Use of Data Modeling in the Conceptual structuring of Design Problems

An approach is presented for defining the information needed or used in a design task, based on data modeling techniques. Called EDM, it allows representation of the information complexity imposed both from the performances or technologies involved as well as imposed criteria, such as aesthetic intentions. Here, EDM is applied to the design of chairs, a design domain with highly diverse technologies and information structures. The relation is shown between the information considered and the class of designs possible. Also shown is the complexity of different design structures and the implication of information structures for conventional and creative design.
L G ] 2 7 M ay 2 01 9 On approximating dropout noise injection

This paper examines the assumptions of the derived equivalence between dropout noise injection and L2 regularisation for logistic regression with negative log loss. We show that the approximation method is based on a divergent Taylor expansion, making, subsequent work using this approximation to compare the dropout trained logistic regression model with standard regularisers, remains unfortunately ill-founded to date. Moreover, the approximation approach is shown to be invalid using any robust constraints. We show how this finding extends to general neural network topologies that use a cross-entropy prediction layer.
Syntaxin 4 and Synapsin 3 mRNA Levels Induced by Long-Term Iron Toxicity in Rat ( Rattus norvegicus ) Sıçan ( Rattus norvegicus )

Although iron is necessary for brain tissue, its overload causes many metabolic disorders as well as neurodegenerative disorders. Syntaxin4 and synapsin3 are proteins associated with synaptic vesicles that play a role in neurotransmitter release. In this study we investigated the effects of sublethal doses of ferric iron at 0.87 ppm, 3 ppm, 30 ppm and 300 ppm on mRNA levels of genes coding syntaxin4 and synapsin3 proteins that function in nerve cell signal transmission in cortex and hippocampus tissues of rats (Rattus norvegicus). While mRNA level of the syntaxin4 gene was unchanged in the cortex, mRNA level of syntaxin4 decreased with 30 ppm and 300 ppm exposure in the hippocampus. mRNA level of synapsin3 gene in both cortex and hippocampus tissues increased in all treatment groups compared to control group.
ALGORITHMS FOR PROCEDURAL DUNGEON GENERATION

In this paper, we propose two different algorithms; Span* and Growth, for dungeon generation that could be used in a game. Dungeon generation pertains to the creation of a two dimensional array representing a map of (x, y) coordinates. Each coordinate represents a tile on the map that can be either a floor tile or a wall tile. We can then create a room by grouping sets of floor tiles and create paths between the rooms by connecting each room with a line of floor tiles. Each of our proposed algorithms achieves a different kind of map style. We compared both algorithms in terms of average runtime and number of rooms. Our comparisons show that there are large trade-offs in terms of resulting style, runtime, as well as number of rooms generated between the two methods. INTRODUCTION Procedural content generation has been used in producing video game worlds for a long time. More recently, this technique has been popularized in modern game titles like Minecraft [1] or No Man's Sky [2]. In [1], the map is generated according to a random seed which deterministically generates the same map whereas in [2] the map is generated according to a set of rules. Many researchers are interested in procedural content generation of dungeons [3, 4, 5]. Some suggest the composition of algorithms where an inner algorithm satisfies lower-level constraints, and an outer algorithm satisfies higher-level properties which can only be approximated by human input or simulation-based testing [6]. ___________________________________________ Copyright © 2017 by the Consortium for Computing Sciences in Colleges. Permission to copy * without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the CCSC copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Consortium for Computing Sciences in Colleges. To copy otherwise, or to republish, requires a fee and/or specific permission.
COLLECTIVE BEHAVIOUR IN SOCIAL NETWORKING

This study of collective behavior is to understand how individuals behave in a social networking environment. Oceans of data generated by social media like Facebook, Twitter, Flickr, and YouTube present opportunities and challenges to study collective behavior on a large scale. In this work, we aim to learn to predict collective behavior in social media. In particular, given information about some individuals, how can we infer the behavior of unobserved individuals in the same network? A social-dimension-based approach has been shown effective in addressing the heterogeneity of connections presented in social media. However, the networks in social media are normally of colossal size, involving hundreds of thousands of actors. The scale of these networks entails scalable learning of models for collective behavior prediction. To address the scalability issue, we propose an edge-centric clustering scheme to extract sparse social dimensions. With sparse social dimensions, the proposed approach can efficiently handle networks of millions of actors while demonstrating a comparable prediction performance to other nonscalable methods.
IARC Team Progress Report

This paper reports the current preparation progress of HKUST IARC Team. We treat Mission 7 as a final destination on a big road map. To achieve this final goal we must first solve some smaller problems including iRobot tracking, obstacle avoidance, localization without landmarks and so on. After these problems are solved, proper integration is needed to make the final system. At the beginning stage, we focus on solving iRobot tracking and UAV localization subproblems. We devise algorithms that use five cameras to do the tracking and localization work. Preliminary results showed the robustness of our algorithms.
A method of conflict checking for ontology integration based on distributed interpretation

Ontology integration can be used to solve heterogeneity of different information. Different to the usual global interpretation, distributed interpretation based on DDL is taken to interpret its semantics. A phenomenon called conflict is found on this situation. We define what is conflict and make some difference with global interpretation. Then we design its checking algorithm. Depending on ontology closure, all relations of a concept pair are found and sent to global ontology to see whether one of them triggers conflict. Our method is suitable for the situation under which local ontology can not be opened to public for the safety , secret or other reason. Last a simulation is given to verify its feasibility. Keywordsontology integration; distributed interpretation; conflict; ontology closure; concept pair