snu-aidas/HVMap-dataset huggingface dataset:
Generalized schema-mappings: from termination to tractability

Data-Exchange is the problem of creating new databases according to a high-level specification called a schema-mapping while preserving the information encoded in a source database. This paper introduces a notion of generalized schema-mapping that enriches the standard schema-mappings (as defined by Fagin et al) with more expressive power. It then proposes a more general and arguably more intuitive notion of semantics that rely on three criteria: Soundness, Completeness and Laconicity (non-redundancy and minimal size). These semantics are shown to coincide precisely with the notion of cores of universal solutions in the framework of Fagin, Kolaitis and Popa. It is also well-defined and of interest for larger classes of schema-mappings and more expressive source databases (with null-values and equality constraints). After an investigation of the key properties of generalized schema-mappings and their semantics, a criterion called Termination of the Oblivious Chase (TOC) is identified that ensures polynomial data-complexity. This criterion strictly generalizes the previously known criterion of Weak-Acyclicity. To prove the tractability of TOC schema-mappings, a new polynomial time algorithm is provided that, unlike the algorithm of Gottlob and Nash from which it is inspired, does not rely on the syntactic property of Weak-Acyclicity. As the problem of deciding whether a Schema-mapping satisfies the TOC criterion is only recursively enumerable, a more restrictive criterion called Super-weak Acylicity (SwA) is identified that can be decided in Polynomial-time while generalizing substantially the notion of Weak-Acyclicity.
A high accuracy solver for RTE in underwater optical communication path loss prediction

In this paper, we present a new improved numerical framework to evaluate the time-dependent radiative transfer equation (RTE) for underwater optical wireless communication (UOWC) systems. The RTE predicts the optical path-loss of light in an underwater channel, as a function of the inherent optical properties (IOPs) related to the water type, namely the absorption and scattering coefficients as well as the phase scattering function (PSF). We reach the simulation performance based on an improvement of the finite difference scheme proposed in [1] as well as an enhancement of the quadrature method aiming to calculate the integral term of the RTE [2]. Additionally, we evaluate the received power at the receiver plane in three dimensions by considering a given receiver aperture and a field of view (FOV). Finally, we evaluate the UOWC system's bit error rate performance metric as a function of the propagation distance, and time.
Building event-centric knowledge graphs from news

Knowledge graphs have gained increasing popularity in the past couple of years, thanks to their adoption in everyday search engines. Typically, they consist of fairly static and encyclopedic facts about persons and organizations – e.g. a celebrity’s birth date, occupation and family members – obtained from large repositories such as Freebase or Wikipedia. In this paper, we present a method and tools to automatically build knowledge graphs from news articles. As news articles describe changes in the world through the events they report, we present an approach to create Event-Centric Knowledge Graphs (ECKGs) using state-of-the-art natural language processing and semantic web techniques. Such ECKGs capture long-term developments and histories on hundreds of thousands of entities and are complementary to the static encyclopedic information in traditional knowledge graphs. We describe our event-centric representation schema, the challenges in extracting event information from news, our open source pipeline, and the knowledge graphs we have extracted from four different news corpora: general news (Wikinews), the FIFA world cup, the Global Automotive Industry, and Airbus A380 airplanes. Furthermore, we present an assessment on the accuracy of the pipeline in extracting the triples of the knowledge graphs. Moreover, through an event-centered browser and visualization tool we show how approaching information from news in an event-centric manner can increase the user’s understanding of the domain, facilitates the reconstruction of news story lines, and enable to perform exploratory investigation of news hidden facts. © 2016 Elsevier B.V. All rights reserved.
Effects of elastic therapeutic taping on motor function in children with motor impairments: a systematic review.

BACKGROUND
The elastic therapeutic taping has been considered a promising resource for disabled children.


OBJECTIVE
To systematically review the evidence of the effects of elastic therapeutic taping on motor function in children with motor impairments.


METHOD
Three independent evaluators conducted searches in electronic databases (MEDLINE/PubMed, Scopus, LILACS, BIREME/BVS, Science Direct, SciELO, and PEDro). Clinical studies design, published until 2016, involving elastic therapeutic taping and children aged 0-12 years with motor impairments were included. The variables considered were the methodological aspects (study design, participants, outcome measurements, and experimental conditions); results presented in the studies, and also the methodological quality of studies.


RESULTS
Final selection was composed by 12 manuscripts (five randomized controlled trials), published in the last 10 years. Among them, cerebral palsy (CP) was the most recurrent disorder (n = 7), followed by congenital muscular torticollis (n = 2) and brachial plexus palsy (n = 2). Positive results were associated with taping application: improvement in the upper limb function, gross motor skills, postural control, muscular balance, and performance in the dynamics functional and daily activities.


LIMITATIONS
Lower quality of the studies, clinical and population heterogeneity existed across studies.


CONCLUSIONS
The elastic therapeutic taping has been shown to be a promising adjunct resource to the conventional rehabilitation in children with motor impairments. However, high methodological studies about its efficacy in this population are already scarce. Implications for Rehabilitation Elastic therapeutic taping has been shown to be a promising adjunct resource to the conventional rehabilitation in disabled children. Clinical trials have indicated improvement in the postural control and functional activities with both, upper and lower limbs, and increase in the functional independency resulting from the taping use. Randomized control trials and well-established protocols are needed to increase the confidence in applying elastic therapeutic taping to specific clinical conditions.
Three-dimensional bin packing problem with variable bin height

0377-2217/$ see front matter 2009 Elsevier B.V. A doi:10.1016/j.ejor.2009.05.040 * Corresponding author. Address: Institute for Logi fax: +61 3 9689 4859. E-mail addresses: wuyong@pmail.ntu.edu.sg (Y. W This paper studies a variant of the three-dimensional bin packing problem (3D-BPP), where the bin height can be adjusted to the cartons it packs. The bins and cartons to be packed are assumed rectangular in shape. The cartons are allowed to be rotated into any one of the six positions that keep the carton edges parallel to the bin edges. This greatly increases the difficulty of finding a good solution since the search space expands significantly comparing to the 3D-BPP where the cartons have fixed orientations. A mathematical (mixed integer programming) approach is modified based on [Chen, C. S., Lee, S. M., Shen, Q. S., 1995. An analytical model for the container loading problem. European Journal of Operational Research 80 (1), 68–76] and numerical experiments indicate that the mathematical approach is not suitable for the variable bin height 3D-BPP. A special bin packing algorithm based on packing index is designed to utilize the special problem feature and is used as a building block for a genetic algorithm designed for the 3DBPP. The paper also investigates the situation where more than one type of bin are used and provides a heuristic for packing a batch of cartons using the genetic algorithm. Numerical experiments show that our proposed method yields quick and satisfactory results when benchmarked against the actual packing practice and the MIP model with the latest version of CPLEX. 2009 Elsevier B.V. All rights reserved.
A Generic Layered Architecture for Context Aware Applications

As pervasive computing is at its preliminary stage a number of computing solutions were proposed and more are still under experimentation. In this paper a four layered generic architecture is proposed with a recommended components so as to support context awareness for pervasive applications. Detail of each layer is described sufficiently to insight the process of context generation from low level contextual data up to high level context reporting scheme in a given pervasive environment. The implementation section of this article describes how the context reasoning component employee different level of reasoning techniques such as knowledge acquisition, context based rule execution and the application of ontology in pervasive computing. © 2014 The Authors. Published by Elsevier B.V. Peer-review under responsibility of the Program Chairs of EICM-2014.
Fast Point Feature Histograms (FPFH) for 3D registration

In our recent work [1], [2], we proposed Point Feature Histograms (PFH) as robust multi-dimensional features which describe the local geometry around a point p for 3D point cloud datasets. In this paper, we modify their mathematical expressions and perform a rigorous analysis on their robustness and complexity for the problem of 3D registration for overlapping point cloud views. More concretely, we present several optimizations that reduce their computation times drastically by either caching previously computed values or by revising their theoretical formulations. The latter results in a new type of local features, called Fast Point Feature Histograms (FPFH), which retain most of the discriminative power of the PFH. Moreover, we propose an algorithm for the online computation of FPFH features for realtime applications. To validate our results we demonstrate their efficiency for 3D registration and propose a new sample consensus based method for bringing two datasets into the convergence basin of a local non-linear optimizer: SAC-IA (SAmple Consensus Initial Alignment).
A Primer on Memory Consistency and Cache Coherence

Many modern computer systems and most multicore chips (chip multiprocessors) support shared memory in hardware. In a shared memory system, each of the processor cores may read and write to a single shared address space. For a shared memory machine, the memory consistency model defines the architecturally visible behavior of its memory system. Consistency definitions provide rules about loads and stores (or memory reads and writes) and how they act upon memory. As part of supporting a memory consistency model, many machines also provide cache coherence protocols that ensure that multiple cached copies of data are kept up-to-date. The goal of this primer is to provide readers with a basic understanding of consistency and coherence. This understanding includes both the issues that must be solved as well as a variety of solutions. We present both highlevel concepts as well as specific, concrete examples from real-world systems. vi
Improving classification with latent variable models by sequential constraint optimization

In this paper we propose a method to use multiple generative models with latent variables for classi cation tasks. The standard approach to use generative models for classi cation is to train a separate model for each class. A novel data point is then classi ed by the model that attributes the highest probability. The algorithm we propose modi es the parameters of the models to improve the classi cation accuracy. Our approach is made computationally tractable by assuming that each of the models is deterministic, by which we mean that a data-point is associated to only a single latent state. The resulting algorithm is a variant of the support vector machine learning algorithm and in a limiting case the method is similar to the standard perceptron learning algorithm. We apply the method to two types of latent variable models. The rst has a discrete latent state space and the second, principal component analysis, has a continuous latent state space. We compare the e6ectiveness of both approaches on a handwritten digit recognition problem and on a satellite image recognition problem. c © 2003 Elsevier B.V. All rights reserved.
Wafer-scale VLSI implementations of pulse coupled neural networks

In this paper, we present a system architecture currently under development that will allow very large (>10 neurons, >10 synapses) reconfigurable networks to be built, in the form of interlinked dies on a single wafer. Reconfigurable routing and complex adaptation/plasticity across several timescales in neurons and synapses allow for the implementation of large-scale biologically realistic neuronal networks and behaviors. Compared to biology the network dynamics will be about 10 to 10 times faster, so that developmental plasticity can be studied in detail. Keywords—neural VLSI hardware, system simulation, mapping algorithms, parallelization.
Resource management in a changing and uncertain climate

© The Ecological Society of America www.frontiersinecology.org C change has already had important effects on ecological systems (Parmesan 2006; Root and Schneider 2006; IPCC 2007a; Rosenzweig et al. 2008). Projected changes in climate for the coming century are all greater than the climatic changes the Earth has experienced in the past 100 years (IPCC 2007b). Consequently, future changes in climate are likely to result in even more dramatic ecological responses, including declines in particularly sensitive species (eg corals), continued shifts in species distributions, and substantial changes in ecosystem processes (IPCC 2007a). Changes in hydrologic and fire regimes will fundamentally alter ecological systems. Sea-level rise, in particular, will have dramatic effects on coastal systems (Watson et al. 1996). Changes in phenology will affect the delicate relationships between pollinators and plants, parasites and hosts, foragers and forage, and predators and prey (eg Memmott et al. 2007). Despite the pervasiveness of climate change, most land, water, and resource managers are still following management plans that were developed before there was a scientific consensus that climate-change impacts were both real and substantial (Pyke et al. 2008). Climate change poses difficult challenges for many already overstretched natural resource managers, who must deal with day-to-day crises and who have little access to climate experts. Much of the widely available information about climate change focuses on global or regional scales that are often too broad to fully inform the management of specific nature reserves or regional forests. Moreover, much of the information that is available has a high level of uncertainty, and thus can be difficult to interpret. Finally, although climate change is having impacts today, the largest impacts are still decades in the future. Envisioning these impacts and acting well in advance of their realization will require a new level of proactive management. Several articles have provided general recommendations for managing particular systems in a changing climate (Noss 2001; Hannah et al. 2002; West and Salm REVIEWS REVIEWS REVIEWS
Decision quality and satisfaction: the effects of online information sources and self-efficacy

Purpose – Digital libraries and social media are two sources of online information with different characteristics. This study integrates self-efficacy into the analysis of the relationship between information sources and decision-making, with the aim of exploring the effect of self-efficacy on decision-making, as well as the interacting effect of self-efficacy and information sources on decision-making. Design/methodology/approach –Survey data were collected and the partial least squares (PLS) structural equation modelling (SEM) was employed to verify the research model. Findings – The effect of digital library usage for acquiring information on perceived decision quality is larger than that of social media usage for acquiring information on perceived decision quality. Self-efficacy in acquiring information stands out as the key determinant for perceived decision quality. The effect of social media usage for acquiring information on perceived decision quality is positively moderated by self-efficacy in acquiring information. Practical implications – Decision-making is a fundamental activity for individuals, but human decision-making is often subject to biases. The findings of this study provide useful insights into decision quality improvement, highlighting the importance of self-efficacy in acquiring information in the face of information overload. Originality/value – This study integrates self-efficacy into the analysis of the relationship between information sources and decision-making, presenting a new perspective for decision-making research and practice alike.
Efficient Object Instance Search Using Fuzzy Objects Matching

Recently, global features aggregated from local convolutional features of the convolutional neural network have shown to be much more effective in comparison with hand-crafted features for image retrieval. However, the global feature might not effectively capture the relevance between the query object and reference images in the object instance search task, especially when the query object is relatively small and there exist multiple types of objects in reference images. Moreover, the object instance search requires to localize the object in the reference image, which may not be achieved through global representations. In this paper, we propose a Fuzzy Objects Matching (FOM) framework to effectively and efficiently capture the relevance between the query object and reference images in the dataset. In the proposed FOM scheme, object proposals are utilized to detect the potential regions of the query object in reference images. To achieve high search efficiency, we factorize the feature matrix of all the object proposals from one reference image into the product of a set of fuzzy objects and sparse codes. In addition, we refine the feature of the generated fuzzy objects according to its neighborhood in the feature space to generate more robust representation. The experimental results demonstrate that the proposed FOM framework significantly outperforms the state-of-theart methods in precision with less memory and computational cost on three public datasets. The task of object instance search, is to retrieve all the images containing a specific object query and localize the query object in the reference images. It has received a sustained attention over the last decade, leading to many object instance search systems (Meng et al. 2010; Jiang, Meng, and Yuan 2012; Jiang et al. 2015; Tolias, Avrithis, and Jégou 2013; Tao et al. 2014; Razavian et al. 2014a; 2014b; Tolias, Sicre, and Jégou 2016; Meng et al. 2016; Bhattacharjee et al. 2016b; 2016a; Mohedano et al. 2016; Cao et al. 2016; Wu et al. 2016). Since the query object only occupies a small part of an image, the global representation may not be effective to capture the relevance between the query object with reference image. Therefore, the relevance between the query object and one reference image is not determined by the overall similarity between the query and the reference image. Copyright c © 2017, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. ...
Black Box Testing: Techniques for Functional Testing of Software and Systems

Editor: Peter Anderson Rochester Institute of Technology 1 Lomb Memorial Dr. Rochester, NY 14623 pga@cs.rit.edu Each technique receives similar coverage, including a description of its new and prerequisite vocabulary, its model, the bug assumptlons that underlie its effectiveness, typical applications, examples (almost all based on standard IRS tax forms), caveats and limitations, automation and tools for the technique, a self-evaluation quiz, and exercises. Common threads in the presentation show the role
Social network analysis: a powerful strategy, also for the information sciences

Social network analysis (SNA) is not a formal theory in sociology but rather a strategy for investigating social structures. As it is an idea that can be applied in many fields, we study, in particular, its influence in the information sciences. Information scientists study publication, citation and co-citation networks, collaboration structures and other forms of social interaction networks. Moreover, the Internet represents a social network of an unprecedented scale. We are convinced that in all these studies social network analysis can successfully be applied. SNA is further related to recent theories concerning the free market economy, geography and transport networks. The growth of SNA is documented and a co-author network of SNA is drawn. Centrality measures of this network are calculated. * To whom all correspondence should be addressed.
Rubinstein Taybi Syndrome in an Indian Child due to EP300 Gene Mutation.

To the Editor : A 10-y-old girl was diagnosed with Rubinstein Taybi Syndrome (RTS) based on distinctive facial features (low hanging columella, high palate, grimacing smile, talon cusps), broad, angulated thumbs and great toes, short stature and moderate intellectual disability (Fig. 1). Her younger sister, who died at 11 mo of age due to acute myeloid leukemia, did not have clinical features of RTS. Complete sequencing of CREBBP and EP300 genes was done for the proband as previously described [1, 2]. No pathogenic mutation was noted in CREBBP gene. She was found to be heterozygous for c.1282C > T or p.P428S mutation in exon five of EP300 gene (Fig. 1). The mutation is predicted to affect the donor splicing [3]. The patient’s mother was heterozygous for the same mutation. Prenatal diagnosis was offered to the couple and the fetus did not carry this mutation, and was confirmed to be unaffected postnatally. This mutation was not identified in 100 normal unrelated individuals. Deletion/duplication analysis of CREBBP and EP300 gene was not available. Our patient had horizontal palpebral fissures as described with EP300 related RTS, compared with CREBBP related RTS, who have anti-mongoloid slant [4]. Although patients with EP300 mutation have broad thumbs or toes, radial deviation has not been reported [2] (Fig. 1). This mutation was inherited from her mother who had mild hypertelorism, broad nasal bridge, normal intelligence and hands/feet. Negri et al. reported a patient with mutation in EP300 gene (p.N1511T) that was inherited from a healthy mother. Low penetrance in EP300 related RTS may present a challenge during genetic counseling and prenatal diagnosis [2]. EP300 gene somatic mutations are reported in acute leukemia and RTS patients have an increased incidence of cancer [2, 5]. Thus, we report an Indian child with Rubinstein Taybi Syndrome with familial EP300 gene mutation.