Miracle-dz/UniFAR-FTUs huggingface dataset:
Pembelajaran Saintifik : Untuk Implementasi Kurikulum 2013

Implementasi kurikulum 2013 membutuhkan perubahan paradigma pembelajaran dari pembelajaran konvensional yang hanya dilakukan di kelas, menjadi pembelajaran yang mengaktifkan siswa untuk menggunakan aneka sumber belajar yang dapat diperoleh di luar kelas. Buku ini menjelaskan tentang pembelajaran saintifik yang seharusnya digunakan dalam implementasi kurikulum 2013 yang mencakup lima aktivitas belajar, yakni: mengamati, bertanya, melakukan percobaan atau mencari informasi, melakukan penalaran atau asosiasi untuk mengolah informasi dan mengembangkan jaringan atau mengomunikasikan hasil investigasi. Karakteristik pembelajaran tersebut merupakan kunci untuk menghasilkan siswa yang kreatif dan inovatif. Penulis menjelaskan tentang model, strategi, dan metode pembelajaran yang sesuai dengan pendekatan pembelajaran saintifik. Pembelajaran yang dibahas terutama adalah pembelajaran penemuan (discovery learning), pembelajaran berbasis masalah (problem based learning), dan pembelajaran berbasis proyek (project based learning). Penjelasan yang rinci disertai contoh pembelajaran yang relevan diberikan untuk memudahkan pembaca memahami model dan metode pembelajaran tersebut. Buku ini juga memuat penjelasan tentang penilaian sikap, pengetahuan, dan keterampilan yang harus digunakan dalam implementasi kurikulum 2013.
Constituting Community: Creating a Place for Oneself

This article, a qualitative research project based on grounded theory, illustrates processes used by a group of individuals diagnosed with schizophrenia to create a self-authored community. These individuals were long-term residents (continuous residence for more than 1 year) of a large psychiatric hospital. The results illustrate the challenges people face in forming relationships. The process of venturing forth and connecting begins cautiously, with few expectations. It is closely related to facilitative environments, such as public places and place of residence, and to routines, daily activities, and facilitative objects, such as coffee and cigarettes. These environments have few interactive demands and feature the presence of other people. The process is also related to past experience and current relationships, both real and virtual. We found some disparity from what is reported in the literature concerning the connection between relationships and staying out of hospital. The participants clearly visualized relationships as connecting them to the wider community and providing hope, and not necessarily linked to staying out of hospital. This disparity may be linked to these individuals having short community tenure. It may also be related to the small sample size. We argue that venturing forth and connecting is a useful concept when considering how individuals with long hospitalizations connect to a community. We consider that the actions of people recently discharged from long-term care should be seen as relatively normal and part of the struggle we all face in living in the world together.
Effects of weight loss on peak flow variability, airways obstruction, and lung volumes in obese patients with asthma.

STUDY OBJECTIVES To clarify the pathophysiologic features of the relation between asthma and obesity, we measured the effects of weight reduction on peak expiratory flow (PEF) variability and airways obstruction, compared to simultaneous changes in lung volumes and ventilatory mechanics in obese patients with stable asthma. METHODS Fourteen obese asthma patients (11 women and 3 men; aged 25 to 62 years) were studied before and after a very-low-calorie-diet period of 8 weeks. PEF variability was determined as diurnal and day-to-day variations. FEV(1) and maximal expiratory flow values were measured with a flow-volume spirometer. Lung volumes, airways resistance (Raw), and specific airways conductance were measured using a constant-volume body plethysmograph. Minute ventilation was monitored in patients in supine and standing positions. RESULTS As patients decreased their body mass index (SD) from 37.2 (3.7) to 32.1(4.2) kg/m(2) (p < 0. 001), diurnal PEF variation declined from 5.5% (2.4) to 4.5% (1.5) (p = 0.01), and day-to-day variation declined from 5.3% (2.6) to 3. 1% (1.3) (p < 0.005). The mean morning PEF, FEV(1), and FVC increased after weight loss (p = 0.001, p < 0.005, and p < 0.05, respectively). Flow rate at the middle part of FVC (FEF(25-75)) increased even when related to lung volumes (FEF(25-75)/FVC; p < 0. 05). Functional residual capacity and expiratory reserve volume were significantly higher after weight loss (p < 0.05 and p < 0.005, respectively). A significant reduction in Raw was found (p < 0.01). Resting minute ventilation decreased after weight loss (p = 0.01). CONCLUSION Weight loss reduces airways obstruction as well as PEF variability in obese patients with asthma. The results suggest that obese patients benefit from weight loss by improved pulmonary mechanics and a better control of airways obstruction.
Clustering based fuzzy logic for multimodal sensor networks: A preprocessing to decision fusion

The advances of Micro-electromechanical systems (MEMS) technology lead to new types of sensors named “multimodal” sensors where multiple features can be sensed and reported by one sensor. Forming a wireless sensor network of such sensors poses new challenges to the wireless sensor networks in addition to the current challenges. Currently, each multimodal sensor reports periodically a message for each feature or a long message that contains all the features compared to the traditional sensors. Such multimodal sensor networks could be used for multiple purposes and serve different applications. However, data handling and information processing as well as data/decision tasks became much harder than before. In this paper, we introduce a set of clustering algorithms taking into consideration the reported multiple features as well as some of the sensors parameters such as nodes' residual energy and clusterheads' degree. The paper utilizes different clustering techniques including fuzzy logic. The proposed algorithms are designed to simplify the next step operation which is data/decision fusion and decision making operations. Through an extensive set of experiments, the proposed algorithms are evaluated.
Tight Sum-of-Squares lower bounds for binary polynomial optimization problems

For binary polynomial optimization problems of degree 2d with n variables Sakaue, Takeda, Kim and Ito [SIAM J. Optim. , 2017] proved that the \(\lceil \frac{n+2d-1}{2}\rceil \) th semidefinite (SDP) relaxation in the SoS/Lasserre hierarchy of SDP relaxations provides the exact optimal value. When n is an odd number, we show that their analysis is tight, i.e. we prove that \(\frac{n+2d-1}{2} \) levels of the SoS/Lasserre hierarchy are also necessary. Laurent [Math. Oper. Res., 2003] showed that the Sherali-Adams hierarchy requires n levels to detect the empty integer hull of a linear representation of a set with no integral points. She conjectured that the SoS/Lasserre rank for the same problem is n − 1. In this paper we disprove this conjecture and derive lower and upper bounds for the rank.
DEcorum File System Architectural Overview

We describe the DEcorum file system, a distributed file system designed for high performance, low network load, easy operation and administration, and interoperability with other file systems. The DEcorum file system has three components: the DEcorum protocol exporter (or file server); the Episode physical file system; and the DEcorum client (or cache manager). Episode is a module that implements the Vnode/VFS interface, using transaction logging to allow fast recovery from crashes. To be exact, it implements a VFS+ interface: extensions to the standard Vnode and VFS interfaces, and two new modules, aggregates and volumes, which give flexibility beyond what is provided by Unix partitions to support administration and operation of networks of thousands of workstations. The DEcorum protocol exporter provides remote access to the Episode physical file system via remote procedure calls (RPC’s). It can export access to other physical file systems, such as the Berkeley fast file system, using extensions of the physical file systems to support the VFS+ interface. The DEcorum client exports a Vnode interface, but obtains its data by making RPC’s to a DEcorum protocol exporter. It caches data from the file server. To synchronize accesses to files, preserving single-system UNIX semantics, it relies on typed tokens obtained with the data: guarantees provided by the server that various operations can be performed remotely. Tokens can be revoked by the file server using separate RPC’s. A locking hierarchy is used to avoid deadlock between clients accessing files and servers revoking tokens on the same files; we explain the hierarchy and informally sketch a proof of its correctness. History and Motivation The DEcorum file system is a component of a larger system, the DEcorum Distributed Computing Environment (DCE). The DEcorum architecture was jointly developed by Hewlett-Packard, IBM, Locus Computing, and Transarc. The DEcorum file system component is a follow-on of AFS (formerly the Andrew file system). 1 The DCE is built as a layered architecture from modular components. The file system utilizes a collection of modular components, including Hewlett-Packard’s NCS 2.02 remote procedure call facility, Hewlett-Packard’s PasswdEtc 1 Alfred Z. Spector and Michael L. Kazar, ‘‘Uniting File Systems,’’ Unix Review, March 1989. 2 NCS 2.0 adds support for pipes (streaming), long-haul operation, authentication, and connection-oriented transport to NCS 1.5
Foetal alcohol spectrum disorder : mediating interventions through pregnant women's responses and choices

The study examines the implementation of an intervention aimed at stopping alcohol consumption during pregnancy in order to decrease Foetal Alcohol Spectrum Disorder (FASD) and how this affected changes in alcohol consumption. FASD is a growing concern in South Africa where the prevalence rate is almost 12/100 at some schools in the Western Cape; the highest reported FASD rate in the world. FASD is caused by alcohol consumption during pregnancy and it is an irreversible mental and physical disability in children. FASD is preventable through abstinence from alcohol consumption during pregnancy. The intervention study (referred to as the Ceres Intervention Study), utilised a clusterrandomised trial design, with a control and intervention group, where the control arm of the study received basic screening and information on FASD, while the intervention arm of the study received a more comprehensive intervention, consisting of a variety of screening and counselling techniques. The study took place during 2007/2008 in the Witzenberg sub-district in Ceres in the Western Cape Province of South Africa. The Study used research techniques combined with therapeutic methods and techniques to mediate behaviour change in pregnant women. From the Ceres Intervention Study it was found that 60% of pregnant women changed their drinking behaviour, which led to questions around how this behaviour change took place. The main aim of this study therefore is to examine how pregnant women changed their drinking behaviour during this intervention and also what facilitated the change that was observed. In order to examine the behaviour change, data from the intervention arm and control arm of the study was analysed and a profile of the women was developed. A focus on the intervention arm of the study resulted in distinguishing further between two sub-groups within the intervention arm, namely, the change and no-change groups. Mainly quantitative data was obtained with the use of various tools, however from the comments and experiences of participants, qualitative data could be used as complementary to quantitative data to provide more clarity as to how behaviour change was facilitated in the study. Results from the study suggest that there is a dialectical interplay between client and counsellor which facilitate generative mechanisms that may lead to behaviour change.
A Segmented Morphological Approach to Detect Tumor in Lung Images

Image processing is one of most growing research area these days and now it is very much integrated with the medical and biotechnology field. Image Processing can be used to analyze different medical and MRI images to get the abnormality in the image. This abnormality can be described in terms of tumor or the patch or scare on the human body. We are presenting such an approach to detect the tumor from the lung image. In this proposed approach we have applied a series of operations, first to enhance the image and then to detect the tumor from the lung image. In this proposed approach, First of all some image enhancement and noise reduction techniques are used to enhance the image quality, after that we have applied watershed segmentation and some morphological operations to get the desired result. The algorithm has been tried on a number of different images from different angles and has always given the correct desired output.
Intrusion detection based on cross-correlation of system call sequences

A new light-weight approach, based on the cross-correlation of system call sequences, is presented to identify normal or intrusive program behavior. The program behavior is represented by the cross-correlation value which can be used to indicate the similarity between two sequences. If two sequences are same, the cross-correlation between them will achieve the maximum value. This method of characterizing program behavior by using cross-correlation offers significant computational advantages over HMM (hidden Markov model) or NN (neural network) methods due to the absence of unnecessary training process. Our experiments using UNM (University of New Mexico) audit data show that the cross-correlation based method can effectively detect intrusive attacks and achieve a low false positive rate
Reviewing the reviewers: A study of author perception on peer reviews in computer science

Peer reviewing is an important form of collaborative work that is used for quality assurance in science and in other domains like software development and knowledge management. Review ratings by authors have potential to improve the quality of peer reviews, by giving way to remuneration of good reviews. A significant problem, however, is that authors' perception is hardly neutral, but might be affected by the reviews. To gain insight into their perception of peer reviews, we have conducted a survey among the authors of papers submitted to a peer-reviewed computer science conference. One of our findings is that authors are satisfied with reviews whose comments they deem helpful, and when they feel that the reviewer has made an effort to understand the paper. Suprisingly, these results hold when controlled for the score given by the reviewer. Based on the study results, we discuss the suitability of author ratings to identify high-quality reviews. We describe a remuneration function for reviews based on author ratings that aims to neutralize the effects of review scores.
Interference control in cognitive wireless networks by tuning the carrier sensing threshold

The requirement for secondary spectrum usage is the control of secondary generated interference to the primary system. The generated interference from different types of secondary networks can be controlled by adjusting different parameters. The carrier sensing threshold can be used as a common parameter to control the density of active secondary users in wireless networks with contention control thereby enabling primary system protection. In this paper, we propose a method to set the carrier sensing threshold in secondary wireless networks with finite user density and finite deployment area. Based on the secondary user density, we first find the required distance separation among secondary transmitters so that the primary system service is protected. Given the distance separation, we set the carrier sensing threshold by computing the self-interference at a secondary user. Our method is illustrated for Matern type II and Matern type III point processes for modelling the locations of active secondary users due to the resemblance of these processes to CSMA/CA type of contention control.
Characteristics Calculation of Ferrite Material Using Frequency Tunable Resonator

This paper presents an efficient method to measure the permittivity, permeability, and magnetization of ferrite at various resonance frequencies of ferrite resonator. A cylindrical dielectric rod is inserted to annular ring ferrite for tuning the resonance frequency of the ferrite resonator without changing the length of the resonator. The permeability and permittivity of ferrite are calculated using a characteristic equation for resonator in a demagnetized state. The permittivity is compared with the measured results by the cavity perturbation method to verify the calculated results. We analyzed the electromagnetic fields in each region of ferrite, and derived <inline-formula> <tex-math notation="LaTeX">$8 \times 8$ </tex-math></inline-formula> eigenvalue matrix for the mode-splitting behavior on the HE<sub>+111</sub>/HE<sub>−111</sub> mode. The induced magnetization of ferrite in the partially magnetized state is calculated by a nonlinear system with the measured resonance frequency. The calculated magnetization of the resonator is a critical parameter to analyze ferrite material, so the calculated results are verified by the magneto-static simulation based on the measured data of <inline-formula> <tex-math notation="LaTeX">$B$ </tex-math></inline-formula>–<inline-formula> <tex-math notation="LaTeX">$H$ </tex-math></inline-formula> curve. Finally, the permeability tensor components at various frequencies are obtained by statistic equations.
Processing Probabilistic K-Nearest Neighbor Query Using Rlsd-Tree

One of the important queries in spatio-temporal databases is the probabilistic K-nearest neighbor query (or PKNNQ for short). Given a query object q, a set Smo of moving objects with uncertain moving speed and direction, a time point tq, and a value of K, a PKNNQ finds the objects with highest probability of being the K-nearest neighbor of q at time tq. Most of the existing approaches focus on designing an index structure for managing moving objects so as to facilitate processing the PKNNQ. However, they do not properly consider the moving speeds and directions of objects to build the index, and thus lead to poor query performance. In this paper, we use an efficient Rlsd-tree, which is built by applying space-filling curves to determine which objects are better to be grouped, to index moving objects. We develop pruning criteria combined with the Rlsd-tree to efficiently answer the PKNNQ. In addition, a probability model is designed to reasonably quantify the possibility of each object being the query result. Finally, a thorough experimental evaluation is conducted to show the merits of the proposed techniques.
Tree Kernel-based Protein-Protein Interaction Extraction Considering both Modal Verb Phrases and Appositive Dependency Features

Protein-protein interaction plays an important role in understanding biological processes. In order to resolve the parsing error resulted from modal verb phrases and the noise interference brought by appositive dependency, an improved tree kernel-based PPI extraction method is proposed in this paper. Both modal verbs and appositive dependency features are considered to define some relevant processing rules which can effectively optimize and expand the shortest dependency path between two proteins in the new method. On the basis of these rules, the effective optimization and expanding path is used to direct the cutting of constituent parse tree, which makes the constituent parse tree for protein-protein interaction extraction more precise and concise. The experimental results show that the new method achieves better results on five commonly used corpora.
The Effects of Perspective Taking on Motivations for Helping: Still No Evidence for Altruism

To investigate the existence of true altruism, the authors assessed the link between empathic concern and helping by (a) employing an experimental perspective-taking paradigm used previously to demonstrate empathy-associated helping and (b) assessing the empathy-helping relationship while controlling for a range of relevant, well-measured nonaltruistic motivations. Consistent with previous research, the authors found a significant zero-order relationship between helping and empathic concern, the purported motivator of true altruism. This empathy-helping relationship disappeared, however, when nonaltruistic motivators (oneness and negative affect) were taken into account: Only the nonaltruistic factors of oneness (merged identity with the victim) and negative affect mediated helping, whereas empathic concern did not. Evidence for true altruism remains elusive.
Coping with transition: a study of layoff survivors

This study examined the determinants and consequences of survivors' coping responses to a recent workforce reduction involving permanent layoffs. The participants consisted of 200 unionized technicians in the telecommunications industry. Survivors with high optimistic predispositions and a strong sense of mastery were more likely to engage in control-oriented coping. Perceived threat of job loss was positively related to the use of both control and escape coping whereas sense of powerlessness was negatively related to the use of control coping. Control coping was associated with positive outcomes and escape coping with negative outcomes. Coping had both additive and interactive effects on the outcome variables. The implications of these findings for management are discussed.
Coordinated Model Predictive-Based Power Flows Control in a Cooperative Network of Smart Microgrids

In this paper, a model predictive control (MPC) for the optimal power exchanges in a smart network of power microgrids (MGs) is presented. The main purpose is to present an innovative control strategy for a cluster of interconnected MGs to maximize the global benefits. A MPC-based algorithm is used to determine the scheduling of power exchanges among MGs, and the charge/discharge of each local storage system. The MPC algorithm requires information on power prices, power generation, and load forecasts. The MPC algorithm is tested through case studies with and without prediction errors on loads and renewable power production. The operation of single MGs is simulated to show the advantage of the proposed cooperative framework relative to the control of a single MG. The results demonstrate that the cooperation among MGs has significant advantages and benefits with respect to each single MG operation.
Docking, Synthesis, and in vitro Evaluation of Antimitotic Estrone Analogs

In the present study, Autodock 4.0 was employed to discover potential carbonic anhydrase IX inhibitors that are able to interfere with microtubule dynamics by binding to the Colchicine binding site of tubulin. Modifications at position 2′ of estrone were made to include moieties that are known to improve the antimitotic activity of estradiol analogs. 2‐ethyl‐3‐O‐sulphamoyl‐estra‐1,3,5(10),15‐tetraen‐3‐ol‐17‐one estronem (C9) and 2‐ethyl‐3‐O‐sulphamoyl‐estra‐1,3,5(10)16‐tetraene (C12) were synthesized and tested in vitro. Growth studies were conducted utilizing spectrophotometrical analysis with crystal violet as DNA stain. Compounds C9 and C12 were cytotoxic in MCF‐7 and MDA‐MB‐231 tumorigenic and metastatic breast cancer cells, SNO non‐keratinizing squamous epithelium cancer cells and HeLa cells after 48 h exposure. Compounds C9 inhibited cell proliferation to 50% of the vehicle‐treated controls from 110 to 160 nm and C12 at concentrations ranging from 180 to 220 nm. Confocal microscopy revealed abnormal spindle morphology in mitotic cells. Cell cycle analysis showed an increase in the number of cells in the G2/M fraction after 24 h and an increase in the number of cell in the sub‐G1 fraction after 48 h, indicating that the compounds are antimitotic and able to induce apoptosis.