Miracle-dz/UniFAR-FTUs huggingface dataset:
EFEKTIVITAS MODEL PEMBELAJARAN BERBASIS MASALAH PENCEMARAN OLEH LIMBAH DETERGEN DALAM MENINGKATKAN KETERAMPILAN BERPIKIR KRITIS SISWA

Penelitian ini bertujuan untuk mendeskripsikan efektivitas model pembelajaran berbasis masalah pencemaran oleh limbah detergen dalam meningkatkan kete-rampilan berpikir kritis siswa. Metode penelitian yang digunakan adalah quasi eksperimen dengan desain the matching only pretest-posttest control group. Populasi dalam penelitian ini adalah seluruh siswa kelas XI MIA di SMA Negeri 14 Bandarlampung semester genap tahun pelajaran 2017/2018 yang berjumlah 162 siswa. Pengambilan sampel dilakukan dengan teknik purposive sampling sehingga didapatkan kelas eksperimen dan kelas kontrol yaitu kelas XI MIA 1 dan XI MIA 2, yang diberi perlakuan pembelajaran berbasis masalah pencemaran oleh limbah detergen pada kelas eksperimen dan pembelajaran konvensional pada ke-las kontrol. Efektivitas model pembelajaran berbasis masalah pencemaran oleh limbah detergen ditunjukkan dari perbedaan rata-rata postes yang signifikan antara kelas kontrol dan eksperimen dan rata-rata n-gain berkategori sedang dan atau tinggi yang diperoleh di kelas eksperimen. Hasil penelitian menunjukkan bahwa rata-rata postes keterampilan berpikir kritis kelas eksperimen lebih tinggi secara signifikan daripada rata-rata postes kelas kontrol. Selain itu, rata-rata gain di kelas eksperimen berkategori tinggi, sedangkan rata-rata n-gain di kelas kontrol berkategori sedang. Berdasarkan hasil penelitian tersebut dapat disimpulkan bahwa model pembelajaran berbasis masalah pencemaran limbah detergen efektif dalam meningkatkan keterampilan berpikir kritis siswa. Kata kunci: keterampilan berpikir kritis, pencemaran limbah detergen, pembelajaran berbasis masalah
Noise squared norm in OFDM systems interfered by impulse noise

In this paper we derive exact analytical expressions for the noise squared norm in the frequency domain for Orthogonal Frequency-Division Multiplex (OFDM) considering the two generic scenarios: i) OFDM signal is affected by M randomly positioned Gaussian impulses within the L-sized frame and ii) OFDM signal is affected by the Gaussian white noise (background noise) and M randomly positioned Gaussian impulses within the L-sized frame. Analysis of the noise squared norm in (OFDM) is a completely novel approach, and we exploit it in an accurate evaluation of the performance including the distribution of errors per OFDM frame and the frame error rate. Numerical results obtained for the noise squared distribution are compared with Monte Carlo simulations. The comparison shows a full agreement even when the number of impulses and the frame size are low.
Machine code verification of a tiny ARM hypervisor

Hypervisors are low level execution platforms that provide isolated partitions on shared resources, allowing to design secure systems without using dedicated hardware devices. A key requirement of this kind of solution is the formal verification of the software trusted computing base, preferably at the binary level. We accomplish a detailed verification of an ARMv7 tiny hypervisor, proving its correctness at the machine code level. We present our verification strategy, which mixes the usage of the theorem prover HOL4, the computation of weakest preconditions, and the use of SMT solvers to largely automate the verification process. The automation relies on an integration of HOL4 with BAP, the Binary Analysis Platform developed at CMU. To enable the adoption of the BAP back-ends to compute weakest preconditions and control flow graphs, a HOL4-based tool was implemented that transforms ARMv7 assembly programs to the BAP Intermediate Language. Since verifying contracts by computing the weakest precondition depends on resolving indirect jumps, we implemented a procedure that integrates SMT solvers and BAP to discover all the possible assignments to the indirect jumps under the contract precondition.
Constructing an Inclusive Web DesignChecklist for Health-Related Sites for OlderAdults with Complex Chronic Disease

Health-related sites are not optimally usable by older adults(aged 50 and over) who live with complex chronic disease (CCD) because most sites do not deliver online information with these users in mind. While the current literature explains how to design Web sites for older adults, it lacks guidance in how to design Web sites for older adults with CCD that have diverse abilities. My research examined the Web design features that provide this user population a better Web experience. This research paper started with the synthesis of current checklists that target older adult Web users and findings from an empirical study of the online experiences of older adults living with CCD. The results led to the construction of a checklist of inclusive Web design features that support designers in creating more usable and accessible health-related sites. The final Inclusive Web Design Checklist is comprised of 16 categories and 55 criteria.
LAURI LEPISTÖ Label in Context : On the Enterprise Resource Planning System in a Medium-Sized Enterprise

The purpose of this study is to shed light on the adoption of an enterprise resource planning (ERP) system in the context of a medium-sized enterprise. Qualitative research approach and case study method are utilised in the study. The empirical analysis is based on interviews, archive data and the author’s employment experience in the enterprise. Data are described and analysed using the theoretical concept of interpretative viability (Benders and van Veen, 2001) from the management fashion literature that seeks to distinguish between labels and contents regarding different organisation concepts. The study illustrates how a medium-sized enterprise can benefit from ERP adoption in its accounting practices. However, the ERP system has a relatively mundane character in the enterprise: it is mainly used for bookkeeping and electronic invoicing. The study suggests that there is a considerable amount of interpretative space in the concept of the ERP system, and thus in the nature of ERP adoption. It emerges in the system’s ambiguous modular character and in promises about performance enhancements concerning the execution of accounting routines. The study also considers how the software vendor exerts influence during the adoption process. The paper contributes to accounting research by elucidating the adoption of an ERP system in the context of a medium-sized enterprise and by using the theoretical concept of interpretative viability to analyse the ERP system and its adoption.
Storing XML Data - The ExDB and CellStore Way in the Context of Current Approaches

In this paper we describe possible approaches how to store XML data, which is a key aspect for their further processing. One popular technique for managing XML data is to map the data to an existing database system, e.g., to the relational or object-relational database management system. We describe possible ways how to store XML data in relational databases, because relational systems are still widely used for various purposes, including XML data management. But XML data are trees, not tables, so the main focus of this article is oriented to native XML databases. We describe general properties of such kind of databases and, in particular, explain possible solutions on two experimental native XML database management systems  ExDB and CellStore. Both have been proposed, implemented and optimized in our research groups in recent years for experimental purposes.
The RATS Collection: Supporting HLT Research with Degraded Audio Data

The DARPA RATS program was established to foster development of language technology systems that can perform well on speaker-to-speaker communications over radio channels that evince a wide range in the type and extent of signal variability and acoustic degradation. Creating suitable corpora to address this need poses an equally wide range of challenges for the collection, annotation and quality assessment of relevant data. This paper describes the LDCs multi-year effort to build the RATS data collection, summarizes the content and properties of the resulting corpora, and discusses the novel problems and approaches involved in ensuring that the data would satisfy its intended use, to provide speech recordings and annotations for training and evaluating HLT systems that perform 4 specific tasks on difficult radio channels: Speech Activity Detection (SAD), Language Identification (LID), Speaker Identification (SID) and Keyword Spotting (KWS).
What We’re Missing

For schools and teachers to help students develop knowledge and skills, students need to show up to class. Yet absenteeism is prevalent, especially in secondary schools. This study uses a rich data set tracking class attendance by day for over 50,000 middle and high school students from an urban district in academic years 2007–2008 through 2012–2013. Our results extend and modify the extant findings on absenteeism that have been based almost exclusively on full-day absenteeism, missing class-by-class absences. Notably, part-day absenteeism is responsible for as many classes missed as full-day absenteeism, raising chronic absenteeism from 9% to 24% of secondary-grades students. Incorporating part-day absences sharply increases the chronic absenteeism gap between underrepresented minority students and their peers. Both full- and part-day absenteeism show a discrete jump at the point of transition from middle school to high school, but full-day absenteeism then declines whereas part-day absenteeism remains high in Grades 10 and 11 and increases again in Grade 12. Whereas 55% of full-day absences are unexcused, 92% of part-day absences are unexcused. Absenteeism from individual classes varies considerably by time of day but less by class subject matter.
Procedural analog design (PAD) tool

This paper presents a new procedural analog design tool called PAD. It is a chart-based design environment dedicated to the design of analog circuits aiming to optimise design and quality by finding good tradeoffs. This interactive tool allows step-by-step design of analog cells by using guidelines for each analog topology. At each step, the user modifies interactively one subset of design parameters and observes the effect on other circuit parameters. At the end, an optimised design is ready for simulation (verification and fine-tuning). Furthermore, PAD provides a layout generator for matched substructures such as current mirror, cascode stage, differential pair, etc. The analog basic structures calculator embedded in PAD uses the complete set of equations of the EKV MOS model, which links the equations for weak and strong inversion in a continuous way. The present version of PAD covers the procedural design of transconductance amplifiers (OTAs) and different operational amplifiers topologies.
Design and implementation of passive sonar system based on gigabit ethernet

A novel array system architecture is proposed to satisfy the need of new technology revolution in this paper. Cascaded Switched Ethernet based data link is used to acquire data. The implementation of the prototype is discussed in detail and the scheme's feasibility is verified by the lake trial results. The proposed scheme is proved to be modular and scalable. Section I presents the new technology revolution requirement of underwater array system. Traditional underwater array systems are introduced in section II. In section III, a novel array system architecture is proposed. The implementation of the prototype is discussed in section IV. Finally, the lake trial results are shown in section V.
Model optimization of nanocrystalline Si∶H HIT solar cells

Photovoltaic properties of nanocrystalline Si∶H (nc-Si∶H) heterojunction with intrinsic thin layer (HIT) solar cells with the structure of TCO/nc-Si∶H(p<sup>+</sup>)/a-Si∶H(i)/c-Si(n)/a-Si∶H(i) /nc-Si∶H(n<sup>+</sup>)/Al was studied by a numerical simulation software of AMPS-1D in this paper. The results show that open-circuit voltages (V<inf>OC</inf>) and fill factors (FF) of the cell can be obviously affected by interface charge states on heterojunction. In this HIT solar cell, a intrinsic a-Si∶H layer is used to reduce effectively carrier recombination rate at interface. The simulated results indicate that HIT solar cell with back surface field structure on n-type substrate can obtain higher performance.
Impact of space flight on bacterial virulence and antibiotic susceptibility

Manned space flight induces a reduction in immune competence among crew and is likely to cause deleterious changes to the composition of the gastrointestinal, nasal, and respiratory bacterial flora, leading to an increased risk of infection. The space flight environment may also affect the susceptibility of microorganisms within the spacecraft to antibiotics, key components of flown medical kits, and may modify the virulence characteristics of bacteria and other microorganisms that contaminate the fabric of the International Space Station and other flight platforms. This review will consider the impact of true and simulated microgravity and other characteristics of the space flight environment on bacterial cell behavior in relation to the potential for serious infections that may appear during missions to astronomical objects beyond low Earth orbit.
Online adjusting subway timetable by q-learning to save energy consumption in uncertain passenger demand

Current researches in subway train operation concentrate on timetable optimization and real-time tracking methods, which may be infeasible with disturbances in actual operation. To overcome stochastic negative effects caused by disturbances and realize energy-efficient train operation, we propose a comprehensive model to integrate train operation with real-time rescheduling. The proposed model focuses on minimizing the reward for both the total time-delay and energy-consumption with intelligent decision support. After designing policy, reward and transition probability, we develop an Intelligent Train Operation (ITO) algorithm based on Q-learning to calculate the optimal decisions. Simulation results with field data in Beijing subway Yizhuang Line demonstrate the effectiveness and efficiency of ITO approach.
Poisson noise removal in multivariate count data

The Multi-scale Variance Stabilization Transform (MSVST) has recently been proposed for 2D Poisson data denoising.1 In this work, we present an extension of the MSVST with the wavelet transform to multivariate data-each pixel is vector-valued-, where the vector field dimension may be the wavelength, the energy, or the time. Such data can be viewed naively as 3D data where the third dimension may be time, wavelength or energy (e.g. hyperspectral imaging). But this naive analysis using a 3D MSVST would be awkward as the data dimensions have different physical meanings. A more appropriate approach would be to use a wavelet transform, where the time or energy scale is not connected to the spatial scale. We show that our multivalued extension of MSVST can be used advantageously for approximately Gaussianizing and stabilizing the variance of a sequence of independent Poisson random vectors. This approach is shown to be fast and very well adapted to extremely low-count situations. We use a hypothesis testing framework in the wavelet domain to denoise the Gaussianized and stabilized coefficients, and then apply an iterative reconstruction algorithm to recover the estimated vector field of intensities underlying the Poisson data. Our approach is illustrated for the detection and characterization of astrophysical sources of high-energy gamma rays, using realistic simulated observations. We show that the multivariate MSVST permits efficient estimation across the time/energy dimension and immediate recovery of spectral properties.
How human should a chatbot be? : The influence of avatar appearance and anthropomorphic characteristics in the conversational tone regarding chatbots in customer service field.

Research about the appropriate use of humanoid characteristics regarding chatbots is still small in number. Therefore, this study has looked into conversational agents and their level of anthropomorphism in conversational tone and avatar presence. Moreover, this research has measured the effect of the independent variables on the dependent variables (likeability, perceived intelligence, user satisfaction, trust, perceived usefulness and intention to use) and the moderators (empathy and negative attitude towards robots). To test the hypotheses a survey has been conducted. The findings showed that there is no significant effect of the independent variables on the dependent variables. Moreover, the results indicate that the negative attitude towards robots moderates the effect of the visual presence of an avatar and perceived usefulness. Additionally, a moderating effect of the negative attitude towards robots has been found between the conversational tone, trust and perceived intelligence. This information is important to investigate further to examine the reason of this result. Additionally, more research is needed to give more insight into the effect of anthropomorphism in chatbot and anthropomorphism in different environments and purposes. The results of this study can serve as a guideline to a better chatbot design and is a stepping stone for further research.
Seamless and Secure Application Consolidation for Optimizing Instance Deployment in Clouds

In Infrastructure-as-a-Service clouds, users can reduce costs by scale-in or-down when running applications are under-utilized. Since these optimizations of instance deployment require at least one minimum instance even for running an under-utilized application, cost reduction is limited. For further optimization, multiple applications can be consolidated into one instance. However, applications have to be stopped temporarily at the consolidation time and isolation between applications becomes weaker after the consolidation. To solve these problems, this paper proposes FlexCapsule, which enables seamless and secure application consolidation in existing IaaS clouds. FlexCapsule runs each application in a lightweight virtual machine (VM), called an app VM, using a library operating system. An app VM runs inside an instance using nested virtualization. Using VM migration, FlexCapsule can optimize instance deployment with negligible downtime. Thanks to strong isolation provided by app VMs, it guarantees security between consolidated applications. In addition, FlexCapsule provides multi-process support using app VMs such as process fork and process pools. We have implemented FlexCapsule using Xen and OSv and confirmed its effectiveness.
USING REFLEXD FOR A GRID SOLUTION TO THE N-QUEENS PROBLEM : A CASE STUDY

Aspect-Oriented Programming (AOP) promotes better separation of concerns in software systems by introducing aspects for the modular implementation of crosscutting concerns. It is therefore not surprising that the distribution concern is recently being addressed from an AOP point of view, and finally materialized in AOP frameworks like ReflexD or languages like AWED. The motivation of this paper is to compare the implementation of a solution to the N-Queens problem in a distributed environment, when using the ReflexD library for distributed AOP and when using the ProActive middleware. Although the paradigms and target environments are different, precisely in this difference lies the interest of the exercise: this comparison is one of the necessary steps in a path to validate the applicability of AOP in a distributed setting. Beyond the software engineering interest of an AOP-based solution over a standard middleware approach, this paper highlights the good performance of the ReflexD platform.
Review: Structural determinants of pattern recognition by lung collectins

Host defense roles for the lung collectins, surfactant protein A (SP-A) and surfactant protein D (SP-D), were first suspected in the 1980s when molecular characterization revealed their sequence homology to the acute phase reactant of serum, mannose-binding lectin. Surfactant protein A and SP-D have since been shown to play diverse and important roles in innate immunity and pulmonary homeostasis. Their location in surfactant ideally positions them to interact with air-space pathogens. Despite extensive structural similarity, the two proteins show many functional differences and considerable divergence in their interactions with microbial surface components, surfactant lipids, and other ligands. Recent crystallographic studies have provided many new insights relating to these observed differences. Although both proteins can participate in calcium-dependent interactions with sugars and other polyols, they display significant differences in the spatial orientation, charge, and hydrophobicity of their binding surfaces. Surfactant protein D appears particularly adapted to interactions with complex carbohydrates and anionic phospholipids, such as phosphatidylinositol. By contrast, SP-A shows features consistent with its preference for lipid ligands, including lipid A and the major surfactant lipid, dipalmitoylphosphatidylcholine. Current research suggests that structural biology approaches will help to elucidate the molecular basis of pulmonary collectin—ligand recognition and facilitate development of new therapeutics based upon SP-A and SP-D.
The Research of 3D Model Retrieval Algorithms Based on Normal Plane

According to the characteristics of the model number is relatively small, similarity, complexity is not high in the small professional model library, and the existing 3D model retrieval method can not effectively improve the efficiency. This paper puts forward the retrieval algorithms based on normal plane, extract normal vector of each triangular facet in models, in the surrounded icosahedron of model set every surface as the reference surface, calculating the normal number which go through each reference surface and the ratio of the face in line accounts for the whole area, using the Needleman/Wunsch algorithm in the dynamic programming calculating the similarity for matching. Experiments show that in the small professional model library the model retrieval algorithm based on normal plane can greatly improve the efficiency of the model retrieval.
Dramaturgy of the Camera Dramaturgy of Music Dramaturgy of Time Dramaturgy of the Situation Dramaturgy of Space Dramaturgy of the Audience Dramaturgy of Light

Compared to classic media like movies or theatre interactive digital productions in the field of entertainment computing like VR environments and computer games are typically lacking sophistication in their dramaturgic arrangement. While hardware and network technologies are rapidly gaining quality and speed we cannot observe remarkable improvements in the ability of interactive productions and formats to create empathy. Classical dramaturgic methods for the presentation of conflicts or dramatic situations frequently fail in interactive environments. Often dramaturgy and interactivity are hence labelled as contradicting concepts. In this paper we discuss important aspects of the implicit conflicts on different levels and propose new approaches to solve them. In contrast to previous work, our goal is to facilitate the understanding of dramaturgy in interactive, digital applications from a more general standpoint as a presentation strategy rather than a 'grand unifying theory'. We clarify our arguments by the description of a successful implementation.
A New Video Semantic Model Based on 3D C-String Knowledge Representation

Modeling object's semantic knowledge has attracted increasing attention in the area of video content management. In this paper, we propose a video semantic model to get the higher-level semantics of spatial relation changes between the objects in a video represented by a 3D C-string, which represents the lower-level information of spatio-temporal relations, motions and size changes of the objects in a video. We use the concept of finite automata to record the transitions of objects' spatial relations. From the final states of the finite automaton, the higher-level semantics of spatial relation changes between the objects in a video can be inferred.