Miracle-dz/UniFAR-FTUs huggingface dataset:
Metric Identification and Protocol Development for Characterizing DNAPL Source Zone Architecture and Associated Plume Response

Abstract : The overarching goal of this research is to develop and demonstrate a comprehensive approach for field characterization of DNAPL source zones which quantifies the key features that control plume response. Here the intent is to integrate targeted (local-scale) in situ tests with transect-based observations of downstream contaminant flux or concentration and information on subsurface geologic variability. To address its primary goal, the research encompasses the following specific objectives: (1) identification of the most information rich metrics for linking NAPL architecture to plume response; (2) development and refinement of in situ test methods and modeling tools that can be used to quantify identified metrics in targeted regions of the source zone; (3) integration of these metrics and tools with current machine learning characterization methods for an overall source zone assessment protocol; and (4) development of simplified models for prediction of plume response. The research approach integrates batch, column and aquifer cell experiments with mathematical modeling and data processing tools to identify and quantify features of the DNAPL architecture controlling down gradient plume response.
METHODS FOR EVALUATING MEDICAL TESTS AND BIOMARKERS

s from this symposium may be cited as: Author(s). Title [Abstract]. In: Methods for Evaluating Medical Tests and Biomarkers. Symposium; 2010 Jul 1-2; Public Health, Epidemiology and Biostatistics, University of Birmingham, Birmingham, UK. Page number(s). Abstracts are available at this website www.medical-test-res.bham. ac.uk/symposium2010s are available at this website www.medical-test-res.bham. ac.uk/symposium2010
Land Cover Assessment and Monitoring

Land-use changes are cumulatively transforming land cover at an accelerating pace, mainly in the tropics. These changes in terrestrial ecosystems are closely linked with the issue of the sustainability of socioeconomic development since they affect essential parts of our natural capital such as climate, soils, vegetation, water resources and biodiversity. Changes in terrestrial ecosystems brought about by human activity are driven by land cover conversion, land degradation, land-use intensification or other forms of land cover modification. The term land cover refers to the attributes of a part of the Earth's land surface and immediate subsurface, including biota, soil, topography, surface and groundwater, and human structures. The term land use refers to the purposes for which humans exploit the land cover. One generally distinguishes between land cover conversion, the complete replacement of one cover type by another, and land cover modification, more subtle changes that affect the character of the land cover without changing its overall classification. Land cover modifications are generally more prevalent than land cover conversions. Two types of satellite sensors are used in land cover applications: fine spatial resolution systems and coarse spatial resolution/high temporal frequency systems. Data are collected in the visible, thermal and microwave ranges of the spectrum. Information in the spatial domain also provides valuable information on land surface attributes. These data are analyzed either for land cover mapping or for land cover monitoring. Current research is moving toward the direct estimation of biophysical surface parameters by model inversion methods. Multisensor approaches are also increasingly being developed.
Enforcing Mandatory and Discretionary Security in Work owManagement Systems

Workkow management systems (WFMS) support the modeling and coordinated execution of processes within an organization. As advances in workkow management take place, they are also required to support security. This paper makes two major contributions to the area of workkow management. First, it shows how both mandatory and discretionary security can be incorporated into WFMS. Second, it provides a formal framework, based on Petri nets (PNs), for modeling workkows. Such a theoretical model is necessary for a standard conceptual representation as well as for analyzing the workkows. This paper rst presents a Petri Net based model, called Color Timed Petri Net (CTPN), which is capable of modeling the attributes of both multilevel and discretionary security. With respect to the issue of mandatory security, this paper proposes a multilevel secure workkow transaction model and identiies the task dependencies in a workkow that cannot be enforced in order to meet multilevel security constraints. It shows how CTPN can be used to represent various types of task dependencies and shows how the task dependencies violating security can be automatically detected and prevented by building a Secure Petri Net (SPN) from CTPN. With respect to the issue of discretionary access control, this paper proposes a Work-ow Authorization Model (WAM) that is capable of specifying authorizations in such a way that subjects gain access to required objects only during the execution of the task, thus synchronizing the authorization ow with the workkow. To achieve this synchronization, an Authorization Template (AT) is associated with each task that allows appropriate authorizations to be granted only when the task starts and to be revoked when the task nishes. This paper also presents how this synchronization can be implemented using CTPN. We argue that Petri net is a suitable tool for modeling workkows because of its rich set of analysis techniques. Properties such as safety of workkows (i.e. whether a workkow terminates in an acceptable state) and safety of WAM can be tested using the already available analysis techniques of PNs.
The Elements of Statistical Learning : Data Mining ' In-ferenceo and Prediction

This section will review those books whose content and level reflect the general editorial poltcy of Technometrics. Publishers should send books for review to Ejaz Ahmed, Depatment of Mathematics and Statistics, University of Windsor, Windsor, ON N9B 3P4 (techeditor@uwindsoxca). The opinions expressed in this section are those of the reviewers These opinions do not represent positions of the reviewer's organization and may not reflect those of the editors or the sponsoring societies. Listed prices reflect information provided by the publisher and may not be current The book purchase programs of the American Society for Quality can provide some of these books at reduced prices for members. For infbrmation, contact the American Society for Quality at 1-800-248-1946.
Title: Functional Reorganization in Obstructive Sleep Apnoea and Insomnia: A Systematic Review of the Resting-State fMRI

Functional neuroimaging techniques have accelerated progress in the study of sleep disorders. Considering the striking prevalence of these disorders in the general population, however, as well as their strong bidirectional relationship with major neuropsychiatric disorders, including major depressive disorder, their numbers are still surprisingly low. This review examines the contribution of resting state functional MRI to current understanding of two major sleep disorders, insomnia disorder and obstructive sleep apnoea. An attempt is made to learn from parallels of previous resting state functional neuroimaging findings in major depressive disorder. Moreover, shared connectivity biomarkers are suggested for each of the sleep disorders. Taken together, despite some inconsistencies, the synthesis of findings to date highlights the importance of the salience network in hyperarousal and affective symptoms in insomnia. Conversely, dysfunctional connectivity of the posterior default mode network appears to underlie cognitive and depressive symptoms of obstructive sleep apnoea.
Self-reported cardiovascular conditions are associated with falls and syncope in community-dwelling older adults.

BACKGROUND with increasing age, causes of syncope are more often of cardiac origin. Syncope in older persons is often mistaken for falls. Data regarding the association between specific cardiovascular conditions, falls and syncope are limited. METHODS cross-sectional analyses within a population sample aged 50+ (n = 8,173). Syncope and falls in the past year, cardiovascular conditions and co-variates were gathered through personal interviews. Associations between cardiovascular conditions and (recurrent) falls and syncope were studied through multivariable logistic regression. RESULTS mean age was 64 years (range: 51-105); 54% was female. Four per cent reported syncope, 19% falls and 23% cardiovascular morbidity. Abnormal heart rhythm was associated with falls (odds ratio (OR) 1.3 [95% confidence interval (CI) 1.0-1.5]), syncope (OR 1.6 [1.2-2.3]) and recurrent syncope (OR 2.2 [1.3-3.6]). Heart murmur was associated with falls (OR 1.4 [1.1-1.8]), recurrent falls (OR 1.5 [1.0-2.0]) and syncope (OR 1.9 [1.3-2.7]). Angina was associated with recurrent falls (OR 1.4 [1.0-1.9]), syncope (OR 1.8 [1.2-2.6]) and recurrent syncope (OR 2.7 [1.6-4.6]). Heart failure was associated with recurrent falls (OR 1.9 [1.0-3.4]) and myocardial infarction with syncope (OR 1.5 [1.0-2.3]). CONCLUSION self-reported cardiovascular conditions are associated with falls and syncope in a general population cohort. This warrants additional cardiovascular evaluation in older patients with unexplained falls and syncope.
Image reconstruction through polyfiltered variation minimization

Image Reconstruction Through Polyfiltered Variation Minimization by Michael Hagen Chair: Dr. Andrew Ross There has been considerable interest in reconstruction of remotely sensed imagery from incomplete frequency measurements for some time now. Given the nature of the collection process, it may be that portions of the spectrum are either missing or corrupted such that one is left with an incomplete representation of the original image. The advances in both the theory and available software for sparse signal reconstruction through function minimization make it an attractive approach for recreating the missing frequency data. It is the aim of this thesis to generalize the reconstruction technique known as Total Variation (TV) minimization from a signal processing perspective and to show that it is but one instance of a more general class of multi-filter operators. The approach will be demonstrated using freely available third-party software, and the reconstruction accuracy of TV minimization will be compared to that of several of the developed alternative operators. Last, the relationship between these operators and the frequencies to be reconstructed will be examined.
Recognition of handwritten Chinese characters by self-growing probabilistic decision-based neural networks

In this paper, we present a Bayesian decision-based neural networks (BDNN) for handwritten Chinese character recognition. The proposed Self-growing Probabilistic Decision-based Neural Networks (SPDNN) adopts a hierarchical network structure with nonlinear basis functions and a competitive credit-assignment scheme. Our prototype system demonstrates a successful utilization of SPDNN to the handwriting of Chinese character recognition on the public databases, CCL/HCCR1 and in house database (NCTU/NNL). Regarding the performance, experiments on three different databases all demonstrated high recognition (86 - 94%) accuracy as well as low rejection/acceptance (6.7%) rates. As to the processing speed, the whole recognition process (including image preprocessing, feature extraction, and recognition) consumes approximately 0.27 second/character on a Pentium-100 based personal computer, without using hardware accelerator or co-processor.
Multi-Faceted Question Fusion in the TREC 2022 CrisisFACTS Track

To address the challenges of multi-faceted questions in rapidly evolving environments, this paper introduces a system with an architecture based on recency-weighted and score-weighted reciprocal rank fusion of per-facet ranked lists. In the absence of existing data for parameter tuning, a small test collection built to support formative evaluation was developed and employed in system refinement. Issues of duplication were addressed through pruning near duplicates and, in one variation, synthesizing rather than simply selecting responses.
Treatment of common hip fractures.

OBJECTIVES To conduct a systematic review and synthesize the evidence for the effects of surgical treatments for subcapital and intertrochanteric/subtrochanteric hip fractures on patient-focused outcomes for elderly patients. DATA SOURCES MEDLINE, Cochrane databases, Scirus, and ClinicalTrials.gov, and expert consultants. We also manually searched reference lists from relevant systematic reviews. REVIEW METHODS High quality quasi-experimental design studies were used to examine relationships between patient characteristics, type of fracture, and patient outcomes. Randomized controlled trials were used to examine relationships between type of surgical treatment and patient outcomes. Patient mortality was examined with Forest plots. Narrative analysis was used for pain, quality of life (QoL), and functional outcomes due to inconsistently measured and reported outcomes. RESULTS Mortality does not appear to differ by device class, or by devices within a class. Nor, on the whole, do pain, functioning, and QoL. Some internal fixation devices may confer earlier return to functioning over others for some patients, but such gains are very short lived. Very limited results suggest that subcapital hip fracture patients with total hip replacements have improved patient outcomes over internal fixation, but it is unclear whether these results would continue to hold if the analyses included the full complement of relevant covariates. Age, gender, prefracture functioning, and cognitive impairment appear to be related to mortality and functional outcomes. Fracture type does not appear to be independently related to patient outcomes. Again, however, the observational literature does not include the full complement of potential covariates and it is uncertain if these results would hold. CONCLUSIONS Several factors limit our ability to definitively answer the key questions posed in this study using the existing literature. Limited perspectives lead to incomplete sets of independent variables included in analyses. Specific populations are poorly defined and separated for comparative study. Fractures with widely varying biomechanical problems are often lumped together. Outcome variables are inconsistently measured and reported, making it very difficult to aggregate or even compare results. If future high quality trials continue to support the evidence that differences in devices are short term at best, within the first few weeks to few months of recovery, policy implications involve establishing the value of a shorter recovery relative to the cost of the new device. As the literature generally focuses on community dwelling elderly patients, more attention needs to be directed toward understanding implications of surgical treatment choices for the nursing home population.
WATER TEMPERATURE VARIATION IN THE SALTY LAKES IN PRAHOVA’S SUBCARPATHIANS

Water temperature variation of the salty lakes of Telega and Doftana is influenced by meteorological parameters (air temperature, precipitation, air humidity, wind speed and cloudiness), the long and short wave radiation fluxes received / sent (they are influenced by the relative position of the sun in celestial vault at sunrise, noon and sunset), water salinity and waters’ distribution on vertical, as well as lakes’ mode of exploitation. Measurements carried out between May and November 2011 stressed the existence of some significant changes of temperature’s distribution on vertical, instead of the data existing during the previous time period in literature (1964 2011), the most important being recorded in Doftana lake, due to the considerable decrease of the salty water horizon. During the hot season, when therapeutic bath processes are intensive in Dulce Telega lake, up to a 3.3 m depth, temperature is uniform, while in Stavrică Telega lake there is a direct thermal stratification. In November, when the therapeutic bath processes are over, the helio-thermal phenomenon reappears in Dulcea lake, while in Doftana and Stavrică lakes there is a uniform stratification, specific to autumn season.
Neuro-fuzzy systems for fault detection and isolation in nuclear reactors

This work presents an application of recurrent neuro-fuzzy systems to fault detection and isolation in nuclear reactors. In the adopted framework, a fuzzification module is linked to an inference module, which is actually a neural network adapted to the recognition of the dynamic evolution of process variables. Two different approaches to the neural network inference module are tested over data simulated by a commissioned simulator for the detection and isolation of a number of security related faults in a nuclear reactor.
Discretized Light-Cone Quantization : Solution to a Field Theory in One-Space-One-Time Dimensions

In an earlier paper, the field theoretic bound state problem in l+l dimension was mapped to the problem of diagonalizing a strictly finite dimensional Hamiltonian matrix by quantizing at equal light cone time. In this paper, we calculate the invariant mass spectrum for the Yukawa theory &$. The spectrum is shown to be independent of the momentum cut-off in the limit A + oo and more complex with increasing harmonic resolution K. The results are compared with the recent work of Brooks and Frautschi, who apply conventional space-time quantization. Because of incompatible cut-offs, we reproduce their results only qualitatively, for a rather small value of A. We propose an explanation for their non-unique mass renormalization. We also discuss the straightforward application of the discretized light-cone quantization to non-Abelian field theories in l+l dimension, and the generalization to 3+1 dimensions.
Exploration ofr geothermal resources in Dixie Valley, Nevada

A case history of SUNEDCO's exploratory efforts, which ultimately led to the drilling and discovery of the Dixie Valley goethermal field, is presented. The geochemistry from three active lot springs in the area: Dixie Hot Springs, South Hot Springs, and Hyder Hot Springs, was examined. Two heat flow drilling programs were conducted at Dixie Hot Springs consisting of 45 temperature gradient holes ranging in depth from 30 to 1500 ft. From this program a heat-flow anomaly was mapped extending along the Stillwater Range front in which temperature gradients are greater than 100/sup 0/c/Km. in 1978, the number 1 SW Lamb well was drilled on a 152 acre farmout from Chevron. The well was completed as a geothermal producer in a zone of fractured volcanic rocks. Since then, five additional geothermal producing wells were completed within the anomalous area. (MJF)
Explorer Pilot randomised controlled trial of Help 4 Mood , an embodied virtual agent-based system to support treatment of depression

Citation for published version: Burton, C, Szentagotai Tatar, A, McKinstry, B, Matheson, C, Matu, S, Moldovan, R, Macnab, M, Farrow, E, David, D, Pagliari, C, Serrano Blanco, A, Wolters, M & Consortium, FTHM 2016, 'Pilot randomised controlled trial of Help4Mood, an embodied virtual agent-based system to support treatment of depression' Journal of Telemedicine and Telecare, vol 22, no. 6, pp. 348-355. DOI: 10.1177/1357633X15609793
Temporal regulation of epithelium formation

Summary To establish the animal body plan, embryos link the external epidermis to the internal digestive tract. In Caenorhabditis elegans, this linkage is achieved by the Arcade Cells, which form an epithelial bridge between the foregut and epidermis, but little is known about how development of these three epithelia is coordinated temporally. The Arcade Cell epithelium is generated after the epidermis and digestive tract epithelia have matured, ensuring that both organs can withstand the mechanical stress of embryo elongation; mis-timing of epithelium formation leads to defects in morphogenesis. Here, we report that temporal regulation of the Arcade Cell epithelium is mediated by the pioneer transcription factor PHA-4/FoxA, the cytoskeletal regulator ZEN-4/MKLP and the polarity protein PAR-6. We find that PHA-4 activates expression of a broad cohort of epithelial genes. However, accumulation of protein is delayed by ZEN-4, acting in concert with its partner CYK-4/MgcRacGAP. Finally, PAR-6 localizes factors within adherens junctions and at the apical surface, leading to Arcade Cell polarity. The results reveal that the timing of a landmark event during embryonic morphogenesis is mediated by the concerted action of four proteins that delay the formation of an epithelial bridge. In addition, we find that FoxA associates with many epithelial genes in mammals, suggesting that regulation of epithelial identity may be a conserved feature of FoxA factors and a contributor to FoxA function in development and cancer. CC-BY-NC-ND 4.0 International license peer-reviewed) is the author/funder. It is made available under a The copyright holder for this preprint (which was not . http://dx.doi. org/10.1101/076570 doi: bioRxiv preprint first posted online Sep. 21, 2016;
RunFein : a rapid prototyping framework for Feistel and SPN-based block

Block ciphers are the most prominent symmetric-key cryptography kernels, serving as fundamental building blocks to many other cryptographic functions. This work presents RunFein, a tool for rapid prototyping of a major class of block ciphers, namely product ciphers (including Feistel network and Substitution Permutation Network (SPN) based block ciphers). RunFein accepts the algorithmic configuration of an existing/ new block cipher from the user through a GUI to generate a customized software implementation. The user may choose from various microarchitectural templates (unrolled, pipelined, subpipelined) to generate an HDL description of the cipher. Various modes of operation and NIST test suite may also be included. This high-level design approach eliminates the laborious development efforts for VLSI realizations of block ciphers. It enables a quick design exploration, consequently enabling fast benchmarking in terms of critical resource estimation of various versions / configurations of a cipher that vary in terms of security, complexity, performance. Using RunFein, we have successfully imA. Khalid, M. Hassan Institute for Communication Technologies and Embedded Systems (ICE), RWTH Aachen University, Aachen 52074, Germany. E-mail: {ayesha.khalid, hassanm}@ice.rwth-aachen.de G. Paul (Corresponding author) Cryptology and Security Research Unit (CSRU), R. C. Bose Centre for Cryptology and Security, Indian Statistical Institute, Kolkata 700 108, India E-mail: goutam.paul@isical.ac. in A. Chattopadhyay School of Computer Engineering, Nanyang Technological University (NTU), Singapore. E-mail: anupam@ntu.edu. sg plemented some well known product ciphers and benchmarked their performance without significant degradation against their published literature.
Faster Shortest-Path Algorithms for Planar Graphs

We give a linear-time algorithm for single-source shortest paths in planar graphs with nonnegative edge-lengths. Our algorithm also yields a linear-time algorithm for maximum flow in a planar graph with the source and sink on the same face. For the case where negative edge-lengths are allowed, we give an algorithm requiringO(n4/3log(nL)) time, whereLis the absolute value of the most negative length. This algorithm can be used to obtain similar bounds for computing a feasible flow in a planar network, for finding a perfect matching in a planar bipartite graph, and for finding a maximum flow in a planar graph when the source and sink are not on the same face. We also give parallel and dynamic versions of these algorithms.