Miracle-dz/UniFAR-FTUs huggingface dataset:
Tectonics of the Masirah Fault Zone and eastern Oman

Abstract Previously known but undescribed ophiolites on Ras Madrakah and Ras Jibsch and the ophiolite forming Masirah Island define an upthrust linear zone now separated from the Oman continental margin by the Masirah Fault. West of this, in the Batain coast, are the allochthonous Batain Melange and the Hawasina Complex of Mesozoic basinal deposits, mainly cherts. The Melange, like the Semail Melange with which it is correlated, contains ophiolite and Permian limestone exotics with Tethyan faunas. These allochthonous rocks are intensely deformed by WNW-vergent thrusts and folds. This Batain fold and thrust belt widens and becomes more complex northwards. It appears to have been continuous with the deformation south of the Semail Ophiolite, although now separated by the Jebel Ja’alan Uplift. The tectonics are intrepreted to be the result firstly of northward motion, along the Masirah Fault, of the Helmand Block of Afghanistan, away from the Oman continental coast, and during this motion, upthrust of the Masirah Ophiolite. Then, later in the Cretaceous, southwestward obduction of oceanic coast, including the Semail Ophiolite and the Masirah Ophiolite Zone, onto the Arabian continental plate. The oblique obduction across the NNE-trending Batain margin produced the Batain fold and thrust belt and reversed the strike-slip motion on the Masirah Fault.
Negative correlation and log-concavity

We give counterexamples and a few positive results related to several conjectures of R. Pemantle (Pemantle, J Math Phys 41 (2000), 1371–1390) and D. Wagner (Wagner, Ann Combin 12 (2008), 211–239) concerning negative correlation and log-concavity properties for probability measures and relations between them. Most of the negative results have also been obtained, independently but somewhat earlier, by Borcea et al. (Borcea et al., J Am Math Soc 22 (2009), 521–567). We also give short proofs of a pair of results from (Pemantle, J Math Phys 41 (2000), 1371–1390) and (Borcea et al., J Am Math Soc 22 (2009), 521–567); prove that “almost exchangeable” measures satisfy the “Feder-Mihail” property, thus providing a “non-obvious” example of a class of measures for which this important property can be shown to hold; and mention some further questions. © 2009 Wiley Periodicals, Inc. Random Struct. Alg. , 2010
Ontology Theory , Management and Design : Advanced Tools and Models

Product or company names used in this set are for identification purposes only. Inclusion of the names of the products or companies does not indicate a claim of ownership by IGI Global of the trademark or registered trademark. Ontology theory, management, and design : advanced tools and models / Faiez Gargouri and Wassim Jaziri, editors. p. cm. Includes bibliographical references and index. Summary: "The focus of this book is on information and communication sciences, computer science, and artificial intelligence and provides readers with access to the latest knowledge related to design, modeling and implementation of ontologies"-All work contributed to this book is new, previously-unpublished material. The views expressed in this book are those of the authors, but not necessarily of the publisher. INTRODUCTION The number of available Web data sources and services has exploded during the last years. This enables users to access rich information in many domains such as health, life sciences, law, geography , and many other domain of interest. Thanks to this wealth, users rely more on various digital tasks such as data retrieval from both public and corporate data sources and data analysis with Web tools or services organized in complex workflows [Gao, 2005, Kinsi,2007]. However, human users have to spend uncountable hours to explore and discover Web resources that meet their requirements. In addition, in many cases, users need to compose a specific set of Web resources in order to fulfill a complex question. This situation is mainly due to the inability of present standards in capturing Web Service semantics, i.e. the precise meaning of what a given Web Service exactly delivers regarding a specific user context. AbsTRACT The authors address in this chapter the problem of the automated discovery and composition of Web Services. Now, Service-oriented computing is emerging as a new and promising paradigm. However, selection and composition of Services to achieve an expected goal remain purely manual and time consuming tasks. Basing our approach on domain concept definitions thanks to an Ontology, the authors develop here an algebraic approach that enables to express formal definitions of Web Service semantics as well as user information needs. Both are captured by the means of algebraic expressions of ontology properties. They present an algorithm that generates efficient orchestration plans, with characteristics of optimality regarding Quality of Service. The approach has been validated by a prototype and an evaluation in the case of an Health Information …
BigDAWG Clients Streams AppsVisualizations Array Island Relational Island Island X Array DBMS RDBMS X RDBMS Y Streaming Shim CAST CAST CAST

This paper presents a new view of federated databases to address the growing need for managing information that spans multiple data models. This trend is fueled by the proliferation of storage engines and query languages based on the observation that “no one size fits all”. To address this shift, we propose a polystore architecture; it is designed to unify querying over multiple data models. We consider the challenges and opportunities associated with polystores. Open questions in this space revolve around query optimization and the assignment of objects to storage engines. We introduce our approach to these topics and discuss our prototype in the context of the Intel Science and Technology Center for Big Data.
Finite-Sample Simulation-Based Inference in VAR Models with Applications to Order Selection and Causality Testing

Statistical tests in vector autoregressive (VAR) models are typically based on large-sample approximations, involving the use of asymptotic distributions or bootstrap techniques. After documenting that such methods can be very misleading even with fairly large samples, especially when the number of lags or the number of equations is not small, we propose a general simulation-based technique that allows one to control completely the level of tests in parametric VAR models. In particular, we show that maximized Monte Carlo tests [Dufour (2002)] can provide provably exact tests for such models, whether they are stationary or integrated. Applications to order selection and causality testing are considered as special cases. The technique developed is applied to quarterly and monthly VAR models of the U.S. economy, comprising income, money, interest rates and prices, over the period 1965-1996.
The rtfA gene regulates plant and animal pathogenesis and secondary metabolism in aspergillus flavus

THE rtfA GENE REGULATES PLANT AND ANIMAL PATHOGENESIS AND THE SYNTHESIS OF NUMEROUS SECONDARY METABOLITES IN ASPERGILLUS flavus Jessica M. Lohmar, PhD Department of Biological Sciences Northern Illinois University, 2018 Ana M. Calvo, Director Aspergillus flavus is a fungal opportunistic plant and human pathogen and producer of deadly mycotoxins including aflatoxin B1 (AFB1). In an effort to discover new genetic targets against A. flavus infections, in this study we examined the possible role of the rtfA gene in pathogenicity of this fungus. rtfA encodes a putative RNA-Pol II transcription elongation factor, previously characterized in Saccharomycese cerevisiae, Aspergillus nidulans, and Aspergillus fumigatus, where it was shown to regulate several important cellular processes, including morphogenesis, secondary metabolism. In addition, an initial study in A. flavus indicated that rtfA also influences development and production of AFB1; however, its effect on virulence is unknown. The current study revealed that the rtfA gene is indispensable for normal pathogenicity in plants, when using peanut seed as an infection model, and in animals, as shown in the Galleria mellonella infection model. Interestingly, rtfA positively regulates several processes known to be necessary for successful fungal invasion and colonization of host tissue, such as adhesion to surfaces, protease and lipase activity, proper cell wall composition and integrity, and resistance
Urban Simulation Using Principal Components Analysis and Cellular Automata for Land-Use Planning

Cellular automata, principal components analysis (PCA) and geographic information system techniques can be integrated to simulate alternative urban growth patterns based on a large set of environmental constraints that could be considered in land-use planning. The simulation of actual cities usually involves multicriteria evaluation in tackling the problems of complex spatial factors. Spatial factors often exhibit a high degree of correlation which is considered to be an undesirable property for multicriteria evaluation. It is difficult to determine the weights when many spatial variables are involved. This study uses PCA to remove data redundancy among a large set of spatial variables and determine the ideal point for land development. The simulation is based on transition rules that are related to the neighborhood function and similarity between cells and the ideal point. PCA helps to deal with a large data set of spatial variables for the implementation of the cellular automata model. The model can deal with the complicated resources conditions and environmental restrictions that are often encountered in land-use planning. The model can be further developed as an extended function of GIS to be a useful tool for urban planning and environmental management.
Modeling urban land-use dynamics in a fast developing city using the modified logistic cellular automaton with a patch-based simulation strategy

Cellular automata (CA) have been used to understand the complexity and dynamics of cities. The logistic cellular automaton (Logistic-CA) is a popular urban CA model for simulating urban growth based on logistic regression. However, this model usually employs a cell-based simulation strategy without considering the spatial evolution of land-use patches. This drawback largely constrains the Logistic-CA for simulating realistic urban development. We proposed a Patch-Logistic-CA to deal with this problem by incorporating a patch-based simulation strategy into the conventional cell-based Logistic-CA. The Patch-Logistic-CA differentiates new developments into spontaneous growth and organic growth, and uses a moving-window approach to simulate the evolution of urban patches. The Patch-Logistic-CA is tested through the simulation of urban growth in Guangzhou, China, during 2005–2012. The cell-based Logistic-CA was also implemented using the same set of data to make a comparison. The simulation results reflect that the Patch-Logistic-CA has slightly lower cell-level agreement than the cell-based Logistic-CA. However, visual inspection of the results reveals that the cell-based Logistic-CA fails to reflect the actual patterns of urban growth, because this model can only simulate urbanized cells around the edges of initial urban patches. Actually, the pattern-level similarities of the Patch-Logistic-CA are over 18% higher than those of the cell-based Logistic-CA. This indicates that the Patch-Logistic-CA has much better performance of simulating actual development patterns than the cell-based Logistic-CA. In addition, the Patch-Logistic-CA can correctly simulate the fractal structure of actual urban development patterns. By varying the control parameters, the Patch-Logistic-CA can also be used to assist urban planning through the exploration of different development alternatives.
French Urban Space: 1. Arriving in the City

This research has developed from my teaching French-language literature in Canadian Studies at the University of Edinburgh since 2005 and as the start of my doctoral work in French at Newcastle University. The research work aims to discover the way contemporary urban literature works to create space. The particular focus is on the French-speaking metropolis of Montreal and on migrant writers or the representation of newly-arriving migrants by contemporary French-language authors in Canada. The approach starts with, and moves on from twentieth-century work in the field by Douglas Ivison (1998) and Jean-Xavier Ridon (2000) and continues with two themes I developed completing my M.LITT Dissertation (presented at the Society for French Studies Leeds Conference 2005), firstly that literary writing functions to reclaim the urban space for the writers and works to re-insert them into a well-documented city. Secondly, the writing seeks to incorporate the writers, by naming the newly-encountered objects and signs with a language and vocabulary that is more authentic to their own experience before they encountered the city. As a practising writer myself, it is an approach I have used in my own poems, for example, in the Europa cycle (Mansfield 2006), which explores my move from the English Peaks to teach in Lille and then Paris in the 1990s. French Urban Space – Charlie Mansfield page 2 Work in the field of French Studies on nineteenth century French literature has addressed the use of space. In particular Colette Wilson’s 2004 work on the Emile Zola novel, L’Assommoir and the book-length study by Kristin Ross (1988) on the poetry of Arthur Rimbaud. My research draws on these primarily as a way of using the theoretical writing of Henri Lefebvre to approach literary texts and also to situate my research in the tradition of twentieth-century French critical study.
comment on acp-2022-183 Anonymous

The authors applied a flux inversion system based on LETKF algorithm to estimating the global and regional CO2 fluxes based on OCO-2 satellite observations. They obtained useful results indicating ability to reconstruct the regional surface fluxes fitting within a spread of the recent global inverse modelling results by other modelling systems. On the other hand, there are deficiencies of the method that authors could not overcome and hope to improve in further developments. Paper is well written and illustrated and can be accepted after minor revisions.
Design and Calibration of a Compound Sharp-Crested Weir

This paper describes the design and calibration of a compound sharp-crested weir consisting of two triangular parts with different notch angles. This weir provides accurate measurement for a wide range of flows without discontinuities. The lower triangular part of the weir handles the normal range of discharges at the measurement structure while the upper part measures the occasional higher peak flows. This weir will be installed on the crest of small concrete gravity dams for measuring runoff in experimental catchments. The weir was calibrated in the laboratory using a scaled model. Different geometries (combination of notch angles) were tested in order to validate the proposed theoretical discharge equations.
Nauplius-The Journal of The Brazilian Crustacean Society

We investigated the abundance and spatial distribution of Callinectes danae Smith, 1869 during the day/night periods and tidal cycles in a coastal area of Brazil. Sex ratio, size class distribution, and mean sizes of males and females were also analyzed. The sampling occurred between February and March 2011 in the estuary-bay complex of São Vicente. Collections occurred in six sampling stations during both daytime and nighttime. A total of 1997 specimens were collected in the bay and 963 specimens in the estuary. The abundance of males and females differed between the bay and estuary, with males more abundant in the estuary and adult females in the bay. Crabs in all demographic categories were more abundant at night. The species distribution was intrinsically related to the interaction between environmental factors. In addition to the higher capture during nocturnal collections, a positive correlation was found between the abundance of reproductive females and salinity, while juveniles were more abundant in shallower stations and at lower salinities. Our results contribute to a better understanding of the influence of day/night periods and tidal cycles on the abundance and distribution of the swimming crab C. danae.
Chronostratigraphic Calibration of the Pacific Coast Cenozoic: A Summary

The chronostratigraphic calibrations of key Pacific Coast Cenozoic biostratigraphic and lithologic units have been considerably modified by the advent of magnetic stratigraphy. The Paleocene record in California is much less complete than originally supposed, with almost no early Paleocene. The Pacific Northwest virtually lacks a Paleocene sedimentary record. The Eocene, Oligocene, and Miocene records in both regions are better represented, but many of the classic "complete" sections have significant hiatuses. Some of the biostratigraphic zonations based on benthic organisms (foraminifera and molluscs) turn out to be significantly time-transgressive, or overlapping in age by several million years, or completely co-extensive in age. In other cases, these allegedly continuous biochrons have large time gaps between them, or are so long in duration as to be useless for high-resolution correla- r tions. Studies in this volume have shown that the future of Pacific Coast correlations lies with magnetic stratigraphy calibrated by planktonic microfossils, rather than with the molluscs and benthic foraminifera that are traditionally used.
PeriText+: utilizing peripheral vision for reading text on augmented reality smart glasses

Augmented Reality (AR) provides real-time information by super-imposing virtual information onto users' view of the real world. Our work is the first to explore how peripheral vision, instead of central vision, can be used to read text on AR and smart glasses. We present PeriText+, a multiword reading interface using rapid serial visual presentation (RSVP). This enables users to observe the real world using central vision, while using peripheral vision to read text. We conducted a lab study to compare reading efficiency among 40 different conditions of text transformation. We also conducted a field study to evaluate the information transfer while using PeriText+ in a real-world walking scenario.
The ERS-1 microwave radiometer

Abstract The microwave radiometer on board ERS-1 developed at CRPE has two channels at 23·8 and 36·5 GHz. It is a nadir pointing sensor, aimed at the correction of the altimeter tropospheric path delay. It also provides the precipitable water and cloud liquid water over oceans along the satellite track. However, the measured brightness temperatures can be used to characterize polar ice and land surface properties. This paper summarises the characteristics of the instrument, describes the scientific requirements for data processing and presents its first results after launch.
The development of vegetation in the English lakes, considered in relation to the general evolution of glacial lakes and rock basins

During the past seven years, 1913—20, a large number of observations have been made in the English Lakes in an attempt to obtain some knowledge of the life conditions of aquatic plants. While the immediate object was to obtain light on the factors governing the distribution of these plants, it was also hoped that the results might bear upon more general problems of aquatic biology. The considerable data thus obtained, though far from complete, seem to be of interest from both these points of view. They are also capable of a more general interpretation, which is here attempted, and which, for the sake of clearness, may be indicated at this stage. It is assumed that lakes and lake basins become modified as they increase in age. Evidence is then presented for considering the English Lakes as a series illustrating this process of lake development, and an attempt is made to describe the phases in this process, and to relate the marked differences in lake vegetation and fauna to the stages in the topographical evolution of a lake.
12345 efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES The Numerical Prediction of Planar Viscoelastic Contraction Flows using the Pom-Pom Model and Higher-Order Finite Volume Schemes-Part II by

This study investigates the numerical solution of viscoelastic flows using two contrasting high-order finite volume schemes. We extend our earlier work for Poiseuille flow in a planar channel and the single equation form of the extended pom-pom (SXPP) model [1], to determine steady-state solutions for planar 4:1 sharp contraction flows. The numerical techniques employed are time-stepping algorithms: one of hybrid finite element/volume type, the other of pure finite volume form. The pure finite volume scheme is a staggered-grid cell-centred scheme based on area-weighting and a semi-Lagrangian formulation. This may be implemented on structured or unstructured rectangular grids, utilising backtracking along the solution characteristics in time. For the hybrid scheme, we solve the momentum-continuity equations by a fractional-staged Taylor-Galerkin pressure-correction procedure and invoke a cell-vertex finite volume scheme for the constitutive law. A comparison of the two finite volume approaches is presented, concentrating upon the new features posed by the pom-pom class of models in this context of non-smooth flows. Here, the dominant feature of larger shear and extension in the entry zone influences both stress and stretch, so that larger stretch develops around the re-entrant corner zone as Weissenberg number increases, whilst correspondingly stress levels decline.
Combining Pattern Sequence Similarity with Neural Networks for Forecasting Electricity Demand Time Series

We present PSF-NN, a new approach for time series forecasting. It combines prediction based on sequence similarity with neural networks. PSF-NN first generates predictions using the PSF algorithm that are then refined by the neural network component, which also utilizes additional features. We evaluate the performance of PSF-NN using a time series of hourly electricity demands for the state of New South Wales in Australia for three years. The task is to predict an interval of future values simultaneously, i.e. the 24 demands for the next day, instead of predicting just a single future demand. The results showed that the combined PSF-NN approach provides accurate predictions, outperforming the original PSF algorithm and a number of baselines.