snu-aidas/HVMap-dataset huggingface dataset:
A Provable Time and Space Efficient Implementation of NESL

In this paper we prove time and space bounds for the implementation of the programming language NESL on various parallel machine models. NESL is a sugared typed &lambda;-calculus with a set of array primitives and an explicit parallel map over arrays. Our results extend previous work on provable implementation bounds for functional languages by considering space and by including arrays. For modeling the cost of NESL we augment a standard call-by-value operational semantics to return two cost measures: a DAG representing the sequential dependence in the computation, and a measure of the space taken by a sequential implementation. We show that a NESL program with w work (nodes in the DAG), d depth (levels in the DAG), and s sequential space can be implemented on a p processor butterfly network, hypercube, or CRCW PRAM using O(w/p + d log p) time and O(s + dp log p) reachable space.1 For programs with sufficient parallelism these bounds are optimal in that they give linear speedup and use space within a constant factor of the sequential space.
Algorithms for the Longest Common Subsequence Problem

We start by def ining conven t ions and t e rmino logy that will be used th roughou t this paper . String C = clc~ ... cp is a subsequence of string A = aja2 "'" am if there is a mapp ing F : {1, 2 . . . . , p} ~ {1, 2, ... , m} such that F(i) = k only if c~ = ak and F is a m o n o t o n e strictly increasing funct ion (i .e. F(i) = u, F(]) = v, and i < j imply that u < v). C can be fo rmed by delet ing m p (not necessari ly ad jacen t ) symbols f rom A . F o r example , " c o u r s e " is a subsequence of " c o m p u t e r sc ience . " Str ing C is a c o m m o n s ubs equence of strings A and B if C is a s u b s e q u e n c e of A and also a subsequence of B. String C is a longest c o m m o n subsequence (abbrev ia ted LCS) of string A and B if C is a c o m m o n subsequence of A and B of maximal length , i .e. there is no c o m m o n subsequence of A and B that has grea te r length. Th roughou t this paper , we assume that A and B are strings of lengths m and n , m _< n , that have an LCS C of (unknown) length p . We assume that the symbols that may appea r in these strings c o m e f rom some a lphabet of size t . A symbol can be s tored in m e m o r y by using log t bits, which we assume will fit in one word of memory . Symbols can be c o m p a r e d (a -< b?) in one t ime unit . The n u m b e r of di f ferent symbols that actual ly appear in string B is def ined to be s (which must be less than n and t). The longest c o m m o n s u b s e q u e n c e prob lem has been solved by using a recurs ion re la t ionship on the length of the solut ion [7, 12, 16, 21]. These are general ly appl icable a lgor i thms that take O ( m n ) t ime for any input strings o f lengths m and n even though the lower bound on t ime of O ( m n ) need not apply to all inputs [2]. We present a lgor i thms that , depend ing on the na ture of the Input, may not requ i re quadra t ic t ime to r ecove r an LCS. The first a lgor i thm is appl icable in the genera l case and requi res O ( p n + n log n) t ime. T h e second a lgor i thm requi res t ime b o u n d e d by O((m + 1 p )p log n). In the c o m m o n special case where p is close to m , this a lgor i thm takes t ime
Near-lighting Photometric Stereo for unknown scene distance and medium attenuation

Photometric Stereo in murky water is subject to light attenuation and near-field illumination, and the resulting image formation model is complex. Apart from the scene normals and albedo, the incident illumination varies per-pixel and it depends on the scene depth and the attenuation coefficient of the medium. When these are unknown, e.g. in a realistic scenario where a robotic platform explores an underwater scene (unknown shape and distance) within the dynamic subsea environment (unknown scattering level), Photometric Stereo becomes ambiguous. Previous approaches have tackled the problem by assuming distant-lighting and resorting to external hardware for estimating the unknown model variables. In our work, we show that the Photometric Stereo problem can be determined as soon as some additional constraints regarding the scene albedo and the presence of pixels with local intensity maxima within the image are incorporated into the optimization framework. Our proposed solution leads to effective Photometric Stereo and yields detailed 3D reconstruction of objects in murky water when the scene distance and the medium attenuation are unknown. We evaluate our work using both numerical simulations and real experiments in the controlled environment of a water tank and real port water using a remotely operated vehicle. © 2016 Elsevier B.V. All rights reserved.
A distributed representation of temporal context

The author acknowledge support from National Institute of Health Research Grants MH55687 and AG15685. Marc Howard is now at the Department of Psychology, Boston University, 64 Cunningham Street, Boston, MA 02215. Address correspondence and reprint requests to Michael J. Kahana, Volen Center for Complex Systems, Brandeis University, MS 013, Waltham, MA 02254. E-mail: kahana@brandeis.edu. Marc W. Howard and Michael J. Kahana
Knowledge management and organizational culture: a theoretical integrative framework

Purpose – Organizational culture is a critical factor in building and reinforcing knowledge management in organizations. However, there is no theoretical framework that comprehensively explains the effect of organizational culture on knowledge management in organizations. This paper endeavors to develop a theoretical integrative framework for organizational knowledge management and organizational culture. Design/methodology/approach – This is a conceptual paper. It modifies the ‘‘competing value framework’’ by adding a new dimension representing ethical and trusting culture, and then integrates it with the SECI model of knowledge creation and conversion by identifying the conceptual parallels between the two frameworks and then analyzing the interaction effects among the dimensions. Findings – Based on the congruity between the modified competing values framework and the knowledge creation and conversion framework, the paper formulates six propositions about the propensity of organizations of different dominant cultural styles to engage in the four processes of knowledge creation and conversion. Research limitations/implications – The dynamic nature of the framework presented in the paper points to the importance of longitudinal and comparative research in understanding the effects of organizational culture on organizational knowledge management systems in organizations. Practical implications – The proposed integrative framework would facilitate organizational learning and lead to the improvement of knowledge management practices in organizations as it helps managers to understand the linkages between culture and knowledge management. Originality/value – This paper presents a new framework linking organizational culture to knowledge management. It moves away from analyzing culture only in terms of its positive and negative influences on knowledge management. Instead, it suggests a typology of the kind of knowledge management processes that organizations are likely to focus on depending on the culture that prevails in an organization.
Improving lip-reading performance for robust audiovisual speech recognition using DNNs

This paper presents preliminary experiments using the Kaldi toolkit [1] to investigate audiovisual speech recognition (AVSR) in noisy environments using deep neural networks (DNNs). In particular we use a single-speaker large vocabulary, continuous audiovisual speech corpus to compare the performance of visual-only, audio-only and audiovisual speech recognition. The models trained using the Kaldi toolkit are compared with the performance of models trained using conventional hidden Markov models (HMMs). In addition, we compare the performance of a speech recognizer both with and without visual features over nine different SNR levels of babble noise ranging from 20dB down to -20dB. The results show that the DNN outperforms conventional HMMs in all experimental conditions, especially for the lip-reading only system, which achieves a gain of 37.19% accuracy (84.67% absolute word accuracy). Moreover, the DNN provides an effective improvement of 10 and 12dB SNR respectively for both the single modal and bimodal speech recognition systems. However, integrating the visual features using simple feature fusion is only effective in SNRs at 5dB and above. Below this the degradion in accuracy of an audiovisual system is similar to the audio only recognizer.
Older adults' attitudes towards and perceptions of "smart home" technologies: a pilot study.

PRIMARY OBJECTIVE
The study aim is to explore the perceptions and expectations of seniors in regard to "smart home" technology installed and operated in their homes with the purpose of improving their quality of life and/or monitoring their health status.


RESEARCH DESIGN AND METHODS
Three focus group sessions were conducted within this pilot study to assess older adults' perceptions of the technology and ways they believe technology can improve their daily lives. Themes discussed in these groups included participants' perceptions of the usefulness of devices and sensors in health-related issues such as preventing or detecting falls, assisting with visual or hearing impairments, improving mobility, reducing isolation, managing medications, and monitoring of physiological parameters. The audiotapes were transcribed and a content analysis was performed.


RESULTS
A total of 15 older adults participated in three focus group sessions. Areas where advanced technologies would benefit older adult residents included emergency help, prevention and detection of falls, monitoring of physiological parameters, etc. Concerns were expressed about the user-friendliness of the devices, lack of human response and the need for training tailored to older learners.


CONCLUSIONS
All participants had an overall positive attitude towards devices and sensors that can be installed in their homes in order to enhance their lives.
Fast Subsequence Matching in Time-Series Databases

We present an efficient indexing method to locate 1-dimensional subsequences within a collection of sequences, such that the subsequences match a given (query) pattern within a specified tolerance. The idea is to map each data sequences into a small set of multidimensional rectangles in feature space. Then, these rectangles can be readily indexed using traditional spatial access methods, like the R*-tree [9]. In more detail, we use a sliding window over the data sequence and extract its features; the result is a trail in feature space. We propose an efficient and effective algorithm to divide such trails into sub-trails, which are subsequently represented by their Minimum Bounding Rectangles (MBRs). We also examine queries of varying lengths, and we show how to handle each case efficiently. We implemented our method and carried out experiments on synthetic and real data (stock price movements). We compared the method to sequential scanning, which is the only obvious competitor. The results were excellent: our method accelerated the search time from 3 times up to 100 times.
A MATLAB-based Convolutional Neural Network Approach for Face Recognition System
Bachelor Degree Project Hierarchical Temporal Memory Software Agent

Artificial general intelligence is not well defined, but attempts such as the recent list of “Ingredients for building machines that think and learn like humans” are a starting point for building a system considered as such [1]. Numenta is attempting to lead the new era of machine intelligence with their research to re-engineer principles of the neocortex. It is to be explored how the ingredients are in line with the design principles of their algorithms. Inspired by Deep Minds commentary about an autonomyingredient, this project created a combination of Numentas Hierarchical Temporal Memory theory and Temporal Difference learning to solve simple tasks defined in a browser environment. An open source software, based on Numentas intelligent computing platform NUPIC and Open AIs framework Universe, was developed to allow further research of HTM based agents on customized browser tasks. The analysis and evaluation of the results show that the agent is capable of learning simple tasks and there is potential for generalization inherent to sparse representations. However, they also reveal the infancy of the algorithms, not capable of learning dynamic complex problems, and that much future research is needed to explore if they can create scalable solutions towards a more general intelligent system.
Dynamic Motions by a Quadruped Musculoskeletal Robot with Angle-Dependent Moment Arms

Current robotics have failed to replicate the great dexterity of the animal’s motions. We believe that it is because most of the works have focused on the controller part rather than on its body structure. Indeed, the musculoskeletal system is essential to produce the animal’s motions and several researchers have attempted to exploit it [1][2][3]. However, most of them have used simple mono-articular muscles and torque control which cannot replicate the nonlinearity of the living tissues, muscles and nerves [4]. In contrast, bipedal robots with monoand bi-articular muscles for performing adaptive motions [5][6][7] have been produced. To further investigate the role of the musculoskeletal system for animal motions, we desgned a quadruped robot with monoand bi-articular muscles. We used artificial pneumatic muscles as actuators due to their high mass/power ratio and their high compliance. Although these actuators replicate several characteristics of biological muscles in terms of damping and elasticity, the length-tension relation differs from them [8][9]. In the result, the angle-torque relation of the robot with pneumatic muscles differed substantially from the one of animals. Thus, we tried to bring the angle-torque relation as close as the one of living tissues by devising the angle-moment arm relation.
Average cost temporal-difference learning

We propose a variant of temporal-di!erence learning that approximates average and di!erential costs of an irreducible aperiodic Markov chain. Approximations are comprised of linear combinations of "xed basis functions whose weights are incrementally updated during a single endless trajectory of the Markov chain. We present a proof of convergence (with probability 1) and a characterization of the limit of convergence. We also provide a bound on the resulting approximation error that exhibits an interesting dependence on the `mixing timea of the Markov chain. The results parallel previous work by the authors, involving approximations of discounted cost-to-go. ! 1999 Elsevier Science Ltd. All rights reserved.
Gaining Access with Social Engineering: An Empirical Study of the Threat

AbstrAct Recently, research on information security has expanded from its purely technological orientation into striving to understand and explain the role of human behavior in security breaches. However, an area that has been lacking theory-grounded empirical study is in social engineering attacks. While there exists an extensive body of anecdotal literature, factors that account for attack success remains largely speculative. To better understand this increasing phenomenon, we developed a theoretical framework and conducted an empirical field study to investigate social engineering attacks, and from these results, we make recommendations for practice and further research.
ANCESTRY-CONSTRAINED PHYLOGENETIC ANALYSIS SUPPORTS THE INDO-EUROPEAN STEPPE HYPOTHESIS

Discussion of Indo-European origins and dispersal focuses on two hypotheses. Qualitative evidence from reconstructed vocabulary and correlations with archaeological data suggest that IndoEuropean languages originated in the Pontic-Caspian steppe and spread together with cultural innovations associated with pastoralism, beginning c. 6500–5500 bp. An alternative hypothesis, according to which Indo-European languages spread with the diffusion of farming from Anatolia, beginning c. 9500–8000 bp, is supported by statistical phylogenetic and phylogeographic analyses of lexical traits. The time and place of the Indo-European ancestor language therefore remain disputed. Here we present a phylogenetic analysis in which ancestry constraints permit more accurate inference of rates of change, based on observed changes between ancient or medieval languages and their modern descendants, and we show that the result strongly supports the steppe hypothesis. Positing ancestry constraints also reveals that homoplasy is common in lexical traits, contrary to the assumptions of previous work. We show that lexical traits undergo recurrent evolution due to recurring patterns of semantic and morphological change.*
The business model concept: theoretical underpinnings and empirical illustrations

Received: 13 December 2001 Revised: 27 March 2002 : 26 July 2002 Accepted:15 October 2002 Abstract The business model concept is becoming increasingly popular within IS, management and strategy literature. It is used within many fields of research, including both traditional strategy theory and in the emergent body of literature on e-business. However, the concept is often used independently from theory, meaning model components and their interrelations are relatively obscure. Nonetheless, we believe that the business model concept is useful in explaining the relation between IS and strategy. This paper offers an outline for a conceptual business model, and proposes that it should include customers and competitors, the offering, activities and organisation, resources and factor market interactions. The causal inter-relations and the longitudinal processes by which business models evolve should also be included. The model criticises yet draws on traditional strategy theory and on the literature that addresses business models directly. The business model is illustrated by an ERP implementation in a European multi-national company. European Journal of Information Systems (2003) 12, 49–59. doi:10.1057/ palgrave.ejis.3000446
Business Models for Electronic Markets

Introduction Electronic commerce can be defined loosely as “doing business electronically” (European Commission 1997). Electronic commerce includes electronic trading of physical goods and of intangibles such as information. This encompasses all the trading steps such as online marketing, ordering, payment, and support for delivery. Electronic commerce includes the electronic provision of services, such as aftersales support or online legal advice. Finally it also includes electronic support for collaboration between companies, such as collaborative design.
Frontal fibrosing alopecia: a clinical review of 36 patients.

BACKGROUND
Frontal fibrosing alopecia (FFA) is a primary lymphocytic cicatricial alopecia with a distinctive clinical pattern of progressive frontotemporal hairline recession. Currently, there are no evidence-based studies to guide treatment for patients with FFA; thus, treatment options vary among clinicians.


OBJECTIVES
We report clinical findings and treatment outcomes of 36 patients with FFA, the largest cohort to date. Further, we report the first evidence-based study of the efficacy of hydroxychloroquine in FFA using a quantitative clinical score, the Lichen Planopilaris Activity Index (LPPAI).


METHODS
A retrospective case note review was performed of 36 adult patients with FFA. Data were collected on demographics and clinical findings. Treatment responses to hydroxychloroquine, doxycycline and mycophenolate mofetil were assessed using the LPPAI. Adverse events were monitored.


RESULTS
Most patients in our cohort were female (97%), white (92%) and postmenopausal (83%). Apart from hairline recession, 75% also reported eyebrow loss. Scalp pruritus (67%) and perifollicular erythema (86%) were the most common presenting symptom and sign, respectively. A statistically significant reduction in signs and symptoms in subjects treated with hydroxychloroquine (P < 0·05) was found at both 6- and 12-month follow up.


CONCLUSIONS
In FFA, hairline recession, scalp pruritus, perifollicular erythema and eyebrow loss are common at presentation. Despite the limitations of a retrospective review, our data reveal that hydroxychloroquine is significantly effective in reducing signs and symptoms of FFA after both 6 and 12 months of treatment. However, the lack of a significant reduction in signs and symptoms between 6 and 12 months indicates that the maximal benefits of hydroxychloroquine are evident within the first 6 months of use.
The challenge problem for automated detection of 101 semantic concepts in multimedia

We introduce the challenge problem for generic video indexing to gain insight in intermediate steps that affect performance of multimedia analysis methods, while at the same time fostering repeatability of experiments. To arrive at a challenge problem, we provide a general scheme for the systematic examination of automated concept detection methods, by decomposing the generic video indexing problem into 2 unimodal analysis experiments, 2 multimodal analysis experiments, and 1 combined analysis experiment. For each experiment, we evaluate generic video indexing performance on 85 hours of international broadcast news data, from the TRECVID 2005/2006 benchmark, using a lexicon of 101 semantic concepts. By establishing a minimum performance on each experiment, the challenge problem allows for component-based optimization of the generic indexing issue, while simultaneously offering other researchers a reference for comparison during indexing methodology development. To stimulate further investigations in intermediate analysis steps that inuence video indexing performance, the challenge offers to the research community a manually annotated concept lexicon, pre-computed low-level multimedia features, trained classifier models, and five experiments together with baseline performance, which are all available at http://www.mediamill.nl/challenge/.
Prevalence and Predictors of Maternal Anemia during Pregnancy in Gondar, Northwest Ethiopia: An Institutional Based Cross-Sectional Study

Background. Anaemia is a global public health problem which has an eminence impact on pregnant mother. The aim of this study was to assess the prevalence and predictors of maternal anemia. Method. A cross-sectional study was conducted from March 1 to April 30, 2012, on 302 pregnant women who attended antenatal care at Gondar University Hospital. Interview-based questionnaire, clinical history, and laboratory tests were used to obtain data. Bivariate and multivariate logistic regression was used to identify predictors. Result. The prevalence of anemia was 16.6%. Majority were mild type (64%) and morphologically normocytic normochromic (76%) anemia. Anemia was high at third trimester (18.9%). Low family income (AOR [95% CI] = 3.1 [1.19, 8.33]), large family size (AOR [95% CI] = 4.14 [4.13, 10.52]), hookworm infection (AOR [95% CI] = 2.72 [1.04, 7.25]), and HIV infection (AOR [95% CI] = 5.75 [2.40, 13.69]) were independent predictors of anemia. Conclusion. The prevalence of anemia was high; mild type and normocytic normochromic anemia was dominant. Low income, large family size, hookworm infection, and HIV infection were associated with anemia. Hence, efforts should be made for early diagnosis and management of HIV and hookworm infection with special emphasis on those having low income and large family size.