Miracle-dz/UniFAR-FTUs huggingface dataset:
Taxonomic revision of dragon lizards in the genus Diporiphora (Reptilia: Agamidae) from the Australian monsoonal tropics

Melville, J., Smith Date, K.L. , Horner, P., and Doughty, P. 2019. Taxonomic revision of dragon lizards in the genus Diporiphora (Reptilia: Agamidae) from the Australian monsoonal tropics. Memoirs of Museum Victoria 78: 23–55. The Australian dragon lizard genus Diporiphora currently comprises 21 species based on genetic and morphological evidence, with 11 of these species occurring in the monsoonal tropics of northern Australia. Diporiphora are climbing lizards that are found on either trees, grasses or rocks, with usually only subtle morphological differences to distinguish between species. Since the last taxonomic treatment of this genus in northern Australia over 40 years ago, species delimitation using genetic techniques has clarified the number of lineages and increased collections from recent surveys have significantly broadened the distributions of these taxa. However, no formal taxonomic assessments have been undertaken to redefine species, including the many lineages that represent undescribed species. Currently, there are seven species of Diporiphora with vast distributions across northern Australia and a broad and variable set of morphological characteristics that make species identification challenging, even for experienced field workers. Here, we provide a comprehensive taxonomic treatment of Diporiphora species across northern Australia based on previously published genetic data and morphological examination of voucher specimens. Our analyses demonstrate that these broadly distributed taxa actually comprise multiple, often allopatric, species, with especially high diversity in the Kimberley region of Western Australia. We redescribe nine previously described species and describe five new species of Diporiphora based on historical types, newly collected material and older museum vouchers. In the D. australis species group, we resurrect D. jugularis Macleay from synonomy. In the D. bennettii species group, we synonomise D. arnhemica Storr with D. albilabris Storr, and raise to full species the latter and D. sobria Storr. In addition, we describe as new a wide-ranging saxicoline species previously attributed to D. bennettii Gray. In the D. bilineata species group, we resurrect D. margaretae Storr from synonomy with D. magna Storr and describe three new species. Lastly, we describe a species from the northwest Kimberley that is more closely related to an arid zone radiation. The revision of the northern Diporiphora dragons here stabilises the taxonomy, redefines many species distributions and reveals many new species. Further work on Diporiphora includes further surveys to better understand distributions and habitat preferences and continue to refine their evolutionary history and biogeography in northern Australia.
Vibration Bandgaps of Piezoelectric Metamaterial Plate with Local Resonators for Vibration Energy Harvesting

Embedded wireless sensing networks (WSNs) provide effective solutions for structural health monitoring (SHM), where how to provide long-term electric power is a bottle-neck problem. Piezoelectric vibration energy harvesting (PVEH) has been widely studied to realize self-powered WSNs due to piezoelectric effect. Structural vibrations are usually variable and exist in the form of elastic waves, so cantilever-like harvesters are not appropriate. In this paper, one kind of two-dimensional (2D) piezoelectric metamaterial plates with local resonators (PMP-LR) is investigated for structural vibration energy harvesting. In order to achieve low-frequency and broadband PVEH in SHM, it is highly necessary to study dynamic characteristics of PMP-LR, particularly bandgaps. Firstly, an analytical model is developed based on the Kirchhoff plate theory, and modal analysis is done by using the Rayleigh–Ritz method. Then, effects of geometric and material parameters on vibration bandgaps are analyzed by finite element-based simulations. In the end, experiments are carried out to validate the simulated results. The results demonstrate that the location of bandgaps can be easily adjusted by the design of local resonators. Therefore, the proposed method will provide an effective tool for optimizing local resonators in PMP-LR.
Seismic amplitude inversion for the transversely isotropic media with vertical axis of symmetry

Transverse isotropy with a vertical axis of symmetry is a common form of anisotropy in sedimentary basins, and it has a significant influence on the seismic amplitude variation with offset. Although exact solutions and approximations of the PP‐wave reflection coefficient for the transversely isotropic media with vertical axis of symmetry have been explicitly studied, it is difficult to apply these equations to amplitude inversion, because more than three parameters need to be estimated, and such an inverse problem is highly ill‐posed. In this paper, we propose a seismic amplitude inversion method for the transversely isotropic media with a vertical axis of symmetry based on a modified approximation of the reflection coefficient. This new approximation consists of only three model parameters: attribute A, the impedance (vertical phase velocity multiplied by bulk density); attribute B, shear modulus proportional to an anellipticity parameter (Thomsen's parameter ε−δ); and attribute C, the approximate horizontal P‐wave phase velocity, which can be well estimated by using a Bayesian‐framework‐based inversion method. Using numerical tests we show that the derived approximation has similar accuracy to the existing linear approximation and much higher accuracy than isotropic approximations, especially at large angles of incidence and for strong anisotropy. The new inversion method is validated by using both synthetic data and field seismic data. We show that the inverted attributes are robust for shale‐gas reservoir characterization: the shale formation can be discriminated from surrounding formations by using the crossplot of the attributes A and C, and then the gas‐bearing shale can be identified through the combination of the attributes A and B. We then propose a rock‐physics‐based method and a stepwise‐inversion‐based method to estimate the P‐wave anisotropy parameter (Thomsen's parameter ε). The latter is more suitable when subsurface media are strongly heterogeneous. The stepwise inversion produces a stable and accurate Thomsen's parameter ε, which is proved by using both synthetic and field data.
Analysis of User’s Behavior on Borrowed Book Record in National Central Library University of Laos

The purpose of this paper is to analyze the student’s behavior of borrowing book in order to find out the frequent group of book items using association rule technique based on the data mining technologies. Data mining is a powerful tool for discovering interesting relationships hidden in large data set. Apriori algorithm can be applied on the university’s library transaction database to improve resource management to find out the relationship which two groups of books nearby together that user like to borrow. In this paper we collected data set of user’s record from Central Library National University of Laos. The number of user’s behavior data for training set was 6,615 record of personal log and the analysis is done by WEKA application software. The study shows that the total of 8 rules are with the confidence of 75%, 64%, 61%, 52%, 45%, 37%, 34%, and 23% respectively, the results about user’s behaviors can be used to manage the library resource.
On automatic approaches to multi-language programming via code reusability

The focus of this research is the production of software by reusing existing software resources (that is, collections of data structures/classes and procedures/functions which operate upon them) as black boxes to compose a coherent collage. In particular, we are interested in the problem of constructing a suite of automatic tools to assist in the development of multi-language programs for scientific computation, where the phrase multi-language implies that the various resources exploit the capabilities afforded by language heterogeneity. The automatic nature of these tools is very important, because we want the target users (scientists-programmers) to be liberated from chores which generally are irrelevant in the context defined by the problems they want to solve. A fundamental problem associated with this scenario, which is what we call multi-language programming via code reusability (or multi-language reusability, for short) is the data type correspondence problem. Informally, this refers to finding suitable representations for type-related concepts which are nonexistent in a given programming language. In this dissertation we present two approaches to tackling the data type correspondence problem in the context of multi-language reusability with minimal user intervention. The first one, which we call a transformational approach, or scATM, explicitly and systematically transforms one type-related concept into another to achieve interlanguage communication. In this context, the automatic nature of scATM consists of automatically computing the required transformations. Alternatively, our reverse object-oriented approach, or scROOM, is based on the fundamental concept of type model, which uses abstraction to concentrate on common type-related concepts instead of becoming distracted by irrelevant differences. This concept leads us, in a natural way, to define a common ground where apparently different type systems can coexist in harmony. scROOM adopts the philosophy behind the object-oriented paradigm but follows a reverse path from the representation defined by the resource (to be reused) to a class with this representation. We visualize this class as wrapping the resource, which is why we call it the wrapper class. In this context, the automatic nature of scROOM consists of automatically computing the wrapper class. We discuss some problems associated with the process of wrapping a resource, which we prove to be undecidable. This establishes, in a certain sense, limits to the scope of any automatic approach to multi-language reusability.
Writing Good Prose A Simple Structural Approach

Thank you very much for reading writing good prose a simple structural approach. As you may know, people have search hundreds times for their favorite readings like this writing good prose a simple structural approach, but end up in infectious downloads. Rather than enjoying a good book with a cup of coffee in the afternoon, instead they are facing with some malicious bugs inside their computer. writing good prose a simple structural approach is available in our digital library an online access to it is set as public so you can get it instantly. Our digital library hosts in multiple countries, allowing you to get the most less latency time to download any of our books like this one. Kindly say, the writing good prose a simple structural approach is universally compatible with any devices to read.
DETERMINATION OF THE LEVEL OF PETROLEUM HYDROCARBON IN WATER, FISHES AND PLANTS FROM PART OF RIVER ETHIOPE, OGHARA IN DELTA STATE, NIGERIA

The occurrence of crude oil in the Niger Delta with its concomitant petroleumindustrialization has resulted in generation of enormous waste products. Also spilled oilproduces deleterious effect on both flora and fauna. As such human daily activities andmeans of survival are dependent on the environment in which they live; hence there is needfor best environmental management practices. This research investigated the totalpetroleum hydrocarbons in plants, water and fish samples from and around River Ethiope,Oghara community in Delta State, Nigeria. Total petroleum hydrocarbon (TPH) in Plants,water and fish were extracted separately using standard analytical method and examinedwith the use of Gas Chromatography with Flame Ionization Detector (GC/FID) after purifyingthe extract through column packed with silica gel. The results of the analysis revealed thatthe levels of TPHs in water ranged between (0.004 + 0.003 and 0.008 + 0.008) mg/L while infish ranged between (0.019 + 0.001 and 0.034 + 0.001) mg/L and in plant ranged between(0.004 + 0.001 and 0.044 + 0.001) mg/L. Moderately high molecular weight aromatic andhigh molecular weight aliphatic hydrocarbons were present.
Wall Jet Flow Simulation in a Reservoir Using a Three-Dimensional Mathematical
 Model.

Density and divergence flow analysis in a dam reservoir is essential from the point of view of reservoir sedimentation studies, water quality modeling, habitat in reservoirs, effluent mixing analyses, and circulation flows in ambient waters of a dam. In the present study, different density inflow was modeled in three-dimensions along a dam reservoir with diverging and sloping bottom channels. Nonlinear and unsteady continuity, momentum, energy and turbulence model equations were formulated in the Cartesian coordinates. k-ε turbulence model including density effects was used to the turbulence viscosity. The Coriolis force effect was also included in the governing equations for a dam reservoir. The generated model was solved based on the initial and boundary conditions of the dam reservoir flow for a range of bottom slopes and divergence angles. The model successfully simulates the formation of wall jets in ambient water. The present model simulation results were compared with previous experimental work. The present model results were compatible with the experimental results.
SCNP: A protocol for automatic, decentralized and scalable IP network configuration

This paper presents SCNP, a self-configuring network protocol. Home networks conceptually are a hybrid form of adhoc networks and typical enterprise networks. No currently existing protocol can solve the problem of network configuration for home networks. SCNP bridges the gap between a protocol assigning IP addresses and managing routing information while guaranteeing IP address uniqueness. To realize the IP address uniqueness guarantee, we developed a conflict resolution algorithm. The combination of assigning IP addresses, managing routing information and guaranteeing IP address uniqueness has resulted in SCNP.
Multi-document Summarization Based on Cluster using Term Co-occurrence

In multi-document summarization by means of salient sentence extraction, it is important to remove redundant information. In the removal process, the similarities and differences of sentences are considered. In this paper, we propose a method for multi-document summarization which extracts salient sentences without having redundant sentences by way of cohesive term clustering method that utilizes co-occurrence Information. In the cohesive term clustering method, we assume that each term does not exist independently, but rather it is related to each other in meanings. To find the relations between terms, we cluster sentences according to topics and use the co-occurrence information oi terms in the same topic. We conduct experimental tests with the DUC(Document Understanding Conferences) data. In the tests, our method shows better performance of summarization than other summarization methods which use term co-occurrence information based on term cohesion of document or sentence unit, and simple statistical information.
Electronic Structure, Elastic and Optical Properties of AEuS2 (A = Na, K, Rb, and Cs) Ternary Sulfides: First‐Principles Study

The results of first principles calculations of the structural parameters, elastic moduli, electronic structure and optical properties of the ternary rhombohedral layered compounds AEuS2 (A = Na, K, Rb and Cs) are reported. These calculations were performed by employing the Linear Combination of Atomic Orbitals (LCAO) method. The calculated structural parameters using different exchange and correlation approximations are in good agreement with the experimental data, and the best agreement is obtained with the PBE0 functional. The mechanical stability of the AEuS2 compounds is investigated for the first time by calculating the single‐crystal elastic constants Cij using the stress–strain approach; and the macroscopic elastic parameters, such as the bulk modulus β and shear modulus G, were determined by using Voigt–Reuss–Hill approximations (VRH). Electronic properties have been studied through calculation of band structure and density of states. It is shown that these crystals belong to the semiconductors with an indirect band gap. Furthermore, in order to investigate the optical transitions of these compounds, linear optical functions such as the complex dielectric function, optical reflectivity and loss function were computed for an energy range from 0 to 20 eV. The calculated optical spectra show the anisotropic nature of the optical properties of the AEuS2 (A = Na, K, Rb, and Cs) compounds.
Information Literacy Assessment Standards Based Tools And Assignments

Thank you for downloading information literacy assessment standards based tools and assignments. Maybe you have knowledge that, people have look hundreds times for their chosen books like this information literacy assessment standards based tools and assignments, but end up in malicious downloads. Rather than reading a good book with a cup of coffee in the afternoon, instead they are facing with some malicious virus inside their computer.
Quelques applications du transport optimal en analyse et en probabilités

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. Quelques applications du transport optimal en analyse et en probabilités Max Fathi
Transactions as first-class programming concepts

Object-oriented programming languages provide transaction behavior by means of library classes. In enterprise level programming, transactions are provided as an external feature, not available in standalone programs. This paper introduces transactions as a rst-class programming concept, using the atomicity property of transactions to keep the program in a consistent state. Program execution can go wrong, leading to exceptional results and leaving objects possibly in an inconsistent state and as such compromising the consistency of the entire application. In this paper we primarily focus on the atomicity property of transactions and show that the expressiveness of the programming language is enhanced. This results in programs that are easier to read, and moreover more robust and easier to maintain. The need for boilerplate code, now necessary to handle exceptional cases, is reduced.
Certifying a crash-safe file system

File systems are a cornerstone for storing and retrieving permanent data, yet they are complex enough to have bugs that might cause data loss, especially in the face of system crashes. FSCQ is the first file system that (1) provides a precise specification for the core subset of POSIX file-system APIs; and the APIs include fsync and fdatasync, which allow applications to achieve high I/O performance and crash safety, and that (2) provides a machine-checked proof that its I/O-efficient implementation meets this precise specification. FSCQ's proofs avoid crash-safety bugs that have plagued file systems, such as forgetting to insert a disk-write barrier between writing the data from the log and writing the log's commit block. FSCQ's specification also allows applications to prove their own crash safety, avoiding application-level bugs such as forgetting to invoke fsync on both the file and the containing directory. As a result, applications on FSCQ can provide strong guarantees: they will not lose data under any sequence of crashes. To state FSCQ's theorems, FSCQ introduces the Crash Hoare Logic (CHL), which extends traditional Hoare logic with a crash condition, a recovery procedure, and logical address spaces for specifying disk states at different abstraction levels. CHL also reduces the proof effort for developers through proof automation. Using CHL, the thesis developed, specified, and proved the correctness of the FSCQ file system. FSCQ introduces a metadata-prefix specification that captures the properties of fsync and fdatasync, based on Linux ext4's behavior. FSCQ also introduces disk sequences and disk relations to help formalize the metadata-prefix specification. The evaluation shows that FSCQ enables end-to-end verification of application crash safety, and that FSCQ's optimizations achieve I/O performance on par with that of Linux ext4. Thesis Supervisor: M. Frans Kaashoek Title: Charles Piper Professor of Computer Science and Engineering Thesis Supervisor: Nickolai Zeldovich Title: Associate Professor
Overview of the INEX 2009 Entity Ranking Track

htmlabstractIn some situations search engine users would prefer to retrieve entities instead of just documents. Example queries include “Italian Nobel prize winners”, “Formula 1 drivers that won the Monaco Grand Prix”, or “German spoken Swiss cantons”. The XML Entity Ranking (XER) track at INEX creates a discussion forum aimed at standardizing evaluation procedures for entity retrieval. This paper describes the XER tasks and the evaluation procedure used at the XER track in 2009, where a new version of Wikipedia was used as underlying collection; and summarizes the approaches adopted by the participants.
Almost periodic motion planning and control for double rotary pendulum with experimental validation

The aim is to develop a systematic procedure for planning feasible motions for a double rotary pendulum. This pendulum has one directly actuated horizontal link and two passive links, moving in a rotating vertical plane. We plan a nontrivial oscillatory motion for the passive links that is consistent with the horizontal link rotating at a given average speed and also design a stabilizing controller to approximately induce such a motion. For the motion planning, a numerical optimization procedure is proposed in the form of a sequence of three simpler problems to systematically derive initial guesses for the final optimization search. For the controller design, firstly the system is linearized along a nominal trajectory, and then a parametrized family of candidate stabilizing controllers is designed. For each set of parameters, a necessary and sufficient stability condition can be checked for the derived linear time varying periodic system. Therefore, a numerical optimization procedure is used to find the controller gain for the linear system based on the stability condition. The performance of the closed‐loop system is illustrated via numerical simulations and verified via experiments with an educational platform produced by PendCon, demonstrating achieving oscillations with required characteristics. However, the formal proofs for convergence and even for existence of almost periodic solutions are left for future studies.
Statistical analysis and application of competing risks model with regression

The paper deals with the methods of statistical analysis of dependent competing risks in the presence of covariates. The problem of identiﬁcation of marginal and joint distributions of competing random variables is recalled and certain identiﬁability results in the framework of regression models are presented. The main objective is then to study the case when the correlation of competing variables depends on covariates, as this phenomenon has not been taken into account in the most of papers dealing with the identiﬁability of competing risks models with regression. Such a dependence is demonstrated and estimated on a real example with unemployment data.