Miracle-dz/UniFAR-FTUs huggingface dataset:
Development of Students Worksheet based on Realistic Mathematics Education in Indonesia

A concept of mathematics is one of the essential goals in learning mathematics. Providing an understanding that the material taught to students is not only as a recitation but also as the concept of the subject matter itself. This study aims to develop student worksheet based on realistic mathematical approach. The method used in this study is the stages of 4-D development research which consists of defining, designing, developing, and disseminating. This study employed two data collection instruments. The first is expert validation which was used to measure the validity. Meanwhile the second is questionnaire which was used to measure students’ practicality and to get product development assessment from experts and students. The results showed that the developed worksheet is valid with the validity level of 3.67 for the content aspect, 3.60 for the constructed aspect, and 3.50 for the language aspect. The worksheet was tested to 21 students of grade VII in MTs N 2 Gunungkidul Indonesia. The test results stated that the worksheet received a good response from students. Therefore, it can be used in the process of learning mathematics in class.
FRA2 Is a STAT5 Target Gene Regulated by IL-2 in Human CD4 T Cells

Signal transducers and activators of transcription 5(STAT5) are cytokine induced signaling proteins, which regulate key immunological processes, such as tolerance induction, maintenance of homeostasis, and CD4 T-effector cell differentiation. In this study, transcriptional targets of STAT5 in CD4 T cells were studied by Chromatin Immunoprecipitation (ChIP). Genomic mapping of the sites cloned and identified in this study revealed the striking observation that the majority of STAT5-binding sites mapped to intergenic (>50 kb upstream) or intronic, rather than promoter proximal regions. Of the 105 STAT5 responsive binding sites identified, 94% contained the canonical (IFN-γ activation site) GAS motifs. A number of putative target genes identified here are associated with tumor biology. Here, we identified Fos-related antigen 2 (FRA2) as a transcriptional target of IL-2 regulated STAT5. FRA2 is a basic -leucine zipper (bZIP) motif ‘Fos’ family transcription factor that is part of the AP-1 transcription factor complex and is also known to play a critical role in the progression of human tumours and more recently as a determinant of T cell plasticity. The binding site mapped to an internal intron within the FRA2 gene. The epigenetic architecture of FRA2, characterizes a transcriptionally active promoter as indicated by enrichment for histone methylation marks H3K4me1, H3K4me2, H3K4me3, and transcription/elongation associated marks H2BK5me1 and H4K20me1. FRA2 is regulated by IL-2 in activated CD4 T cells. Consistently, STAT5 bound to GAS sequence in the internal intron of FRA2 and reporter gene assays confirmed IL-2 induced STAT5 binding and transcriptional activation. Furthermore, addition of JAK3 inhibitor (R333) or Daclizumab inhibited the induction in TCR stimulated cells. Taken together, our data suggest that FRA2 is a novel STAT5 target gene, regulated by IL-2 in activated CD4 T cells.
A UTO M AN : Integrating Human and Silicon Computation

While the computational power of modern computer systems has increased dramatically, many tasks that humans perform easily remain difficult or impossible for computers. Crowdsourcing provides an enticing opportunity to utilize humans as a computational resource for solving these kinds of problems. However, harnessing this power at scale is difficult. We propose a shift to what we call crowdprogramming, an approach that simplifies the use of human labor, thus enabling large-scale crowdsourcing applications. We discuss AUTOMAN, a system we are building to explore this idea.
Cytosolic-free calcium elevation in Trypanosoma cruzi is required for cell invasion

To replicate, the trypomastigote form of Trypanosoma cruzi must invade host cells. Since a role for Ca2+ in the process of cell invasion by several intracellular parasites has been postulated, changes in the intracellular Ca2+ concentration in T. cruzi trypomastigotes and in tissue culture L6E9 myoblasts during their interaction were studied at the single cell level using digital imaging fluorescence microscopy or in cell suspensions by fluorescence spectrophotometry. An increase in cytosolic Ca2+ in T. cruzi trypomastigotes was detected at the single cell level after association of the parasites with the myoblasts. Ca2+ mobilization in the host cells was also detected upon contact with trypomastigotes either at the single cell level or in cells grown in coverslips and exposed to suspensions of trypomastigotes. Pretreatment of the parasites with the Ca2+ chelators quin 2 (50 microM) or bis-(o- aminophenoxy)-ethane-N,N,N',N'-tetraacetic acid (BAPTA, 50 microM) decreased the trypomastigotes' association to myoblasts by approximately 40 and 63%, respectively, thus indicating that an increase in intracellular Ca2+ concentration in the parasites is required for cell invasion in addition to Ca2+ mobilization in the host cells.
Decoherent histories analysis of the relativistic particle

The Klein-Gordon equation is a useful test arena for quantum cosmological models described by the Wheeler-DeWitt equation. We use the decoherent histories approach to quantum theory to obtain the probability that a free relativistic particle crosses a section of spacelike surface. The decoherence functional is constructed using path-integral methods with initial states attached using the (positive definite) ``induced'' inner product between solutions to the constraint equation. The construction is complicated by the fact that the amplitudes (class-operators) calculated using a path integral typically do not satisfy the constraint equation everywhere, but we show how they may be systematically modified in such a way that they do satisfy the constraint. The notion of crossing a spacelike surface requires some attention, given that the paths in the path integral may cross such a surface many times, but we show that first and last crossings are in essence the only useful possibilities. Different possible results for the probabilities are obtained, depending on how the relativistic particle is quantized (using the Klein-Gordon equation, or its square root, with the associated Newton-Wigner states). In the Klein-Gordon quantization, the decoherence is only approximate, due to the fact that the paths in the path integral may go backwards and forwards in time. We compare with the results obtained using operators which commute with the constraint (the ``evolving constants'' method).
St. Augustine’s Reflections on Memory and Time and the Current Concept of Subjective Time in Mental Time Travel

Reconstructing the past and anticipating the future, i.e., the ability of travelling in mental time, is thought to be at the heart of consciousness and, by the same token, at the center of human cognition. This extraordinary mental activity is possible thanks to the ability of being aware of ‘subjective time’. In the present study, we attempt to trace back the first recorded reflections on the relations between time and memory, to the end of the fourth century’s work, the Confessions, by the theologian and philosopher, St. Augustine. We concentrate on Book 11, where he extensively developed a series of articulated and detailed observations on memory and time. On the bases of selected paragraphs, we endeavor to highlight some concepts that may be considered as the product of the first or, at least, very early reflections related to our current notions of subjective time in mental time travel. We also draw a fundamental difference inherent to the frameworks within which the questions were raised. The contribution of St. Augustine on time and memory remains significant, notwithstanding the 16 centuries elapsed since it was made, likely because of the universality of its contents.
HF mismatch characterization and modeling of bipolar transistors for RFIC design

This paper presents a methodology to characterize and model BJT's mismatch behavior for RFIC design. A measurement technique based on the conventional S-parameter measurement is developed to measure the mismatch behavior at high frequencies (HFs). First, besides the typical de-embedding, the bondpad mismatch is subtracted statistically from the capacitance mismatch measurement. Second, a semi-empirical methodology using physical parameters, such as window CD and vertical doping, is developed to model the measured AC mismatch behavior for transistors of different size. Finally, a systematic procedure is proposed to extract the mismatch parameters, which can be used in the SPICE Monte-Carlo mismatch simulation. The proposed mismatch modeling methodology is validated on an industrial 0. 35μm RF BiCMOS process. The proposed model fits the mismatch characteristics of the key AC parameters, such as CBE, CBC, and fT at different current densities. The model also scales well with geometry for the transistors with sizes useful for RFIC application.
A P2P-based flocking algorithm for distributed clustering using small world structure

Clustering has become an increasingly important task in modern application domains such as electronic commerce, multimedia, surveillance using sensor networks as well as many others. In many of these areas, the data are originally collected at different sites and their transmission to a central site is almost impossible. This requires to develop novel distributed clustering algorithms to handle the difficult problems posed from the dynamic topology changes of the network, impracticality of global communications and global synchronization and the frequent failure and recovery of resources. In this paper, we propose a biologically-inspired algorithm for clustering distributed data in a peer-to-peer network with a small world topology. The method proposed is based on a local flocking algorithm that uses a decentralized approach to discover clusters by a density-based approach and the execution, among the peers, of an iterative self-labeling strategy to generate global labels with which identify the clusters of all peers. We have measured the goodness of our flocking search strategy on performance in terms of accuracy and scalability. Furthermore, we evaluated the impact of small world topology in terms of reduction of iterations and messages exchanged to merge clusters.
Improving Sentence-level Subjectivity Classification through Readability Measurement

We show that the quality of sentence-level subjectivity classification, i.e. the task of deciding whether a sentence is subjective or objective, can be improved by incorporating hitherto unused features: readability measures. Hence we investigate in 6 different readability formulae and propose an own. Their performance is evaluated in a 10-fold cross validation setting using machine learning. Thereby, it is demonstrated that sentence-level subjectivity classification benefits from employing readability measures as features in addition to already well-known subjectivity clues.
A low-voltage low-power current-mode differential adjustable Schmitt trigger

This paper presents a low-voltage low-power current-mode differential adjustable Schmitt trigger. The proposed Schmitt trigger consists of current subtractor, current Schmitt trigger and voltage to current converter. The operation range is extended to all four quadrants of the input-output plane. Schmitt trigger is designed using UMC 0.13 μm CMOS technology and operates under the supply voltage of 0.7 V. The simulation results show that the hysteresis lie in the all quadrant of the input-output plane and the power dissipation is only 66 μW.
Extracting Graphs from Three Dimensional Neuron Data Sets

One current challenge in the field of visualization and pattern recognition is the extraction of structural object descriptions from 3D biological or medical image data. This thesis aims at computing graph-based descriptions of neurons contained in 3D confocal microscopy images and the same methods can also be applied to medical images obtained from computer tomography or magnetic resonance. One important means of describing the crucial features of an object’s shape is the socalled skeleton or medial axis. This structure captures the object’s symmetry axes as well as the local object radii associated with the skeleton points. However, when viewed from some distance, neurons appear as objects with a very complex overall structure but a rather simple local shape. So for some applications, it is more important to capture the joints and the main axes of the branches rather than to describe every local detail in the boundary surface of a branch. For such objects and applications, the concept of a center line graph yields the most convenient shape description. Center lines focus on describing only the main axes of an object. Since they are a subset of the skeleton, the two concepts are closely related. The thesis begins with a presentation and discussion of previous work on skeletonization and center line extraction. It turns out that there are several approaches with different advantages and disadvantages, among them methods based on distance maps, potential fields, Voronoi diagrams, and topological thinning. Although topological thinning seems to be most adequate for an efficient and simple skeletonization implementation, the concept of distance transformations attracts a certain attention since it is used for different purposes throughout all different kinds of approaches. However, those methods which try to compute the skeleton directly from the distance map seem to run into several kinds of problems when confronted with complex 3D data. In order to find out more about this discrepancy between the power of the concept and the drawbacks of the algorithms, distance transformations and some related algorithms are explored in more detail, supported by experimental results from the implementation. Theoretical aspects as well as the test results indicate that conventional distance map based methods actually lead to quite inconvenient results. In order to circumvent some of the problems of previous approaches, an alternative method is presented which extracts center lines by shrinking the boundary surface of an object along the distance map gradient. This algorithm, in contrast to the previous distance map based work, tries to exploit the distance map information as well as the connectivity information obtained from the boundary surface description, thereby maintaining the correct connectivity at each step of the transformation. In order to reduce the complexity of the resulting degenerated set of lines, two simplification algorithms are proposed. Those methods reduce the set of lines to the minimum with respect to a user-defined minimal distance threshold of sub-voxel range.
“My Way of Telling a Story”: Persona based Grounded Story Generation

Visual storytelling is the task of generating stories based on a sequence of images. Inspired by the recent works in neural generation focusing on controlling the form of text, this paper explores the idea of generating these stories in different personas. However, one of the main challenges of performing this task is the lack of a dataset of visual stories in different personas. Having said that, there are independent datasets for both visual storytelling and annotated sentences for various persona. In this paper we describe an approach to overcome this by getting labelled persona data from a different task and leveraging those annotations to perform persona based story generation. We inspect various ways of incorporating personality in both the encoder and the decoder representations to steer the generation in the target direction. To this end, we propose five models which are incremental extensions to the baseline model to perform the task at hand. In our experiments we use five different personas to guide the generation process. We find that the models based on our hypotheses perform better at capturing words while generating stories in the target persona.
Vision-guided flight stability and control for micro air vehicles

Substantial progress has been made recently towards designing, building and test-flying remotely piloted Micro Air Vehicles (MAVs) and small UAVs. We seek to complement this progress in overcoming the aerodynamic obstacles to flight at very small scales with a vision-guided flight stability and autonomy system, based on a robust horizon detection algorithm. In this paper, we first motivate the use of computer vision for MAV autonomy, arguing that given current sensor technology, vision may be the only practical approach to the problem. We then describe our statistical vision-based horizon detection algorithm, which has been demonstrated at 30 Hz with over 99.9% correct horizon identification. Next, we develop robust schemes for the detection of extreme MAV attitudes, where no horizon is visible, and for the detection of horizon estimation errors, due to external factors such as video transmission noise. Finally, we discuss our feedback controller for self-stabilized flight, and report results on vision-based autonomous flights of duration exceeding ten minutes.
On the Achievable Diversity-vs-Multiplexing Tradeoff in Cooperative Channels

In this paper, we propose new cooperation protocols for coherent flat-fading channels consisting of two (half-duplex) partners and one cell site. In our work, we differentiate between the multiple access (up-link) and broadcast (downlink) channels. For the cooperative multiple access channel, we upper-bound the achievable diversityvs-multiplexing tradeoff by that of a point-to-point system with two transmit and one receiver antenna. We then proceed to show that the proposed protocol achieves this optimal diversity-vs-multiplexing tradeoff for all multiplexing gains. For the cooperative broadcast channel, the proposed protocol is shown to achieve the extreme points of the tradeoff curve of the corresponding point-to-point system (i.e., d r and d r ). For other multiplexing gains (i.e., r ), the proposed scheme is shown to uniformally dominate all known cooperative protocols. A distinguishing feature of the proposed schemes is that they do not rely on orthogonal subspaces, allowing for a more efficient use of resources. Furthermore, our analysis reveals a fundamental difference between the cooperative multiple access channel and the relay channel model which inspires most known cooperation protocols.
Inter-Contact Routing for using Mobile Phone System

Disaster management is the important filed in our world. It is based on communication between rescue-workers and trapped survivors in the disaster situation. In this paper, two main components are namely messaging system and self rescue system. Messaging system runs on rescue workers as-well-as trapped survivors. Self rescue system runs on trapped survivors. When the rescue workers enter into the spot for recovery works they will provide network continuously within certain distance and range. The head node collects all the necessary information about the nearby trapped survivors in their group. The rescue worker forwards the collected information of the trapped survivors to the command centre. The command centre finds the route between rescue workers in disaster region using AODV routing protocol.
(R)évolution du management des ressources humaines: des compétences aux capabilités

La 4e de couv. indique : "Cet ouvrage se positionne a contre-courant de l'ensemble des discours qui portent sur les competences. Il interroge les critiques, les doutes et les desillusions dont elles font l'objet pour s'ouvrir au modele des capabilites, plus a meme, aujourd'hui, de repondre aux problematiques de management des hommes, des organisations et de la formation. Il ne s'agit ni de dire ce que sont les competences, ni de valoriser de bonnes pratiques de gestion des competences, mais de faire le point sur ce que les competences ont apporte et sur ce qu'elles n'ont pas resolu, d'en dessiner les limites, afin de comprendre pourquoi ce concept inacheve, sur lequel s'appuient pourtant de nombreuses pratiques de gestion et de management, ne repond plus aujourd'hui aux exigences d'un monde du travail en pleine mutation. Au-dela du bilan des approches par les competences, cet ouvrage dessine le contour d'une nouvelle approche de "design social" utile au management des ressources humaines, qui viendra completer, voire se substituer progressivement a celui des competences : le modele des capabilites. "
Grounded Theory of Barriers and Facilitators to Mandated Implementation of Mental Health Care in the Primary Care Setting

Objective. There is limited theory regarding the real-world implementation of mental health care in the primary care setting: a type of organizational coordination intervention. The purpose of this study was to develop a theory to conceptualize the potential causes of barriers and facilitators to how local sites responded to this mandated intervention to achieve coordinated mental health care. Methods. Data from 65 primary care and mental health staff interviews across 16 sites were analyzed to identify how coordination was perceived one year after an organizational mandate to provide integrated mental health care in the primary care setting. Results. Standardized referral procedures and communication practices between primary care and mental health were influenced by the organizational factors of resources, training, and work design, as well as provider-experienced organizational boundaries between primary care and mental health, time pressures, and staff participation. Organizational factors and provider experiences were in turn influenced by leadership. Conclusions. Our emergent theory describes how leadership, organizational factors, and provider experiences affect the implementation of a mandated mental health coordination intervention. This framework provides a nuanced understanding of the potential barriers and facilitators to implementing interventions designed to improve coordination between professional groups.