Miracle-dz/UniFAR-FTUs huggingface dataset:
Improved Approximation for 3-Dimensional Matching via Bounded Pathwidth Local Search

One of the most natural optimization problems is the k-SET PACKING problem, where given a family of sets of size at most k one should select a maximum size subfamily of pairwise disjoint sets. A special case of 3-SET PACKING is the well known 3-DIMENSIONAL MATCHING problem, which is a maximum hypermatching problem in 3-uniform tripartite hypergraphs. Both problems belong to the Karp's list of 21 NP-complete problems. The best known polynomial time approximation ratio for k-SET PACKING is (k + ε)/2 and goes back to the work of Hurkens and Schrijver [SIDMA'89], which gives (1.5+ε)-approximation for 3-DIMENSIONAL MATCHING. Those results are obtained by a simple local search algorithm, that uses constant size swaps. The main result of this paper is a new approach to local search for k-SET PACKING where only a special type of swaps is considered, which we call swaps of bounded pathwidth. We show that for a fixed value of k one can search the space of r-size swaps of constant pathwidth in crpoly(|F|) time. Moreover we present an analysis proving that a local search maximum with respect to O(log |F|)-size swaps of constant pathwidth yields a polynomial time (k+1+ε)/3-approximation algorithm, improving the best known approximation ratio for k-SET PACKING. In particular we improve the approximation ratio for 3-DIMENSIONAL MATCHING from 3/2+ε to 4/3+ε.
Topological Map Merging Topological Map Merging

When multiple robots cooperatively explore an environment, maps from individual robots must be merged to produce a single globally consistent map. This is a challenging problem when the robots do not have a common reference frame or global positioning. In this paper, we describe an algorithm for merging embedded topological maps. Topological maps provide a concise description of the navigability of an environment, and, with measurements easily collected during exploration, the vertices of the map can be embedded in a metric space. Our algorithm uses both the structure and the geometry of topological maps to determine the best correspondence between maps with single or multiple overlapping regions. Experiments with simulated and real-world data demonstrate the efficacy of our algorithm. KEYWORDS—topological mapping, map merging, multiple robot mapping, graph matching, image registration
Autophagy Interplay with Apoptosis and Cell Cycle Regulation in the Growth Inhibiting Effect of Resveratrol in Glioma Cells

Prognosis of patients with glioblastoma (GBM) remains very poor, thus making the development of new drugs urgent. Resveratrol (Rsv) is a natural compound that has several beneficial effects such as neuroprotection and cytotoxicity for several GBM cell lines. Here we evaluated the mechanism of action of Rsv on human GBM cell lines, focusing on the role of autophagy and its crosstalk with apoptosis and cell cycle control. We further evaluated the role of autophagy and the effect of Rsv on GBM Cancer Stem Cells (gCSCs), involved in GBM resistance and recurrence. Glioma cells treated with Rsv was tested for autophagy, apoptosis, necrosis, cell cycle and phosphorylation or expression levels of key players of these processes. Rsv induced the formation of autophagosomes in three human GBM cell lines, accompanied by an upregulation of autophagy proteins Atg5, beclin-1 and LC3-II. Inhibition of Rsv-induced autophagy triggered apoptosis, with an increase in Bax and cleavage of caspase-3. While inhibition of apoptosis or autophagy alone did not revert Rsv-induced toxicity, inhibition of both processes blocked this toxicity. Rsv also induced a S-G2/M phase arrest, accompanied by an increase on levels of pCdc2(Y15), cyclin A, E and B, and pRb (S807/811) and a decrease of cyclin D1. Interestingly, this arrest was dependent on the induction of autophagy, since inhibition of Rsv-induced autophagy abolishes cell cycle arrest and returns the phosphorylation of Cdc2(Y15) and Rb(S807/811), and levels of cyclin A, and B to control levels. Finally, inhibition of autophagy or treatment with Rsv decreased the sphere formation and the percentage of CD133 and OCT4-positive cells, markers of gCSCs. In conclusion, the crosstalk among autophagy, cell cycle and apoptosis, together with the biology of gCSCs, has to be considered in tailoring pharmacological interventions aimed to reduce glioma growth using compounds with multiple targets such as Rsv.
Heterochromatin Protein 1 (HP1) Proteins Do Not Drive Pericentromeric Cohesin Enrichment in Human Cells

Sister chromatid cohesion mediated by cohesin is essential for accurate chromosome segregation. Classical studies suggest that heterochromatin promotes cohesion, but whether this happens through regulation of cohesin remains to be determined. Heterochromatin protein 1 (HP1) is a major component of heterochromatin. In fission yeast, the HP1 homologue Swi6 interacts with cohesin and is required for proper targeting and/or stabilization of cohesin at the centromeric region. To test whether this pathway is conserved in human cells, we have examined the behavior of cohesin in cells in which the levels of HP1 alpha, beta or gamma (the three HP1 proteins present in mammalian organisms) have been reduced by siRNA. We have also studied the consequences of treating human cells with drugs that change the histone modification profile of heterochromatin and thereby affect HP1 localization. Our results show no evidence for a requirement of HP1 proteins for either loading of bulk cohesin onto chromatin in interphase or retention of cohesin at pericentric heterochromatin in mitosis. However, depletion of HP1gamma leads to defects in mitotic progression.
A 100-MHz radio-frequency energy harvester for passively powered devices

A 100-MHz radio-frequency energy harvester is designed and implemented for passively powered devices. The proposed design achieves high power conversion efficiency over wide input power range by adjusting the effective loading and setting the rectifier's output voltage adaptively. Reconfigurable structure further extends the operating range. As a self-contained energy harvester, the sensitivity is simulated to be -23 dBm which supplies an output voltage of 1.8 V over a 10-Mohm load. More than 30% of power conversion efficiency can be achieved for input available power from -20 dBm to 0 dBm.
Ensembles of Restricted Hoeffding Trees

The success of simple methods for classification shows that is is often not necessary to model complex attribute interactions to obtain good classification accuracy on practical problems. In this article, we propose to exploit this phenomenon in the data stream context by building an ensemble of Hoeffding trees that are each limited to a small subset of attributes. In this way, each tree is restricted to model interactions between attributes in its corresponding subset. Because it is not known a priori which attribute subsets are relevant for prediction, we build exhaustive ensembles that consider all possible attribute subsets of a given size. As the resulting Hoeffding trees are not all equally important, we weigh them in a suitable manner to obtain accurate classifications. This is done by combining the log-odds of their probability estimates using sigmoid perceptrons, with one perceptron per class. We propose a mechanism for setting the perceptrons’ learning rate using the change detection method for data streams, and also use to reset ensemble members (i.e., Hoeffding trees) when they no longer perform well. Our experiments show that the resulting ensemble classifier outperforms bagging for data streams in terms of accuracy when both are used in conjunction with adaptive naive Bayes Hoeffding trees, at the expense of runtime and memory consumption. We also show that our stacking method can improve the performance of a bagged ensemble.
Validez de la Escala de Autoestima de Rosenberg en universitarios de la Ciudad de México

El objetivo fue realizar el proceso psicometrico pertinente para adaptar la Escala de Autoestima de Rosenberg en estudiantes universitarios. Metodo: la version resultante de utilizar el metodo de traduccion re traduccion (del ingles al espanol para Mexico) se aplico a 1033 estudiantes de bachillerato y/o licenciatura de una universidad privada de la Ciudad de Mexico (587 mujeres y 446 hombres), con edades entre 14 y 49 anos (X= 18.28, D.E.= 3.04). La escala fue aplicada en los salones de clase. Resultados: todos los reactivos mostraron capacidad discriminativa mediante la prueba t de Student. La escala obtuvo una confiabilidad mediante el indice Alfa de Cronbach = . 79. El analisis factorial exploratorio mostro que la escala se compone de dos factores que explican el 36.44 de la varianza e igualmente elimino dos reactivos. Finalmente el analisis factorial confirmatorio con ecuaciones estructurales mostro un buen ajuste: x 2 =57.68 gl=19, p=. 00, RMSEA=0.044, NFI=0.97, RFI=. 95, IFI=0.98, TLI =0.97 y CFI=0.98. Se concluye que la version de la escala de autoestima de Rosenberg generada en este estudio es valida y confiable.
Link Prediction on Evolving Data Using Tensor-Based Common Neighbor

Recently there has been increasingly interest in researching links between objects in complex networks, which can be helpful in many data mining tasks. One of the fundamental researches of links between objects is link prediction. Many link prediction algorithms have been proposed and perform quite well, however, most of those algorithms only concerns network structure in terms of traditional graph theory, which lack information about evolving network. in this paper we proposed a novel tensor-based prediction method, which is designed through two steps: First, tracking time-dependent network snapshots in adjacency matrices which form a multi-way tensor by using exponential smoothing method. Second, apply Common Neighbor algorithm to compute the degree of similarity for each nodes. This algorithm is quite different from other tensor-based algorithms, which also mentioned in this paper. in order to estimate the accuracy of our link prediction algorithm, we employ various popular datasets of social networks and information platforms, such as Facebook and Wikipedia networks. the results show that our link prediction algorithm performances better than another tensor-based algorithms mentioned in this paper.
Errors and electronic prescribing: a controlled laboratory study to examine task complexity and interruption effects

OBJECTIVE To examine the effect of interruptions and task complexity on error rates when prescribing with computerized provider order entry (CPOE) systems, and to categorize the types of prescribing errors. DESIGN Two within-subject factors: task complexity (complex vs simple) and interruption (interruption vs no interruption). Thirty-two hospital doctors used a CPOE system in a computer laboratory to complete four prescribing tasks, half of which were interrupted using a counterbalanced design. MEASUREMENTS Types of prescribing errors, error rate, resumption lag, and task completion time. RESULTS Errors in creating and updating electronic medication charts that were measured included failure to enter allergy information; selection of incorrect medication, dose, route, formulation, or frequency of administration from lists and drop-down menus presented by the CPOE system; incorrect entry or omission in entering administration times, start date, and free-text qualifiers; and omissions in prescribing and ceasing medications. When errors occurred, the error rates across the four prescribing tasks ranged from 0.5% (1 incorrect medication selected out of 192 chances for selecting a medication or error opportunities) to 16% (5 failures to enter allergy information out of 32 error opportunities). Any impact of interruptions on prescribing error rates and task completion times was not detected in our experiment. However, complex tasks took significantly longer to complete (F(1, 27)=137.9; p<0.001) and when execution was interrupted they required almost three times longer to resume compared to simple tasks (resumption lag complex=9.6 seconds, SD=5.6; resumption lag simple=3.4 seconds, SD=1.7; t(28)=6.186; p<0.001). CONCLUSION Most electronic prescribing errors found in this study could be described as slips in using the CPOE system to create and update electronic medication charts. Cues available within the user interface may have aided resumption of interrupted tasks making CPOE systems robust to some interruption effects. Further experiments are required to rule out any effect interruption might have on CPOE error rates.
DATA ANONYMIZATION FOR PRIVACY PROTECTION Mrs .

Social networks have become the universal consumer phenomena and have emerged with increasing popularity nowadays. The amount of network data grows enormously due to the increase of networking websites. The development of social networks has led to the increasing demand for the protection of privacy in publishing the social network data as the social network sites are accumulated with large amount of sensitive information of individuals. So preserving the privacy in publishing social network data has become an important concern these days. The recent rise in popularity of social networks has created large quantities of data about interactions. Such data may have many secret details about individuals so anonymization has to be done earlier to attempts to make the data more extensively available for scientific research. Data anonymization protects the sensitive information from unsolicited access and ensures privacy protection.
Beyond backpacks and bus tokens: next steps for a district homeless student initiative

How policies get translated and enacted by school districts frame how students experience reforms associated with federal law. This qualitative case study of a Northern California school district explores the importance of integrating homeless student initiatives within all aspects of the district functioning. Drawing from the equity framework of Skrla, McKenzie, Scheurich, and Dickerson (2011), the authors investigate the roles of the administrative, political, and professional systems as a school district enacts McKinney-Vento mandates. Findings suggest the following: (1) the complexity of HHM student experiences require more than counting students; (2) districts should consider how HHM students and associated programming fit within the district mission; and, (3) the educational needs of HHM students exceed access to school sites. Based upon these findings, states and districts should track HHM student performance in order to more fully understand the needs of this marginalized population as well as to evaluate initiatives designed to serve these students.
FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY UNIVERZITY KOMENSKÉHO V BRATISLAVE

The aim of this document is to give a comprehensive overview about current status of security of wireless networks based on IEEE 802.11. It will analyze security mainly from authentication, confidentiality and availability standpoint. The goal is to describe all usable security protocols and analyze their strong and weak points. It will also describe possible attacks on wireless networks; analyze their impact and method of detection and mitigation. It will try to propose solution for some common wireless network applications – analyze their needs, risks, propose a solution and evaluate its suitability and validity. Security of wireless networks based on ANSI/IEEE 802.11 7
Multi-robot active information gathering with periodic communication

A team of robots sharing a common goal can benefit from coordination of the activities of team members, helping the team to reach the goal more reliably or quickly. We address the problem of coordinating the actions of a team of robots with periodic communication capability executing an information gathering task. We cast the problem as a multi-agent optimal decision-making problem with an information theoretic objective function. We show that appropriate techniques for solving decentralized partially observable Markov decision processes (Dec-POMDPs) are applicable in such information gathering problems. We quantify the usefulness of coordinated information gathering through simulation studies, and demonstrate the feasibility of the method in a real-world target tracking domain.
A Filtered B-spline model of Scanned Digital Images

We present an approach for modeling and (cid:12)ltering digitally scanned images. The digital contour of an image is segmented to identify the linear segments, the nonlinear segments and critical corners. The nonlinear segments are modeled by B-splines. To remove the contour noise, we propose a weighted least squares model to account for both the (cid:12)tness of the splines as well as their approximate curvatures. The solutions of the least squares models provide the control vertices of the splines. We show the e(cid:11)ectiveness of our approach with several representations constructed from various scanned images.
Glial and Neuronal Functions of the Drosophila Homolog of the Human SWI/SNF Gene ATR-X (DATR-X) and the jing Zinc-Finger Gene Specify the Lateral Positioning of Longitudinal Glia and Axons

Neuronal–glial communication is essential for constructing the orthogonal axon scaffold in the developing Drosophila central nervous system (CNS). Longitudinal glia (LG) guide extending commissural and longitudinal axons while pioneer and commissural neurons maintain glial survival and positioning. However, the transcriptional regulatory mechanisms controlling these processes are not known. Previous studies showed that the midline function of the jing C2H2-type zinc-finger transcription factor was only partially required for axon scaffold formation in the Drosophila CNS. We therefore screened for gain-of-function enhancers of jing gain of function in the eye and identified the Drosophila homolog of the disease gene of human α-thalassemia/mental retardation X-linked (ATR-X) as well as other genes with potential roles in gene expression, translation, synaptic transmission, and cell cycle. jing and DATR-X reporter genes are expressed in both CNS neurons and glia, including the LG. Coexpression of jing and DATR-X in embryonic neurons synergistically affects longitudinal connective formation. During embryogenesis, jing and DATR-X have autonomous and nonautonomous roles in the lateral positioning of LG, neurons, and longitudinal axons as shown by cell-specific knockdown of gene expression. jing and DATR-X are also required autonomously for glial survival. jing and DATR-X mutations show synergistic effects during longitudinal axon formation suggesting that they are functionally related. These observations support a model in which downstream gene expression controlled by a potential DATR-X–Jing complex facilitates cellular positioning and axon guidance, ultimately allowing for proper connectivity in the developing Drosophila CNS.
Is the Self-Concept like Other Concepts? The Causal Structure of Identity

We investigate the age-old questions of what makes us who we are and what features of identity, if changed, would make us a different person. Previous approaches to identity have suggested that there is a type of feature that is most defining of identity (e.g., autobiographical memories or moral qualities). We propose a new approach to identity that suggests that, like concepts in general, more causally central features are perceived as more defining of the self-concept. In three experiments, using both measured and manipulated causal centrality, we find that changes to features of identity that are perceived as more causally central are more disruptive to both the identity of the self and others.
Face recognition based on DCT and multi-scale ∊-LBP

A face recognition method based on the discrete cosine transform (DCT) and ϵ-Local Binary Pattern (ϵ-LBP) is presented. The method makes use of DCT to do with the face image and selects the upper-left corner of the DCT matrix as frequency features. At the same time, we adopt to ϵ-LBP extract different scale texture features by using different ϵ, then use ReliefF to reduce its dimensions. Finally, we fuse the feature of the DCT and LBP after normalization, and classify by SVM. Experiments performed on UMIST facial database can achieve an accuracy of 99.15%, results indicate that this method can get a variety of facial feature information to improve the recognition rate by using the complementary facial information of frequency domain and space domain.
2.6.3 From function‐driven Systems Engineering to object oriented Software Engineering

This paper describes a model‐based system and software development process that combines both function‐driven systems engineering and object oriented software engineering. The key part of this “Integrated Process” is the “Bridge” between the two paradigms. Tools chosen to demonstrate the Integrated Process are the I‐Logix tools Statemate® Magnum, for the function‐driven systems engineering, and Rhapsody® in C++ for UML‐based software engineering. Rules can be established on how an architectural design model built with Statemate will be translated to a UML model for further software design and implementation with Rhapsody. The outlined mapping is not limited to Rhapsody. Rather, the Statemate‐to‐UML Bridge is equally applicable to any UML‐based software design automation tool.
Performance analysis of femtocell in macro-cellular environment

With a significant amount of increase in the wireless devices, it has become tough to optimize a macro cell and hence it led to the problem of infirmed voice and data reception within the macrocell. Out of the numerous ways, (i.e. microcell, hotspots, etc.), the femtocell is a much less expensive option that can be installed by the end consumer. In this work, we examine the performance of femtocells in macro cell environment in the presence of Interference. We also study the spectral efficiency and SNR performance of Femtocell network in existing macro cell environment and graphically analyze the results through figures.
Mechanization of Conservation Agriculture for Smallholders: Issues and Options for Sustainable Intensification

Conservation agriculture (CA) is an increasingly adopted production system to meet the goals of sustainable crop production intensification in feeding a growing world population whilst conserving natural resources. Mechanization (especially power units, seeders, rippers and sprayers) is a key input for CA and smallholder farmers often have difficulties in making the necessary investments. Donors may be able to provide mechanization inputs in the short term, but this is not a sustainable solution as a machinery input supply chain needs to be built up to continue availability after external interventions cease. Local manufacture should be supported, as was the case in Brazil, but this is a slow development process, especially in sub-Saharan Africa. A more immediate solution is to equip and train CA service provision entrepreneurs. With the right equipment, selected for the needs of their local clientele, and the right technical and business management training, such entrepreneurs can make a livelihood by supplying high quality CA and other mechanization services on a fully costed basis. Elements of the required training, based on extensive field experience, are provided. To catalyse the growth of CA providers’ business, the market can be stimulated for an initial period by issuing e-vouchers for services and inputs.
Self-consistent automatic navigation of COM and feet for realtime humanoid robot steering

A robust self-consistent humanoid navigation method is proposed. For any given targeted position and orientation, the robot robustly chases them without bankruptcies such as leg-crossing, excess stride and deadlock. The key idea is to define a canonical stance with respect to the target independently from the current configuration, and trace them by each step alternately. It locally prioritizes the foot guidance and sacrifices the COM tracking in each step. Since the feet targets are defined consistently with the targeted COM, the global COM tracking and robust navigation including pivot turns are achieved as the result.