Miracle-dz/UniFAR-FTUs huggingface dataset:
s2k: A parallel language for streaming text extraction and transformations

Computer architectures continue to evolve and expose additional hardware parallelism to software applications. Although programming systems can leverage advances in hardware parallelism for the processing of numerical data, finding ways to exploit additional hardware parallelism for text data is particularly challenging. To address this challenge we define s2k, a global-view parallel programming language for streaming text extraction and transformations that integrates stream programming abstractions and parallel bitstream programming methods. The s2k language design involves several aspects. First, the design of domain-specific abstractions that integrate stream programming concepts and parallel bitstream programming methods. Second, the definition of a deterministic parallel programming model with serial semantics. Third, the design of a translation scheme to transform s2k stream programs into a portable intermediate language suitable for translation to backend representations. Fourth, the definition of s2k runtime libraries for parallel text processing.
Layered HEVC/H.265 video transmission scheme based on hierarchical QAM optimization

High Efficiency Video Coding (HEVC) is the state-of-art video compression standard which fully support scalability features and is able to generate layered video streams with unequal importance. Unfortunately, when the base layer (BL) which is more importance to the stream is lost during the transmission, the enhancement layer (EL) based on the base layer must be discarded by receiver. Obviously, using the same transmittal strategies for BL and EL is unreasonable. This paper proposed an unequal error protection (UEP) system using different hierarchical amplitude modulation (HQAM). The BL data with high priority are mapped into the most reliable HQAM mode and the EL data with low priority are mapped into HQAM mode with fast transmission efficiency. Simulations on scalable HEVC codec show that the proposed optimized video transmission system is more attractive than the traditional equal error protection (EEP) scheme because it effectively balances the transmission efficiency and reconstruction video quality.
INDOOR MAPPING EYEWEAR: GEOMETRIC EVALUATION OF SPATIAL MAPPING CAPABILITY OF HOLOLENS

Abstract. Existing indoor mapping systems have limitations in terms of time efficiency and flexibility in complex environments. While backpack and handheld systems are more flexible and can be used for mapping multi-storey buildings, in some application scenarios, e.g. emergency response, a light-weight indoor mapping eyewear or head-mounted system has practical advantages. In this paper, we investigate the spatial mapping capability of Microsoft Hololens mixed reality eyewear for 3D mapping of large indoor environments. We provide a geometric evaluation of 3D mesh data captured by the Hololens in terms of local precision, coverage, and global correctness in comparison with terrestrial laser scanner data and a reference 3D model. The results indicate the high efficiency and flexibility of Hololens for rapid mapping of relatively large indoor environments with high completeness and centimetre level accuracy.
ORTHOGRAPHIC REFLECTANCE IMAGE FOR PLANAR TARGET LOCALIZATION IN LOW DENSITY TLS POINT CLOUDS

Abstract. Point cloud registration is important and essential task for terrestrial laser scanning applications. Point clouds acquired at different positions exhibit significant variation in point density. Most registration methods implicitly assume dense and uniform distributed point clouds, which is hardly the case in large-scale surveying. The accuracy and robustness of feature extraction are greatly influenced by the point density, which undermines the feature-based registration methods. We show that the accuracy and robustness of target localization dramatically decline with decreasing point density. A methodology for localization of artificial planar targets in low density point clouds is presented. An orthographic image of the target is firstly generated and the potential position of the target center is interactively selected. Then the 3D position of the target center is estimated by a non-linear least squares adjustment. The presented methodology enables millimeter level accuracy of target localization in point clouds with 30mm sample interval. The robustness and effectiveness of the methodology is demonstrated by the experimental results.
Real Time Data Mining

Data mining is about explaining the past and predicting the future by exploring and analyzing data. Data mining is a multi-disciplinary field which combines statistics, machine learning, artificial intelligence and database technology. Although data mining algorithms are widely used in extremely diverse situations, in practice, one or more major limitations almost invariably appear and significantly constrain successful data mining applications. Frequently, these problems are associated with large increases in the rate of generation of data, the quantity of data and the number of attributes (variables) to be processed: Increasingly, the data situation is now beyond the capabilities of conventional data mining methods. The term Real Time is used to describe how well a data mining algorithm can accommodate an ever increasing data load instantaneously. Upgrading conventional data mining to real time data mining is through the use of a method termed the Real Time Learning Machine or RTLM. The use of the RTLM with conventional data mining methods enables Real Time Data Mining. The future of predictive modeling belongs to real time data mining and the main motivation in authoring this book is to help you to understand the method and to implement it for your applications.
History matching and uncertainty quantificiation using sampling method

History Matching and Uncertainty Quantification Using Sampling Method. (August 2008) Xianlin Ma, B.S., China University of Geosciences, Wuhan, China; M.S., University of Petroleum, Beijing, China; M.S., University of Waterloo, Ontario, Canada Co-Chairs of Advisory Committee: Dr. Akhil Datta-Gupta Dr. Yalchin Efendiev Uncertainty quantification involves sampling the reservoir parameters correctly from a posterior probability function that is conditioned to both static and dynamic data. Rigorous sampling methods like Markov Chain Monte Carlo (MCMC) are known to sample from the distribution but can be computationally prohibitive for high resolution reservoir models. Approximate sampling methods are more efficient but less rigorous for nonlinear inverse problems. There is a need for an efficient and rigorous approach to uncertainty quantification for the nonlinear inverse problems. First, we propose a two-stage MCMC approach using sensitivities for quantifying uncertainty in history matching geological models. In the first stage, we compute the acceptance probability for a proposed change in reservoir parameters based on a linearized approximation to flow simulation in a small neighborhood of the previously computed dynamic data. In the second stage, those proposals that passed a selected criterion of the first stage are assessed by running full flow simulations to assure the rigorousness. Second, we propose a two-stage MCMC approach using response surface models for quantifying uncertainty. The formulation allows us to history match three-phase flow simultaneously. The built response exists independently of expensive flow simulation, and provides efficient samples for the reservoir simulation and MCMC in the second stage.
The Ecologic Relations of the Photogenic Function among Insects

as to the utility of the luminosity can be reached, although there are good reasons for considering that it is probably defensive, alluring etc., in function, in various groups. In at least two phyla, howewer, it has been possible to arive at a definite explanation of the usefulness of the photogenic function during the life of the organisms: Among the Annelids, Galloway 1,3) and Galloway and Welch (4) have shown that the luminosity serves as a mating adaptation in Odontosyllis enopla. Recently Potts (17) has called attention to the similar habits of Odontosyllis phosphorea, in which the luminosity appears to play a more subordinate part in mating. Lund (8) has also niade observations on marine annelids. It is among the insects, however, that we have the most definite cases of the application of the light-producing power to lives of the organisms. Among the Coleoptera there is the family Lampyridae, in which a very large number of the species possess the photogenic function. The surmises as to the usefulness of this function to these insects have embraced the protective, alluring and reproductive ideas, but it is now known that in at least certain of the genera of Lampyrids, the photogenic function serves, as in the Odontosyllids mentioned above, as a mating adaptation. Among the older writers, Spallanzani (18) and Rennie (19) both called attention to the attraction between the sexes apparently as the result of the luminosity, though the latter writer is inclined to interpret his observations as rather opposing the theory of the significance of the function for mating. Lubbock (7) notes a similar instance. The first conclusive observations were made by Osten-Sacken (16)^ on the American species Photinus pyralis. Osten-Sacken found that the females of this species remained clinging to grass, leaves, etc., while the males flew above them, flashing at intervals. When the flash of a male was seen by a female, she answered by flashing, and upon the male seeing this answering flash, he alighted near the female, finally locating her definitely through subsequent flashes, and mating with her. Next chronologically were the observations of Emery (2) upon Luciola Ualia. Emery watched the actions of the sexes in this species,. and concluded that they depended upon the use of the luminous power
Iwssip 2010 -17th International Conference on Systems, Signals and Image Processing Face Recognition Using Selected 2dpca Coefficients

—Face recognition based on principal component analysis (PCA) has provided successful results. This leads researchers to propose several variants of PCA such as the two-dimensional PCA (2DPCA). The results reported using this technique have demonstrated that it has an enormous potential as feature extractor for face recognition. However, the main drawback is the high number of coefficients produced. In this paper we propose to use a feature selection algorithm to analyze and to discard coefficients that are not relevant to the face recognition task. Experimental results on the ORL and the Yale databases have shown that the number of coefficients extracted by the 2DPCA can be reduced in about ten times while improving recognition rate.
Why Do Users Continue to Use Mobile Cloud Computing Applications? A Security-Privacy

Mobile cloud computing (MCC) apps are mobile apps that use cloud computing technology to provide larger storage capacity and simultaneous access from different mobile devices. Despite the benefits, sending data to the cloud raises security and privacy concerns as mobile users do not have direct control over their data in the cloud. Further, many MCC apps are not used just after single use. In this study, we do a cost/benefit analysis based on security and privacy to investigate the factors that drive or inhibit mobile users to continue to use MCC apps. Additionally, we examine whether security and privacy interventions of MCC apps providers influence the cost/benefit analysis. The results of the survey with 412 MCC apps users show that while security concerns inhibit, privacy concerns do not stop using MCC apps. The value of MCC apps is the main enabler followed by trust to continue to use the apps. The results also show that security and privacy interventions do not add value to MCC apps, but they increase trust. These interventions decrease privacy concerns but have no effect on security concerns. Finally, these interventions indirectly drive users to continue to use the apps through trust.
Digital Analysis Of EEG Brain Signal

Electroencephalography is the neurophysiologic measurement of the electrical activity of the brain using electrodes placed on the scalp. The resulting traces are known as electroencephalogram (EEG) and they represent an electrical signal from a large number of neurons. The EEG is a brain non-invasive procedure frequently used for diagnostic purpose. Instead of electrical currents the voltage differences between different parts of the brain are observed. The EEG consists of a set of multi-channel signals. The pattern of changes in signals reflects large-scale brain activities. In addition the EEG also reflects activation of the head musculature, eye movements, interference from nearby electric devices, and changing conductivity in the electrodes due to the movements of the subject or physicochemical reactions at the electrode sites. In the proposed work advance signal processing technique like Fast Fourier Transform and Independent Component Analysis are used to analyze the various brain activities. Both the techniques are applied to single trail multi-channel EEG data. The Fast Fourier transform is to determine the power content of the frequency band and estimate the frequency component while independent component analysis performs the blind source of separation of statistically independent source and separates the components for their periods of activation
Simulation of skill acquisition in sequential learning of a computer game

Synopsis This paper presents some theoretical assumptions about the cognitive control mechanisms of subjects learning to play a computer game. A simulation model has been developed to investigate these assumptions. The model is an automaton, reacting to instruction-like cue-action rules. The prototypical performances of 23 experimental subjects at succeeding levels of training are compared to the performance of the model. The findings are interpreted in terms of a general taxonomy for cognitive task analysis .
Low dose e-beam irradiation consequence on plant growth promoting properties of lichenized bacteria, Enterobacter cloacae and Providencia rettgeri

Chidanandamurthy Thippeswamy Swamy, Devaraja Gayathri* Thimmalapura Neelakantaiah Devaraja & Ganesh Sanjeev Department of Studies in Microbiology, Davangere University, Shivagangothri, Davanagere-577 002, Karnataka, India ICAR-Taralabalu Krishi Vigyan Kendra, Kadalivana, Davangere-577 004, Karnataka, India Microtron CentreDepartment of Atomic energy, Board of Research in Nuclear Sciences, Mangalore University, Mangalagangothri, Mangalore-574 199, Karnataka, India
Effects of Aggregate Micro Fines (AMF), Aluminum Sulfate and Polypropylene Fiber (PPF) on Properties of Machine-Made Sand Concrete

With the depletion and increasing demand of river sand, machine-made sand could be used more and more in concrete. In order to improve the properties of machine-made sand concrete, the effects of the aggregate micro fines (AMF) content, aluminum sulfate, and polypropylene fibers (PPF) on the slump, compressive strength, water permeability, and the chloride permeability coefficients were investigated through a single factor test method, and related mechanisms were analyzed. The results show that the optimum contents of AMF, aluminum sulfate, and the polypropylene fiber are 10 wt%, 1 wt%, and 0.6 kg/m3, respectively. The optimum content of AMF improved the compactness of concrete. The addition of aluminum sulfate promoted the initial formation of ettringite, and thereby improved the compressive strength and the permeability resistance. The polypropylene fiber can modify the pore structure distribution of concrete and reduce the porosity, thereby improving the impermeability of the concrete. The compressive strength of the machine-made sand concrete could be increased by more than 20%, and the water/chloride permeability coefficients could be decreased by more than 45%.
Accuracy and Reliability of a New Methodology to Monitor Root Movement in Three Dimensions During Orthodontic Treatment

Author(s): Lee, Robert John | Advisor(s): Oberoi, Snehlata | Abstract: INTRODUCTION: Current methods to evaluate root position are either inaccurate (panoramic radiograph) or expose patients to relatively large amounts of radiation (CBCT). A method to evaluate root position by generating an expected root position (ERP) setup was recently reported but has not been validated. The purpose of this study was to quantitatively assess the accuracy and reliability of the ERP setup with adequate statistical power.METHODS: This retrospective study included fifteen subjects who had completed phase II orthodontic treatment. An ERP setup was generated for all patients at post-treatment. The ERP setup was compared to the post-treatment CBCT scan which served as the control. The mesiodistal angulation and buccolingual inclination of all teeth in both the ERP setup and post-treatment CBCT scan were measured and compared. Bland-Altman analysis was used to assess inter-operator reliability, intra-operator reliability, and the agreement between the ERP setup and post-treatment CBCT scan.RESULTS: Bland-Altman plots found high inter-operator and intra-operator reliability. Bland-Altman plots also showed strong agreement between the ERP setup and post-treatment CBCT scan. 11.8% of teeth measured for mesiodistal angulation and 9.6% of teeth measured for buccolingual inclination were outside of the ±2.5° range of clinical acceptability. CONCLUSIONS: We have validated that the method to generate an ERP setup to evaluate root position during orthodontic treatment is accurate and reliable.
Software platform for evaluation of x-ray images: application for validation of anthropomorphicsoftware breast model

: Aim of this study is to present a software tool designed to extract texture parameters from x-ray images. The tool is developed in the MATLAB environment and is dedicated to facilitate the research in x-ray imaging. A program called BreastSimulator is used to generate an anthropomorphic software model of an averaged in size breast. Further on, the computer model undergoes simulated mechanical compression to mimic the conditions during mammographic acquisition, and subsequently exported as STL file used for 3D printing. The physical model is printed with a stereolithographic 3D printer with resolution of 100 µm from Clear Resin. The model is then filled with animal fat and irradiated at GE Senographe digital mammography unit. On the other side, the software model is “irradiated” by a specialized program. The resulting x-ray images from both the simulated and the physical models are compared by their parameters, extracted with the help of the created software tool.
A Constraint-based Approach to Name Binding and Type Checking using Scope Graphs

Recently scope graphs were introduced as a formalism to specify the name binding structure of a program and do name resolution independent of the abstract syntax tree of a program. In this thesis we show how to use a constraint language based on scope graphs to do static analysis of programs. We do this by extracting constraints from a program, that specify name binding and typing. We treat binding and typing as separate building blocks, but our approach allows language constructs – such as access of record fields – where name and type resolution are mutually dependent. By using scope graphs for name resolution, our approach supports a wide range of name binding patterns that are not easily supported in existing constraint-based approaches. We present a formal semantics for our constraint language, as well as a solver algorithm, for which we discuss soundness, termination and completeness of the solver. We evaluate our approach by expressing the static semantics of PCF and Featherweight Java with our constraints, and we implemented the solver algorithm, as well as static analysis for both languages, in the Spoofax language workbench.
Killer whales (
 Orcinus orca
 ) feeding on lumpfish (
 Cyclopterus lumpus
 ) in northern Norway

Killer whales (Orcinus orca) in Norwegian waters have long been known to rely on Atlantic herring (Clupea harengus) as a main prey resource. However, research almost exclusively conducted at seasonal herring grounds may have biased studies away from detecting other potentially significant prey species. Since 2013, dedicated research efforts have focused on monitoring killer whale occurrence and foraging ecology throughout the year in northern Norway. This study presents results on site‐fidelity of photographically identified individuals, predation records and behavioral patterns from five spring seasons (March–April) in 2014–2018 in Andfjord, northern Norway. A minimum number of 75 adult and subadult killer whales (out of a catalog of 971 individuals) returned seasonally to the study area for foraging and residency for up to six weeks. Lumpfish (or lumpsucker, Cyclopterus lumpus) was the only type of prey identified (based on molecular or visual identification) on 22 predation events from 2016 (n = 4), 2017 (n = 2) and 2018 (n = 16). Spatial group cohesion observed when foraging was a potential adaptation for efficiently hunting this prey species. These whales were also encountered at herring wintering grounds the same years, but with different group sizes. Such behavioral adaptations suggested intraannual switching between prey resources and foraging strategies.
Produção e composição do leite em função da alimentação de vacas mestiças Holandês x Zebu confinadas em condições experimentais no Brasil - Metanálise

RESUMO Objetivou-se avaliar os fatores da composição da dieta que podem interferir no consumo, na digestibilidade, na produção e na composição do leite de vacas mestiças Holandês x Zebu confinadas em condições experimentais no Brasil. A metanálise foi utilizada para o levantamento de trabalhos científicos de domínio público, compreendendo o período de janeiro de 2000 a dezembro de 2015. A base de dados foi constituída por 40 experimentos com 159 tratamentos, envolvendo 735 vacas em lactação. O consumo de nutrientes digestíveis totais (NDT) é comprometido pelo teor de fibra em detergente ácido (FDA) da dieta, relacionando-se com a digestibilidade da matéria seca (MS) e da fibra em detergente neutro (FDN), o que repercute na eficiência alimentar (EA). Observa-se a relação do teor de carboidratos não fibrosos (CNF) da dieta com o teor de lactose e o efeito do teor de MS da dieta e o elevado teor de FDN no consumo em função das características específicas dos tipos de volumosos utilizados. O consumo de NDT da dieta é prejudicado pela digestibilidade da MS e, principalmente, da FDN em função da proporção e das características dos volumosos utilizados na dieta, e esses fatores repercutem na EA, bem como na produção e na composição do leite.