SoroushVahidi/scidocs huggingface dataset:
Optimal Parallel Algorithms for Computing the Sum, the Prefix-Sums, and the Summed Area Table on the Memory Machine Models
(2013)

The main contribution of this paper is to show optimal parallel algorithms to compute the sum, the prefix-sums, and the summed area table on two memory machine models, the Discrete Memory Machine (DMM) and the Unified Memory Machine (UMM). The DMM and the UMM are theoretical parallel computing models that capture the essence of the shared memory and the global memory of GPUs. These models have three parameters, the number p of threads, and the width w of the memory, and the memory access latency l. We first show that the sum of n numbers can be computed in O(n w + nl p + l log n) time units on the DMM and the UMM. We then go on to show that Ω(n w + nl p + l log n) time units are necessary to compute the sum. We also present a parallel algorithm that computes the prefix-sums of n numbers in O( n w + nl p + l log n) time units on the DMM and the UMM. Finally, we show that the summed area table of size √ n × √n can be computed in O( n w + nl p + l log n) time units on the DMM and the UMM. Since the computation of the prefix-sums and the summed area table is at least as hard as the sum computation, these parallel algorithms are also optimal. key words: Memory machine models, prefix-sums computation, parallel algorithm, GPU, CUDA
From checking on to checking in: designing for low socio-economic status older adults
(2014)

In this paper we describe the design evolution of a novel technology that collects and displays presence information to be used in the homes of older adults. The first two iterations, the Ambient Plant and Presence Clock, were designed for higher socio-economic status (SES) older adults, whereas the Check-In Tree was designed for low SES older adults. We describe how feedback from older adult participants drove our design decisions, and give an in-depth account of how the Check-In Tree evolved from concept to a final design ready for in situ deployment.
Design of dual-polarized waveguide slotted antenna array for Ka-band application
(2010)

A dual polarized waveguide slotted array for Ka band application is designed. Vertical polarization (VP) is realized by longitudinal slots on broad wall of the ridge waveguide sub array, while horizontal polarization (HP) is realized by tilted slot pairs in the narrow wall of the rectangular waveguide sub array. The feed networks are also designed for each polarization. Especially that for VP, a method to improve the coupling is presented. The antenna has low cross-polarization level and high degree of isolation between two ports.
Analysis and Support of Lifestyle via Emotions Using Social Media
(2012)

Using recent insights from Cognitive, Affective and Social Neuroscience this paper addresses how affective states in social interactions can be used through social media to analyze and support behaviour for a certain lifestyle. A computational model is provided integrating mechanisms for the impact of one’s emotions on behaviour, and for the impact of emotions of others on one’s own emotion. The model is used to reason about and assess the state of a user with regard to a lifestyle goal (such as exercising frequently), based on extracted information about emotions exchanged in social interaction. Support is provided by proposing ways to affecting these social interactions, thereby indirectly influencing the impact of the emotions of others. An ambient intelligent system incorporating this has been implemented for the social medium Twitter.
Is Proof More Cost-Effective Than Testing?
(2000)

ÐThis paper describes the use of formal development methods on an industrial safety-critical application. The Z notation was used for documenting the system specification and part of the design, and the SPARK subset of Ada was used for coding. However, perhaps the most distinctive nature of the project lies in the amount of proof that was carried out: proofs were carried out both at the Z levelÐapproximately 150 proofs in 500 pagesÐand at the SPARK code levelÐapproximately 9,000 verification conditions generated and discharged. The project was carried out under UK Interim Defence Standards 00-55 and 00-56, which require the use of formal methods on safety-critical applications. It is believed to be the first to be completed against the rigorous demands of the 1991 version of these standards. The paper includes comparisons of proof with the various types of testing employed, in terms of their efficiency at finding faults. The most striking result is that the Z proof appears to be substantially more efficient at finding faults than the most efficient testing phase. Given the importance of early fault detection, we believe this helps to show the significant benefit and practicality of large-scale proof on projects of this kind. Index TermsÐSafety-critical software, formal specification, SPARK, specification proof, code proof, proof vs. testing, industrial case study.
High speed and low power preset-able modified TSPC D flip-flop design and performance comparison with TSPC D flip-flop
(2018)

Positron emission tomography (PET) is a nuclear functional imaging technique that produces a three-dimensional image of functional organs in the body. PET requires high resolution, fast and low power multichannel analog to digital converter (ADC). A typical multichannel ADC for PET scanner architecture consists of several blocks. Most of the blocks can be designed by using fast, low power D flip-flops. A preset-able true single phase clocked (TSPC) D flip-flop shows numerous glitches (noise) at the output due to unnecessary toggling at the intermediate nodes. Preset-able modified TSPC (MTSPC) D flip-flop have been proposed as an alternative solution to alleviate this problem. However, the MTSPC D flip-flop requires one extra PMOS to suspend toggling of the intermediate nodes. In this work, we designed a 7-bit preset-able gray code counter by using the proposed D flip-flop. This work involves UMC 180 nm CMOS technology for preset-able 7-bit gray code counter where we achieved 1 GHz maximum operation frequency with most significant bit (MSB) delay 0.96 ns, power consumption 244.2 μW (micro watt) and power delay product (PDP) 0.23 pJ (Pico joule) from 1.8 V power supply.
Multifocal planes head-mounted displays.
(2000)

Stereoscopic head-mounted displays (HMD's) provide an effective capability to create dynamic virtual environments. For a user of such environments, virtual objects would be displayed ideally at the appropriate distances, and natural concordant accommodation and convergence would be provided. Under such image display conditions, the user perceives these objects as if they were objects in a real environment. Current HMD technology requires convergent eye movements. However, it is currently limited by fixed visual accommodation, which is inconsistent with real-world vision. A prototype multiplanar volumetric projection display based on a stack of laminated planes was built for medical visualization as discussed in a paper presented at a 1999 Advanced Research Projects Agency workshop (Sullivan, Advanced Research Projects Agency, Arlington, Va., 1999). We show how such technology can be engineered to create a set of virtual planes appropriately configured in visual space to suppress conflicts of convergence and accommodation in HMD's. Although some scanning mechanism could be employed to create a set of desirable planes from a two-dimensional conventional display, multiplanar technology accomplishes such function with no moving parts. Based on optical principles and human vision, we present a comprehensive investigation of the engineering specification of multiplanar technology for integration in HMD's. Using selected human visual acuity and stereoacuity criteria, we show that the display requires at most 27 equally spaced planes, which is within the capability of current research and development display devices, located within a maximal 26-mm-wide stack. We further show that the necessary in-plane resolution is of the order of 5 microm.
The dynamic kinetochore-microtubule interface.
(2004)

The kinetochore is a control module that both powers and regulates chromosome segregation in mitosis and meiosis. The kinetochore-microtubule interface is remarkably fluid, with the microtubules growing and shrinking at their point of attachment to the kinetochore. Furthermore, the kinetochore itself is highly dynamic, its makeup changing as cells enter mitosis and as it encounters microtubules. Active kinetochores have yet to be isolated or reconstituted, and so the structure remains enigmatic. Nonetheless, recent advances in genetic, bioinformatic and imaging technology mean we are now beginning to understand how kinetochores assemble, bind to microtubules and release them when the connections made are inappropriate, and also how they influence microtubule behaviour. Recent work has begun to elucidate a pathway of kinetochore assembly in animal cells; the work has revealed that many kinetochore components are highly dynamic and that some cycle between kinetochores and spindle poles along microtubules. Further studies of the kinetochore-microtubule interface are illuminating: (1) the role of the Ndc80 complex and components of the Ran-GTPase system in microtubule attachment, force generation and microtubule-dependent inactivation of kinetochore spindle checkpoint activity; (2) the role of chromosomal passenger proteins in the correction of kinetochore attachment errors; and (3) the function of microtubule plus-end tracking proteins, motor depolymerases and other proteins in kinetochore movement on microtubules and movement coupled to microtubule poleward flux.
Active compensation of current unbalance in paralleled silicon carbide MOSFETs
(2014)

Current unbalance in paralleled power electronic devices can affect the performance and reliability of them. In this paper, the factors causing current unbalance in parallel connected silicon carbide (SiC) MOSFETs are analyzed, and the threshold mismatch is identified as the major factor. Then the distribution and temperature dependence of SiC MOSFETs' threshold voltage are studied experimentally. Based on the analysis and study, an active current balancing (ACB) scheme is presented. The scheme directly measures the unbalance current, and eliminates it in closed loop by varying the gate delay to each device. The turn-on and turn-off current unbalance are sensed and independently compensated to yield an optimal performance at both switching transitions. The proposed scheme provides robust compensation of current unbalance in fast-switching wide-band-gap devices while keeping circuit complexity and cost low. The performance of the proposed ACB scheme is verified by both simulation and experimental results.
The Open University ’ s repository of research publications and other research outputs Learning analytics : drivers , developments and challenges
(2013)

Learning analytics is a significant area of technology-enhanced learning that has emerged during the last decade. This review of the field begins with an examination of the technological, educational and political factors that have driven the development of analytics in educational settings. It goes on to chart the emergence of learning analytics, including their origins in the 20th century, the development of data-driven analytics, the rise of learningfocused perspectives and the influence of national economic concerns. It next focuses on the relationships between learning analytics, educational data mining and academic analytics. Finally, it examines developing areas of learning analytics research, and identifies a series of future challenges.
Color , Shape and Texture based Fruit Recognition System
(2016)

The paper presents an automated system for classification of fruits. A dataset containing five different fruits was constructed using an ordinary camera. All the fruits were analyzed on the basis of their color (RGB space), shape and texture and then classified using different classifiers to find the classifier that gives the best accuracy. Gray Level Cooccurance Matrix(GLCM) is used to calculate texture features .Best accuracy was achieved by support vector machine (svm). All the processing was carried out in Matlab. Keywords—computer vision, pattern recognition, support vector machine, texture features.
A New ADS-B Authentication Framework Based on Efficient Hierarchical Identity-Based Signature with Batch Verification
(2017)

Automatic dependent surveillance-broadcast (ADS-B) has become a crucial part of next generation air traffic surveillance technology and will be mandatorily deployed for most of the airspaces worldwide by 2020. Each aircraft equipped with an ADS-B device keeps broadcasting plaintext messages to other aircraft and the ground station controllers once or twice per second. The lack of security measures in ADS-B systems makes it susceptible to different attacks. Among the various security issues, we investigate the integrity and authenticity of ADS-B messages. We propose a new framework for providing ADS-B with authentication based on three-level hierarchical identity-based signature (HIBS) with batch verification. Previous signature-based ADS-B authentication protocols focused on how to generate signatures efficiently, while our schemes can also significantly reduce the verification cost, which is critical to ADS-B systems, since at any time an ADS-B receiver may receive lots of signatures. We design two concrete schemes. The basic scheme supports partial batch verification and the extended scheme provides full batch verification. We give a formal security proof for the extended scheme. Experiment results show that our schemes with batch verification are tremendously more efficient in batch verifying <inline-formula><tex-math notation="LaTeX">$n$ </tex-math><alternatives><inline-graphic xlink:href="yang-ieq1-2459709.gif"/></alternatives></inline-formula> signatures than verifying <inline-formula><tex-math notation="LaTeX">$n$</tex-math><alternatives> <inline-graphic xlink:href="yang-ieq2-2459709.gif"/></alternatives></inline-formula> signatures independently. For example, the running time of verifying 100 signatures is 502 and 484 ms for the basic scheme and the extended scheme respectively, while the time is 2500 ms if verifying the signatures independently.
Dual-Band and Dual-Polarized SIW-Fed Microstrip Patch Antenna
(2014)

A new dual-band and dual-polarized antenna is investigated in this letter. Two longitudinal and transverse slots on the broad wall of the substrate integrated waveguide (SIW) are responsible for creating two different frequency bands with distinct polarization. A frequency selective surface (FSS) is placed on top of the microstrip patches to reduce the cross-polarization level of the antenna. The resonance frequencies of the patch and slot are set near to each other to get a wider impedance bandwidth. Bandwidth of more than 7% is achieved in each band. SIW feeding network increases the efficiency of the antenna. The simulated radiation efficiency of the antenna is better than 87% over the impedance bandwidth .
Simulation of lightning impulse voltage stresses in underground cables
(2015)

The goal of this work is to study the transient behavior of the cable against the application of standard and non-standard lightning impulse voltage waveforms. A 66 kV cable model has been developed in MATLAB Simulink and standard and non-standard impulse voltages are applied to it. A preliminary comparative study on the obtained voltages indicated that non-standard impulse voltage waveform developed higher voltage stress in the cable. Simulation results helped to investigate which impulses (standard or non-standard) represent the worst possible voltage stresses on the cables. This study provides the basis for further study of effects of non-standard impulse voltage waveforms and make necessary correction in the existing impulse testing standards.
Skeletal Quads: Human Action Recognition Using Joint Quadruples
(2014)

Recent advances on human motion analysis have made the extraction of human skeleton structure feasible, even from single depth images. This structure has been proven quite informative for discriminating actions in a recognition scenario. In this context, we propose a local skeleton descriptor that encodes the relative position of joint quadruples. Such a coding implies a similarity normalisation transform that leads to a compact (6D) view-invariant skeletal feature, referred to as skeletal quad. Further, the use of a Fisher kernel representation is suggested to describe the skeletal quads contained in a (sub)action. A Gaussian mixture model is learnt from training data, so that the generation of any set of quads is encoded by its Fisher vector. Finally, a multi-level representation of Fisher vectors leads to an action description that roughly carries the order of sub-action within each action sequence. Efficient classification is here achieved by linear SVMs. The proposed action representation is tested on widely used datasets, MSRAction3D and HDM05. The experimental evaluation shows that the proposed method outperforms state-of-the-art algorithms that rely only on joints, while it competes with methods that combine joints with extra cues.
Pedestrian detection and tracking with night vision
(2005)

This paper presents a method for pedestrian detection and tracking using a single night-vision video camera installed on the vehicle. To deal with the nonrigid nature of human appearance on the road, a two-step detection/tracking method is proposed. The detection phase is performed by a support vector machine (SVM) with size-normalized pedestrian candidates and the tracking phase is a combination of Kalman filter prediction and mean shift tracking. The detection phase is further strengthened by information obtained by a road-detection module that provides key information for pedestrian validation. Experimental comparisons (e.g., grayscale SVM recognition versus binary SVM recognition and entire-body detection versus upper-body detection) have been carried out to illustrate the feasibility of our approach.
Video Google: A Text Retrieval Approach to Object Matching in Videos
(2003)

We describe an approach to object and scene retrieval which searches for and localizes all the occurrences of a user outlined object in a video. The object is represented by a set of viewpoint invariant region descriptors so that recognition can proceed successfully despite changes in viewpoint, illumination and partial occlusion. The temporal continuity of the video within a shot is used to track the regions in order to reject unstable regions and reduce the effects of noise in the descriptors. The analogy with text retrieval is in the implementation where matches on descriptors are pre-computed (using vector quantization), and inverted file systems and document rankings are used. The result is that retrieval is immediate, returning a ranked list of key frames/shots in the manner of Google. The method is illustrated for matching on two full length feature films.
Multi-Granularity Chinese Word Embedding
(2016)

This paper considers the problem of learning Chinese word embeddings. In contrast to English, a Chinese word is usually composed of characters, and most of the characters themselves can be further divided into components such as radicals. While characters and radicals contain rich information and are capable of indicating semantic meanings of words, they have not been fully exploited by existing word embedding methods. In this work, we propose multi-granularity embedding (MGE) for Chinese words. The key idea is to make full use of such word-character-radical composition, and enrich word embeddings by further incorporating finer-grained semantics from characters and radicals. Quantitative evaluation demonstrates the superiority of MGE in word similarity computation and analogical reasoning. Qualitative analysis further shows its capability to identify finer-grained semantic meanings of words.
When is a linguistic metaphor a conceptual metaphor ?
(2009)

Volume 24 New Directions in Cognitive Linguistics Edited by Vyvyan Evans and Stéphanie Pourcel Editorial Advisory Board Melissa F. Bowerman Nijmegen Wallace Chafe Santa Barbara, CA Philip R. Cohen Portland, OR Antonio Damasio Iowa City, IA Morton Ann Gernsbacher Madison, WI David McNeill Chicago, IL Eric Pederson Eugene, OR François Recanati Paris Sally Rice Edmonton, Alberta Benny Shanon Jerusalem Lokendra Shastri Berkeley, CA Paul !agard Waterloo, Ontario Human Cognitive Processing (HCP)
Pathways for irony detection in tweets
(2014)

Posts on Twitter allow users to express ideas and opinions in a very dynamic way. The volume of data available is incredibly high in this support, and it may provide relevant clues regarding the judgement of the public on certain product, event, service etc. While in standard sentiment analysis the most common task is to classify the utterances according to their polarity, it is clear that detecting ironic senses represent a big challenge for Natural Language Processing. By observing a corpus constitued by tweets, we propose a set of patterns that might suggest ironic/sarcastic statements. Thus, we developed special clues for irony detection, through the implementation and evaluation of a set of patterns.
Developing an Ontology of the Cyber Security Domain
(2012)

This paper reports on a trade study we performed to support the development of a Cyber ontology from an initial malware ontology. The goals of the Cyber ontology effort are first described, followed by a discussion of the ontology development methodology used. The main body of the paper then follows, which is a description of the potential ontologies and standards that could be utilized to extend the Cyber ontology from its initially constrained malware focus. These resources include, in particular, Cyber and malware standards, schemas, and terminologies that directly contributed to the initial malware ontology effort. Other resources are upper (sometimes called 'foundational') ontologies. Core concepts that any Cyber ontology will extend have already been identified and rigorously defined in these foundational ontologies. However, for lack of space, this section is profoundly reduced. In addition, utility ontologies that are focused on time, geospatial, person, events, and network operations are briefly described. These utility ontologies can be viewed as specialized super-domain or even mid-level ontologies, since they span many, if not most, ontologies -including any Cyber ontology. An overall view of the ontological architecture used by the trade study is also given. The report on the trade study concludes with some proposed next steps in the iterative evolution of the
The Painting Fool Sees! New Projects with the Automated Painter
(2015)

We report the most recent advances in The Painting Fool project, where we have integrated machine vision capabilities from the DARCI system into the automated painter, to enhance its abilities before, during and after the painting process. This has enabled new art projects, including a commission from an Artificial Intelligence company, and we report on this collaboration, which is one of the first instances in Computational Creativity research where creative software has been commissioned directly. The new projects have advanced The Painting Fool as an independent artist able to produce more diverse styles which break away from simulating natural media. The projects have also raised a philosophical question about whether software artists need to see in the same way as people, which we discuss briefly.