SoroushVahidi/scidocs huggingface dataset:
A Secure and Efficient Uniqueness-and-Anonymity-Preserving Remote User Authentication Scheme for Connected Health Care
(2013)

Connected health care has several applications including telecare medicine information system, personally controlled health records system, and patient monitoring. In such applications, user authentication can ensure the legality of patients. In user authentication for such applications, only the legal user/patient himself/herself is allowed to access the remote server, and no one can trace him/her according to transmitted data. Chang et al. proposed a uniqueness-and-anonymity-preserving remote user authentication scheme for connected health care (Chang et al., J Med Syst 37:9902, 2013). Their scheme uses the user’s personal biometrics along with his/her password with the help of the smart card. The user’s biometrics is verified using BioHashing. Their scheme is efficient due to usage of one-way hash function and exclusive-or (XOR) operations. In this paper, we show that though their scheme is very efficient, their scheme has several security weaknesses such as (1) it has design flaws in login and authentication phases, (2) it has design flaws in password change phase, (3) it fails to protect privileged insider attack, (4) it fails to protect the man-in-the middle attack, and (5) it fails to provide proper authentication. In order to remedy these security weaknesses in Chang et al.’s scheme, we propose an improvement of their scheme while retaining the original merit of their scheme. We show that our scheme is efficient as compared to Chang et al.’s scheme. Through the security analysis, we show that our scheme is secure against possible attacks. Further, we simulate our scheme for the formal security verification using the widely-accepted AVISPA (Automated Validation of Internet Security Protocols and Applications) tool to ensure that our scheme is secure against passive and active attacks. In addition, after successful authentication between the user and the server, they establish a secret session key shared between them for future secure communication.
S3: A Symbolic String Solver for Vulnerability Detection in Web Applications
(2014)

Motivated by the vulnerability analysis of web programs which work on string inputs, we present S3, a new symbolic string solver. Our solver employs a new algorithm for a constraint language that is expressive enough for widespread applicability. Specifically, our language covers all the main string operations, such as those in JavaScript. The algorithm first makes use of a symbolic representation so that membership in a set defined by a regular expression can be encoded as string equations. Secondly, there is a constraint-based generation of instances from these symbolic expressions so that the total number of instances can be limited. We evaluate S3 on a well-known set of practical benchmarks, demonstrating both its robustness (more definitive answers) and its efficiency (about 20 times faster) against the state-of-the-art.
NANOFIBRILLATED CELLULOSE AS PAPER ADDITIVE IN EUCALYPTUS PULPS
(2012)

In this work, the physical and mechanical properties of bleached Eucalyptus pulp reinforced with nanofibrillated cellulose (NFC) are compared with those of traditional beaten pulp used in the making of writing/printing and offset printing papers. For this purpose, three different types of hardwood slurries were prepared: beaten pulps, unbeaten pulps reinforced with NFC, and slightly beaten pulps also reinforced with NFC. Physical and mechanical tests were performed on handsheets from these different slurries. The results showed that adding NFC to unbeaten pulps results in physical and mechanical properties similar to those in pulps used for printing/writing papers. Nevertheless, the best results were obtained in slurries previously beaten at slight conditions and subsequently reinforced with NFC. These results demonstrate that the addition of NFC allows a reduction in beating intensity without decreasing the desired mechanical properties for this specific purpose.
Make Evasion Harder: An Intelligent Android Malware Detection System
(2018)

To combat the evolving Android malware attacks, in this paper, instead of only using Application Programming Interface (API) calls, we further analyze the different relationships between them and create higher-level semantics which require more efforts for attackers to evade the detection. We represent the Android applications (apps), related APIs, and their rich relationships as a structured heterogeneous information network (HIN). Then we use a meta-path based approach to characterize the semantic relatedness of apps and APIs. We use each meta-path to formulate a similarity measure over Android apps, and aggregate different similarities using multi-kernel learning to make predictions. Promising experimental results based on real sample collections from Comodo Cloud Security Center demonstrate that our developed system HinDroid outperforms other alternative Android malware detection techniques.
Learning Latent Vector Spaces for Product Search
(2016)

We introduce a novel latent vector space model that jointly learns the latent representations of words, e-commerce products and a mapping between the two without the need for explicit annotations. The power of the model lies in its ability to directly model the discriminative relation between products and a particular word. We compare our method to existing latent vector space models (LSI, LDA and word2vec) and evaluate it as a feature in a learning to rank setting. Our latent vector space model achieves its enhanced performance as it learns better product representations. Furthermore, the mapping from words to products and the representations of words benefit directly from the errors propagated back from the product representations during parameter estimation. We provide an in-depth analysis of the performance of our model and analyze the structure of the learned representations.
Improving Login Authorization by Providing Graphical Password (Security)
(2013)

Usable security has unique usability challenges because the need for security often means that standard humancomputer-interaction approaches cannot be directly applied. An important usability goal for authentication systems is to support users in selecting better passwords. Users often create memorable passwords that are easy for attackers to guess, but strong system-assigned passwords are difficult for users to remember. So researchers of modern days have gone for alternative methods where in graphical pictures are used as passwords. Graphical passwords essentially use images or representation of images as passwords. Human brain is good in remembering picture than textual character. There are various graphical password schemes or graphical password software in the market. However, very little research has been done to analyze graphical passwords that are still immature. There for, this project work merges persuasive selective click points and password guessing resistant protocol. The major goal of this work is to reduce the guessing attacks as well as encouraging users to select more random, and difficult passwords to guess. Well known security threats like brute force attacks and dictionary attacks can be successfully abolished using this method.
A novel corner-fed patch to reduce cross-polarization for a microstrip antenna array
(2008)

This paper presents a novel corner-fed microstrip square patch. On the patch there is a slot along the diagonal. With this slot, the current distribution on the patch is changed. The currents related to co-polarization become more dominant and those related to cross-polarization become more symmetrical. These two factors result in a reduction in the cross-polarization level. An eight element shunt connected series-fed linear array has been designed, manufactured and tested. The measured results show that the cross-polarization level is reduced by 10.5 dB, while the other performances of the array are nearly the same as those of a standard one.
Advertising Keyword Recommendation based on Supervised Link Prediction in Multi-Relational Network
(2017)

In the sponsored search system, advertisers bid on keywords that are related to their products or services to participate in repeated auctions and display their ads on the search result pages. Since there is a huge inventory of possible terms, instructive keyword recommendation is an important component to help advertisers optimize their campaigns and improve ad monetization. In this paper, by constructing a heterogeneous network which contains four types of links between advertisers and keywords based on different data resources and mining complex representations of network structure and task-guided attributes of nodes, we propose an approach to keyword recommendation based on supervised link prediction in multi-relational network. This method can retrieve ample candidates and provide informative ranking scores for recommended list of keywords, experimental results with real sponsored search data validate the effectiveness of the proposed algorithm in producing valuable keywords for advertisers.
Mean Shift, Mode Seeking, and Clustering
(1995)

Mean shift, a simple iterative procedure that shifts each data point to the average of data points in its neighborhood, is generalized and analyzed in this paper. This generalization makes some k-means like clustering algorithms its special cases. It is shown that mean shift is a mode-seeking process on a surface constructed with a “shadow” kernel. For Gaussian kernels, mean shift is a gradient mapping. Convergence is studied for mean shift iterations. Cluster analysis is treated as a deterministic problem of finding a fixed point of mean shift that characterizes the data. Applications in clustering and Hough transform are demonstrated. Mean shift is also considered as an evolutionary strategy that performs multistart global optimization.
Information Theoretic-Learning auto-encoder
(2016)

We propose Information Theoretic-Learning (ITL) divergence measures for variational regularization of neural networks. We also explore ITL-regularized autoencoders as an alternative to variational autoencoding bayes, adversarial autoencoders and generative adversarial networks for randomly generating sample data without explicitly defining a paritition function. This paper also formalizes, generative moment matching networks under the ITL framework.
Adversarial Autoencoders
(2015)

In this paper we propose a new method for regularizing autoencoders by imposing an arbitrary prior on the latent representation of the autoencoder. Our method, named “adversarial autoencoder”, uses the recently proposed generative adversarial networks (GAN) in order to match the aggregated posterior of the hidden code vector of the autoencoder with an arbitrary prior. Matching the aggregated posterior to the prior ensures that there are no “holes” in the prior, and generating from any part of prior space results in meaningful samples. As a result, the decoder of the adversarial autoencoder learns a deep generative model that maps the imposed prior to the data distribution. We show how adversarial autoencoders can be used to disentangle style and content of images and achieve competitive generative performance on MNIST, Street View House Numbers and Toronto Face datasets.
EPIC: Efficient Private Image Classification (or: Learning from the Masters)
(2019)

Outsourcing an image classification task raises privacy concerns, both from the image provider’s perspective, who wishes to keep their images confidential, and from the classification algorithm provider’s perspective, who wishes to protect the intellectual property of their classifier. We propose EPIC, an efficient private image classification system based on support vector machine (SVM) learning, secure against malicious adversaries. EPIC builds upon transfer learning techniques known from the Machine Learning (ML) literature and minimizes the load on the privacy-preserving part. Our solution is based on Multiparty Computation (MPC), it is 34 times faster than Gazelle (USENIX’18) –the state-of-the-art in private image classification– and it improves the communication cost by 50 times, with a 7% higher accuracy on CIFAR-10 dataset. For the same accuracy as Gazelle achieves on CIFAR-10, EPIC is 700 times faster and the communication cost is reduced by 500 times.
Transformation of generalized chebyshev lowpass filter prototype to Suspended Stripline Structure highpass filter for wideband communication systems
(2013)

This paper presents the transformation of generalized Chebyshev lowpass filter prototype to highpass filter using Suspended Stripline Structure (SSS) technology. The study involves circuit analysis to determine generalized Chebyshev responses with a transmission zero at finite frequency. The transformation of the highpass filter from the lowpass filter prototype provides a cutoff frequency of 3.1 GHz with a return loss better than -20 dB. The design is simulated on a Roger Duroid RO4350 with a dielectric constant, εr of 3.48 and a thickness of 0.168 mm. The simulation performance results show promising results that could be further examined during the experimental works. This class of generalized Chebyshev highpass filter with finite transmission zero would be useful in any RF/ microwave communication systems particularly in wideband applications where the reduction of overall physical volume and weight as well as cost very important, while maintaining its excellent performance.
Coupled IGMM-GANs for deep multimodal anomaly detection in human mobility data
(2018)

Detecting anomalous activity in human mobility data has a number of applications including road hazard sensing, telematic based insurance, and fraud detection in taxi services and ride sharing. In this paper we address two challenges that arise in the study of anomalous human trajectories: 1) a lack of ground truth data on what defines an anomaly and 2) the dependence of existing methods on significant pre-processing and feature engineering. While generative adversarial networks seem like a natural fit for addressing these challenges, we find that existing GAN based anomaly detection algorithms perform poorly due to their inability to handle multimodal patterns. For this purpose we introduce an infinite Gaussian mixture model coupled with (bi-directional) generative adversarial networks, IGMM-GAN, that is able to generate synthetic, yet realistic, human mobility data and simultaneously facilitates multimodal anomaly detection. Through estimation of a generative probability density on the space of human trajectories, we are able to generate realistic synthetic datasets that can be used to benchmark existing anomaly detection methods. The estimated multimodal density also allows for a natural definition of outlier that we use for detecting anomalous trajectories. We illustrate our methodology and its improvement over existing GAN anomaly detection on several human mobility datasets, along with MNIST.
An Italian Twitter Corpus of Hate Speech against Immigrants
(2018)

The paper describes a recently-created Twitter corpus of about 6,000 tweets, annotated for hate speech against immigrants, and developed to be a reference dataset for an automatic system of hate speech monitoring. The annotation scheme was therefore specifically designed to account for the multiplicity of factors that can contribute to the definition of a hate speech notion, and to offer a broader tagset capable of better representing all those factors, which may increase, or rather mitigate, the impact of the message. This resulted in a scheme that includes, besides hate speech, the following categories: aggressiveness, offensiveness, irony, stereotype, and (on an experimental basis) intensity. The paper hereby presented namely focuses on how this annotation scheme was designed and applied to the corpus. In particular, also comparing the annotation produced by CrowdFlower contributors and by expert annotators, we make some remarks about the value of the novel resource as gold standard, which stems from a preliminary qualitative analysis of the annotated data and on future corpus development.
Towards reducing the attack surface of software backdoors
(2013)

Backdoors in software systems probably exist since the very first access control mechanisms were implemented and they are a well-known security problem. Despite a wave of public discoveries of such backdoors over the last few years, this threat has only rarely been tackled so far.
 In this paper, we present an approach to reduce the attack surface for this kind of attacks and we strive for an automated identification and elimination of backdoors in binary applications. We limit our focus on the examination of server applications within a client-server model. At the core, we apply variations of the delta debugging technique and introduce several novel heuristics for the identification of those regions in binary application that backdoors are typically installed in (i.e., authentication and command processing functions). We demonstrate the practical feasibility of our approach on several real-world backdoors found in modified versions of the popular software tools ProFTPD and OpenSSH. Furthermore, we evaluate our implementation not only on common instruction set architectures such as x86-64, but also on commercial off-the-shelf embedded devices powered by a MIPS32 processor.
Ovariohysterectomy versus ovariectomy for elective sterilization of female dogs and cats: is removal of the uterus necessary?
(2011)

Views: Commentary 1409 E sterilization of female dogs and cats is one of the most common procedures performed in veterinary practice and is considered by private veterinary practitioners as one of the most important skills required of new graduates. Potential benefits of sterilization include population control, prevention of diseases of the reproductive tract, and elimination of undesirable behaviors associated with hormonal cycling. The AVMA and the Association of Shelter Veterinarians both promote elective sterilization of female dogs and cats as integral to reducing euthanasia of unwanted dogs and cats. Sterilization of female dogs and cats can be accomplished by removing both the ovaries and uterus (ovariohysterectomy) or by removing the ovaries alone (ovariectomy). Ovariohysterectomy has historically been recommended in the United States and Canada and is currently emphasized at schools and colleges of veterinary medicine in these countries. To our knowledge, only one of the most frequently used surgical textbooks in the United States and Canada describes ovariectomy, and ovariectomy is generally not taught to veterinary students during their surgical laboratories. The Clinical Proficiency Examination, which is the final step in the Educational Commission for Foreign Veterinary Graduates’ program for establishing the educational equivalence of graduates of nonaccredited veterinary schools seeking licensure in the United States or Canada, requires “complete removal of both ovaries and removal of the majority of the uterus” to obtain a passing grade. Despite the apparent preference for ovariohysterectomy in the United States and Canada, ovariectomy appears to have become the standard of care in many European countries. In addition, with the development of minimally invasive surgical techniques, laparoscopic ovariectomy has gained popularity. Thus, it may be helpful to review the scientific evidence comparing ovariohysterectomy and ovariectomy for elective sterilization of healthy female dogs and cats.
Discovering Texture Regularity as a Higher-Order Correspondence Problem
(2006)

Understanding texture regularity in real images is a challenging computer vision task. We propose a higher-order feature matching algorithm to discover the lattices of near-regular textures in real images. The underlying lattice of a near-regular texture identifies all of the texels as well as the global topology among the texels. A key contribution of this paper is to formulate lattice-finding as a correspondence problem. The algorithm finds a plausible lattice by iteratively proposing texels and assigning neighbors between the texels. Our matching algorithm seeks assignments that maximize both pair-wise visual similarity and higher-order geometric consistency. We approximate the optimal assignment using a recently developed spectral method. We successfully discover the lattices of a diverse set of unsegmented, real-world textures with significant geometric warping and large appearance variation among
ltm : An R Package for Latent Variable Modeling and Item Response Theory Analyses
(2006)

The R package ltm has been developed for the analysis of multivariate dichotomous and polytomous data using latent variable models, under the Item Response Theory approach. For dichotomous data the Rasch, the Two-Parameter Logistic, and Birnbaum’s Three-Parameter models have been implemented, whereas for polytomous data Semejima’s Graded Response model is available. Parameter estimates are obtained under marginal maximum likelihood using the Gauss-Hermite quadrature rule. The capabilities and features of the package are illustrated using two real data examples.
A Model-Driven Framework to Develop Personalized Health Monitoring
(2016)

Both distributed healthcare systems and the Internet of Things (IoT) are currently hot topics. The latter is a new computing paradigm to enable advanced capabilities in engineering various applications, including those for healthcare. For such systems, the core social requirement is the privacy/security of the patient information along with the technical requirements (e.g., energy consumption) and capabilities for adaptability and personalization. Typically, the functionality of the systems is predefined by the patient’s data collected using sensor networks along with medical instrumentation; then, the data is transferred through the Internet for treatment and decision-making. Therefore, systems creation is indeed challenging. In this paper, we propose a model-driven framework to develop the IoT-based prototype and its reference architecture for personalized health monitoring (PHM) applications. The framework contains a multi-layered structure with feature-based modeling and feature model transformations at the top and the application software generation at the bottom. We have validated the framework using available tools and developed an experimental PHM to test some aspects of the functionality of the reference architecture in real time. The main contribution of the paper is the development of the model-driven computational framework with emphasis on the synergistic effect of security and energy issues.
Recognizing human activity in smart home using deep learning algorithm
(2014)

There is a topic of interest for many researchers about human activities recognition in recent years. In this paper, we propose the research to recognize human activities by deep learning (DL) algorithm. We collected the data from participants performing activities in order to evaluate the human activities recognition results. After pre-training the deep network, the fine-tuning process begins. Compared with Hidden Markov Model (HMM) and naïve Bayes Classifier (NBC), the experiment results show that the proposed deep learning algorithm is an effective way for recognizing human activities in smart home.