Miracle-dz/UniFAR-FTUs huggingface dataset:
Factors Influencing Return to Narcotic Taking of Drug Users who were Released from the Narcotic Remedy Program: A Case Study of an Adolescent Group in Phetchaburi Province Area, Thailand ªí—''à—◊' ¢ÕßºŸ'à——' °√≥'÷°≈ÿ—ÿ◊'——ÿ'

The study was aimed at conducting a fundamental study of adolescents that have already passed the drug treatment program in Phetchaburi province, Thailand, as well as the factors that influenced them to return to drug addition after having been already treated. Inclusively, problems encountered and ways to develop a drug treatment process were also discussed in this study. There were four independent variables: personal factors, economic factors, social factors, and arousing factors, while, the dependent variable was the return to drug addition of adolescents who had actually undergone medical treatment. The
Creative applications of microvideos

—This paper introduces ongoing work on video granular synthesis. The strategies traditionally used in granular synthesis in order to granulate audio signals are extended to streams of video data. We present initial techniques that are made possible through transforming a video signal into a large array of microvideos, or video grains. These involve the dynamic resyn-thesizing of the video based on spatial and temporal elements of the video grains. Initial explorations in the creative manipulation of videos using these methods are described. We show that video granular synthesis strategies facilitate novel video processing techniques that could lead to new creative effects.
Multiple criteria decision-making techniques and their applications – a review of the literature from 2000 to 2014

Multiple criteria decision-making (MCDM) is considered as a complex decision-making (DM) tool involving both quantitative and qualitative factors. In recent years, several MCDM techniques and approaches have been suggested to choosing the optimal probable options. The purpose of this article is to systematically review the applications and methodologies of the MCDM techniques and approaches. This study reviewed a total of 393 articles published from 2000 to 2014 in more than 120 peer reviewed journals (extracted from Web of Science). According to experts’ opinion, these articles were grouped into 15 fields. Furthermore, these articles were categorised based on authors, publication date, name of journals, methods, tools, and type of research (MCDM utilising research, MCDM developing research, and MCDM proposing research). The results of this study indicated that in 2013 scholars have published articles more than in other years. In addition, the analytic hierarchy process (AHP) method in the individual tools and hybrid MCDM in the integrated methods were ranked as the first and second methods in use. Additionally, the European Journal of Operational Research as the first journal with 70 publications was the significant journal in this study. Finally, energy, environment and sustainability were ranked as the first areas that have applied MCDM techniques and approaches.
Keyframe-Based Camera Relocalization Method Using Landmark and Keypoint Matching

Camera relocalization is a challenging task, especially based on the sparse 3D map or keyframes. In this paper, we present an accurate method for RGB camera relocalization in the case of a very sparse 3D map built by limited keyframes. The core of our approach is a top-to-down feature matching strategy to provide a set of accurate 2D-to-3D matches. Specifically, we first use the landmark-based place recognition method to generate from keyframes the images similar to the current view along with the set of pairwise matched landmarks. This step constrains the 3D model points that can be matched with the current view. Then, the points are matched within the landmark pairs and combined afterward. This is in contrast to the conventional methods of feature matching that typically match points between the entire images and the whole 3D map, which, as a result, may not be robust to large viewpoint changes, the main challenge of the relocalization based on the sparse map. After feature matching, the camera pose is calculated by an efficient novel Perspective-n-Points (PnP) algorithm. We conduct experiments on challenging datasets to demonstrate that the camera poses estimated by our method based on the sparse 3D point cloud are more accurate than the classical methods using the dense map or a large number of training images.
Component-based event composition modeling for CPS

In order to combine event-drive model with component-based architecture design, this paper proposes a component-based event composition model to realize CPS’s event processing. Firstly, the formal representations of component and attribute-oriented event are defined. Every component is consisted of subcomponents and the corresponding event sets. The attribute “type” is added to attribute-oriented event definition so as to describe the responsiveness to the component. Secondly, component-based event composition model is constructed. Concept lattice-based event algebra system is built to describe the relations between events, and the rules for drawing Hasse diagram are discussed. Thirdly, as there are redundancies among composite events, two simplification methods are proposed. Finally, the communication-based train control system is simulated to verify the event composition model. Results show that the event composition model we have constructed can be applied to express composite events correctly and effectively.
Partitioning and mapping adaptive multigrid hierarchies on distributed memory computers

The full multigrid method uses a hierarchy of successively ner grids. In a solution-adaptive grid hierarchy each grid is obtained by adaptive reenement of the grid on the previous level. On a distributed memory multiprocessor, each grid level must be partitioned and mapped so as to minimize the multigrid cycle execution time. In this report several grid partitioning and load (re)mapping strategies that deal with this problem are compared. The performance of such parallel adaptive multigrid algorithms has been evaluated on an iPSC hypercube for an irregular nite volume discretization of a linear rst-order hyperbolic partial diierential equation on a two-dimensional domain.
Pauses and Communication Strategies in Second Language Speech.

A study of silent and filled pauses in second language speech analyzes (1) which types of pause are produced, (2) which are the functions of non-juncture pauses, (3) whether pauses co-occur with other hesitation phenomena, and (4) whether the occurrence of pauses is associated with second language proficiency. Subjects were 15 intermediate and advanced learners of English as a second language, all native Spanish-speaking university students. Each completed a background questionnaire and told a single story in English, which was recorded and transcribed for analysis. Silent and filled pauses that were determined to be hesitation pauses, and not occurring at grammatical junctures, were identified. About two-thirds of those pauses were silent; the remainder were filled. Wide variation was found in the individuals' use of filled pauses, and less in the use of silent pauses. Lexical, morphological, and planning pauses were found, with each distributed very differently between silent and filled pauses. The most common hesitation phenomena were repetition, self-correction, and reformulation, and more of these strategies were used with silent pauses than with filled pauses. More pauses and more filled pauses were used by more advanced learners. Implications for second language learning and teaching are discussed briefly. (Contains 13 references.) (MSE) ******************************************************************************** * Reproductions supplied by EDRS are the best that can be made * * from the original document. * ******************************************************************************** PAUSES AND COMMUNICATION STRATEGIES IN SECOND LANGUAGE SPEECH Jasone Cenoz University of the Basque Country 1 PERMISSION TO REPRODUCE AND DISSEMINATE THIS MATERIAL HAS BEEN GRANTED BY
A novel metric of software quality: structural availability

Most present researches of software quality separate software availability from hardware availability thoroughly. However, software availability is defined as the probability that software is operating according to requirements at a given point in time. Hardware error, fault or failure surely has negative impact on software operation and decreases software availability. Applications are running on Operation System and/or some platforms, which are called runtime environment. Users tend to consider unrepeatable and unobvious hardware or environmental errors as application errors. Therefore, such factors should be considered in software availability. Abstract machine is a theoretical foundation for software programming. An Abstract Machine with Hardware Reliability (AM-HR) and an Abstract Machine with Environment Reliability (AM-ER) is proposed in this paper. Based on AM-ER, A novel metric named structural availability of software is presented. Utility of this metric in Change Management is shown to exhibit the promising prospect of structural availability.
Concomitant Serum Presence of Hepatitis B Surface Antigen (HBsAg) and High Titers of Hepatitis B Surface Antibodies (Anti - HBsAb) in a Patient with Chronic Hepatitis B (HBV) Genotype D from Black Sea Coast Region: A Case Report

Introduction: Hepatitis B Virus genotypes inﬂuence chronic hepatitis B evolution and show geographic preferences. In Eastern Europe, HBV - D genotype seems to be dominant, still, without enough information regarding the prevalence of its four subtypes. In addition, treatment with Nucleos(t)ide Analogues (NUCs) has lower impact on HBV - D genotype clearance compared to others. This study aimed at presenting the case of a middle age female diagnosed, followed - up and treated for eight years with entecavir 0.5 mg/day, in whom an increase of anti - HBsAb titer was noted over the immunogenicity level and undetectable viremia, despite the continuous presence of HBsAg. This is an uncommon type of evolution, most patients with anti-HBsAb over 10 IU/mL show seroconversion in the “s” system in a few months. Case Presentation: The researchers used the COBAS TaqMan HBV Monitor Test (Roche Diagnostics, Branchburg, NJ) in order to measure serum HBV DNA level, then, the viral DNA was extracted from 200 µ L of serum using QIAamp DNA blood mini kit (Qiagen, Germany). The ampliﬁcation and sequencing of full DNA length was done by the Rolling Circle Ampliﬁcation (RCA) technique. Hepatitis B Virus genotype was determined using the NCBI genotyping tool and phylogenetic analysis. Conclusions: ThepatientwasprovedtohaveDgenotype. TheDNAanalyzesshowedescapemutationsinthe“a”determinantwithin the S gene, represented by sQ129R, respectively, sI134T, reported by the literature in a small number of C genotype patients. The paradoxical serum proﬁle of the current patient with positive HBsAg, increased titers of anti - HBsAb, and undetectable viral load could be a possible model of evolution for D genotype HBV chronic infected patients treated with NUCs, cohort genetic studies on patients with the same serum proﬁle are required to conﬁrm this pattern of evolution. aim of this study to present the case of a 45 - year - old female chronically infected with HBV - D geno-type,HBeAgnegative,treatedwithentecavir0.5mg/dayfor eight years, who showed a paradoxical serological proﬁle characterizedbyconcomitantpresenceof HBsAgandhigh titers of anti - HBsAb, after eight years of treatment.
Fault Detection for Isotropic Electromagnetic Field Probes by Nearest Neighbours Classifiers

In this paper, a new method of electromagnetic field probe faults detection and classification is proposed. Presented methodology allows for a fast and reliable detection of typical faults, including partial or total damage of the detectors. The method is based on pre-processing of the measured data obtained during typical calibration process and on a well-known pattern recognition algorithm: nearest neighbours classifier.
FPGA based High Speed Memory BIST Controller for Embedded Applications

In the current high speed, low power VLSI Technology design, Built in Self Test (BIST) is emerging as the most essential part of System on Chip (SoC). The industries are flooded with diverse algorithms to test memories for faults. The March based algorithms are become popular so quickly for locating faults in memories. This research study attempt to design the memory BIST controller for March 17N as selected algorithm. It tests various memories for faults. A simple architecture is implemented in Verilog Hardware Description Language (HDL), which can be easily integrate with SoC and is able to locate the fault location in the semiconductor memories. Integration of memory BIST controller in SoC design improves chip yield. The design has achieved 497.47MHzof maximum frequency by use of only 158 slice LUTs on Virtex-7 Field Programming Gate Array (FPGA) device. The proposed memory BIST controller is suitable for SoC integration to test various memories at high speed with very low area overhead.
Teechain: A Secure Asynchronous Blockchain Payment Network

Blockchain protocols exchange payment transactions securely, but their performance is limited by the need to achieve global consensus. Payment networks, as a second layer on top of blockchains, allow more efficient payments between parties. Existing payment networks, however, are fundamentally insecure: they assume synchronous blockchain access, i.e., that participants can write transactions to the blockchain within bounded time. As shown recently, attackers can delay transactions with current blockchains, which only offer best-effort write latencies, and thus steal funds. We describe Teechain, the first layer-two payment network that only requires asynchronous blockchain access. Teechain exploits trusted execution environments (TEEs) in modern CPUs: Teechain constructs a decentralised network of TEEs and uses TEEs to secure collateral funds in payment channels without further interaction with the blockchain. Since TEEs provide no availability guarantees and may be compromised themselves, Teechain mitigates against Byzantine TEE failures through a novel combination of chain replication and threshold secret sharing. Teechain achieves at least 33x higher transaction throughput than the Lightning Network with similar latencies, while placing 75% fewer transactions on the blockchain in the common case. A Teechain deployment with 30 machines can handle over 1 million Bitcoin transactions per second.
Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Concurrency is ubiquitous in modern software. The design of concurrent software is notoriously error-prone due to the nondeterministic interaction among concurrently executing threads. Therefore, it is important to develop techniques for specifying correctness properties of concurrent software and tools for automatically checking these properties. In this dissertation, we present solutions to the commonly know problems of concurrency by using appropriate semantic models for concurrency, namely rewriting logic, and traces and Petri nets. We argue that using the appropriate semantic model helps one to define the problem in a simple, intuitive, and effective way in the first place, and then provides sound solutions for these now well-defined problems. The approaches presented here fall into two main category of static versus dynamic verification. In the dynamic category, we use rewriting logic as a true concurrency model to specify concurrent programs and systems. We developed the tool JavaFAN based on rewriting logic semantics of Java at both language and bytecode level. We provide a methodology in which formal semantics is then used as a basis to develop formal analyses tools for analyzing programs in any language, in the case of JavaFAN tool for Java programs at both levels. We furthermore advance these ideas by developing a generic partial order reduction module that with minimum effort can be added to any language specification and automatically enrich it with POR capabilities. We take this idea even further by providing reduction methods that can work on the specification of any concurrent system. Experimental result suggest that these methods are very effective in practice. In the static category, the focus of this work is to provide an appropriate notion of static abstraction for concurrent programs, called control net, based on Petri nets which is used to show how two very important static analyses problems in the context of concurrency, namely atomicity and dataflow analyses can be defined for the partially-ordered runs generated by the control net, and how clean algorithmic solutions can be provided to solve these problems. Experimental results suggest that these solutions are feasible in practice.
The human in 3D: Advanced morphometric analysis of high-resolution anatomically accurate computed models

Computed virtual models of anatomical structures are proving to be of increasing value in clinical medicine, education and research. With a variety of fields focused on craniofacial and pelvic anatomy there is a need for accurate anatomical models. Recent technological advancements in computer and medical imaging technologies have provided the tools necessary to develop three-dimensional (3D) functional models of human anatomy for use in medicine (surgical planning and education), forensics and engineering (computer-aided design (CAD) and finite element analysis). Traditionally caliper methodologies are used in the quantitative analysis of human anatomy. In order for experts in anatomy and morphometrics to accept a transition to 3D volumetric data, it must be first validated as anatomically accurate. The purpose of this project was to create anatomically accurate models of modern human anatomy through the use of 3D medical imaging, such as multislice computed tomography (CT), and 3D computer modeling and
PENERAPAN METODE PENCIPTAAN ALMA HAWKINS DALAM KARYA TARI GUNDAH KANCAH

Karya Tari Gundah Kancah merupakan karya tari yang diangkat dari fenomena sosial di masyarakat tentang kehidupan kaum wanita yang tidak menginginkan berada dalam posisi sub-ordinat. Hal ini dilakukan untuk membuka wacana bagi pencipta tari dan masyarakat, agar melihat lebih jauh peran dan posisi kaum wanita di dalam kehidupan. Menggunakan pendekatan penciptaan tari menurut Alma Hawkins, basis penciptaan ini dilakukan melalui proses penggabungan dan pengembangan terhadap gerak-gerak tari tradisi sesuai dengan konsep garapan. Menggunakan properti berupa kancah (kuali) dan didukung oleh lima orang penari, maka karya tari ini diharapkan menciptakan suatu refleksi terhadap kehidupan.
Sexual health education in Georgia: A role for reducing sexually transmitted infections among adolescents

Background: In Georgia, sexually transmitted infections (STIs) are a substantial health issue, particularly among young adults in vulnerable and minority populations. The United States Preventive Services Task Force recommends that sexually active adolescents and at-risk adults receive behavioral counseling and education in primary care settings, community organizations, departments of health, and schools Methods: The present approach used in Georgia for educating adolescents at high risk for STIs about these diseases was assessed. The data collected included standards for sexual health education, survey results from educators and students, and observations from a pilot study with adolescents detained by the juvenile justice system. Results: In Georgia, most health educators for middle (87.3%) and high (93.8%) schools have health and/or physical education backgrounds. They indicated a need for further education about STIs. For grades 6-12, 24% of students reported that they had not received HIV/AIDS education during the academic year. Preliminary observations from a study with juvenile detainees indicate that this population has limited knowledge about STIs, their effects and modes of transmission. Conclusion: Sexual health education, including that for HIV/AIDS, is essential to curtail the STI crisis, and educational endeavors should be culturally sensitive and evidence-based. In Georgia, many citizens, including teachers, are not adequately equipped to make informed decisions regarding STI risk. Georgia, home to the Centers for Disease Control and Prevention, is in a unique position to adapt evidence-based sexual health interventions for its population.
Penyelidikan Potensi Air Tanah pada Lahan Pertanian di Desa Bono Kecamatan Pakel Kabupaten Tulungagung dengan Menggunakan Metode Potensial Diri

Upaya yang dilakukan oleh para petani untuk menanggulangi kelangkaan air pada saat musim kemarau adalah dengan melakukan pemboran air tanah untuk digunakan sebagai sumber air irigasi. Kendala yang sering dihadapi oleh para petani adalah ketidaktepatan lokasi di dalam melakukan pemboran sehingga tidak didapatkan potensi air tanah yang memadai untuk dapat dimanfaatkan sebagai sumber air irigasi. Tujuan penelitian ini adalah untuk menyelidiki keberadaan potensi air tanah dengan menggunakan metode Potensial Diri, dengan manfaat agar dapat digunakan sebagai pedoman teknis bagi para petani dalam menentukan lokasi pemboran air tanah. Penyelidikan dilakukan pada lahan pertanian seluas 6.528 m2 di Desa Bono Kecamatan Pakel Kabupaten Tulungagung. Konfigurasi yang digunakan adalah basis tetap dengan jumlah lintasan sebanyak 6 lintasan, jumlah titik penyelidikan sebanyak 99, dengan jarak interval elektroda 4 m. Nilai potensial hasil penyelidikan di lapangan berkisar antara –5,42 mV sampai dengan 8,12 mV. Berdasarkan peta isopotensial yang menggambarkan sebaran spasial nilai potensial diri dapat dinyatakan bahwa daerah dengan anomali paling negatif berada di bagian Utara lahan pertanian dan terdapat 4 lokasi pada lahan tersebut diduga sebagai sumber anomali yang digambarkan dalam profil penampang. Berdasarkan keempat profil penampang tersebut masing-masing menunjukkan bahwa sumber anomali yang merepresentasikan potensi air tanah berada pada kedalaman 6,53–20,85 m, 25,04–28,38 m, 20,86–21,17 m, dan 9,31–9,62 m yang terkonfirmasi dengan data log litologi dimana pada kedalaman tersebut merupakan formasi pasir kasar (lapisan akuifer).
A computational literature review of the field of System Dynamics from 1974 to 2017

Abstract System Dynamics celebrated its 60th anniversary in 2017. While there have been numerous special issues in diverse journals that bring together work by System Dynamics scholars who share similar research interests, there have been no systematic reviews of scholarly activity across the broad field. This paper presents a computational literature review of the field from 1974 to 2017. A CLR automates the analysis of research articles with analysis of content (topic modelling of abstracts) to identify emergent themes in the literature. We performed a broad review of the field by initially searching using the term “System Dynamics” with more than 8000 articles. However, the results obtained were not satisfactory so we decided to restrict our sample to less than 800 articles from recognised journals and proceedings. After evaluation of the results obtained from topic modelling, we decided to use 51 topics covering most of the articles in our sample. A list of 51 topics provides enough granularity to identify relevant patterns of activity within the community of System Dynamics scholars. For each of these 51 topics, we present a commentary on the key insights obtained.