SoroushVahidi/scidocs huggingface dataset:
Classifying Data Streams with Skewed Class Distributions and Concept Drifts
(2008)

Classification is an important data analysis tool that uses a model built from historical data to predict class labels for new observations. More and more applications are featuring data streams, rather than finite stored data sets, which are a challenge for traditional classification algorithms. Concept drifts and skewed distributions, two common properties of data stream applications, make the task of learning in streams difficult. The authors aim to develop a new approach to classify skewed data streams that uses an ensemble of models to match the distribution over under-samples of negatives and repeated samples of positives.
Novel Radiation-Hardened-by-Design (RHBD) 12T Memory Cell for Aerospace Applications in Nanoscale CMOS Technology
(2017)

In this paper, a novel radiation-hardened-by-design (RHBD) 12T memory cell is proposed to tolerate single node upset and multiple-node upset based on upset physical mechanism behind soft errors together with reasonable layout-topology. The verification results obtained confirm that the proposed 12T cell can provide a good radiation robustness. Compared with 13T cell, the increased area, power, read/write access time overheads of the proposed 12T cell are −18.9%, −23.8%, and 171.6%/−50.0%, respectively. Moreover, its hold static noise margin is 986.2 mV which is higher than that of 13T cell. This means that the proposed 12T cell also has higher stability when it provides fault tolerance capability.
Smart Electric Motorcycle Security System Based on GSM and ZigBee Communication
(2018)

The storage of natural fuel is decreasing day by day and burning much of it can cause a massive environmental disaster. In order to save the nature from the disaster people need to think about some alternatives. The concept of making the battery operated vehicles comes as a rescue. The battery operated electric vehicle help in saving fuel and also help in lowering air pollution. Hybrid vehicles are already brought by several automobile manufacturers in market. This proposed system is going to offer an electric motorcycle combined with some security features based on ARM microcontroller, 8051 microcontroller, ZigBee and GSM communication which can be utilized both in Hybrid motorcycles and Electric motorcycles. When the proposed security features will be merged with those vehicles it will be an evolutionary concept in the world of next generation two-wheeler industry because besides lowering the level of air pollution and helping in controlling the use of fuel it mainly helps people to drive motorcycles safely.
Facial Expression Detection using Filtered Local Binary Pattern Features with ECOC Classifiers and Platt Scaling
(2010)

We outline a design for a FACS-based facial expression recognition system and describe in more detail the implementation of two of its main components. Firstly we look at how features that are useful from a pattern analysis point of view can be extracted from a raw input image. We show that good results can be obtained by using the method of local binary patterns (LPB) to generate a large number of candidate features and then selecting from them using fast correlation-based filtering (FCBF). Secondly we show how Platt scaling can be used to improve the performance of an error-correcting output code (ECOC) classifier.
Automatic Acquisition of Linguistic Patterns for Conceptual Modeling
(2005)

Conceptual modeling aims to capture the knowledge of a domain as perceived by the modeler and represent it in a way that will help further system analysis and design. Object-oriented methodology has been taken as a common practice for software system analysis and design because of its obvious advantages of handling the “software crisis” (Booch, 1994). Object-oriented analysis (OOA) is “a method of analysis that examines requirements from the perspectives of the classes and objects” (Booch, 1994). Object-oriented design (OOD) is a method of design “encompassing the process of OO decomposition and a notation for depicting both logical and physical as well as static and dynamic models of the system” (Booch, 1994).
Focus on Formative Feedback
(2007)

This paper reviews the corpus of research on feedback, with a particular focus on formative feedback—defined as information communicated to the learner that is intended to modify the learner’s thinking or behavior for the purpose of improving learning. According to researchers in the area, formative feedback should be multidimensional, nonevaluative, supportive, timely, specific, credible, infrequent, and genuine (e.g., Brophy, 1981; Schwartz & White, 2000). Formative feedback is usually presented as information to a learner in response to some action on the learner’s part. It comes in a variety of types (e.g., verification of response accuracy, explanation of the correct answer, hints, worked examples) and can be administered at various times during the learning process (e.g., immediately following an answer, after some period of time has elapsed). Finally, there are a number of variables that have been shown to interact with formative feedback’s success at promoting learning (e.g., individual characteristics of the learner and aspects of the task). All of these issues will be discussed in this paper. This review concludes with a set of guidelines for generating formative feedback.
X Goes First: Teaching Simple Games through Multimodal Interaction
(2014)

What would it take to teach a computer to play a game entirely through language and sketching? In this paper, we present an implemented program through which an instructor can teach the rules of simple board games using such input. We describe the architecture, information flow, and vocabulary of instructional events and walk through an annotated example. In our approach, the instructional and communication events guide abductive reasoning for language interpretation and help to integrate information from sketching and language. Having a general target representation enables the learning process to be viewed more as translation and problem solving than as induction. Lastly, learning by demonstration complements and extends instruction, resulting in concrete, operational rules.
Performance Analysis and Application of Mobile Blockchain
(2018)

Mobile security has become more and more important due to the boom of mobile commerce (m-commerce). However, the development of m-commerce is facing many challenges regarding data security problems. Recently, blockchain has been introduced as an effective security solution deployed successfully in many applications in practice, such as, Bitcoin, cloud computing, and Internet-of-Things. In this paper, we introduce a new m-commerce application using blockchain technology, namely, MobiChain, to secure transactions in the m-commerce. Especially, in the MobiChain application, the mining processes can be executed efficiently on mobile devices using our proposed Android core module. Through real experiments, we evaluate the performance of the proposed model and show that blockchain will be an efficient security solution for future m-commerce.
Indicator selection for daily equity trading with recurrent reinforcement learning
(2013)

Recurrent reinforcement learning (RRL), a machine learning technique, is very successful in training high frequency trading systems. When trading analysis of RRL is done with lower frequency financial data, e.g. daily stock prices, the decrease of autocorrelation in prices may lead to a decrease in trading profit. In this paper, we propose a RRL trading system which utilizes the price information, jointly with the indicators from technical analysis, fundamental analysis and econometric analysis, to produce long/short signals for daily trading. In the proposed trading system, we use a genetic algorithm as a pre-screening tool to search suitable indicators for RRL trading. Moreover, we modify the original RRL parameter update scheme in the literature for out-of-sample trading. Empirical studies are conducted based on data sets of 238 S&P stocks. It is found that the trading performance concerning the out-of sample daily Sharpe ratios turns better: the number of companies with a positive and significant Sharpe ratio increases after feeding the selected indicators jointly with prices information into the RRL system.
Self-stabilizing Systems in Spite of Distributed Control
(1974)

The synchronization task between loosely coupled cyclic sequential processes (as can be distinguished in, for instance, operating systems) can be viewed as keeping the relation “the system is in a legitimate state” invariant. As a result, each individual process step that could possibly cause violation of that relation has to be preceded by a test deciding whether the process in question is allowed to proceed or has to be delayed. The resulting design is readily—and quite systematically—implemented if the different processes can be granted mutually exclusive access to a common store in which “the current system state” is recorded.
Optimisation of the mover kinetic energy of a miniature linear actuator
(2014)

The linear actuator presented in this paper is a core component of an electronically-controlled linear escapement mechanism. Its role is to unlock mechanical parts, its mover being used as a hammer. In this situation, the kinetic energy acquired by the mover at the position of the impact is a defining factor. The multiobjective optimisation presented in this paper targets the maximisation of said kinetic energy and the minimisation of the overall size of the actuator. In addition to the objective, the originality of this paper is that the control strategy as well as the behaviour of the guide of the mover are directly taken into account in the optimisation process.
Smart Contract Templates: foundations, design landscape and research directions
(2016)

In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an agreement whose execution is both automatable and enforceable. We explore a simple semantic framework for smart contracts, covering both operational and non-operational aspects. We describe templates and agreements for legally-enforceable smart contracts, based on legal documents. Building upon the Ricardian Contract triple, we identify operational parameters in the legal documents and use these to connect legal agreements to standardised code. We also explore the design landscape, including increasing sophistication of parameters, increasing use of common standardised code, and long-term academic research. We conclude by identifying further work and sketching an initial set of requirements for a common language to support Smart Contract Templates.
Natural language question answering over RDF: a graph data driven approach
(2014)

RDF question/answering (Q/A) allows users to ask questions in natural languages over a knowledge base represented by RDF. To answer a national language question, the existing work takes a two-stage approach: question understanding and query evaluation. Their focus is on question understanding to deal with the disambiguation of the natural language phrases. The most common technique is the joint disambiguation, which has the exponential search space. In this paper, we propose a systematic framework to answer natural language questions over RDF repository (RDF Q/A) from a graph data-driven perspective. We propose a semantic query graph to model the query intention in the natural language question in a structural way, based on which, RDF Q/A is reduced to subgraph matching problem. More importantly, we resolve the ambiguity of natural language questions at the time when matches of query are found. The cost of disambiguation is saved if there are no matching found. We compare our method with some state-of-the-art RDF Q/A systems in the benchmark dataset. Extensive experiments confirm that our method not only improves the precision but also speeds up query performance greatly.
A capability-based security approach to manage access control in the Internet of Things
(2013)

Resource and information protection plays a relevant role in distributed systems like the ones present in the Internet of Things (IoT). Authorization frameworks like RBAC and ABAC do not provide scalable, manageable, effective, and efficient mechanisms to support distributed systems with many interacting services and are not able to effectively support the dynamicity and scaling needs of IoT contexts that envisage a potentially unbound number of sensors, actuators and related resources, services and subjects, as well as a more relevance of short-lived, unplanned and dynamic interaction patterns. Furthermore, as more end-users start using smart devices (e.g. smart phones, smart home appliances, etc.) the need to have more scalable, manageable, understandable and easy to use access control mechanisms increases. This paper describes a capability based access control system that enterprises, or even individuals, can use to manage their own access control processes to services and information. The proposed mechanism supports rights delegation and a more sophisticated access control customization. The proposed approach is being developed within the European FP7 IoT@Work project to manage access control to some of the project’s services deployed in the shop floor.
Automated video looping with progressive dynamism
(2013)

Given a short video we create a representation that captures a spectrum of looping videos with varying levels of dynamism, ranging from a static image to a highly animated loop. In such a progressively dynamic video, scene liveliness can be adjusted interactively using a slider control. Applications include background images and slideshows, where the desired level of activity may depend on personal taste or mood. The representation also provides a segmentation of the scene into independently looping regions, enabling interactive local adjustment over dynamism. For a landscape scene, this control might correspond to selective animation and deanimation of grass motion, water ripples, and swaying trees. Converting arbitrary video to looping content is a challenging research problem. Unlike prior work, we explore an optimization in which each pixel automatically determines its own looping period. The resulting nested segmentation of static and dynamic scene regions forms an extremely compact representation.
Dwarf germplasm: the key to giant Cannabis hempseed and cannabinoid crops
(2017)

After a century of banishment, both euphoric (“marijuana”) and non-euphoric (“industrial hemp”) classes of Cannabis sativa are attracting billions of dollars of investment as new legitimate crops. Most domesticated C. sativa is very tall, a phenotype that is desirable only for hemp fibre obtained from the stems. However, because the principal demands today are for chemicals from the inflorescence and oilseeds from the infructescence, an architecture maximizing reproductive tissues while minimizing stems is appropriate. Such a design was the basis of the greatest short-term increases in crop productivity in the history of agriculture: the creation of short-stature (“semi-dwarf”), high-harvest-index grain cultivars, especially by ideotype breeding, as demonstrated during the “Green Revolution.” This paradigm has considerable promise for C. sativa. The most critical dwarfing character for breeding such productivity into C. sativa is contraction of internodes. This reduces stem tissues (essentially a waste product except for fibre hemp) and results in compact inflorescences (which, on an area basis, maximize cannabinoid chemicals) and infructescences (which maximize oilseed production), as well as contributing to ease of harvesting and efficiency of production on an area basis. Four sources of germplasm useful for breeding semi-dwarf biotypes deserve special attention: (1) Naturally short northern Eurasian wild plants (often photoperiodically day-neutral, unlike like most biotypes) adapted to the stress of very short seasons by maximizing relative development of reproductive tissues. (2) Short, high-harvest-index, oilseed plants selected in northern regions of Eurasia. (3) “Indica type” marijuana, an ancient semi-dwarf cultigen tracing to the Afghanistan-Pakistan area. (4) Semi-dwarf strains of marijuana bred illegally in recent decades to avoid detection when grown clandestinely indoors for the black market. Although the high THC content in marijuana strains limits their usage as germplasm for low-THC cultivars, modern breeding techniques can control this variable. The current elimination of all marijuana germplasm from breeding of hemp cultivars is short-sighted because marijuana biotypes possess a particularly wide range of genes. There is an urgent need to develop public gene bank collections of Cannabis.
A 3.5-GHz PLL for fast low-IF/zero-IF LO switching in an 802.11 transceiver
(2005)

A PLL technique is introduced that enables fast and accurate frequency switching, independent of the loop bandwidth. It uses separate tuning paths, each driving a separate VCO tune port. Different frequencies are produced by letting the VCO make different weighted combinations of the stable tuning voltages. The PLL converges to the stable tuning voltages by switching it a few times between the desired frequencies and tuning paths. Once the stabilized tuning voltages are found, one can switch between frequencies as fast as one can switch between K/sub VCO/s. The technique is applied to a 3.5-GHz integer-N PLL to enable fast jumping of the local oscillator (LO) frequency when an 802.11 transceiver is switched between a low and a zero intermediate frequency (LIF/ZIF). It uses dual phase/frequency detectors (PFD), charge pumps (CPs), and on-chip loop filters to control two separate low-leakage VCO tune ports. Each PFD/tune port combination can be (de)activated separately, without disturbing the loop filters' charge. The 50-kHz bandwidth PLL achieves a measured 7-MHz jump with /spl plusmn/20 kHz accuracy within 6 /spl mu/s. The measured phase noise is -123 dBc/Hz at 1-MHz offset.
Imaging of conjoined twins
(2006)

The incidence of conjoined twins is estimated to be around 1 in 250,000 live births. There is a distinct female predominance. In this paper the imaging of conjoined twins both antenatally and postnatally is reviewed, in particular taking into consideration recent advances with multidetector CT. Accurate counselling of parents regarding the likely outcome of the pregnancy and the likelihood of successful separation is dependent on good prenatal imaging with ultrasound and MRI. Planning of postnatal surgical separation is aided by accurate preoperative imaging which, depending on the conjoined area, will encompass many imaging modalities, but often relies heavily on CT scanning.
Understanding Judgment of Information Quality and Cognitive Authority in the WWW
(1998)

In the WWW, people are engaging in interaction with more, and more diverse information than ever before, so there is an increasing need for information “filtering.” But because of the diversity of information resources, and the lack of traditional quality control on the WWW, the criteria of authority and quality of information that people have used for this purpose in past contexts may no longer be relevant. This paper reports on a study of people’s decision making with respect to quality and authority in the WWW. Seven facets of judgment of information quality were identified: source, content, format, presentation, currency, accuracy, and speed of loading. People mentioned source credibility with two levels: institutional level and individual level. Authority was identified as a underlying theme in source credibility. Institutional authority involved: institutional domain identified by URL; institution type; and institution reputation recognized by names. Individual authority involved: identification of creator/author; creator/author affiliation; and creator/author’s name. People were more or less concerned with evaluating information quality depending upon: the consequence of use of information; act or commitment based on information; and the focus of inquiry. It was also found that people believed that the web, as an institution, was less authoritative and less credible than other types of information systems.
Containment of misinformation spread in online social networks
(2012)

With their blistering expansions in recent years, popular on-line social sites such as Twitter, Facebook and Bebo, have become some of the major news sources as well as the most effective channels for viral marketing nowadays. However, alongside these promising features comes the threat of misinformation propagation which can lead to undesirable effects, such as the widespread panic in the general public due to faulty swine flu tweets on Twitter in 2009. Due to the huge magnitude of online social network (OSN) users and the highly clustered structures commonly observed in these kinds of networks, it poses a substantial challenge to efficiently contain viral spread of misinformation in large-scale social networks.
 In this paper, we focus on how to limit viral propagation of misinformation in OSNs. Particularly, we study a set of problems, namely the β1T -- Node Protectors, which aims to find the smallest set of highly influential nodes whose decontamination with good information helps to contain the viral spread of misinformation, initiated from the set I, to a desired ratio (1 − β) in T time steps. In this family set, we analyze and present solutions including inapproximability result, greedy algorithms that provide better lower bounds on the number of selected nodes, and a community-based heuristic method for the Node Protector problems. To verify our suggested solutions, we conduct experiments on real world traces including NetHEPT, NetHEPT_WC and Facebook networks. Empirical results indicate that our methods are among the best ones for hinting out those important nodes in comparison with other available methods.
Side Channels in Deduplication: Trade-offs between Leakage and Efficiency
(2016)

Deduplication removes redundant copies of files or data blocks stored on the cloud. Client-side deduplication, where the client only uploads the file upon the request of the server, provides major storage and bandwidth savings, but introduces a number of security concerns. Harnik et al. (2010) showed how cross-user client-side deduplication inherently gives the adversary access to a (noisy) side-channel that may divulge whether or not a particular file is stored on the server, leading to leakage of user information. We provide formal definitions for deduplication strategies and their security in terms of adversarial advantage. Using these definitions, we provide a criterion for designing good strategies and then prove a bound characterizing the necessary trade-off between security and efficiency.
Using speakers' referential intentions to model early cross-situational word learning.
(2009)

Word learning is a "chicken and egg" problem. If a child could understand speakers' utterances, it would be easy to learn the meanings of individual words, and once a child knows what many words mean, it is easy to infer speakers' intended meanings. To the beginning learner, however, both individual word meanings and speakers' intentions are unknown. We describe a computational model of word learning that solves these two inference problems in parallel, rather than relying exclusively on either the inferred meanings of utterances or cross-situational word-meaning associations. We tested our model using annotated corpus data and found that it inferred pairings between words and object concepts with higher precision than comparison models. Moreover, as the result of making probabilistic inferences about speakers' intentions, our model explains a variety of behavioral phenomena described in the word-learning literature. These phenomena include mutual exclusivity, one-trial learning, cross-situational learning, the role of words in object individuation, and the use of inferred intentions to disambiguate reference.