Extensions Of Functors From Set To V-Cat,
2015
University Politehnica of Bucharest
Extensions Of Functors From Set To V-Cat, Adriana Balan, Alexander Kurz, Jirí Velebil
Engineering Faculty Articles and Research
We show that for a commutative quantale V every functor Set --> V-cat has an enriched left- Kan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V-cat. Moreover, one can build functors on V-cat by equipping Set-functors with a metric.
A Kinect-Based System For Automatic Recording Of Some Pigeon Behaviors,
2014
Fordham University
A Kinect-Based System For Automatic Recording Of Some Pigeon Behaviors, Damian Lyons, James Macdonall, Kelly Cunningham
Faculty Publications
Contact switches and touch screens are the state of the art for recording pigeons’ pecking behavior. Recording other behavior, however, requires a different sensor for each behavior, and some behaviors cannot easily be recorded. We present a flexible and inexpensive image-based approach to detecting and counting pigeon behaviors that is based on the Kinect sensor from Microsoft. Although the system is as easy to set up and use as the standard approaches, it is more flexible because it can record behaviors in addition to key pecking. In this article, we show how both the fast, fine motion of key pecking …
New Challenges For The Archiving Of Digital Writing,
2014
University of Trier
New Challenges For The Archiving Of Digital Writing, Heiko Zimmermann
CLCWeb: Comparative Literature and Culture
In his article "New Challenges for the Archiving of Digital Writing" Heiko Zimmermann discusses the challenges of the preservation of digital texts. In addition to the problems already at the focus of attention of digital archivists, there are elements in digital literature which need to be taken into consideration when trying to archive them. Zimmermann analyses two works of digital literature, the collaborative writing project A Million Penguins (2006-2007) and Renée Tuner's She… (2008) and shows how the ontology of these texts is bound to elements of performance, to direct social interaction of writers and readers to the uniquely subjective …
Responses To Catastrophic Agi Risk: A Survey,
2014
Machine Intelligence Research Institute
Responses To Catastrophic Agi Risk: A Survey, Kaj Sotala, Roman V. Yampolskiy
Faculty and Staff Scholarship
Many researchers have argued that humanity will create artificial general intelligence (AGI) within the next twenty to one hundred years. It has been suggested that AGI may inflict serious damage to human well-being on a global scale ('catastrophic risk'). After summarizing the arguments for why AGI may pose such a risk, we review the fields proposed responses to AGI risk. We consider societal proposals, proposals for external constraints on AGI behaviors and proposals for creating AGIs that are safe due to their internal design.
An Empirical Study Of Semantic Similarity In Wordnet And Word2vec,
2014
LSU New Orleans
An Empirical Study Of Semantic Similarity In Wordnet And Word2vec, Abram Handler
LSU New Orleans Theses and Dissertations
This thesis performs an empirical analysis of Word2Vec by comparing its output to WordNet, a well-known, human-curated lexical database. It finds that Word2Vec tends to uncover more of certain types of semantic relations than others -- with Word2Vec returning more hypernyms, synonomyns and hyponyms than hyponyms or holonyms. It also shows the probability that neighbors separated by a given cosine distance in Word2Vec are semantically related in WordNet. This result both adds to our understanding of the still-unknown Word2Vec and helps to benchmark new semantic tools built from word vectors.
High-Performance Meta-Genomic Gene Identification,
2014
University of South Carolina - Columbia
High-Performance Meta-Genomic Gene Identification, Ibrahim Savran
Theses and Dissertations
Computational Genomics, or Computational Genetics, refers to the use of computational and statistical analysis for understanding the structure and the function of genetic material in organisms. The primary focus of research in computational genomics in the past three decades has been the understanding of genomes and their functional elements by analyzing biological sequence data. The high demand for low-cost sequencing has driven the development of highthroughput sequencing technologies, next-generation sequencing (NGS), that parallelize the sequencing process, producing thousands or millions of sequences concurrently. Moore’s Law is the observation that the number of transistors on integrated circuits doubles approximately every two …
Practical Concurrency Support For Web Service Transactions,
2014
University of South Carolina - Columbia
Practical Concurrency Support For Web Service Transactions, Emad Alsuwat
Theses and Dissertations
Traditional database concurrency control methods use locking, timestampordering, and optimistic-ordering to achieve DB consistency. However, these approaches are not suitable for long-running Web Service Compositions (WSCs) due to associated performance degradation. Our hypothesis asserts that, using transactional semantic and ordering information, the execution time of a WSC can be reduced, thus allowing the use of traditional database concurrency control methods while avoiding unacceptable performance degradation. Our solution is based on the following approaches: § We model a WSC as WS-BPEL specification, i.e., a partial order of WS transactions. § We allow some of the WS transactions in the WSC to …
Automatic Loop Tuning And Memory Management For Stencil Computations,
2014
University of South Carolina - Columbia
Automatic Loop Tuning And Memory Management For Stencil Computations, Fan Zhang
Theses and Dissertations
The Texas Instruments C66x Digital Signal Processor (DSP) is an embedded processor technology that is targeted at real time signal processing. It is also developed with a high potential to become the new generation of coprocessor technology for high performance embedded computing. Of particular interest is its performance for stencil computations, such as those found in signal processing and computer vision tasks. A stencil is a loop in which the output value is updated at each position of an array by taking a weighted function of its neighbors. Efficiently mapping stencil-based kernels to the C66x device presents two challenges. The …
Automated Scratchpad Mapping And Allocation For Embedded Processors,
2014
University of South Carolina - Columbia
Automated Scratchpad Mapping And Allocation For Embedded Processors, Yang Gao
Theses and Dissertations
Embedded system-on-chip processors such as the Texas Instruments C66 DSP and the IBM Cell provide the programmer with a software controlled on-chip memory to supplement a traditional but simple two-level cache. By decomposing data sets and their corresponding workload into small subsets that fit within this on-chip memory, the processor can potentially achieve equivalent or better performance, power efficiency, and area efficiency than with its sophisticated cache. However, program controlled on chip memory requires a shift in the responsibility for management and allocation from the hardware to the programmer. Specifically, this requires the explicit mapping of program arrays to specific …
Benefits Of Video Games In Multidisciplinary Scientific Research,
2014
University of South Carolina - Columbia
Benefits Of Video Games In Multidisciplinary Scientific Research, Jeremiah Jeffrey Shepherd
Theses and Dissertations
In recent years, computer-based games have been shown to be effective both as a tool for conducting research in a variety of domains and for research on games itself. In this work, we show that implementing games that have a basis in theory and that are combined with the most recent gaming practices result in effective research tools. We demonstrate this via game implementations for three domains. The first implementation is based on new theories in speech pedagogy, and demonstrates the effectiveness of our approach. The second implementation shows that using a game that simulates therapeutic speech practices can aid …
Coordinated Control And Estimation Of Multiagent Systems With Engineering Applications,
2014
Huazhong University of Science and Technology
Coordinated Control And Estimation Of Multiagent Systems With Engineering Applications, Housheng Su, Michael Z.Q. Chen, Qing Hui, Wei Zhang, Fanglai Zhu
Department of Electrical and Computer Engineering: Faculty Publications
Recently, coordinated control and estimation problems have attracted a great deal of attention in different fields especially in biology, physics, computer science, and control engineering. Coordinated control and estimation problems have prominent characteristics of distributed control, local interaction, and self-organization. Research on multiagent coordinated control and estimation problems not only helps better understand the mechanisms of natural collective phenomena but also benefits the applications of cyberphysical systems.
This special issue focuses on theoretical and technological achievements in cooperative multiagent Systems. It contains twenty-six papers, the contents of which are summarized below.
Online Learning On Incremental Distance Metric For Person Re-Identification,
2014
Singapore Management University
Online Learning On Incremental Distance Metric For Person Re-Identification, Yuke Sun, Hong Liu, Qianru Sun
Research Collection School Of Computing and Information Systems
Person re-identification is to match persons appearing across non-overlapping cameras. The matching is challenging due to visual ambiguities and disparities of human bodies. Most previous distance metrics are learned by off-line and supervised approaches. However, they are not practical in real-world applications in which online data comes in without any label. In this paper, a novel online learning approach on incremental distance metric, OL-IDM, is proposed. The approach firstly modifies Self-Organizing Incremental Neural Network (SOINN) using Mahalanobis distance metric to cluster incoming data into neural nodes. Such metric maximizes the likelihood of a true image pair matches with a smaller …
Human Action Classification Based On Sequential Bag-Of-Words Model,
2014
Singapore Management University
Human Action Classification Based On Sequential Bag-Of-Words Model, Hong Liu, Qiaoduo Zhang, Qianru Sun
Research Collection School Of Computing and Information Systems
Recently, approaches utilizing spatial-temporal features have achieved great success in human action classification. However, they typically rely on bag-of-words (BoWs) model, and ignore the spatial and temporal structure information of visual words, bringing ambiguities among similar actions. In this paper, we present a novel approach called sequential BoWs for efficient human action classification. It captures temporal sequential structure by segmenting the entire action into sub-actions. Each sub-action has a tiny movement within a narrow range of action. Then the sequential BoWs are created, in which each sub-action is assigned with a certain weight and salience to highlight the distinguishing sections. …
Effects Of Training Datasets On Both The Extreme Learning Machine And Support Vector Machine For Target Audience Identification On Twitter,
2014
Singapore Management University
Effects Of Training Datasets On Both The Extreme Learning Machine And Support Vector Machine For Target Audience Identification On Twitter, Siaw Ling Lo, David Cornforth, Raymond Chiong
Research Collection School Of Computing and Information Systems
The ability to identify or predict a target audience from the increasingly crowded social space will provide a company some competitive advantage over other companies. In this paper, we analyze various training datasets, which include Twitter contents of an account owner and its list of followers, using features generated in different ways for two machine learning approaches - the Extreme Learning Machine (ELM) and Support Vector Machine (SVM). Various configurations of the ELM and SVM have been evaluated. The results indicate that training datasets using features generated from the owner tweets achieve the best performance, relative to other feature sets. …
Media Usage Survey: Overall Comparison Of Faculty And Students,
2014
Karlsruhe Institute of Technology
Media Usage Survey: Overall Comparison Of Faculty And Students, Gerd Gidion, Michael Grosch, Luiz Fernando Capretz, Ken Meadows Dr.
Electrical and Computer Engineering Publications
Recent developments in the use of technologies in education have provided unique opportunities for teaching and learning. This paper describes the results of a survey conducted at Western University (Canada) in 2013, regarding the use of media by students and instructors. The results of this study support the assumption that the media usage of students and instructors include a mixture of traditional and new media. The main traditional media continue to be important, and some new media have emerged as seemingly on equal footing or even more important than the traditional forms of media. Some new media that have recently …
A Study Of Mobile Learning For Higher Education Students In Guangzhou,
2014
Youth College (Yeo Chei Man), Vocational Training Council
A Study Of Mobile Learning For Higher Education Students In Guangzhou, Chun Hung, Hugo Wong
Practical Social and Industrial Research Symposium
No abstract provided.
Assisted Technology For Daily Living,
2014
Chinese University of Hong Kong
Assisted Technology For Daily Living, Raymond K.Y. Tong
Practical Social and Industrial Research Symposium
Prof Tong will introduce two major assisted technologies he recently developed to assist elderly people’s daily living and promote healthy ageing : i) the telecare system for monitoring the safety of single elderly at home; and ii) Kinect system for elderly to carry out home-based exercise.
Design Of Gan-Based Low-Loss Y-Branch Power Splitter,
2014
Department of Electrical Engineering, Faculty of Engineering, Universitas Indonesia, Depok 16424, Indonesia
Design Of Gan-Based Low-Loss Y-Branch Power Splitter, Retno Wigajatri Purnamaningsih, Irma Saraswati, Nji Raden Poespawati, Elhadj Dogheche
Makara Journal of Technology
We present a Y-branch power splitter design with a multimode section using GaN on Sapphire at telecommunication wavelength. The GaN sample optical properties were also investigated, resulting in a refractive index for the GaN layers nTE=2.289±0.001 and nTM=2.324±0.00. Optimization of the structure parameters for this structure was conducted accurately using BPM methods. The results demonstrated the possibility of realizing a GaN-based Y-branch power splitter for various applications.
Ultra-Wideband Notched Characteristic Fed By Coplanar Waveguide,
2014
Department of Electrical Engineering, Faculty of Industrial Technology, Universitas Trisakti, Jakarta Barat 11440, Indonesia
Ultra-Wideband Notched Characteristic Fed By Coplanar Waveguide, Rastanto Hadinegoro, Yuli Kurnia Ningsih, Indra Surjati
Makara Journal of Technology
In this paper, a novel Ultra-Wide Band (UWB) notch patch antenna with co-planar waveguide (CPW) fed is presented. This antenna only used one layer and the patch antenna is constructed on the first layer and back to back with CPW fed and bottom part is ground plane. The width notch is used to achieve the UWB characteristic. The results shown that the impedance bandwidth is 1130 MHz (1.662–2.792 GHz) or about 50.7% for VSWR <2.
Development Of The Soekarno–Hatta International Airport Rail Link Project Using The Value Engineering Method: Creating Value For Money,
2014
Department of Civil Engineering, Faculty of Engineering, Universitas Indonesia, Depok 16424, Indonesia
Development Of The Soekarno–Hatta International Airport Rail Link Project Using The Value Engineering Method: Creating Value For Money, Mohammed Ali Berawi, Bambang Susantono, Suyono Dikun, Tommy Ilyas, Herawati Zetha Rahman, Abdur Rohim Boy Berawi, Teuku Yuri Zagloel, Perdana Miraj, Jade Sjafrecia Petroceany
Makara Journal of Technology
Soekarno–Hatta Airport is the main gateway for international flights to Greater Jakarta. Its accessibility depends on the inter-city and Sedyatmo toll roads, which causes congestion in peak hours, leading to uncertainty about travel times. The Soekarno–Hatta International Airport Rail Link (SHIARL) is proposed as an alternative mass transportation project, which is expected to provide accessibility and mobility for people and goods to and from the airport. Previously, the project was unattractive to private investors as it was technically and financially unfeasible. Therefore, this research aims to improve the feasibility of the Soekarno-Hatta International Airport Rail Link (SHIARL) by using a …
