query: Memory-augmented Neural Machine Translation

positive: A Systematic Comparison of Various Statistical Alignment Models We present and compare various methods for computing word alignments using statistical or heuristic models. We consider the five alignment models presented in Brown, Della Pietra, Della Pietra, and Mercer (1993), the hidden Markov alignment model, smoothing techniques, and refinements. These statistical models are compared with two heuristic models based on the Dice coefficient. We present different methods for combining word alignments to perform a symmetrization of directed statistical alignment models. As evaluation criterion, we use the quality of the resulting Viterbi alignment compared to a manually produced reference alignment. We evaluate the models on the German-English Verbmobil task and the French-English Hansards task. We perform a detailed analysis of various design decisions of our statistical alignment system and evaluate these on training corpora of various sizes. An important result is that refined alignment models with a first-order dependence and a fertility model yield significantly better results than simple heuristic models. In the Appendix, we present an efficient training algorithm for the alignment models presented.

positive: Incorporating Structural Alignment Biases into an Attentional Neural Translation Model Neural encoder-decoder models of machine translation have achieved impressive results, rivalling traditional translation models. However their modelling formulation is overly simplistic, and omits several key inductive biases built into traditional models. In this paper we extend the attentional neural translation model to include structural biases from word based alignment models, including positional bias, Markov conditioning, fertility and agreement over translation directions. We show improvements over a baseline attentional model and standard phrase-based model over several language pairs, evaluating on difficult languages in a low resource setting.

positive: Neural Turing Machines We extend the capabilities of neural networks by coupling them to external memory resources, which they can interact with by attentional processes. The combined system is analogous to a Turing Machine or Von Neumann architecture but is differentiable end-toend, allowing it to be efficiently trained with gradient descent. Preliminary results demonstrate that Neural Turing Machines can infer simple algorithms such as copying, sorting, and associative recall from input and output examples.

positive: Deep Neural Networks in Machine Translation: An Overview Deep neural networks (DNNs) are widely used in machine translation (MT). This article gives an overview of DNN applications in various aspects of MT.

positive: Syntactically Guided Neural Machine Translation We investigate the use of hierarchical phrase-based SMT lattices in end-to-end neural machine translation (NMT). Weight pushing transforms the Hiero scores for complete translation hypotheses, with the full translation grammar score and full ngram language model score, into posteriors compatible with NMT predictive probabilities. With a slightly modified NMT beam-search decoder we find gains over both Hiero and NMT decoding alone, with practical advantages in extending NMT to very large input and output vocabularies.

negative: Facing facts: neuronal mechanisms of face perception. The face is one of the most important stimuli carrying social meaning. Thanks to the fast analysis of faces, we are able to judge physical attractiveness and features of their owners' personality, intentions, and mood. From one's facial expression we can gain information about danger present in the environment. It is obvious that the ability to process efficiently one's face is crucial for survival. Therefore, it seems natural that in the human brain there exist structures specialized for face processing. In this article, we present recent findings from studies on the neuronal mechanisms of face perception and recognition in the light of current theoretical models. Results from brain imaging (fMRI, PET) and electrophysiology (ERP, MEG) show that in face perception particular regions (i.e. FFA, STS, IOA, AMTG, prefrontal and orbitofrontal cortex) are involved. These results are confirmed by behavioral data and clinical observations as well as by animal studies. The developmental findings reviewed in this article lead us to suppose that the ability to analyze face-like stimuli is hard-wired and improves during development. Still, experience with faces is not sufficient for an individual to become an expert in face perception. This thesis is supported by the investigation of individuals with developmental disabilities, especially with autistic spectrum disorders (ASD).

negative: Nuclear CDKs Drive Smad Transcriptional Activation and Turnover in BMP and TGF-β Pathways TGF-beta and BMP receptor kinases activate Smad transcription factors by C-terminal phosphorylation. We have identified a subsequent agonist-induced phosphorylation that plays a central dual role in Smad transcriptional activation and turnover. As receptor-activated Smads form transcriptional complexes, they are phosphorylated at an interdomain linker region by CDK8 and CDK9, which are components of transcriptional mediator and elongation complexes. These phosphorylations promote Smad transcriptional action, which in the case of Smad1 is mediated by the recruitment of YAP to the phosphorylated linker sites. An effector of the highly conserved Hippo organ size control pathway, YAP supports Smad1-dependent transcription and is required for BMP suppression of neural differentiation of mouse embryonic stem cells. The phosphorylated linker is ultimately recognized by specific ubiquitin ligases, leading to proteasome-mediated turnover of activated Smad proteins. Thus, nuclear CDK8/9 drive a cycle of Smad utilization and disposal that is an integral part of canonical BMP and TGF-beta pathways.

negative: Differential neuronal plasticity in mouse hippocampus associated with various periods of enriched environment during postnatal development Enriched environment (EE) is characterized by improved conditions for enhanced exploration, cognitive activity, social interaction and physical exercise. It has been shown that EE positively regulates the remodeling of neural circuits, memory consolidation, long-term changes in synaptic strength and neurogenesis. However, the fine mechanisms by which environment shapes the brain at different postnatal developmental stages and the duration required to induce such changes are still a matter of debate. In EE, large groups of mice were housed in bigger cages and were given toys, nesting materials and other equipment that promote physical activity to provide a stimulating environment. Weaned mice were housed in EE for 4, 6 or 8 weeks and compared with matched control mice that were raised in a standard environment. To investigate the differential effects of EE on immature and mature brains, we also housed young adult mice (8 weeks old) for 4 weeks in EE. We studied the influence of onset and duration of EE housing on the structure and function of hippocampal neurons. We found that: (1) EE enhances neurogenesis in juvenile, but not young adult mice; (2) EE increases the number of synaptic contacts at every stage; (3) long-term potentiation (LTP) and spontaneous and miniature activity at the glutamatergic synapses are affected differently by EE depending on its onset and duration. Our study provides an integrative view of the role of EE during postnatal development in various mechanisms of plasticity in the hippocampus including neurogenesis, synaptic morphology and electrophysiological parameters of synaptic connectivity. This work provides an explanation for discrepancies found in the literature about the effects of EE on LTP and emphasizes the importance of environment on hippocampal plasticity.

negative: Flash memory cells-an overview The aim of this paper is to give a thorough overview of Flash memory cells. Basic operations and charge-injection mechanisms that are most commonly used in actual Flash memory cells are reviewed to provide an understanding of the underlying physics and principles in order to appreciate the large number of device structures, processing technologies, and circuit designs presented in the literature. New cell structures and architectural solutions have been surveyed to highlight the evolution of the Flash memory technology, oriented to both reducing cell size and upgrading product functions. The subject is of extreme interest: new concepts involving new materials, structures, principles, or applications are being continuously introduced. The worldwide semiconductor memory market seems ready to accept many new applications in fields that are not specific to traditional nonvolatile memories.

negative: On the Global Convergence of Majorization Minimization Algorithms for Nonconvex Optimization Problems In this paper, we study the global convergence of majorization minimization (MM) algorithms for solving nonconvex regularized optimization problems. MM algorithms have received great attention in machine learning. However, when applied to nonconvex optimization problems, the convergence of MM algorithms is a challenging issue. We introduce theory of the KurdykaLojasiewicz inequality to address this issue. In particular, we show that many nonconvex problems enjoy the KurdykaLojasiewicz property and establish the global convergence result of the corresponding MM procedure. We also extend our result to a well known method that called CCCP (concave-convex procedure).

negative: An Overview on Mobile Data Mining In early days the mobile phones are considered to perform only telecommunication operation. This scenario of mobile phones as communication devices changed with the emergence of a new class of mobile devices called the smart phones. These smart phones in addition to being used as a communication device are capable of doing things that a computer does. In recent times the smart phone are becoming more and more powerful in both computing and storage aspects. The data generated by the smart phone provide a means to get new knowledge about various aspects like usage, movement of the user etc. This paper provides an introduction to Mobile Data Mining and its types.

negative: Warehousing and Protecting Big Data: State-Of-The-Art-Analysis, Methodologies, Future Challenges This paper proposes a comprehensive critical survey on the issues of warehousing and protecting big data, which are recognized as critical challenges of emerging big data research. Indeed, both are critical aspects to be considered in order to build truly, high-performance and highly-flexible big data management systems. We report on state-of-the-art approaches, methodologies and trends, and finally conclude by providing open problems and challenging research directions to be considered by future efforts.

negative: Cognitive Neuroscience : implications for education ? Research into the functioning of the human brain, particularly during the past decade, has greatly enhanced our understanding of cognitive behaviours which are fundamental to education: learning, memory, intelligence, emotion. Here, we argue the case that research findings from cognitive neuroscience hold implications for educational practice. In doing so we advance a bio-psycho-social position that welcomes multi-disciplinary perspectives on current educational challenges. We provide some examples of research implications which support conventional pedagogic wisdom, and others which are novel and perhaps counter-intuitive. As an example, we take a model of adaptive plasticity that relies on stimulus reinforcement and examine possible implications for pedagogy and curriculum depth. In doing so, we reject some popular but over-simplistic applications of neuroscience to education. In sum, the education profession could benefit from embracing rather than ignoring cognitive neuroscience. Moreover, educationists should be actively contributing to the research agenda of future brain research.

negative: Broadcast Encryption We introduce new theoretical measures for the qualitative and quantitative assessment of encryption schemes designed for broadcast transmissions. The goal is to allow a central broadcast site to broadcast secure transmissions to an arbitrary set of recipients while minimizing key management related transmissions. We present several schemes that allow a center to broadcast a secret to any subset of privileged users out of a universe of size so that coalitions of users not in the privileged set cannot learn the secret. The most interesting scheme requires every user to store keys and the center to broadcast messages regardless of the size of the privileged set. This scheme is resilient to any coalition of users. We also present a scheme that is resilient with probability against a random subset of users. This scheme requires every user to store keys and the center to broadcast messages. Preliminary version appeared in Advances in Cryptology CRYPTO ’93 Proceedings, Lecture Notes in Computer Science, Vol. 773, 1994, pp. 480–491. Dept. of Computer Science, School of Mathematics, Tel Aviv University, Tel Aviv, Israel, and Algorithmic Research Ltd. E-mail fiat@math.tau.ac.il. Incumbent of the Morris and Rose Goldman Career Development Chair, Dept. of Applied Mathematics and Computer Science, Weizmann Institute of Science, Rehovot 76100, Israel. Research supported by an Alon Fellowship and a grant from the Israel Science Foundation administered by the Israeli Academy of Sciences. E-mail: naor@wisdom.weizmann.ac.il.

negative: Bayesian Reinforcement Learning in Factored POMDPs Bayesian approaches provide a principled solution to the explorationexploitation trade-off in Reinforcement Learning. Typical approaches, however, either assume a fully observable environment or scale poorly. This work introduces the Factored Bayes-Adaptive POMDP model, a framework that is able to exploit the underlying structure while learning the dynamics in partially observable systems. We also present a belief tracking method to approximate the joint posterior over state and model variables, and an adaptation of the Monte-Carlo Tree Search solution method, which together are capable of solving the underlying problem near-optimally. Our method is able to learn efficiently given a known factorization or also learn the factorization and the model parameters at the same time. We demonstrate that this approach is able to outperform current methods and tackle problems that were previously infeasible.

negative: Training techniques to improve endurance exercise performances. In previously untrained individuals, endurance training improves peak oxygen uptake (VO2peak), increases capillary density of working muscle, raises blood volume and decreases heart rate during exercise at the same absolute intensity. In contrast, sprint training has a greater effect on muscle glyco(geno)lytic capacity than on muscle mitochondrial content. Sprint training invariably raises the activity of one or more of the muscle glyco(geno)lytic or related enzymes and enhances sarcolemmal lactate transport capacity. Some groups have also reported that sprint training transforms muscle fibre types, but these data are conflicting and not supported by any consistent alteration in sarcoplasmic reticulum Ca2+ ATPase activity or muscle physicochemical H+ buffering capacity. While the adaptations to training have been studied extensively in previously sedentary individuals, far less is known about the responses to high-intensity interval training (HIT) in already highly trained athletes. Only one group has systematically studied the reported benefits of HIT before competition. They found that >or=6 HIT sessions, was sufficient to maximally increase peak work rate (W(peak)) values and simulated 40 km time-trial (TT(40)) speeds of competitive cyclists by 4 to 5% and 3.0 to 3.5%, respectively. Maximum 3.0 to 3.5% improvements in TT(40) cycle rides at 75 to 80% of W(peak) after HIT consisting of 4- to 5-minute rides at 80 to 85% of W(peak) supported the idea that athletes should train for competition at exercise intensities specific to their event. The optimum reduction or 'taper' in intense training to recover from exhaustive exercise before a competition is poorly understood. Most studies have shown that 20 to 80% single-step reductions in training volume over 1 to 4 weeks have little effect on exercise performance, and that it is more important to maintain training intensity than training volume. Progressive 30 to 75% reductions in pool training volume over 2 to 4 weeks have been shown to improve swimming performances by 2 to 3%. Equally rapid exponential tapers improved 5 km running times by up to 6%. We found that a 50% single-step reduction in HIT at 70% of W(peak) produced peak approximately 6% improvements in simulated 100 km time-trial performances after 2 weeks. It is possible that the optimum taper depends on the intensity of the athletes' preceding training and their need to recover from exhaustive exercise to compete. How the optimum duration of a taper is influenced by preceding training intensity and percentage reduction in training volume warrants investigation.

negative: Multi-View Inpainting for Image-Based Scene Editing and Rendering We propose a method to remove objects such as people and cars from multi-view urban image datasets, enabling free-viewpoint IBR in the edited scenes. Our method combines information from multi-view 3D reconstruction with image inpainting techniques, by formulating the problem as an optimization of a global patch-based objective function. We use Image-Based Rendering (IBR) techniques to reproject information from neighboring views, and 3D multi-view stereo reconstruction to perform multiview coherent initialization for inpainting of pixels not filled by reprojection. Our algorithm performs multi-view consistent inpainting for color and 3D by blending reprojections with patch-based image inpainting. We run our algorithm on casually captured datasets, and Google StreetViewdata, removing objects cars, people and pillars, showing that our approach produces results of sufficient quality for free-viewpoint IBR on "cleaned up" scenes, as well as IBR scene editing, such as limited motion of real objects.

negative: Academic-Industrial Perspective on the Development and Deployment of a Moderation System for a Newspaper Website This paper describes an approach and our experiences from the development, deployment and usability testing of a Natural Language Processing (NLP) and Information Retrieval system that supports the moderation of user comments on a large newspaper website. We highlight some of the differences between industry-oriented and academic research settings and their influence on the decisions made in the data collection and annotation processes, selection of document representation and machine learning methods. We report on classification results, where the problems to solve and the data to work with come from a commercial enterprise. In this context typical for NLP research, we discuss relevant industrial aspects. We believe that the challenges faced as well as the solutions proposed for addressing them can provide insights to others working in a similar setting. Data and experiment code related to this paper are available for download at https://ofai.github.io/million-post-corpus.

negative:
Habanero-Java: the new adventures of old X10 In this paper, we present the Habanero-Java (HJ) language developed at Rice University as an extension to the original Java-based definition of the X10 language. HJ includes a powerful set of task-parallel programming constructs that can be added as simple extensions to standard Java programs to take advantage of today's multi-core and heterogeneous architectures. The language puts a particular emphasis on the usability and safety of parallel constructs. For example, no HJ program using async, finish, isolated, and phaser constructs can create a logical deadlock cycle. In addition, the future and data-driven task variants of the async construct facilitate a functional approach to parallel programming. Finally, any HJ program written with async, finish, and phaser constructs that is data-race free is guaranteed to also be deterministic.
 HJ also features two key enhancements that address well known limitations in the use of Java in scientific computing --- the inclusion of complex numbers as a primitive data type, and the inclusion of array-views that support multidimensional views of one-dimensional arrays. The HJ compiler generates standard Java class-files that can run on any JVM for Java 5 or higher. The HJ runtime is responsible for orchestrating the creation, execution, and termination of HJ tasks, and features both work-sharing and work-stealing schedulers. HJ is used at Rice University as an introductory parallel programming language for second-year undergraduate students. A wide variety of benchmarks have been ported to HJ, including a full application that was originally written in Fortran 90. HJ has a rich development and runtime environment that includes integration with DrJava, the addition of a data race detection tool, and service as a target platform for the Intel Concurrent Collections coordination language

negative:
BigBench: towards an industry standard benchmark for big data analytics There is a tremendous interest in big data by academia, industry and a large user base. Several commercial and open source providers unleashed a variety of products to support big data storage and processing. As these products mature, there is a need to evaluate and compare the performance of these systems.
 In this paper, we present BigBench, an end-to-end big data benchmark proposal. The underlying business model of BigBench is a product retailer. The proposal covers a data model and synthetic data generator that addresses the variety, velocity and volume aspects of big data systems containing structured, semi-structured and unstructured data. The structured part of the BigBench data model is adopted from the TPC-DS benchmark, which is enriched with semi-structured and unstructured data components. The semi-structured part captures registered and guest user clicks on the retailer's website. The unstructured data captures product reviews submitted online. The data generator designed for BigBench provides scalable volumes of raw data based on a scale factor. The BigBench workload is designed around a set of queries against the data model. From a business prospective, the queries cover the different categories of big data analytics proposed by McKinsey. From a technical prospective, the queries are designed to span three different dimensions based on data sources, query processing types and analytic techniques.
 We illustrate the feasibility of BigBench by implementing it on the Teradata Aster Database. The test includes generating and loading a 200 Gigabyte BigBench data set and testing the workload by executing the BigBench queries (written using Teradata Aster SQL-MR) and reporting their response times.

negative:
Colostrum avoidance, prelacteal feeding and late breast-feeding initiation in rural Northern Ethiopia. OBJECTIVE
To identify specific cultural and behavioural factors that might be influenced to increase colostrum feeding in a rural village in Northern Ethiopia to improve infant health.

DESIGN
Background interviews were conducted with six community health workers and two traditional birth attendants. A semi-structured tape-recorded interview was conducted with twenty mothers, most with children under the age of 5 years. Variables were: parental age and education; mother's ethnicity; number of live births and children's age; breast-feeding from birth through to weaning; availability and use of formula; and descriptions of colostrum v. other stages of breast milk. Participant interviews were conducted in Amharic and translated into English.

SETTING
Kossoye, a rural Amhara village with high prevalence rates of stunting: inappropriate neonatal feeding is thought to be a factor.

SUBJECTS
Women (20-60 years of age) reporting at least one live birth (range: 1-8, mean: ∼4).

RESULTS
Colostrum (inger) and breast milk (yetut wotet) were seen as different substances. Colostrum was said to cause abdominal problems, but discarding a portion was sufficient to mitigate this effect. Almost all (nineteen of twenty) women breast-fed and twelve (63 %) reported ritual prelacteal feeding. A majority (fifteen of nineteen, 79 %) reported discarding colostrum and breast-feeding within 24 h of birth. Prelacteal feeding emerged as an additional factor to be targeted through educational intervention.

CONCLUSIONS
To maximize neonatal health and growth, we recommend culturally tailored education delivered by community health advocates and traditional health practitioners that promotes immediate colostrum feeding and discourages prelacteal feeding.

negative: High gain antipodal tapered slot antenna With sine-shaped corrugation and fermi profile substrate slotted cut-out for MMW 5G A high gain, high-efficiency antipodal tapered slot antenna with sine-shaped corrugation and a Fermi profile substrate cut-out has been developed for 5G millimeter wave (MMW) communications. A parametric study of a new substrate cutout with Fermi profile is demonstrated to reduce the sidelobe level at the E-plane and H-plane as well as to increase antenna efficiency by an average of 88% over a band of 20-40 GHz. A low-cost printed circuit board (PCB) is processed simply with a CNC Milling machine to fabricate the proposed antenna with Fermi profile substrate cut-out. The measured reflection coefficient is found to be less than -14 dB over a frequency range of 20-40 GHz. Furthermore, the measured gain of the proposed antenna is 17 dB at 30 GHz and the measured radiation pattern and gain is almost constant within the wide bandwidth from 30-40 GHz. Therefore, this antenna is proposed for use in an H-plane array structure such as for point-to-point communication systems, a switched-beam system.

negative: Decoding as Continuous Optimization in Neural Machine Translation In this work, we propose a novel decoding approach for neural machine translation (NMT) based on continuous optimisation. The resulting optimisation problem can then be tackled using a whole range of continuous optimisation algorithms which have been developed and used in the literature mainly for training. Our approach is general and can be applied to other sequence-to-sequence neural models as well. We make use of this powerful decoding approach to intersect an underlying NMT with a language model, to intersect left-to-right and right-to-left NMT models, and to decode with soft constraints involving coverage and fertility of the source sentence words. The experimental results show the promise of the proposed framework.

negative: The staircase to terrorism: a psychological exploration. To foster a more in-depth understanding of the psychological processes leading to terrorism, the author conceptualizes the terrorist act as the final step on a narrowing staircase. Although the vast majority of people, even when feeling deprived and unfairly treated, remain on the ground floor, some individuals climb up and are eventually recruited into terrorist organizations. These individuals believe they have no effective voice in society, are encouraged by leaders to displace aggression onto out-groups, and become socialized to see terrorist organizations as legitimate and out-group members as evil. The current policy of focusing on individuals already at the top of the staircase brings only short-term gains. The best long-term policy against terrorism is prevention, which is made possible by nourishing contextualized democracy on the ground floor.

negative: Reducing gender bias in word embeddings Word embedding is a popular framework that represents text data as vectors of real numbers. These vectors capture semantics in language, and are used in a variety of natural language processing and machine learning applications. Despite these useful properties, word embeddings derived from ordinary language corpora necessarily exhibit human biases [6]. We measure direct and indirect gender bias for occupation word vectors produced by the GloVe word embedding algorithm [9], then modify this algorithm to produce an embedding with less bias to mitigate amplifying the bias in downstream applications utilizing this embedding.

negative: Text Mining of Tweet for Sentiment Classification and Association with Stock Prices In present days, the social media and networking act as one of the key platforms for sharing information and opinions. Many people share ideas, express their view points and opinions on various topic of their interest. Social media text has rich information about the companies, their products and various services offered by them. In this research we focus exploring the association of sentiments of social media text and stock prices of a company. The tweets of several company has been extracted and performed sentiment classification using Naïve Bayes classifier and SVM classifier. To perform the classification, N-gram based feature vectors are constructed using important words of tweets. Further, the pattern of association between number of tweets which are positive or negative and stock prices has been explored. Motivated by such an association, the features related to tweets such as number of positive, negative, neutral tweets and total number of tweets are used to predict the stock market status using Support Vector Machine classifier.

negative: History and State of the Art in Commercial Electric Ship Propulsion, Integrated Power Systems, and Future Trends Electric propulsion has emerged as one of the most efficient propulsion arrangements for several vessel types over the last decades. Even though examples can be found in the history at the end of 19th century, and further into the 20th century, the modern use of electric propulsion started in the 1980s along with the development of semiconductor switching devices to be used in high power drives (dc drives and later ac-to-ac drives). This development opened up for full rpm control of propellers and thrusters, and thereby enabling a simplification of the mechanical structure. However, the main reason for using electric propulsion in commercial ship applications is the potential for fuel savings compared to equivalent mechanical alternatives, except for icebreakers where the performance of an electric powered propeller is superior to a combustion engine powered propeller. The fuel saving potential lies within the fact that the applicable vessels have a highly varying operation profile and are seldom run at full power. This favors the power plant principle in which electric power can be produced at any time with optimum running of prime movers, e.g., diesel engines, by turning on and off units depending on the power demand for propulsion and other vessel loads. Icebreakers were among the first vessels to take advantage of this technology later followed by cruise vessel, and the offshore drilling vessels operating with dynamic positioning (DP). The converter technology was rapidly developing and soon the dc drives were replaced with ac drives. In the same period electric propulsion emerged as basic standard for large cruise liners, and DP operated drilling vessels, but also found its way into other segments as shuttle tankers, ferries, and other special vessels. At the same time podded propulsion were introduced, where the electric motor was mounted directly on the propeller shaft in a submerged 360 $^{\circ}$ steerable pod, adding better efficiency, improved maneuvering, and reduced installation space/cost to the benefits of electric propulsion. The future trends are now focusing on further optimization of efficiency by allowing multiple energy sources, independent operation of individual power producers, and energy storage for various applications, such as power back up, peak shaving, or emission free operation (short voyages).

negative: Shining the Floodlights on Mobile Web Tracking — A Privacy Survey We present the first published large-scale study of mobile web tracking. We compare tracking across five physical and emulated mobile devices with one desktop device as a benchmark. Our crawler is based on FourthParty; however, our architecture avoids clearing state which has the benefit of continual observation of (and by) third-parties. We confirm many intuitive predictions and report a few surprises. The lists of top third-party domains across different categories devices are substantially similar; we found surprisingly few mobile-specific ad networks. The use of JavaScript by tracking domains increases gradually as we consider more powerful devices. We also analyze cookie longevity by device. Finally, we analyze a curious phenomenon of cookies that are used to store information about the user’s browsing history on the client. Mobile tracking appears to be an under-researched area, and this paper is only a first step. We have made our code and data available at http://webtransparency.org/ for others to build on.

negative: Automated Trajectory Planner of Industrial Robot for Pick-and-Place Task Industrial  robots,  due  to  their  great  speed, precision  and  cost‐effectiveness  in  repetitive  tasks,  now tend  to be used  in place of human workers  in automated manufacturing  systems.  In  particular,  they  perform  the pick‐and‐place  operation,  a  non‐value‐added  activity which  at  the  same  time  cannot  be  eliminated.  Hence, minimum time is an important consideration for economic reasons  in  the  trajectory  planning  system  of  the manipulator.  The  trajectory  should  also  be  smooth  to handle  parts  precisely  in  applications  such  as semiconductor manufacturing, processing and handling of chemicals and medicines, and fluid and aerosol deposition. In this paper, an automated trajectory planner is proposed to determine  a  smooth, minimum‐time  and  collision‐free trajectory  for  the  pick‐and‐place  operations  of  a  6‐DOF robotic  manipulator  in  the  presence  of  an  obstacle. Subsequently,  it  also  proposes  an  algorithm  for  the  jerk‐ bounded  Synchronized  Trigonometric  S‐curve  Trajectory (STST)  and  the  ‘forbidden‐sphere’  technique  to  avoid  the obstacle.  The  proposed  planner  is  demonstrated  with suitable examples and comparisons. The experiments show that  the  proposed  planner  is  capable  of  providing  a smoother trajectory than the cubic spline based trajectory.

negative: Progressive muscle relaxation reduces migraine frequency and normalizes amplitudes of contingent negative variation (CNV) Central information processing, visible in evoked potentials like the contingent negative variation (CNV) is altered in migraine patients who exhibit higher CNV amplitudes and a reduced habituation. Both characteristics were shown to be normalized under different prophylactic migraine treatment options whereas Progressive Muscle Relaxation (PMR) has not yet been examined. We investigated the effect of PMR on clinical course and CNV in migraineurs in a quasi-randomized, controlled trial. Thirty-five migraine patients and 46 healthy controls were examined. Sixteen migraineurs and 21 healthy participants conducted a 6-week PMR-training with CNV-measures before and after as well as three months after PMR-training completion. The remaining participants served as controls. The clinical course was analyzed with two-way analyses of variance (ANOVA) with repeated measures. Pre-treatment CNV differences between migraine patients and healthy controls were examined with t-tests for independent measures. The course of the CNV-parameters was examined with three-way ANOVAs with repeated measures. After PMR-training, migraine patients showed a significant reduction of migraine frequency. Preliminary to the PMR-training, migraine patients exhibited higher amplitudes in the early component of the CNV (iCNV) and the overall CNV (oCNV) than healthy controls, but no differences regarding habituation. After completion of the PMR-training, migraineurs showed a normalization of the iCNV amplitude, but neither of the oCNV nor of the habituation coefficient. The results confirm clinical efficacy of PMR for migraine prophylaxis. The pre-treatment measure confirms altered cortical information processing in migraine patients. Regarding the changes in the iCNV after PMR-training, central nervous mechanisms of the PMR-effect are supposed which may be mediated by the serotonin metabolism.

negative: Learning to Remember Rare Events Despite recent advances, memory-augmented deep neural networks are still limited when it comes to life-long and one-shot learning, especially in remembering rare events. We present a large-scale life-long memory module for use in deep learning. The module exploits fast nearest-neighbor algorithms for efficiency and thus scales to large memory sizes. Except for the nearest-neighbor query, the module is fully differentiable and trained end-to-end with no extra supervision. It operates in a life-long manner, i.e., without the need to reset it during training. Our memory module can be easily added to any part of a supervised neural network. To show its versatility we add it to a number of networks, from simple convolutional ones tested on image classification to deep sequence-to-sequence and recurrent-convolutional models. In all cases, the enhanced network gains the ability to remember and do life-long one-shot learning. Our module remembers training examples shown many thousands of steps in the past and it can successfully generalize from them. We set new state-of-the-art for one-shot learning on the Omniglot dataset and demonstrate, for the first time, life-long one-shot learning in recurrent neural networks on a large-scale machine translation task.

negative: Depth-Gated LSTM In this short note, we present an extension of long short-term memory (LSTM) neural networks to using a depth gate to connect memory cells of adjacent layers. Doing so introduces a linear dependence between lower and upper layer recurrent units. Importantly, the linear dependence is gated through a gating function, which we call depth gate. This gate is a function of the lower layer memory cell, the input to and the past memory cell of this layer. We conducted experiments and verified that this new architecture of LSTMs was able to improve machine translation and language modeling performances.

negative: Paraphrasing Out-of-Vocabulary Words with Word Embeddings and Semantic Lexicons for Low Resource Statistical Machine Translation Out-of-vocabulary (OOV) word is a crucial problem in statistical machine translation (SMT) with low resources. OOV paraphrasing that augments the translation model for the OOV words by using the translation knowledge of their paraphrases has been proposed to address the OOV problem. In this paper, we propose using word embeddings and semantic lexicons for OOV paraphrasing. Experiments conducted on a low resource setting of the OLYMPICS task of IWSLT 2012 verify the effectiveness of our proposed method.

negative: Recurrent Neural Network Regularization We present a simple regularization technique for Recurrent Neural Networks (RNNs) with Long Short-Term Memory (LSTM) units. Dropout, the most successful technique for regularizing neural networks, does not work well with RNNs and LSTMs. In this paper, we show how to correctly apply dropout to LSTMs, and show that it substantially reduces overfitting on a variety of tasks. These tasks include language modeling, speech recognition, and machine translation.

negative: Tensor2Tensor for Neural Machine Translation Tensor2Tensor is a library for deep learning models that is very well-suited for neural machine translation and includes the reference implementation of the state-of-the-art Transformer model. 1 Neural Machine Translation Background Machine translation using deep neural networks achieved great success with sequence-tosequence models Sutskever et al. (2014); Bahdanau et al. (2014); Cho et al. (2014) that used recurrent neural networks (RNNs) with LSTM cells Hochreiter and Schmidhuber (1997). The basic sequence-to-sequence architecture is composed of an RNN encoder which reads the source sentence one token at a time and transforms it into a fixed-sized state vector. This is followed by an RNN decoder, which generates the target sentence, one token at a time, from the state vector. While a pure sequence-to-sequence recurrent neural network can already obtain good translation results Sutskever et al. (2014); Cho et al. (2014), it suffers from the fact that the whole input sentence needs to be encoded into a single fixed-size vector. This clearly manifests itself in the degradation of translation quality on longer sentences and was partially overcome in Bahdanau et al. (2014) by using a neural model of attention. Convolutional architectures have been used to obtain good results in word-level neural machine translation starting from Kalchbrenner and Blunsom (2013) and later in Meng et al. (2015). These early models used a standard RNN on top of the convolution to generate the output, which creates a bottleneck and hurts performance. Fully convolutional neural machine translation without this bottleneck was first achieved in Kaiser and Bengio (2016) and Kalchbrenner et al. (2016). The model in Kaiser and Bengio (2016) (Extended Neural GPU) used a recurrent stack of gated convolutional layers, while the model in Kalchbrenner et al. (2016) (ByteNet) did away with recursion and used left-padded convolutions in the decoder. This idea, introduced in WaveNet van den Oord et al. (2016), significantly improves efficiency of the model. The same technique was improved in a number of neural translation models recently, including Gehring et al. (2017) and Kaiser et al. (2017).

negative: Measuring User Productivity in Machine Translation Enhanced Computer Assisted Translation This paper addresses the problem of reliably measuring productivity gains by professional translators working with a machine translation enhanced computer assisted translation tool. In particular, we report on a field test we carried out with a commercial CAT tool in which translation memory matches were supplemented with suggestions from a commercial machine translation engine. The field test was conducted with 12 professional translators working on real translation projects. Productivity of translators were measured with two indicators, post-editing speed and post-editing effort, on two translation directions, English–Italian and English–German, and two linguistic domains, legal and information technology. Besides a detailed statistical analysis of the experimental results, we also discuss issues encountered in running the test.

negative: OpenNMT: Open-source Toolkit for Neural Machine Translation We describe an open-source toolkit for neural machine translation (NMT). The toolkit prioritizes efficiency, modularity, and extensibility with the goal of supporting NMT research into model architectures, feature representations, and source modalities, while maintaining competitive performance and reasonable training requirements. The toolkit consists of modeling and translation support, as well as detailed pedagogical documentation about the underlying techniques.


query: A Semi-automatized Modular Annotation Tool for Ancient Manuscript Annotation

positive: WebGT: An Interactive Web-Based System for Historical Document Ground Truth Generation We present WebGT, the first web-based system to help users produce ground truth data for document images. This user-friendly software system helps historians and computer scientists collectively annotate historical documents. It supports real time collaboration among remote sites independent of the local operating system and also provides several novel semi-automatic tools that have proven effective for annotating degraded documents.

positive: The OCRopus open source OCR system OCRopus is a new, open source OCR system emphasizing modularity, easy extensibility, and reuse, aimed at both the research community and large scale commercial document conversions. This paper describes the current status of the system, its general architecture, as well as the major algorithms currently being used for layout analysis and text line recognition.

positive: Creating Ground Truth for Historical Manuscripts with Document Graphs and Scribbling Interaction Ground truth is both - indispensable for training and evaluating document analysis methods, and yet very tedious to create manually. This especially holds true for complex historical manuscripts that exhibit challenging layouts with interfering and overlapping handwriting. In this paper, we propose a novel semi-automatic system to support layout annotations in such a scenario based on document graphs and a pen-based scribbling interaction. On the one hand, document graphs provide a sparse page representation that is already close to the desired ground truth and on the other hand, scribbling facilitates an efficient and convenient pen-based interaction with the graph. The performance of the system is demonstrated in the context of a newly introduced database of historical manuscripts with complex layouts.

positive: Aletheia - An Advanced Document Layout and Text Ground-Truthing System for Production Environments Large-scale digitisation has led to a number of new possibilities with regard to adaptive and learning based methods in the field of Document Image Analysis and OCR. For ground truth production of large corpora, however, there is still a gap in terms of productivity. Ground truth is not only crucial for training and evaluation at the development stage of tools but also for quality assurance in the scope of production workflows for digital libraries. This paper describes Aletheia, an advanced system for accurate and yet cost-effective ground truthing of large amounts of documents. It aids the user with a number of automated and semi-automated tools which were partly developed and improved based on feedback from major libraries across Europe and from their digitisation service providers which are using the tool in a production environment. Novel features are, among others, the support of top-down ground truthing with sophisticated split and shrink tools as well as bottom-up ground truthing supporting the aggregation of lower-level elements to more complex structures. Special features have been developed to support working with the complexities of historical documents. The integrated rules and guidelines validator, in combination with powerful correction tools, enable efficient production of highly accurate ground truth.

positive: LabelMe: A Database and Web-Based Tool for Image Annotation We seek to build a large collection of images with ground truth labels to be used for object detection and recognition research. Such data is useful for supervised learning and quantitative evaluation. To achieve this, we developed a web-based tool that allows easy image annotation and instant sharing of such annotations. Using this annotation tool, we have collected a large dataset that spans many object categories, often containing multiple instances over a wide variety of images. We quantify the contents of the dataset and compare against existing state of the art datasets used for object recognition and detection. Also, we show how to extend the dataset to automatically enhance object labels with WordNet, discover object parts, recover a depth ordering of objects in a scene, and increase the number of labels using minimal user supervision and images from the web.

negative: Decoronation - a conservative method to treat ankylosed teeth for preservation of alveolar ridge prior to permanent prosthetic reconstruction: literature review and case presentation. Avulsed teeth that are stored extraorally in a dry environment for >60 min generally develop replacement root resorption or ankylosis following their replantation due to the absence of a vital periodontal ligament on their root surface. One negative sequelae of such ankylosis is tooth infra-positioning and the local arrest of alveolar bone growth. Removal of an ankylosed tooth may be difficult and traumatic leading to esthetic bony ridge deformities and optimal prosthetic treatment interferences. Recently a treatment option for ankylosed teeth named 'de-coronation' gained interest, particularly in pediatric dentistry that concentrated in dental traumatology. This article reviews the up-to-date literature that has been published on decoronation with respect to its importance for future prosthetic rehabilitation followed by a case presentation that demonstrates its clinical benefits.

negative: A Component-Based Dynamic Link Support for Safety-Critical Embedded Systems Safety-critical embedded systems have to undergo rigorous development process in order to ensure that their function will not compromise humans or environment where they operate. Therefore, they rely on simple and proven-in-use design. However, with growing software complexity, maintenance becomes very important aspect in safety domain. Recent approaches for managing maintenance allow to perform changes on software at design-time, which implies that the whole system has to be rebuilt when the application software changes. In this paper, we describe more flexible solution for updating the application software. We apply the component-based paradigm to construct the application software, i.e. we define a model of a software function that can be dynamically linked with the entire operating system (OS). In order to avoid the usage of the OS-provided support for dynamic linking, we design software functions as position-independent and relocation-free binaries with well-defined interfaces. With the help of component-based paradigm we show how to simplify the link support and make it suitable for safety domain.

negative: NTIRE 2017 Challenge on Single Image Super-Resolution: Dataset and Study This paper introduces a novel large dataset for example-based single image super-resolution and studies the state-of-the-art as emerged from the NTIRE 2017 challenge. The challenge is the first challenge of its kind, with 6 competitions, hundreds of participants and tens of proposed solutions. Our newly collected DIVerse 2K resolution image dataset (DIV2K) was employed by the challenge. In our study we compare the solutions from the challenge to a set of representative methods from the literature and evaluate them using diverse measures on our proposed DIV2K dataset. Moreover, we conduct a number of experiments and draw conclusions on several topics of interest. We conclude that the NTIRE 2017 challenge pushes the state-of-the-art in single-image super-resolution, reaching the best results to date on the popular Set5, Set14, B100, Urban100 datasets and on our newly proposed DIV2K.

negative: Parameter Estimation for Probabilistic Finite-State Transducers Weighted finite-state transducers suffer from the lack of a training algorithm. Training is even harder for transducers that have been assembled via finite-state operations such as composition, minimization, union, concatenation, and closure, as this yields tricky parameter tying. We formulate a “parameterized FST” paradigm and give training algorithms for it, including a general bookkeeping trick (“expectation semirings”) that cleanly and efficiently computes expectations and gradients. 1 Background and Motivation Rational relations on strings have become widespread in language and speech engineering (Roche and Schabes, 1997). Despite bounded memory they are well-suited to describe many linguistic and textual processes, either exactly or approximately. A relation is a set of (input, output) pairs. Relations are more general than functions because they may pair a given input string with more or fewer than one output string. The class of so-called rational relations admits a nice declarative programming paradigm. Source code describing the relation (a regular expression) is compiled into efficient object code (in the form of a 2-tape automaton called a finite-state transducer). The object code can even be optimized for runtime and code size (via algorithms such as determinization and minimization of transducers). This programming paradigm supports efficient nondeterminism, including parallel processing over infinite sets of input strings, and even allows “reverse” computation from output to input. Its unusual flexibility for the practiced programmer stems from the many operations under which rational relations are closed. It is common to define further useful operations (as macros), which modify existing relations not by editing their source code but simply by operating on them “from outside.” ∗A brief version of this work, with some additional material, first appeared as (Eisner, 2001a). A leisurely journal-length version with more details has been prepared and is available. The entire paradigm has been generalized to weighted relations, which assign a weight to each (input, output) pair rather than simply including or excluding it. If these weights represent probabilities P (input, output) or P (output | input), the weighted relation is called a joint or conditional (probabilistic) relation and constitutes a statistical model. Such models can be efficiently restricted, manipulated or combined using rational operations as before. An artificial example will appear in §2. The availability of toolkits for this weighted case (Mohri et al., 1998; van Noord and Gerdemann, 2001) promises to unify much of statistical NLP. Such tools make it easy to run most current approaches to statistical markup, chunking, normalization, segmentation, alignment, and noisy-channel decoding,1 including classic models for speech recognition (Pereira and Riley, 1997) and machine translation (Knight and Al-Onaizan, 1998). Moreover, once the models are expressed in the finitestate framework, it is easy to use operators to tweak them, to apply them to speech lattices or other sets, and to combine them with linguistic resources. Unfortunately, there is a stumbling block: Where do the weights come from? After all, statistical models require supervised or unsupervised training. Currently, finite-state practitioners derive weights using exogenous training methods, then patch them onto transducer arcs. Not only do these methods require additional programming outside the toolkit, but they are limited to particular kinds of models and training regimens. For example, the forward-backward algorithm (Baum, 1972) trains only Hidden Markov Models, while (Ristad and Yianilos, 1996) trains only stochastic edit distance. In short, current finite-state toolkits include no training algorithms, because none exist for the large space of statistical models that the toolkits can in principle describe and run. Given output, find input to maximize P (input, output).

negative: Data mining in software engineering The increased availability of data created as part of the sof tware development process allows us to apply novel analysis techniques on the data and use the results to guide t he process’s optimization. In this paper we describe variou s data sources and discuss the principles and techniques of data mi ning as applied on software engineering data. Data that can b e mined is generated by most parts of the development process: requi rements elicitation, development analysis, testing, debu gging, and maintenance. Based on this classification we survey the mini ng approaches that have been used and categorize them accord ing to the corresponding parts of the development process and th e task they assist. Thus the survey provides researchers wit h a concise overview of data mining techniques applied to softw are engineering data, and aids practitioners on the selecti on of appropriate data mining techniques for their work.

negative: Signal Processing for FMCW SAR The combination of frequency-modulated continuous-wave (FMCW) technology and synthetic aperture radar (SAR) techniques leads to lightweight cost-effective imaging sensors of high resolution. One limiting factor to the use of FMCW sensors is the well-known presence of nonlinearities in the transmitted signal. This results in contrast- and range-resolution degradation, particularly when the system is intended for high-resolution long-range applications, as it is the case for SAR. This paper presents a novel processing solution, which solves the nonlinearity problem for the whole range profile. Additionally, the conventional stop-and-go approximation used in pulse-radar algorithms is not valid in FMCW SAR applications under certain circumstances. Therefore, the motion within the sweep needs to be taken into account. Analytical development of the FMCW SAR signal model, starting from the deramped signal and without using the stop-and-go approximation, is presented in this paper. The model is then applied to stripmap, spotlight, and single-transmitter/multiple-receiver digital-beamforming SAR operational mode. The proposed algorithms are verified by processing real FMCW SAR data collected with the demonstrator system built at the Delft University of Technology.

negative: Air-Gap Convection in Rotating Electrical Machines This paper reviews the convective heat transfer within the air gap of both cylindrical and disk geometry rotating electrical machines, including worked examples relevant to fractional horsepower electrical machines. Thermal analysis of electrical machines is important because torque density is limited by maximum temperature. Knowledge of surface convective heat transfer coefficients is necessary for accurate thermal modeling, for example, using lumped parameter models. There exists a wide body of relevant literature, but much of it has traditionally been in other application areas, dominated by mechanical engineers, such as gas turbine design. Particular attention is therefore given to the explanation of the relevant nondimensional parameters and to the presentation of measured convective heat transfer correlations for a wide variety of situations from laminar to turbulent flow at small and large gap sizes for both radial-flux and axial-flux electrical machines.

negative: CAPTCHA: Using Hard AI Problems for Security We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an unsolved Artificial Intelligence (AI) problem. We provide several novel constructions of captchas. Since captchas have many applications in practical security, our approach introduces a new class of hard problems that can be exploited for security purposes. Much like research in cryptography has had a positive impact on algorithms for factoring and discrete log, we hope that the use of hard AI problems for security purposes allows us to advance the field of Artificial Intelligence. We introduce two families of AI problems that can be used to construct captchas and we show that solutions to such problems can be used for steganographic communication. captchas based on these AI problem families, then, imply a win-win situation: either the problems remain unsolved and there is a way to differentiate humans from computers, or the problems are solved and there is a way to communicate covertly on some channels.

negative: Multiple social identities and stereotype threat: imbalance, accessibility, and working memory. In 4 experiments, the authors showed that concurrently making positive and negative self-relevant stereotypes available about performance in the same ability domain can eliminate stereotype threat effects. Replicating past work, the authors demonstrated that introducing negative stereotypes about women's math performance activated participants' female social identity and hurt their math performance (i.e., stereotype threat) by reducing working memory. Moving beyond past work, it was also demonstrated that concomitantly presenting a positive self-relevant stereotype (e.g., college students are good at math) increased the relative accessibility of females' college student identity and inhibited their gender identity, eliminating attendant working memory deficits and contingent math performance decrements. Furthermore, subtle manipulations in questions presented in the demographic section of a math test eliminated stereotype threat effects that result from women reporting their gender before completing the test. This work identifies the motivated processes through which people's social identities became active in situations in which self-relevant stereotypes about a stigmatized group membership and a nonstigmatized group membership were available. In addition, it demonstrates the downstream consequences of this pattern of activation on working memory and performance.

negative: Multiuser Resource Allocation for Mobile-Edge Computation Offloading Mobile-edge computation offloading (MECO) offloads intensive mobile computation to clouds located at the edges of cellular networks. Thereby, MECO is envisioned as a promising technique for prolonging the battery lives and enhancing the computation capacities of mobiles. In this paper, we consider resource allocation in a MECO system comprising multiple users that time share a single edge cloud and have different computation loads. The optimal resource allocation is formulated as a convex optimization problem for minimizing the weighted sum mobile energy consumption under constraint on computation latency and for both the cases of infinite and finite edge cloud computation capacities. The optimal policy is proved to have a threshold-based structure with respect to a derived offloading priority function, which yields priorities for users according to their channel gains and local computing energy consumption. As a result, users with priorities above and below a given threshold perform complete and minimum offloading, respectively. Computing the threshold requires iterative computation. To reduce the complexity, a sub-optimal resource-allocation algorithm is proposed and shown by simulation to have close-to-optimal performance.

negative: Trimming and Improving Skip-thought Vectors The skip-thought model has been proven to be effective at learning sentence representations and capturing sentence semantics. In this paper, we propose a suite of techniques to trim and improve it. First, we validate a hypothesis that, given a current sentence, inferring the previous and inferring the next sentence provide similar supervision power, therefore only one decoder for predicting the next sentence is preserved in our trimmed skip-thought model. Second, we present a connection layer between encoder and decoder to help the model to generalize better on semantic relatedness tasks. Third, we found that a good word embedding initialization is also essential for learning better sentence representations. We train our model unsupervised on a large corpus with contiguous sentences, and then evaluate the trained model on 7 supervised tasks, which includes semantic relatedness, paraphrase detection, and text classification benchmarks. We empirically show that, our proposed model is a faster, lighter-weight and equally powerful alternative to the original skip-thought model.

negative: Self-tuning fuzzy PID controller for electro-hydraulic cylinder Hydraulic systems are widely used in industrial applications. This is due to its high speed of response with fast start, stop and speed reversal possible. The torque to inertia ratio is also large with resulting high acceleration capability. The nonlinear properties of hydraulic cylinder make the position tracking control design challenging. This paper presents the development and implementation of self-tuning fuzzy PID controller in controlling the position variation of electro-hydraulic actuator. The hydraulic system mathematical model is approximated using system identification technique. The simulation studies were done using Matlab Simulink environment. The output performance was compared with the design using pole-placement controller. The roots mean squared error for both techniques showed that self-tuning Fuzzy PID produced better result compared to using pole-placement controller.

negative: Formula Derivation and Verification of Characteristic Impedance for Offset Double-Sided Parallel Strip Line (DSPSL) Double-sided parallel strip line (DSPSL) is a versatile microwave transmission line. With an offset, it allows for large variations of the characteristic impedance and therefore flexibility for the design of novel microwave devices. In this letter, a formula for the characteristic impedance of DSPSL is derived by the fuzzy EM method and verified by commercial software. Very good agreement is observed.

negative: Two Conceptions of the Physical The debate over physicalism in philosophy of mind can be seen as concerning an inconsistent tetrad of theses: (1) if physicalism is true, a priori physicalism is true; (2) a priori physicalism is false; (3) if physicalism is false, epiphenomenalism is true; (4) epiphenomenalism is false. This paper argues that one may resolve the debate by distinguishing two conceptions of the physical: on the theory-based conception, it is plausible that (2) is true and (3) is false; on the object-based conception, it is plausible that (3) is true and (2) is false. The paper also defends and explores the version of physicalism that results from this strategy. 1. One way to view the contemporary debate in philosophy of mind over physicalism is to see it as being organized around an inconsistent tetrad of theses. These are: (1) If physicalism is true, a priori physicalism is true. (2) A priori physicalism is false. (3) If physicalism is false, epiphenomenalism is true. (4) Epiphenomenalism is false. It is obvious of course that these theses are inconsistent: (1) and (2) entail that physicalism is false, while (3) and (4) entail that it is true. Barring ambiguity, therefore, one thing we know is that one of the theses is false. On the other hand, each of the theses has powerful considerations, or at least what seem initially to be powerful considerations, in its favor. (1) In support of (1) are considerations of supervenience, articulated most clearly in recent times by Frank Jackson and David Chalmers. A priori physicalism is a thesis with two parts. The first part-the physicalist part-is that the mental supervenes with metaphysical necessity on the physical. The second part-the a priori part-is that mental truths are a priori entailed by physical truths. Many philosophers hold that supervenience stands in need of justification or explanation; Jackson and Chalmers argue that the project of justifying or explaining supervenience just is the project of making it plausible that there is an a priori entailment of the mental by the physical. This suggests that the first part of

negative: A modular architecture for building automation systems The deployment of building automation systems (BAS) allows to increase comfort, safety and security and to reduce operational cost. Today such systems typically follow a two-layered hierarchical approach. While control networks interconnect distributed sensors, actuators and controllers, a backbone provides the necessary infrastructure for management tasks hosted by configuration and management devices. In addition, devices interconnecting the control network with the backbone and the backbone with further networks (e.g., the Internet) play a strategic role. All BAS devices contributing to a particular functionality differ in their requirements for hardware. This paper discusses requirements for devices used in the building automation domain and presents our work in progress to assemble platforms with different purposes relying on a modular architecture.

negative: Exploring actor-object relationships for query-focused multi-document summarization Most research on multi-document summarization explores methods that generate summaries based on queries regardless of the users’ preferences. We note that, different users can generate somewhat different summaries on the basis of the same source data and query. This paper presents our study on how to exploit the information regards how users summarized their texts. Models of different users can be used either separately, or in an ensemble-like fashion. Machine learning methods are explored in the construction of the individual models. However, we explore yet another hypothesis. We believe that the sentences selected into the summary should be coherent and supplement each other in their meaning. One method to model this relationship between sentences is by detecting actor–object relationship (AOR). The sentences that satisfy this relationship have their importance value enhanced. This paper combines ensemble summarizing system and AOR to generate summaries. We have evaluated this method on DUC 2006 and DUC 2007 using ROUGE measure. Experimental results show the supervised method that exploits the ensemble summarizing system combined with AOR outperforms previous models when considering performance in query-based multidocument summarization tasks. Keyword User-based summarization · Actor–object relationship · Multi-document summarization · Ensemble summarizing system · Training data construction Communicated by V. Loia. M. Valizadeh (B) · P. Brazdil LIAAD INESC Tec, University of Porto, Porto, Portugal e-mail: valizadehmr@gmail.com P. Brazdil FEP, University of Porto, Porto, Portugal e-mail: pbrazdil@inescporto.pt

negative: WhyCon : An Efficent , Marker-based Localization System We present an open-source marker-based localization system intended as a low-cost easy-to-deploy solution for aerial and swarm robotics. The main advantage of the presented method is its high computational efficiency, which allows its deployment on small robots with limited computational resources. Even on low-end computers, the core component of the system can detect and estimate 3D positions of hundreds of black and white markers at the maximum frame-rate of standard cameras. The method is robust to changing lighting conditions and achieves accuracy in the order of millimeters to centimeters. Due to its reliability, simplicity of use and availability as an open-source ROS module (http://purl.org/robotics/whycon), the system is now used in a number of aerial robotics projects where fast and precise relative localization is required.

negative: A Novel Feature Selection Based on One-Way ANOVA F-Test for E-Mail Spam Classification Spam is commonly defined as unwanted e-mails and it became a global threat against e-mail users. Although, Support Vector Machine (SVM) has been commonly used in e-mail spam classification, yet the problem of high data dimensionality of the feature space due to the massive number of e-mail dataset and features still exist. To improve the limitation of SVM, reduce the computational complexity (efficiency) and enhancing the classification accuracy (effectiveness). In this study, feature selection based on one-way ANOVA F-test statistics scheme was applied to determine the most important features contributing to e-mail spam classification. This feature selection based on one-way ANOVA F-test is used to reduce the high data dimensionality of the feature space before the classification process. The experiment of the proposed scheme was carried out using spam base wellknown benchmarking dataset to evaluate the feasibility of the proposed method. The comparison is achieved for different datasets, categorization algorithm and success measures. In addition, experimental results on spam base English datasets showed that the enhanced SVM (FSSVM) significantly outperforms SVM and many other recent spam classification methods for English dataset in terms of computational complexity and dimension reduction.

negative: SEISMIC BEHAVIOR OF INTERMEDIATE BEAMS IN STEEL PLATE SHEAR WALLS This paper presents some preliminary results of an ongoing research whose objective is to investigate the seismic behavior of intermediate beams (i.e., the beams other than those at the roof and foundation levels) in multi-story steel plate shear walls (SPSWs). Of primary interest is the determination of the strength level needed to avoid the formation of in-span plastic hinges, a relevant practical issue that has not been considered in past investigations. To attain this objective, the seismic response of different SPSW models was analyzed by performing linear and nonlinear analysis. The intermediate beams of the SPSW models were designed to resist: (I) forces imposed by gravity loads only; (II) forces determined by the ASCE 7 load combinations; and (III) forces imposed by fully yielded plates. For comparison purposes, SPSW models designed according to the Canadian Standard CAN/CSA S16-01 were considered as well. It is concluded that intermediate beams designed according to criteria I and II are prone to inspan plastic hinges and to excessive plastic deformations. It was also found that, while in-span plastic hinges do not appear in the intermediate beams of the CAN/CSA S16-01 models, they do appear in the roof and foundation beams of these models when a collapse mechanism develops.

negative: MBBA: A Multi-Bandwidth Bus Arbiter for Hard Real-Time Multi-core architectures are being increasingly used in embedded systems as they offer several advantages: improved hardware integration, low thermal dissipation and reduced energy consumption, while they make it possible to improve the computing power. In order to run real-time software on a multicore architecture, computing the Worst-Case Execution Time of every thread should be achievable. This notably involves bounding memory latencies by employing a predictable bus arbiter. However, state-of-the-art techniques prove to be irrelevant to schedule unbalanced workloads in which some threads require more bus bandwidth than the other ones. This paper proposes a new bus arbitration scheme that ensures that the shared bus latencies can be upper bounded. Compared to other schemes that make the bus latencies predictable, like the Round-Robin protocol, our approach defines several levels of bandwidth to meet requirements that may vary from one thread to another. Experimental results (WCET estimates) show that the worst-case bus latency is noticeably shortened, compared to Round-Robin, for the cores with highest priority that get the largest bandwidth. The relevance of the scheme is shown through an example workload composed of various benchmarks.

negative: LoRa Scalability: A Simulation Model Based on Interference Measurements LoRa is a long-range, low power, low bit rate and single-hop wireless communication technology. It is intended to be used in Internet of Things (IoT) applications involving battery-powered devices with low throughput requirements. A LoRaWAN network consists of multiple end nodes that communicate with one or more gateways. These gateways act like a transparent bridge towards a common network server. The amount of end devices and their throughput requirements will have an impact on the performance of the LoRaWAN network. This study investigates the scalability in terms of the number of end devices per gateway of single-gateway LoRaWAN deployments. First, we determine the intra-technology interference behavior with two physical end nodes, by checking the impact of an interfering node on a transmitting node. Measurements show that even under concurrent transmission, one of the packets can be received under certain conditions. Based on these measurements, we create a simulation model for assessing the scalability of a single gateway LoRaWAN network. We show that when the number of nodes increases up to 1000 per gateway, the losses will be up to 32%. In such a case, pure Aloha will have around 90% losses. However, when the duty cycle of the application layer becomes lower than the allowed radio duty cycle of 1%, losses will be even lower. We also show network scalability simulation results for some IoT use cases based on real data.

negative:
Improvements in muscle symmetry in children with cerebral palsy after equine-assisted therapy (hippotherapy). OBJECTIVE
To evaluate the effect of hippotherapy (physical therapy utilizing the movement of a horse) on muscle activity in children with spastic cerebral palsy.

DESIGN
Pretest/post-test control group.

SETTING/LOCATION
Therapeutic Riding of Tucson (TROT), Tucson, AZ.

SUBJECTS
Fifteen (15) children ranging from 4 to 12 years of age diagnosed with spastic cerebral palsy.

INTERVENTIONS
Children meeting inclusion criteria were randomized to either 8 minutes of hippotherapy or 8 minutes astride a stationary barrel.

OUTCOME MEASURES
Remote surface electromyography (EMG) was used to measure muscle activity of the trunk and upper legs during sitting, standing, and walking tasks before and after each intervention.

RESULTS
After hippotherapy, significant improvement in symmetry of muscle activity was noted in those muscle groups displaying the highest asymmetry prior to hippotherapy. No significant change was noted after sitting astride a barrel.

CONCLUSIONS
Eight minutes of hippotherapy, but not stationary sitting astride a barrel, resulted in improved symmetry in muscle activity in children with spastic cerebral palsy. These results suggest that the movement of the horse rather than passive stretching accounts for the measured improvements.

negative: Gain and bandwidth improvement of microstrip antenna using RIS and FPC resonator Improvement in gain as well as bandwidth of microstrip antenna using reactive impedance surface and Fabry Perot cavity resonator is proposed. Suspended microstrip antenna (MSA) is designed on reactive impedance surface (RIS) backed FR4 substrate. RIS improves bandwidth, gain and efficiency of antenna due to reduced coupling between MSA and ground plane. This MSA backed RIS is placed in a FPC resonator for further improving the gain of MSA. 1×1 to 4×4 square patch arrays are designed on a dielectric layer which is energized by the radiations from RIS backed MSA. The PRS layer is placed at about λ0/2 from ground. The S11 is < −9.5 dB over 5.725–6.4 GHz. Maximum gain of 15.8 dBi with gain variation < 2 dB is obtained using 4×4 array. Beside this, cross polarization and Side lobe level are < −2ο dB. Antenna offers front to back lobe ratio (FBR) > 20 dB and > 70 % antenna efficiency. The measured results of prototype structure are in agreement with the simulation results.

negative:
Using Spoken Language Benchmarks to Characterize the Expressive Language Skills of Young Children With Autism Spectrum Disorders. PURPOSE
Spoken language benchmarks proposed by Tager-Flusberg et al. (2009) were used to characterize communication profiles of toddlers with autism spectrum disorders and to investigate if there were differences in variables hypothesized to influence language development at different benchmark levels.

METHOD
The communication abilities of a large sample of toddlers with autism spectrum disorders (N = 105) were characterized in terms of spoken language benchmarks. The toddlers were grouped according to these benchmarks to investigate whether there were differences in selected variables across benchmark groups at a mean age of 2.5 years.

RESULTS
The majority of children in the sample presented with uneven communication profiles with relative strengths in phonology and significant weaknesses in pragmatics. When children were grouped according to one expressive language domain, across-group differences were observed in response to joint attention and gestures but not cognition or restricted and repetitive behaviors.

CONCLUSION
The spoken language benchmarks are useful for characterizing early communication profiles and investigating features that influence expressive language growth.

negative: THE DEMOCRATIZATION OF PERSONAL CONSUMER LOANS? DETERMINANTS OF SUCCESS IN ONLINE PEER-TO-PEER LENDING COMMUNITIES Online peer-to-peer (P2P) lending communities enable individual consumers to borrow from, and lend money to, one another directly. We study the borrowerand loan listing-related determinants of funding success in an online P2P lending community by conceptualizing loan decision variables (loan amount, interest rate offered, duration of loan listing) as mediators between borrower attributes such as demographic characteristics, financial strength, and effort prior to making the request, and the likelihood of funding success. Borrower attributes are also treated as moderators of the effects of loan decision variables on funding success. The results of our empirical study, conducted using a database of 5,370 completed P2P loan transactions, provide support for the proposed conceptual framework. Although demographic attributes such as race and gender do affect likelihood of funding success, their effects are very small in comparison to effects of borrowers’ financial strength and their effort when listing and publicizing the loan. These results are substantially different from the documented discriminatory practices of US financial institutions, suggesting that individual lenders lend more fairly when their own investment money is at stake in P2P loans. The paper concludes with specific suggestions to borrowers to increase their chances of receiving funding in P2P lending communities, and a discussion of future research opportunities.

negative: The SEMAINE Database: Annotated Multimodal Records of Emotionally Colored Conversations between a Person and a Limited Agent SEMAINE has created a large audiovisual database as a part of an iterative approach to building Sensitive Artificial Listener (SAL) agents that can engage a person in a sustained, emotionally colored conversation. Data used to build the agents came from interactions between users and an "operator” simulating a SAL agent, in different configurations: Solid SAL (designed so that operators displayed an appropriate nonverbal behavior) and Semi-automatic SAL (designed so that users' experience approximated interacting with a machine). We then recorded user interactions with the developed system, Automatic SAL, comparing the most communicatively competent version to versions with reduced nonverbal skills. High quality recording was provided by five high-resolution, high-framerate cameras, and four microphones, recorded synchronously. Recordings total 150 participants, for a total of 959 conversations with individual SAL characters, lasting approximately 5 minutes each. Solid SAL recordings are transcribed and extensively annotated: 6-8 raters per clip traced five affective dimensions and 27 associated categories. Other scenarios are labeled on the same pattern, but less fully. Additional information includes FACS annotation on selected extracts, identification of laughs, nods, and shakes, and measures of user engagement with the automatic system. The material is available through a web-accessible database.

negative: The Ensembl gene annotation system The Ensembl gene annotation system has been used to annotate over 70 different vertebrate species across a wide range of genome projects. Furthermore, it generates the automatic alignment-based annotation for the human and mouse GENCODE gene sets. The system is based on the alignment of biological sequences, including cDNAs, proteins and RNA-seq reads, to the target genome in order to construct candidate transcript models. Careful assessment and filtering of these candidate transcripts ultimately leads to the final gene set, which is made available on the Ensembl website. Here, we describe the annotation process in detail.Database URL: http://www.ensembl.org/index.html.

negative: Collecting Large, Richly Annotated Facial-Expression Databases from Movies Two large facial-expression databases depicting challenging real-world conditions were constructed using a semi-automatic approach via a recommender system based on subtitles.

negative: Syntax Annotation for the GENIA Corpus Linguistically annotated corpus based on texts in biomedical domain has been constructed to tune natural language processing (NLP) tools for biotextmining. As the focus of information extraction is shifting from "nominal" information such as named entity to "verbal" information such as function and interaction of substances, application of parsers has become one of the key technologies and thus the corpus annotated for syntactic structure of sentences is in demand. A subset of the GENIA corpus consisting of 500 MEDLINE abstracts has been annotated for syntactic structure in an XMLbased format based on Penn Treebank II (PTB) scheme. Inter-annotator agreement test indicated that the writing style rather than the contents of the research abstracts is the source of the difficulty in tree annotation, and that annotation can be stably done by linguists without much knowledge of biology with appropriate guidelines regarding to linguistic phenomena particular to scientific texts.

negative: Tag suggestion and localization in user-generated videos based on social knowledge Nowadays, almost any web site that provides means for sharing user-generated multimedia content, like Flickr, Facebook, YouTube and Vimeo, has tagging functionalities to let users annotate the material that they want to share. The tags are then used to retrieve the uploaded content, and to ease browsing and exploration of these collections, e.g. using tag clouds. However, while tagging a single image is straightforward, and sites like Flickr and Facebook allow also to tag easily portions of the uploaded photos, tagging a video sequence is more cumbersome, so that users just tend to tag the overall content of a video. Moreover, the tagging process is completely manual, and often users tend to spend as few time as possible to annotate the material, resulting in a sparse annotation of the visual content. A semi-automatic process, that helps the users to tag a video sequence would improve the quality of annotations and thus the overall user experience. While research on image tagging has received a considerable attention in the latest years, there are still very few works that address the problem of automatically assigning tags to videos, locating them temporally within the video sequence. In this paper we present a system for video tag suggestion and temporal localization based on collective knowledge and visual similarity of frames. The algorithm suggests new tags that can be associated to a given keyframe exploiting the tags associated to videos and images uploaded to social sites like YouTube and Flickr and visual features.

negative: Text Mining for Documents Annotation and Ontology Support This paper presents a survey of basic concepts in the area of text data mining and some of the methods used in order to elicit useful knowledge from collections of textual data. Three different text data mining techniques (clustering/visualisation, association rules and classification models) are analysed and its exploitation possibilities within the Webocracy project are showed. Clustering and association rules discovery are well suited as supporting tools for ontology management. Classification models are used for automatic documents annotation.

negative: Automatic Linguistic Annotation of Large Scale L 2 Databases : The EF-Cambridge Open Language Database ( EFCamDat ) ∗Naturalistic learner productions are an important empirical resource for SLA research. Some pioneering works have produced valuable second language (L2) resources supporting SLA research.1 One common limitation of these resources is the absence of individual longitudinal data for numerous speakers with different backgrounds across the proficiency spectrum, which is vital for understanding the nature of individual variation in longitudinal development.2 A second limitation is the relatively restricted amounts of data annotated with linguistic information (e.g., lexical, morphosyntactic, semantic features, etc.) to support investigation of SLA hypotheses and obtain patterns of development for different linguistic phenomena. Where available, annotations tend to be manually obtained, a situation posing immediate limitations to the quantity of data that could be annotated with reasonable human resources and within reasonable time. Natural Language Processing (NLP) tools can provide automatic annotations for parts-of-speech (POS) and syntactic structure and are indeed increasingly applied to learner language in various contexts. Systems in computer-assisted language learning (CALL) have used a parser and other NLP tools to automatically detect learner errors and provide feedback accordingly.3 Some work aimed at adapting annotations provided by parsing tools to accurately describe learner syntax (Dickinson & Lee, 2009) or evaluated parser performance on learner language and the effect of learner errors on the parser. Krivanek and Meurers (2011) compared two parsing methods, one using a hand-crafted lexicon and one trained on a corpus. They found that the former is more successful in recovering the main grammatical dependency relations whereas the latter is more successful in recovering optional, adjunction relations. Ott and Ziai (2010) evaluated the performance of a dependency parser trained on native German (MaltParser; Nivre et al., 2007) on 106 learner answers to a comprehension task in L2 German. Their study indicates that while some errors can be problematic for the parser (e.g., omission of finite verbs) many others (e.g., wrong word order) can be parsed robustly, resulting in overall high performance scores. In this paper we have two goals. First, we introduce a new English L2 database, the EF Cambridge Open Language Database, henceforth EFCAMDAT. EFCAMDAT was developed by the Department of Theoretical and Applied Linguistics at the University of Cambridge in collaboration with EF Education First, an international educational organization. It contains writings submitted to Englishtown, the