SoroushVahidi/scidocs huggingface dataset:
The Malicious Use of Artificial Intelligence: Forecasting, Prevention, and Mitigation
(2018)

This report surveys the landscape of potential security threats from malicious uses of AI, and proposes ways to better forecast, prevent, and mitigate these threats. After analyzing the ways in which AI may influence the threat landscape in the digital, physical, and political domains, we make four high-level recommendations for AI researchers and other stakeholders. We also suggest several promising areas for further research that could expand the portfolio of defenses, or make attacks less effective or harder to execute. Finally, we discuss, but do not conclusively resolve, the long-term equilibrium of attackers and defenders.
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
(2017)

Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a major obstacle in applying them to safety-critical systems is the great difficulty in providing formal guarantees about their behavior. We present a novel, scalable, and efficient technique for verifying properties of deep neural networks (or providing counter-examples). The technique is based on the simplex method, extended to handle the non-convex Rectified Linear Unit (ReLU ) activation function, which is a crucial ingredient in many modern neural networks. The verification procedure tackles neural networks as a whole, without making any simplifying assumptions. We evaluated our technique on a prototype deep neural network implementation of the next-generation airborne collision avoidance system for unmanned aircraft (ACAS Xu). Results show that our technique can successfully prove properties of networks that are an order of magnitude larger than the largest networks verified using existing methods.
Vision-Based Multi-Task Manipulation for Inexpensive Robots Using End-to-End Learning from Demonstration
(2018)

We propose a technique for multi-task learning from demonstration that trains the controller of a low-cost robotic arm to accomplish several complex picking and placing tasks, as well as non-prehensile manipulation. The controller is a recurrent neural network using raw images as input and generating robot arm trajectories, with the parameters shared across the tasks. The controller also combines VAE-GAN-based reconstruction with autoregressive multimodal action prediction. Our results demonstrate that it is possible to learn complex manipulation tasks, such as picking up a towel, wiping an object, and depositing the towel to its previous position, entirely from raw images with direct behavior cloning. We show that weight sharing and reconstruction-based regularization substantially improve generalization and robustness, and training on multiple tasks simultaneously increases the success rate on all tasks.
Mechanical design of the Wheel-Leg hybrid mobile robot to realize a large wheel diameter
(2010)

In this paper, a new category of the wheel-leg hybrid robot is presented. The proposed mechanism can compose large wheel diameter compared with the previous hybrid robot to realize a greater ability to climb obstacles. A prototype model of one Wheel-Leg module of the proposed robot mechanism has been developed to illustrate the concept. Actual design and mode changing experiment with a test mechanical module is also presented. Basic movement tests and a test of the basic properties of the rotational fingertip are also shown. The Basic configurations of wheel-leg retractable is considered well. The integrated mode is also described.
Development of GaN HEMT based High Power High Efficiency Distributed Power Amplifier for Military Applications
(2007)

Implementing wide bandgap GaN HEMT device into broadband distributed power amplifier creates a tremendous opportunity for RF designers to develop high power high efficiency very broadband power amplifiers for military applications. Several prototypes of 10-40 W GaN based distributed power amplifiers, including MMIC distributed PA, are currently under the development at Rockwell Collins, Inc. In this paper, we will discuss the results of a 10 W distributed power amplifier with the maximum power output of more than 40 dBm and a power-added efficiency of 30-70% over the bandwidth of 20-2000 MHz.
IDENTIFICATION OF FAILURE MECHANISMS TO ENHANCE PROGNOSTIC OUTCOMES
(2011)

Predicting the reliability of a system in its actual life-cycle conditions and estimating its time to failure is helpful in decision making to mitigate system risks. There are three approaches to prognostics: the physics-of-failure approach, the data-driven approach, and the fusion approach. A key requirement in all these approaches is identification of the appropriate parameter(s) to monitor to gather data that can be used to assess impending failure. This paper presents a physics-of-failure approach, which uses failure modes, mechanisms and effects analysis (FMMEA) to enhance prognostics planning and implementation. This paper also presents the fusion approach to prognostics and the applicability of FMMEA to this approach. An example case of generating FMMEA information and using that to identify appropriate parameters to monitor is presented.
A survey on Vehicular Cloud Computing and its security
(2015)

Vehicular networking has a significant advantages in the today era. It provides desirable features and some specific applications such as efficient traffic management, road safety and infotainment. The vehicle consists of comparatively more communication systems such as on-board computing device, storage and computing power, GPS etc. to provide Intelligent Transportation System (ITS). The new hybrid technology known as Vehicular Cloud Computing (VCC) has great impact on the ITS by using the resources of vehicles such as GPS, storage, internet and computing power for instant decision making and sharing information on the cloud. Moreover, the paper not only present the concept of vehicular cloud but also provide a brief overview on the applications, security issues, threats and security solution for the VCC.
Tabu Search - Part II
(1990)

Full terms and conditions of use: http://pubsonline.informs.org/page/terms-and-conditions This article may be used only for the purposes of research, teaching, and/or private study. Commercial use or systematic downloading (by robots or other automatic processes) is prohibited without explicit Publisher approval, unless otherwise noted. For more information, contact permissions@informs.org. The Publisher does not warrant or guarantee the article’s accuracy, completeness, merchantability, fitness for a particular purpose, or non-infringement. Descriptions of, or references to, products or publications, or inclusion of an advertisement in this article, neither constitutes nor implies a guarantee, endorsement, or support of claims made of that product, publication, or service. © 1990 INFORMS
Marahel : A Language for Constructive Level Generation
(2017)

Marahel is a language and framework for constructive generation of 2D tile-based game levels. It is developed with the dual aim of making it easier to build level generators for game developers, and to help solving the general level generation problem by creating a generator space that can be searched using evolution. We describe the different sections of the level generators, and show examples of generated maps from 5 different generators. We analyze their expressive range on three dimensions: percentage of empty space, number of isolated elements, and cell-wise entropy of empty space. The results show that generators that have starkly different output from each other can easily be defined in Marahel.
Right nulled GLR parsers
(2006)

The right nulled generalized LR parsing algorithm is a new generalization of LR parsing which provides an elegant correction to, and extension of, Tomita's GLR methods whereby we extend the notion of a reduction in a shift-reduce parser to include right nulled items. The result is a parsing technique which runs in linear time on LR(1) grammars and whose performance degrades gracefully to a polynomial bound in the presence of nonLR(1) rules. Compared to other GLR-based techniques, our algorithm is simpler and faster.
One-vs-Each Approximation to Softmax for Scalable Estimation of Probabilities
(2016)

The softmax representation of probabilities for categorical variables plays a prominent role in modern machine learning with numerous applications in areas such as large scale classification, neural language modeling and recommendation systems. However, softmax estimation is very expensive for large scale inference because of the high cost associated with computing the normalizing constant. Here, we introduce an efficient approximation to softmax probabilities which takes the form of a rigorous lower bound on the exact probability. This bound is expressed as a product over pairwise probabilities and it leads to scalable estimation based on stochastic optimization. It allows us to perform doubly stochastic estimation by subsampling both training instances and class labels. We show that the new bound has interesting theoretical properties and we demonstrate its use in classification problems.
Object Recognition using 3D SIFT in Complex CT Volumes
(2010)

The automatic detection of objects within complex volumetric imagery is becoming of increased interest due to the use of dual energy Computed Tomography (CT) scanners as an aviation security deterrent. These devices produce a volumetric image akin to that encountered in prior medical CT work but in this case we are dealing with a complex multi-object volumetric environment including significant noise artefacts. In this work we look at the application of the recent extension to the seminal SIFT approach to the 3D volumetric recognition of rigid objects within this complex volumetric environment. A detailed overview of the approach and results when applied to a set of exemplar CT volumetric imagery is presented.
Pulsating torque minimization techniques for permanent magnet AC motor drives-a review
(1996)

AbstructPermanent magnet ac (PMAC) motor drives are finding expanded use in high-performance applications where torque smoothness is essential. This paper reviews a wide range of motorand controller-based design techniques that have been described in the literature for minimizing the generation of cogging and ripple torques in both sinusoidal and trapezoidal PMAC motor drives. Sinusoidal PMAC drives generally show the greatest potential for pulsating torque minimization using wellknown motor design techniques such as skewing and fractional slot pitch windings. In contrast, trapezoidal PMAC drives pose more difficult tradeoffs in both the motor and controller design which may require compromises in drive simplicity and cost to improve torque smoothness. Controller-based techniques for minimizing pulsating torque typically involve the use of active cancellation algorithms which depend on either accurate tuning or adaptive control schemes for effectiveness. In the end, successful suppression of pulsating torque ultimately relies on an orchestrated systems approach to all aspects of the PMAC machine and controller design which often requires a carefully selected combination of minimization techniques.
Commutation torque ripple reduction in brushless DC motor drives using a single DC current sensor
(2004)

This paper presents a comprehensive study on reducing commutation torque ripples generated in brushless DC motor drives with only a single DC-link current sensor provided. In such drives, commutation torque ripple suppression techniques that are practically effective in low speed as well as high speed regions are scarcely found. The commutation compensation technique proposed here is based on a strategy that the current slopes of the incoming and the outgoing phases during the commutation interval can be equalized by a proper duty-ratio control. Being directly linked with deadbeat current control scheme, the proposed control method accomplishes suppression of the spikes and dips superimposed on the current and torque responses during the commutation intervals of the inverter. Effectiveness of the proposed control method is verified through simulations and experiments.
Targeted Restoration of the Intestinal Microbiota with a Simple, Defined Bacteriotherapy Resolves Relapsing Clostridium difficile Disease in Mice
(2012)

Relapsing C. difficile disease in humans is linked to a pathological imbalance within the intestinal microbiota, termed dysbiosis, which remains poorly understood. We show that mice infected with epidemic C. difficile (genotype 027/BI) develop highly contagious, chronic intestinal disease and persistent dysbiosis characterized by a distinct, simplified microbiota containing opportunistic pathogens and altered metabolite production. Chronic C. difficile 027/BI infection was refractory to vancomycin treatment leading to relapsing disease. In contrast, treatment of C. difficile 027/BI infected mice with feces from healthy mice rapidly restored a diverse, healthy microbiota and resolved C. difficile disease and contagiousness. We used this model to identify a simple mixture of six phylogenetically diverse intestinal bacteria, including novel species, which can re-establish a health-associated microbiota and clear C. difficile 027/BI infection from mice. Thus, targeting a dysbiotic microbiota with a defined mixture of phylogenetically diverse bacteria can trigger major shifts in the microbial community structure that displaces C. difficile and, as a result, resolves disease and contagiousness. Further, we demonstrate a rational approach to harness the therapeutic potential of health-associated microbial communities to treat C. difficile disease and potentially other forms of intestinal dysbiosis.
Partitioning and Segment Organization Strategies for Real-Time Selective Search on Document Streams
(2017)

The basic idea behind selective search is to partition a collection into topical clusters, and for each query, consider only a subset of the clusters that are likely to contain relevant documents. Previous work on web collections has shown that it is possible to retain high-quality results while considering only a small fraction of the collection. These studies, however, assume static collections where it is feasible to run batch clustering algorithms for partitioning. In this work, we consider the novel formulation of selective search on document streams (specifically, tweets), where partitioning must be performed incrementally. In our approach, documents are partitioned into temporal segments and selective search is performed within each segment: these segments can either be clustered using batch or online algorithms, and at different temporal granularities. For efficiency, we take advantage of word embeddings to reduce the dimensionality of the document vectors. Experiments with test collections from the TREC Microblog Tracks show that we are able to achieve precision indistinguishable from exhaustive search while considering only around 5% of the collection. Interestingly, we observe no significant effectiveness differences between batch vs. online clustering and between hourly vs. daily temporal segments, despite them being very different index organizations. This suggests that architectural choices should be primarily guided by efficiency considerations.
A novel three-phase DC/DC converter for high-power applications
(2004)

This paper proposes a new three-phase series resonant converter. The principle working of the converter is described analytically in detail for switching frequencies equal to the resonant frequency and for switching frequencies greater than the resonant frequency. Additionally, detailed simulations are performed to analyse the converter. Based on the analysis, design criteria for a 5 kW breadboard are derived. The 5 kW breadboard version of the converter has been built to validate the analytical investigations and simulations experimentally. Moreover, the breadboard is used to investigate the ZVS and ZCS possibilities of the topology and the influence of the deadtime and the switching frequency on the overall efficiency.
Facebook® and academic performance
(2010)

There is much talk of a change in modern youth – often referred to as digital natives or Homo Zappiens – with respect to their ability to simultaneously process multiple channels of information. In other words, kids today can multitask. Unfortunately for proponents of this position, there is much empirical documentation concerning the negative effects of attempting to simultaneously process different streams of information showing that such behavior leads to both increased study time to achieve learning parity and an increase in mistakes while processing information than those who are sequentially or serially processing that same information. This article presents the preliminary results of a descriptive and exploratory survey study involving Facebook use, often carried out simultaneously with other study activities, and its relation to academic performance as measured by self-reported Grade Point Average (GPA) and hours spent studying per week. Results show that Facebook users reported having lower GPAs and spend fewer hours per week studying than nonusers. 2010 Elsevier Ltd. All rights reserved.
Silk - Generating RDF Links while Publishing or Consuming Linked Data
(2010)

The central idea of the Web of Data is to interlink data items using RDF links. However, in practice most data sources are not sufficiently interlinked with related data sources. The Silk Link Discovery Framework addresses this problem by providing tools to generate links between data items based on user-provided link specifications. It can be used by data publishers to generate links between data sets as well as by Linked Data consumers to augment Web data with additional RDF links. In this poster we present the Silk Link Discovery Framework and report on two usage examples in which we employed Silk to generate links between two data sets about movies as well as to find duplicate persons in a stream of data items that is crawled from the Web.
Towards End-to-End Lane Detection: an Instance Segmentation Approach
(2018)

Modern cars are incorporating an increasing number of driver assist features, among which automatic lane keeping. The latter allows the car to properly position itself within the road lanes, which is also crucial for any subsequent lane departure or trajectory planning decision in fully autonomous cars. Traditional lane detection methods rely on a combination of highly-specialized, hand-crafted features and heuristics, usually followed by post-processing techniques, that are computationally expensive and prone to scalability due to road scene variations. More recent approaches leverage deep learning models, trained for pixel-wise lane segmentation, even when no markings are present in the image due to their big receptive field. Despite their advantages, these methods are limited to detecting a pre-defined, fixed number of lanes, e.g. ego-lanes, and can not cope with lane changes. In this paper, we go beyond the aforementioned limitations and propose to cast the lane detection problem as an instance segmentation problem - in which each lane forms its own instance - that can be trained end-to-end. To parametrize the segmented lane instances before fitting the lane, we further propose to apply a learned perspective transformation, conditioned on the image, in contrast to a fixed ”bird’s-eye view” transformation. By doing so, we ensure a lane fitting which is robust against road plane changes, unlike existing approaches that rely on a fixed, predefined transformation. In summary, we propose a fast lane detection algorithm, running at 50 fps, which can handle a variable number of lanes and cope with lane changes. We verify our method on the tuSimple dataset and achieve competitive results.
Information Extraction Using Web Usage Mining, Web Scrapping and Semantic Annotation
(2011)

Extracting useful information from the web is the most significant issue of concern for the realization of semantic web. This may be achieved by several ways among which Web Usage Mining, Web Scrapping and Semantic Annotation plays an important role. Web mining enables to find out the relevant results from the web and is used to extract meaningful information from the discovery patterns kept back in the servers. Web usage mining is a type of web mining which mines the information of access routes/manners of users visiting the web sites. Web scraping, another technique, is a process of extracting useful information from HTML pages which may be implemented using a scripting language known as Prolog Server Pages(PSP) based on Prolog. Third, Semantic annotation is a technique which makes it possible to add semantics and a formal structure to unstructured textual documents, an important aspect in semantic information extraction which may be performed by a tool known as KIM(Knowledge Information Management). In this paper, we revisit, explore and discuss some information extraction techniques on web like web usage mining, web scrapping and semantic annotation for a better or efficient information extraction on the web illustrated with examples.
Making Arabic PDF books accessible using gamification
(2014)

Most of online Arabic books are not accessible to Arab people with visual impairments. They cannot read online books because they are usually scanned images of the original ones. There is also a problem in PDF encoding of some of the textual books. One of the solutions is to use an Arabic OCR to convert scanned books into text; however Arabic OCR is still in its early stages and suffers from many limitations. In this paper we propose the use of human recognition skills to replace OCR limitations by incorporating the concepts of crowdsourcing and gamification. Our proposed system is in the form of a mobile recall game that presents players with word images segmented from the books to be converted into text. The players' answers are checked using techniques similar to what is used in word spotting. We initially implemented two components of the system; the segmentation, and the feature extraction and matching components. For the feature extraction and matching component, which is used to verify the player's answers, we performed four tests to choose a similarity measure threshold for accepting an entered word as a correct answer. Future work will consider other means of input correctness assurance.