Miracle-dz/UniFAR-FTUs huggingface dataset:
What's hot at RoboCup (extended abstract)

RoboCup 2016 in Leipzig, Germany will be the 20th annual international RoboCup competitions and symposium. Since the inaugural event at IJCAI 1997 during which three soccer competitions were held in half of a hotel ballroom, RoboCup has grown to include various competitions beyond soccer, and routinely fills a whole convention center. Accompanying the competition each year there has been a symposium with proceedings published in book format that include refereed technical contributions related to RoboCup and often, invited papers from that year’s champion teams. Full information about the history, mission, and organization of RoboCup is available at www.robocup. org. This paper does not recap these items. Rather, in the spirit of the AAAI “What’s Hot” track, the aim is to give an overview of the latest and most innovative developments, as well as highlighting some of the current and future challenges upon which today’s RoboCup participants are focused. By far the best way to experience what’s hot at RoboCup is to attend in person. With routinely more than 2,000 registered participants competing in more than ten different leagues and subleagues, each with its own rules and technical challenges, the four days of competition and subsequent symposium leave hardly enough time to fully appreciate all of the details. The reader with the time and resources is encouraged to stop reading here, and instead plan to attend (or better yet, participate in! ) an upcoming RoboCup competition. One would expect to see: • Hundreds of fully autonomous robots all simultaneously executing complex sensing, decision-making, and acting; • Fast-moving, wheeled robots passing a ball with amazing precision; • Novel, award-winning, humanoid open platforms that can walk on artificial grass and stand up by themselves; • Innovative service robots communicating through speech and manipulating objects in unstructured environments; • Highly mobile rescue robots navigating over complex terrains in a NIST standard arena; • Complex, learned individual and multi-robot behaviors; • Many other technical AI and robotics achievements. For those who are not so fortunate to get firsthand experience, the remainder of this extended abstract, and accompanying talk at AAAI, aim to serve as a pale substitute. There are far too many RoboCup-related developments to cover all of
Performance funding of state public higher education: Has it delivered the desired external accountability and institutional improvement?

In today’s economic climate, state public institutions of higher education face challenges on multiple fronts. This applies particularly to state funding as it relates to the financing of the mission of the institutions. The purpose of this quantitative study was to examine the effectiveness of allocating state resources to state public institutions of higher education by comparing results from performance funding states to non-performance funding states. The focus was to determine whether the change to the performance funding methodology delivered the desired external accountability and institutional improvement in state public higher education. The research question guiding this study was: To what extent does the method of funding state public higher education, either performance or non-performance funding, predict the improvement in key higher education performance funding indicators between the years 2002 through 2009? Data collection and analysis investigated the rate of change in key higher education performance funding indicators at state public institutions of higher education in five performance funding states (Tennessee, Florida, Ohio, Connecticut, and South Carolina) in comparison to five states that do not employ performance funding (Michigan, Georgia, Arizona, Massachusetts, and Maryland). The general hypothesis tested was: State public institutions of higher education in states that employ a performance funding methodology will experience a statistically significant increase in performance funding indicators that is greater than in states
Household survey experience in Africa

The purpose of this paper is to briefly examine the African household survey experience as well as the new plans for future surveys in relation to the prospects for improving the measurement of levels of living. The African Household Survey Capability Programme (AHSCP), which constituted a major concerted effort to ensure an adequate flow of integrated data from the household sectors of the region, is the main instrument used. Although the selection of topics for investigation is dependent on national priorities, permanent field survey organizations should be established so that continuous supplies of integrated data on employment, other productive activity, income, consumption and expenditure, and related demographic and social characteristics might be obtained. This comprehensive examination of household sectors can greatly benefit development efforts toward improving living standards.
Homogenization and two-scale convergence

Following an idea of G. Nguetseng, the author defines a notion of “two-scale” convergence, which is aimed at a better description of sequences of oscillating functions. Bounded sequences in $L^2 (\Omega )$ are proven to be relatively compact with respect to this new type of convergence. A corrector-type theorem (i.e., which permits, in some cases, replacing a sequence by its “two-scale” limit, up to a strongly convergent remainder in $L^2 (\Omega )$) is also established. These results are especially useful for the homogenization of partial differential equations with periodically oscillating coefficients. In particular, a new method for proving the convergence of homogenization processes is proposed, which is an alternative to the so-called energy method of Tartar. The power and simplicity of the two-scale convergence method is demonstrated on several examples, including the homogenization of both linear and nonlinear second-order elliptic equations.
By How Much and Why do Inflation Targeters Miss Their Targets

Monetary policy success hinges on consistent central bank behavior and strong private-sector credibility. Since the early 1990s, increasing numbers of central banks are aiming at strengthening their interaction with markets by committing to explicit inflation targets. Have they succeeded in meeting their targets? And what explains their success? This paper responds to the latter questions in two steps. First it proposes several measures of inflation-targeting performance and applies them to the world population of inflation-targeting countries, using annual and monthly country data for 1990-2003. Then the paper tests for the role of fundamental determinants and measures of institutional and macroeconomic credibility in the success (or lack thereof) in meeting inflation targets, controlling for external and domestic shocks. The world evidence reported here suggests that several measures of institutional and policy weakness – including low overall institutional quality, lack of central bank independence, and high country risk-premiums – contribute significantly to inflation-target misses.
Co-Ordinated Bargaining: A Process for Our Times?

This article draws on past as well as present to offer a systematic overview of co-ordinated bargaining, which many commentators see as a likely vehicle for the 'Europeanization' of industrial relations. It argues that co-ordinated bargaining is indeed likely to play a major role within the EU, reflecting not only trade union pressures but also management's use of benchmarking to promote organizational change and competitiveness. The pace with which co-ordinated bargaining develops is likely to vary considerably both within and between sectors, however, leading to multi-speed 'Europeanization' and further decentralization of collective bargaining within national systems. Copyright Blackwell Publishers Ltd/London School of Economics 2002.
Homotopical Excision, and Hurewicz Theorems, for n-Cubes of Spaces

where e is induced by the ‘excision’ inclusion. That e is an isomorphism in a range of dimensions is shown by the classical Blakers-Massey triad connectivity theorem: if A, B, and A∩B are connected, {A,B} is an open cover of X and (A, A ∩ B) is p-connected, (B, A ∩ B) is q-connected, then the triad (X; A,B) is (p + q)-connected. (See, for example, [11, p. 211].) Further, if p, q > 2 and π1(A∩B) = 0, the critical group πp+q+1(X; A, B) is described in [2] as a tensor product of abelian groups πp+1(A, A ∩ B)⊗ πq+1(B, A ∩ B). One of our main results (Theorem 4.2) extends this description of the critical group to the cases where p, q > 1, π1(A ∩ B) = 1 = 0. Note that if p or q is 1, then one at least of the groups πp+1(A, A∩B), πq+1(B, A∩B) may be non-abelian, and acts on the other group. In the description of the critical group, the usual tensor product must be replaced by the tensor product G⊗H defined in [5, 6], which involves actions of G on H and H on G. This description of πp+q+1(X;A, B) is a special case of a description of the hyper-relative group πn+1(X; A1, . . . , An) of a ‘connected’ excisive (n+1)-ad as determined by the lower dimensional information involved in the (n+1)-ad; a precise description is given in Theorem 4.1. As another consequence of Theorem 4.1 we obtain an exact sequence for a connected space
PoGest: A vision based tool for facilitating Kathak learning

We present a vision based tool for enriching the conventional method of learning Kathak. Teachers can record their dance steps using PoGest and give it to the learners for practice according to their pace and convenience. PoGest will help learners to analyze their dance movements by giving them immediate feedback in the form of similarity score and also the concurrent display of juxtaposed recordings of their own performance with respect to that of the teacher's.
Intelligent CALL: The magnitude of the task

The quality of most CALL programs is not well balanced with respect to the use of computer technology and of language content and processing. This imbalance can be explained by a number of constraints pulling CALL developers in diverging directions. For commercial CALLware the poor learner fit and lack of feedback is a serious impediment. So far ICALL approaches trying to overcome this have not been of a sufficiently high quality due to the vast distance between most learner language and the text genres NLP is helpful for. The way forward suggested here is for ICALL to take a localized, (bilingual) lexicon-centred approach that combines sophisticated resources with improved learner fit for more creative and interactive CALLware.
Transfering Saturation, the Finite Cover Property, And

Saturation is (μ, κ)-transferable in T if and only if there is an expansion T1 of T with |T1| = |T | such that if M is a μ-saturated model of T1 and |M | ≥ κ then the reduct M ↾ L(T ) is κ-saturated. We characterize theories which are superstable without f.c. p., or without f.c. p. as, respectively those where saturation is (א0, λ)-transferable or (κ(T ), λ)-transferable for all λ. Further if for some μ ≥ |T |, 2 > μ+, stability is equivalent to for all μ ≥ |T |, saturation is (μ, 2)transferable.
RELATING TWO STATE FEEDBACK H 1 CONTROL APPROACHES

In this paper, two di erent approaches to the H1 control by state feedback are related and discussed. The rst approach is based on the solvability of an algebraic Riccati equation and the second one explores the convexity of the set de ned by a matrix inequality. New insights are provided in order to establish the relationship between the set of stabilizing gains obtained from the two di erent approaches. The results are illustrated through two examples.
An Adversarial Analysis of the Reidentifiability of the Heritage Health Prize Dataset

I analyze the reidentifiability of the Heritage Health Prize dataset taking into account the auxiliary information available online and offline to a present-day adversary. A key technique is identifying providers, which is useful both as an end in itself and as a stepping stone towards identifying members. My primary findings are: 1. Grouping providers based on shared members results in the formation of clusters which likely correspond to hospitals; 2. There is enough auxiliary information to identify most of these hospitals, and possibly also individual providers; 3. An adversary who has detailed information about a member’s health conditions will be able to uniquely identify him or her; 4. While there are numerous websites where users can share reviews, health conditions, etc., their adoption is not currently high enough to serve as a source of auxiliary information for a large-scale member-reidentification attack. I provide bounds on the efficacy of the methods I describe, but time constraints prevented me from attempting a more complete attack. To the best of my judgment, reidentification is within the realm of possibility; however, it is far from straightforward and will require algorithmic sophistication as well as sleuthing for auxiliary data. While identification of providers might be useful to contestants for improving predictive performance, large-scale reidentification of members—that has the potential to pose a threat to privacy and to the fidelity of the contest—appears unlikely to be feasible due to the paucity of auxiliary information. ∗e-mail: arvindn@cs.utexas. edu; web: http://randomwalker.info/
Social Laws and Anti-Social Behaviour

We extend our work that uses atl to reason about social laws. In a system with social laws, every agent is supposed to refrain from performing certain forbidden actions. Rather than assuming that all agents abide to the law, we reason about what happens if certain agents do, i.e., they act socially, while others don’t. In particular, we are interested in the strategic abilities, under such mixed conditions. We also compare our approach with one in which labels are added to atl that record whether agents behaved socially or not.
Multiparty computation with faulty majority

The problem of performing a multiparty computation when more than half of the processors are cooperating Byzantine faults is addressed. It is shown how to compute any Boolean function of n inputs distributively, preserving the privacy of inputs held by nonfaulty processors and ensuring that faulty processors obtain the function value if and only if the nonfaulty processors do. If the nonfaulty processors do not obtain the correct function value, they detect cheating with high probability. The solution is based on a new type of verifiable secret sharing in which the secret is revealed not all at once but in small increments. This process ensures that all processors discover the secret at roughly the same time. The solution assumes the existence of an oblivious transfer protocol and uses broadcast channels. The processors are not required to have equal computing power. <<ETX>>
The principled leadership scale: An integration of value-based leadership

Orientation: A need exists to investigate leader behaviour necessary to curb the corruption that has infected and weakened South Africa’s moral fibre. Such leader behaviour would need to be underpinned by a set of universal moral values.Research purpose: The purpose of this study was to develop a new measure, the principled leadership scale (PLS), by integrating the value-based behaviours inherent in transformational, servant, authentic and ethical leadership.Motivation for the study: Leader behaviour intrinsic to value-based leadership was found to be closely aligned with universal moral values. Because the study found a considerable overlap between the behaviours mentioned in the value-based leadership theories, it sought to integrate these behaviours under one construct and to develop a reliable and valid scale to assess this construct.Research approach/design and method: Data from the quantitative study were analysed by means of item analysis, exploratory and confirmatory bi-factor analysis conducted via structural equation modelling.Main findings: The confirmatory bi-factor solution corroborated a strong general principled leadership factor and four moderately weak group factors. The statistical analyses provided good fit of the PLS measurement model with the empirical data.Practical and managerial implications: The study found acceptable measurement properties of the PLS that may be used for applications, such as the selecting, training and developing of ethical leadership in organisations.Contribution/value-add: The study adds value in that it is the first to integrate the four value-based leadership theories under one construct and to develop a potential psychometrically sound instrument to measure principled leadership.
Current Trends for ST-segment Elevation Myocardial Infarction during the Past 5 Years in Rural Areas of China's Liaoning Province: A Multicenter Study

Background: Since 2010, two versions of National Guidelines aimed at promoting the management of ST-segment elevation myocardial infarction (STEMI) have been formulated by the Chinese Society of Cardiology. However, little is known about the changes in clinical characteristics, management, and in-hospital outcomes in rural areas. Methods: In the present multicenter, cross-sectional study, participants were enrolled from rural hospitals located in Liaoning province in Northeast China, during two different periods (from June 2009 to June 2010 and from January 2015 to December 2015). Data collection was conducted using a standardized questionnaire. In total, 607 and 637 STEMI patients were recruited in the 2010 and 2015 cohorts, respectively. Results: STEMI patients in rural hospitals were older in the second group (63 years vs. 65 years, P = 0.039). We found increases in the prevalence of hypertension, prior percutaneous coronary intervention (PCI), and prior stroke. Over the past 5 years, the cost during hospitalization almost doubled. The proportion of STEMI patients who underwent emergency reperfusion had significantly increased from 42.34% to 54.47% (P < 0.0001). Concurrently, the proportion of primary PCI increased from 3.62% to 10.52% (P < 0.0001). The past 5 years have also seen marked increases in the use of guideline-recommended drugs and clinical examinations. However, in-hospital mortality and major adverse cardiac events did not significantly change over time (13.01% vs. 10.20%, P = 0.121; 13.34% vs. 13.66%, P = 0.872). Conclusions: Despite the great progress that has been made in guideline-recommended therapies, in-hospital outcomes among rural STEMI patients have not significantly improved. Therefore, there is still substantial room for improvement in the quality of care.
The Mycobacterium tuberculosis IdeR is a dual functional regulator that controls transcription of genes involved in iron acquisition, iron storage and survival in macrophages

In this work, we characterize genes in Mycobacterium tuberculosis that are regulated by IdeR (iron‐dependent regulator), an iron‐responsive DNA‐binding protein of the DtxR family that has been shown to regulate iron acquisition in Mycobacterium smegmatis. To identify some of the genes that constitute the IdeR regulon, we searched the M. tuberculosis genome for promoter regions containing the consensus IdeR/DxR binding sequence. Genes preceded by IdeR boxes included a set encoding proteins necessary for iron acquisition, such as the biosynthesis of siderophores (mbtA, mbtB, mbtI), aromatic amino acids (pheA, hisE, hisB‐like) and others annotated to be involved in the synthesis of iron‐storage proteins (bfrA, bfrB). Some putative IdeR‐regulated genes identified in this search encoded proteins predicted to be engaged in the biosynthesis of lipopolysaccharide (LPS)‐like molecules (rv3402c), lipids (acpP) and peptidoglycan (murB). We analysed four promoter regions containing putative IdeR boxes, mbtA–mbtB, mbI, rv3402c and bfrA–bfd, for interaction with IdeR and for iron‐dependent expression. Gel retardation experiments and DNase footprinting analyses with purified IdeR showed that IdeR binds to these IdeR boxes in vitro. Analysis of the promoters by primer extension indicated that the IdeR boxes are located near the −10 position of each promoter, suggesting that IdeR acts as a transcriptional repressor by blocking RNA polymerase binding. Using quantitative reverse transcriptase–polymerase chain reaction (RT–PCR) coupled to molecular beacons, we showed that mRNA levels of mbtA, mbtB, mbtI, rv3402c and bfd are induced 14‐ to 49‐fold in cultures of M. tuberculosis starved for iron, whereas mRNA levels of bfrA decreased about threefold. We present evidence that IdeR not only acts as a transcriptional repressor but also functions as an activator of bfrA. Three of the IdeR‐ and iron‐repressed genes, mbtB, mbtI and rv3402c, were induced during M. tuberculosis infection of human THP‐1 macrophages.
A Security Management Architecture for the Protection of Kernel Virtual Machines

Virtualization is being pervasively adopted in a variety of scenarios ranging from regular desktop PCs to server farms and clusters. Indeed, the security of guest virtual machines and of the applications and services they host can be improved by leveraging the additional architectural layer introduced by such a technology. This paper discusses security management for virtualized environments and provides several contributions. First, a novel architecture (Kvm-SMA) with the following features is detailed: it can protect guest integrity from both remote and local attacks such as root-kits, viruses, and worms; it is not circumventable and it is completely transparent to guest machines; it can asynchronously analyze guest data and monitor guest system behavior. Second, the proposed architecture has been implemented entirely on open source software and can be replicated to both Linux and Windows guests. Third the effectiveness and efficiency of the proposed architecture is shown. The former is proved showing the results of root-kit detection test, while the latter is supported by standard performance tests showing that the introduced overhead is small. Finally, a distinguishing feature of our monitoring system proposal is that it is immune to timing attacks: that is, an adversary cannot notice the monitoring system is active by analyzing the time required to perform system calls. We believe that security management of both single virtualized hosts and distributed virtualized systems can benefit from our proposal
Cancer/testis antigens and obligate participation in multiple hallmarks of cancer: an update

The Cancer/Testis Antigens (CTAs) are a group of so-called tumor antigens that exhibit provocative expression patterns in most types of cancer. However, because most CTAs appear to be intrinsically disordered, they are recalcitrant to classical structural studies. Thus, the functions of most, if not all, CTAs have remained elusive and their potential as pharmacological targets in cancer has remained largely unexplored. In this viewpoint, we suggest that perhaps, an integrative approach applying dynamical systems theory and a system-level perspective rather a merely reductionist view, may shine new light on these enigmatic molecules.
Proportionally fair buffer allocation in optical chip multiprocessors

Advances in CMOS-compatible photonic elements have made it plausible to exploit nanophotonic communication to overcome the limitations of traditional NoCs. In this paper, we consider buffer management as a resource allocation which can be cast as a convex optimization problem. Using this framework enables us to devise a token-based optimal buffer management algorithm in optical on-chip architecture that can address fairness issues, as well. The optimal buffer allocation algorithm can be implemented by a centralized controller that is supposed to send processor elements via a simple auxiliary embedded core. Simulation results confirm that the buffer allocation algorithm manages buffer space in a fair fashion as compared to simple naive schemes.