Miracle-dz/UniFAR-FTUs huggingface dataset:
The energy resource potential of the Carrara Sub-basin revealed by new stratigraphic drilling

NDI Carrara 1 is a deep stratigraphic drillhole completed in 2020 as part of the MinEx CRC National Drilling Initiative (NDI) in collaboration with Geoscience Australia and the Northern Territory Geological Survey. It is the first stratigraphic test of the Carrara Sub-basin, a depocentre discovered in the South Nicholson region based on interpretation from seismic surveys L210 in 2017 and L212 in 2019 (Figure 1), which were acquired as part of the Exploring for the Future program (EFTF), an Australian Government initiative aimed at improving the understanding of the nation’s resource potential, particularly in frontier or underexplored regions (Carr et al 2019, 2020). The drillhole intersected ~1120 m of Proterozoic sedimentary rocks, unconformably overlain by 630 m of Georgina Basin carbonate rocks; continuous cores were recovered from 284 m to total depth at 1750.85 m (Figure 2). A comprehensive geochemical program designed to investigate the resource prospectivity of this newly discovered depocentre has been conducted on more than 400 NDI Carrara 1 physical samples. This study focuses on organic geochemical results from analyses of hydrocarbon shows and rocks collected from NDI Carrara 1 and their implications for the hydrocarbon prospectivity of the Carrara Sub-basin.
Heterogeneous Response and Clonal Drift of Sensitivities of Metastatic 13762NF Mammary Adenocarcinoma Clones to y-Radiation in Wfro1

Doubly cloned 13762NF rat mammary adenocarcinoma sublines of differing spontaneous metastatic potentials were tested for their response to ionizing radiation in vitro. Cells were irradiated using a 137Cssource, and colony formation was used to measure radiation survival. Heterogeneous responses of the various clones were observed and compared to clonal origin, spontaneous metastatic potential from mammary fat pad sites, and in vitro passage number. Clones MTF4 and MTF7, both derived from the locally growing tumor and possessing inter mediate metastatic potentials, exhibited characteristic radiation survival curves (n = 8, D0 = 89 rads, and n = 3, D0 = 78 rads respectively). Clone MTA, also derived from the locally growing tumor but possessing high metastatic potential, had a more linear dose response to y-irradiation (n = 1, D0 = 143 rads, r = â€”0.99). Clone MTLn2, a lung metastases-derived clone which possesses a low metastatic potential, also exhibited a linear response (n = 1, D0 = 175 rads, r = â€”0.98). At low passage number (T15Â±1), local tumor-derived clone MTC does not metastasize and possessed higher capacity to accu mulate sublethal damage (n = 96, D0 = 150 rads) compared to the other clones, but upon additional subculturing (T21 Â±1 clone), MTC became more metastatic and developed an in creasingly triphasic dose-response curve, suggesting the ex istence of at least two cell subpopulations, one which has little capacity to accumulate sublethal damage and the other radioresistant (D0 = 268 rads). Phenotypic drift in y-radiation sensitivity also occurred for the highly metastatic lung metas tasis-derived clone MTLn3. At low (T15Â±1) and high (T43Â±1) passage, clone MTLn3 was highly metastatic but had different metastatic profiles. Low-passage clone MTLnS cells possessed a linear dose response (n = 1, D0 = 128 rads, r = â€”0.99) to y-irradiation; similarly, high-passage MTLnS cells had a linear dose response but a different inherent sensitivity (n = 1, D0 = 152 rads). These studies revealed that considerable clonal heterogeneity exists within a tumor and its mÃ©tastases with respect to their response to y-radiation. Further, the inherent sensitivities may change with time, thereby altering radiation survival responses.
The online dream of old ludi

et d’environnement social. En conséquence, nous avons fait usage de notions empruntées à la sémiotique, aux game studies et et à la sociologie afin d’évaluer de manière empirique les environnements concrets qui étaient générés par ces outils. Nous avons procédé à l’observation de forums et nous sommes impliqués dans plusieurs matchs ; enfin, un questionnaire a été distribué à des joueurs experts. Les résultats de nos recherches montrent une articulation entre les cultures Vassal / OCTGN et les jeux de plateau/ wargames . Malgré les différences dans l’expérience du média, les acteurs ont déclaré que ces programmes engendraient une articulation entre leur hobby ludique IRL plutôt qu’une passion nouvelle et autonome.
Application of the HEC-HMS Model for Runoff Simulation in a Mediterranean Catchment

This study presents a flood estimation model for Wadi Rassoul in El Berda watershed, north East of Algeria. To ensure the overall consistency of simulated results, it is necessary to develop a validation process, particularly in regions where data are scarce or limited and unreliable. To this we must calibrate and validate the model over the hydrograph as measured at the output. Calibration and validation processes were carried out using different sets of data (CN, SCS Lag and Muskingum K). Evaluation on the performance of the developed flood model derived using HEC-HMS (hydrologic modelling system) yield a correlation coefficient R close to 2 1 and The Nash-Sutcliffe efficiency. We limit ourselves to modelling flood of short duration for which the process of evapotranspiration is negligible. Several events have been tested, including two to calibrate and one to validate the model. So it can be said that using the HEC-HMS model had the highest efficiency in with the values of these parameters calibrated, based on objective functions (percent error in peaks), with 8.8 percent difference between of observed and simulated discharges with R value is 0, 87 and The Nash-Sutcliffe 2 efficiency value is 0, 99.
Learning term weights by overfitting pairwise ranking loss

: A search engine strikes a balance between effectiveness and eﬀiciency to retrieve the best documents in a scalable way. Recent deep learning-based ranker methods are proving to be effective and improving the state-of-the-art in relevancy metrics. However, as opposed to index-based retrieval methods, neural rankers like bidirectional encoder representations from transformers (BERT) do not scale to large datasets. In this article, we propose a query term weighting method that can be used with a standard inverted index without modifying it. Query term weights are learned using relevant and irrelevant document pairs for each query, using a pairwise ranking loss. The learned weights prove to be more effective than term recall which is a probabilistic relevance feedback, previously used for the task. We further show that these weights can be predicted with a BERT regression model and improve the performance of both a BM25 based index and an index already optimized with a term weighting function.
A technique for separating viable islets of Langerhans from a fragment of human pancreatic tail

Introduction.Modern techniques of tissue engineering in the treatment of some degenerative diseases suggest the prospective viability of the biomedical technologies based on the creation of the equivalent of the damaged tissue (organ), including the tissue-engineered construct (TEC) of the endocrine pancreas (EP). Obtaining viable islets of Langerhans (IL) from the pancreas is a decisive step towards the creation of a TEC EP. The classic method of IL separation is based on enzymatic digestion of pancreatic tissue and further islet purification in ficoll density gradient during centrifugation, which adversely affects the morphofunctional state of IL.The aimof the study was the development of a method for separating viable pancreatic islets from a fragment of human pancreatic tail with different cold ischemia times.Materials and methods.A procedure of IL separation is proposed to be conducted without the use of EP tissue collagenase perfusion in the Ricordi chamber at the stage of IL separation and without ficoll solution with a varying density gradient at the stage of IL purification. Identification of IL obtained was performed by dithizone staining. The IL viability was evaluated using the LIVE/DEAD ® Cell Viability Kit. Histological analysis of the initial material included routine staining methods as well as immunohistochemical staining of the main types of islet cells.Results. The morphological study of the EP fragments at different times of cold ischemia did not reveal significant differences in the histological presentation of the organ parenchyma; the islet structure appeared intact. Vital staining confirmed the separated IL viability in vitro for at least 1–3 days.Conclusion. The proposed method of pancreatic tissue treatment allowed to reduce the number of stages, thereby minimizing the adverse effects of centrifugation and ficoll on the integrity of IL. It is possible to obtain the necessary amount of viable IL from a small EP fragment with the cold ischemia time of up to 19 hours, which can be used to create a TEC of a pancreas.
Tractable default reasoning

Commonsense knowledge is often incomplete, and reasoning with incomplete information is generally computationally intractable. For example, the statement "John may come by train or by plane" can force a system to reason by cases. We show how plausible default assumptions can be used to obtain more complete information (by filling in details), thereby providing a computational advantage in commonsense reasoning systems. Although it has been previously hypothesized that default reasoning might provide such an advantage, this is the first rigorous demonstration of the claim. A central aspect of this work is the analysis of the computational complexity of default reasoning. We characterize the various sources of intractability, and show how tractable forms of default reasoning can be obtained. Model-preference default theories are defined to provide a general default reasoning mechanism. We give a detailed analysis of the tradeoff between expressiveness and tractability as we place various syntactic restrictions on such theories. A similar analysis is given for Reiter's default logic, with an emphasis on efficiently computable default theories that include strict Horn theories. Our results indicate that the various tractable default theories are closely related. Our analysis of default logic also reveals the inherent intractability of abductive reasoning. Next, we consider the complexity of defeasible inheritance--a more specialized default reasoning formalism used in the representation of hierarchically organized information in semantic networks. Our central result is that inheritance reasoning based on Touretzky's inferential distance is NP-hard. Again, we identify the source of the intractability and delineate tractable subsystems. We conclude with a discussion of some of the computational limitations of the use of defaults in commonsense reasoning.
CRISIS MANAGEMENT IN TOURISM INDUSTRY

Crisis management is the application of strategies to help an organization, in order to deal with unpredictable events or unforeseeable consequence of events that had been considered a potential risk in tourism industry since the past decade. Initially, this report has reviewed some articles from renowned academic journals that related to crisis management, which give concise understanding to the theoretical and practical implications of different perspective in tourism context. Mainly, the propose of this report is to obtain a broader insight on the issue by comparing and contrasting with academic, industry and government’s perceptions in relation to crisis management. Finally, the report concludes with a set of conclusions and recommendations which are made in relation to overcome the challenge in crisis management for industry. Some studies investigate the moderating impact of the timing of crisis disclosure on the effect of crisis response strategies on organizational reputation. Some studies also focuse on the role of mass media which plays in affecting people’s perceptions of crises (Claeys Cauberghe, 2012). Both crises and the media’s portrayals of them cause changes
Affine Recursion Problem and a General Framework for Adjoint Methods for Calculating Sensitivities for Financial Instruments

Options with embedded early exercise features are of fundamental importance in finance. A simple example is the hedge of a multi-callable bond. This instrument is hedged using a Bermudan swaption.Bermudan swaptions also play a key role when pricing callable constant maturity swaps or flexible swaps and are thus relevant for risk management of Pension funds and retail banks. It is market practice to consider multi-factor models such as the Libor Market model to price and hedge such instruments.For hedging the key figures are the sensitivities to market and model parameters. For instance the Delta is the sensitivity of changing the underlying rate. To this end it is necessary to calculate such sensitivities in a fast and robust fashion. In this paper we propose a general framework for dealing with adjoints. We call it the Affine Recursion Problem (ARP). There are two solutions to the ARP. One is the forward method and the other one is the adjoint method. After a short review of approximating diffusion processes by numerical schemes we approximate the sensitivities Delta, Gamma and Vega using the general procedure. We treat the application of the general framework to Bermudan Swaptions and Trigger Swaps in Libor Market Model. For all steps of the approach we provide source code in Matlab such that not only the general approach is outlined and can be adapted to computer programs but also the reader can use this approach to set up adjoint methods.
Inferência de Tipos Dependentes em C

Tipos dependentes associam tipos a valores de forma a contribuir para a construção de programas mais seguros e e cientes. Este trabalho apresenta uma técnica para inferir tipos dependentes em C. A inferência de tipos usa uma Análise de Intervalos, que aproxima o conjunto de inteiros que cada variável pode assumir durante a execução do programa. Tal análise, juntamente com informações de tipos, nos habilita a anotar declarações em C com tipagem dependente. Nossa técnica permite que programadores usufruam das vantagens da tipagem dependente, sem que a linguagem C tenha que ser alterada. Além disso, desenvolvedores não precisam dominar a teoria de tipos dependentes para usar nosso método. Uma implementação de nossa técnica foi capaz de anotar com tipos dependentes a maioria dos arranjos e funções usadas nos 30 kernels de Polybench, um benchmark bem conhecido.
The Variability of Surface Chlorophyll-a in Lake Rawa Pening within Five-Month Observations

Lake Rawa Pening is a natural lake in the Semarang Regency of Central Java Province, Indonesia, and its existence is pivotal to the surrounding communities as it provides ecological, economic, and social benefits. The ecosystem health of Rawa Pening can be represented by chlorophyll-a concentration because it indicates phytoplankton biomass, nutrient availability, and fish resources. Hence, the present study aims to disentangle the monthly variability of surface chlorophyll-a in Rawa Pening Lake by analyzing water samples that were collected once a month from nine stations within five-month observations (September 2020 to January 2021). The samples were analyzed using spectrophotometric method. Results showed that the highest surface chlorophyll-a concentration (23.33 mg/m 3 ) took place in December, while the lowest concentration (12.64 mg/m 3 ) occurred in October. The monthly variability of surface chlorophyll-a was likely controlled by variation of rainfall, with the highest (18.72 mm) and the lowest (12.33 mm) rainfall happened in December and October, respectively. The present study also indicates the anthropogenic activities such as agricultural activities, floating food stands, aquaculture, and tourist boats may contribute to surface chlorophyll-a variability in Rawa Pening Lake.
Near-infrared images of IRAS galaxies

A complete subsample for imaging in the near infrared of 43 far-infrared galaxies (FIRGs) was chosen from the IRAS Point Source Catalogue. Selection criterion was an IRAS spectrum that is typical of FIRGs. 21 of 43 galaxies were observed at the 2.2-m-telescope at La Silla, Chile. Direct images in I (0.82 μm), H (1.65 μm) and K (2.2 μm) were obtained using a CCD, and a 32 × 32 IR-array camera with a resolution of 0″82 per pixel. Deep images (> 18 mag/□″ in K) were achieved by coadding. A correlation between the NIR and FIR emission of the observed galaxies has been found. A comparison of morphology within the different filters shows a high correspondence of structure on global scales while there are quite often deviations on small scales
DESIGN AND IMPLEMENTATION OF TRAFFIC VIOLATION DETECTION SYSTEMS WITH DEEP LEARNING TO SUPPORT ELECTRONIC TRAFFIC LAW ENFORCEMENT (e-TLE)

In this paper we investigate a method based on machine learning to identify types of motor vehicle traffic violations with image processing techniques to support electronic traffic law enforcement. Machine learning is a machine learning method that performs well when applied to data outside of the training set. In this study, data collection was carried out using a camera with a resolution of 13 megapixels. This data processing carries out a training process so that it requires high quality hardware such as a laptop / computer to get a result that can predict objects well. In this system it uses the CPU to train a model where the data is relatively small. The output in this system is a traffic violation image taken by using a camera. This system will work if a vehicle violates traffic, such as a violation of not wearing a helmet for motorcyclists and passing road markings. The system formed is a training result model with a total of 100 000 steps with 32 and 16 batch sizes, namely in the form of an inference graph consisting of a checkpoint file, frozen_inference_graph. pb, and there are 3 ckpt-model files. The accuracy rate of the model obtained ranges from 70% to 96%.
Photobiomodulation, Energy and Cancer: A Quantum Notion

Photobiomodulation therapy is defined as the utilization of non-ionizing electromagnetic energy to trigger photochemical changes within cellular structures that are receptive to photons. At the cellular level, visible red and near infrared light (NIR) energy are absorbed by mitochondria, which perform the function of producing cellular energy (ATP). Continuous energy supply is a necessary condition for life. Electromagnetic energy has the capacity to carry large bundles of information that may control and coordinate all chemical reactions in the cells. Disturbances in oxidative metabolism and information coherence are a central issue in cancer development. Cancer can be described as an entropic cellular survival state that lacks differentiation information. The increase in ATP production provided by means of photobiomodulation, may provide the needed energy to overcome the system entropy which may be able to increased order and produce negative entropy. Negative entropy may reestablish the necessary order, organization, compartmentalization and communication needed for cellular re-differentiation. Photobiomodulation may help restore a higher order of cellular homeostasis by inducing physiologically reparative activity for disease reversal in cancer and other degenerative diseases with minimal adverse side effects, and with potentially marked improvements in quality of life even in patients with advanced neoplasms .
Time-Domain Simulation of Floating, Dynamic Marine Structures using USFOS

This master thesis deals with calculation of the convolution integrals that constitute the memory functions in the linear time-domain wave response equation. Basic theory needed to calculate the forces acting on floating structures is presented. The main motivation for the thesis is to investigate the feasibility of including frequency dependent added mass and damping in USFOS. USFOS is a computer program originally developed to simulate the response to extreme environmental and accidental loads for fixed offshore structures. The program has been modified to be able to handle also floating offshore structures. Floating structures are however subjected to diffraction and radiation terms often simulated as added mass and damping terms. So far, these terms are assumed to be constant in USFOS. This is not correct, as the added mass and damping terms are frequency dependent in reality. The frequency dependence can be accounted for by adding memory functions expressed as convolution integrals. The convolution terms are integrated from 0 to t, i.e. from the beginning of time and up to this moment. This is neither possible, due to computer restrictions, nor necessary, due to damping effects. This thesis concentrates on finding the amount of ? memory? that needs to be included in the convolution integral. A single degree of freedom system illustrating a platform oscillating in heave is analysed in MATLAB, both for regular waves and irregular seas. The convolution integral is calculated with different time intervals included in the memory function, and the deviations from the full integral are analysed. Finally, a brief description is given of how the experiences obtained with the single degree of freedom system can be utilized in the implementation of frequency dependent added mass and damping terms in USFOS.
Data-driven optimal antenna planning for enhanced 4G mobile networks under realistic environment

Recently different capacity boosting technologies, including 3D beamforming and expanding operating bandwidth have been investigated and included in the enhanced fourth generation (4G) and fifth-generation standards. For mobile operators to enhance their network performance, applying these advanced technologies is vital. To achieve that, planning and optimization work need to consider the spatiotemporal distribution of users. Although the capacity impact of advanced antenna technologies is investigated well, deployment options to exploit their benefits in a cost-effective manner considering a realistic network environment are seldom reported. This work presents a data driven and multi-objective based optimal vertical beams placement for an enhanced 4G mobile network with the newly introduced C-band. The method is utilized for an area located in Addis Ababa, Ethiopia, taking into account the existing 4G mobile network as a reference configuration. Users are distributed based on the data collected by ethio-telecom network management system. Findings indicate that optimal vertical beams placement achieved for gradual deployment with consideration cell edge and aggregate throughput performances while reducing network cost. While being cost-effective, up to 69.2% and 73.8% cell edge performance gain is achieved at 20 and 30 pareto points relative to an existing macro mobile network.