SoroushVahidi/scidocs huggingface dataset:
Enhanced Sphere Tracing
(2014)

In this paper we present several performance and quality enhancements to classical sphere tracing: First, we propose a safe, over-relaxation-based method for accelerating sphere tracing. Second, a method for dynamically preventing self-intersections upon converting signed distance bounds enables controlling precision and rendering performance. In addition, we present a method for significantly accelerating the sphere tracing intersection test for convex objects that are enclosed in convex bounding volumes. We also propose a screen-space metric for the retrieval of a good intersection point candidate, in case sphere tracing does not converge thus increasing rendering quality without sacrificing performance. Finally, discontinuity artifacts common in sphere tracing are reduced using a fixed-point iteration algorithm. We demonstrate complex scenes rendered in real-time with our method. The methods presented in this paper have more universal applicability beyond rendering procedurally generated scenes in real-time and can also be combined with path-tracing-based global illumination solutions.
Random Walks on Graphs: a Survey
(1993)

Dedicated to the marvelous random walk of Paul Erd} os through universities, continents, and mathematics Various aspects of the theory of random walks on graphs are surveyed. In particular, estimates on the important parameters of access time, commute time, cover time and mixing time are discussed. Connections with the eigenvalues of graphs and with electrical networks, and the use of these connections in the study of random walks is described. We also sketch recent algorithmic applications of random walks, in particular to the problem of sampling. 0. Introduction Given a graph and a starting point, we select a neighbor of it at random, and move to this neighbor; then we select a neighbor of this point at random, and move to it etc. The (random) sequence of points selected this way is a random walk on the graph. A random walk is a nite Markov chain that is time-reversible (see below). In fact, there is not much diierence between the theory of random walks on graphs and the theory of nite Markov chains; every Markov chain can be viewed as random walk on a directed graph, if we allow weighted edges. Similarly, time-reversible Markov chains can be viewed as random walks on undirected graphs, and symmetric Markov chains, as random walks on regular symmetric graphs. In this paper we'll formulate the results in terms of random walks, and mostly restrict our attention to the undirected case. 2 L. Lovv asz Random walks arise in many models in mathematics and physics. In fact, this is one of those notions that tend to pop up everywhere once you begin to look for them. For example, consider the shuuing of a deck of cards. Construct a graph whose nodes are all permutations of the deck, and two of them are adjacent if they come by one shuue move (depending on how you shuue). Then repeated shuue moves correspond to a random walk on this graph (see Diaconis 20]). The Brownian motion of a dust particle is random walk in the room. Models in statistical mechanics can be viewed as random walks on the set of states. The classical theory of random walks deals with random walks on simple , but innnite graphs, like grids, and studies their qualitative behaviour: does the random walk return to its starting point with probability one? does it return innnitely often? For example, PP olya (1921) proved that …
An improved auto-tuning scheme for PID controllers.
(2009)

An improved auto-tuning scheme is proposed for Ziegler-Nichols (ZN) tuned PID controllers (ZNPIDs), which usually provide excessively large overshoots, not tolerable in most of the situations, for high-order and nonlinear processes. To overcome this limitation ZNPIDs are upgraded by some easily interpretable heuristic rules through an online gain modifying factor defined on the instantaneous process states. This study is an extension of our earlier work [Mudi RK., Dey C. Lee TT. An improved auto-tuning scheme for PI controllers. ISA Trans 2008; 47: 45-52] to ZNPIDs, thereby making the scheme suitable for a wide range of processes and more generalized too. The proposed augmented ZNPID (AZNPID) is tested on various high-order linear and nonlinear dead-time processes with improved performance over ZNPID, refined ZNPID (RZNPID), and other schemes reported in the literature. Stability issues are addressed for linear processes. Robust performance of AZNPID is observed while changing its tunable parameters as well as the process dead-time. The proposed scheme is also implemented on a real time servo-based position control system.
Vision: automated security validation of mobile apps at app markets
(2011)

Smartphones and "app" markets are raising concerns about how third-party applications may misuse or improperly handle users' privacy-sensitive data. Fortunately, unlike in the PC world, we have a unique opportunity to improve the security of mobile applications thanks to the centralized nature of app distribution through popular app markets. Thorough validation of apps applied as part of the app market admission process has the potential to significantly enhance mobile device security. In this paper, we propose AppInspector, an automated security validation system that analyzes apps and generates reports of potential security and privacy violations. We describe our vision for making smartphone apps more secure through automated validation and outline key challenges such as detecting and analyzing security and privacy violations, ensuring thorough test coverage, and scaling to large numbers of apps.
A formal study of information retrieval heuristics
(2004)

Empirical studies of information retrieval methods show that good retrieval performance is closely related to the use of various retrieval heuristics, such as TF-IDF weighting. One basic research question is thus what exactly are these "necessary" heuristics that seem to cause good retrieval performance. In this paper, we present a formal study of retrieval heuristics. We formally define a set of basic desirable constraints that any reasonable retrieval function should satisfy, and check these constraints on a variety of representative retrieval functions. We find that none of these retrieval functions satisfies all the constraints unconditionally. Empirical results show that when a constraint is not satisfied, it often indicates non-optimality of the method, and when a constraint is satisfied only for a certain range of parameter values, its performance tends to be poor when the parameter is out of the range. In general, we find that the empirical performance of a retrieval formula is tightly related to how well it satisfies these constraints. Thus the proposed constraints provide a good explanation of many empirical observations and make it possible to evaluate any existing or new retrieval formula analytically.
Some Simple Effective Approximations to the 2-Poisson Model for Probabilistic Weighted Retrieval
(1994)

The 2-Poisson model for term frequencies is used to suggest ways of incorporating certain variables in probabilistic models for information retrieval. The variables concerned are within-document term tkequency, document length, and within-query term frequency. Simple weighting functions are developed, and tested on the TREC test collection. Considerable performance improvements (over simple inverse collection frequency weighting) are demonstrated.
Actuator fault detection and isolation system for an hexacopter
(2014)

The problem of detection and isolation of actuator faults in hexacopter vehicles is address in this article. The aim is to detect and isolate possible faults which can occur on the vehicle actuation system (i.e. rotors and propellers). The dynamic nonlinear model of an hexarotor vehicle is first derived to build a model-based diagnosis system. Then a Thau observer is developed to estimate the states of the hexarotor and, on the usage of this information, to generate the needed set of residuals. The developed fault detection and isolation system is finally tested in a high fidelity hexacopter simulator in which different fault situations are considered.
Interleukin-17 inhibitors. A new era in treatment of psoriasis and other skin diseases
(2016)

Psoriasis is a chronic skin disease caused by the excessive secretion of inflammatory cytokines. Available therapeutic options include biologic drugs such as tumor necrosis factor alpha inhibitors and interleukin 12/23 (IL-12/23) inhibitors. The recent discovery of IL-17, which contributes to development of psoriasis, opened new possibilities for further treatment modalities. Currently, one anti-IL17 biological agent is approved for the treatment - a fully human monoclonal antibody that targets IL-17A (secukinumab). Further clinical trials, including a humanized IgG4 specific for IL-17 (ixekizumab) and a fully human antibody that targets the IL-17 receptor A (brodalumab).
Personalized recommendation engine using HADOOP
(2015)

More and more E-commerce Websites provide products with different prices which made it hard for consumers to find the products and services they want. In order to overcome this data overload, personalized recommendation engines are used to suggest products and to provide consumers with relevant data to help them decide which products to purchase. Recommendation engines are highly computational and hence ideal for the Hadoop Platform. This system aims at building a book recommendation engine which uses item or user based recommendation from Mahout for recommending books. It will analyze the data and give suggestions based on what similar users did and on the past transaction history of the user.
Field assessment of Serious Games for Entrepreneurship in Higher Education
(2013)

The potential of Serious Games (SGs) in education is widely recognized, and their adoption is significant in particular in children instruction. However, the deployment rate of SGs in higher education (HE) and their proper insertion in meaningful curricula is still quite low. This paper intends to make a first step in the direction of a better characterization of the pedagogical effectiveness of SGs in HE, by providing a qualitative analysis based on our field experience using three games for entrepreneurship, that we have studied in the light of two well established pedagogical paradigms, such as the Revised Bloom’s taxonomy and the Kolb’s Learning stages. In general, we observe that SGs address several goals of the Bloom’s taxonomy, in particular at the lower levels. Moreover, the cyclical nature of the business simulations can be directly mapped to the sequential steps described by Kolb. However, our analysis also shows that SGs have still to significantly evolve in order to become an effective and efficient tool that could be successfully and reliably used in HE. In the light of our experience, we also propose a schema for a proper integration of SGs by supporting different goals in different steps of a formal education process, Our study finally suggests directions for future research in the field.
The Effect of Music on the Human Stress Response
(2013)

BACKGROUND
Music listening has been suggested to beneficially impact health via stress-reducing effects. However, the existing literature presents itself with a limited number of investigations and with discrepancies in reported findings that may result from methodological shortcomings (e.g. small sample size, no valid stressor). It was the aim of the current study to address this gap in knowledge and overcome previous shortcomings by thoroughly examining music effects across endocrine, autonomic, cognitive, and emotional domains of the human stress response.


METHODS
Sixty healthy female volunteers (mean age = 25 years) were exposed to a standardized psychosocial stress test after having been randomly assigned to one of three different conditions prior to the stress test: 1) relaxing music ('Miserere', Allegri) (RM), 2) sound of rippling water (SW), and 3) rest without acoustic stimulation (R). Salivary cortisol and salivary alpha-amylase (sAA), heart rate (HR), respiratory sinus arrhythmia (RSA), subjective stress perception and anxiety were repeatedly assessed in all subjects. We hypothesized that listening to RM prior to the stress test, compared to SW or R would result in a decreased stress response across all measured parameters.


RESULTS
The three conditions significantly differed regarding cortisol response (p = 0.025) to the stressor, with highest concentrations in the RM and lowest in the SW condition. After the stressor, sAA (p=0.026) baseline values were reached considerably faster in the RM group than in the R group. HR and psychological measures did not significantly differ between groups.


CONCLUSION
Our findings indicate that music listening impacted the psychobiological stress system. Listening to music prior to a standardized stressor predominantly affected the autonomic nervous system (in terms of a faster recovery), and to a lesser degree the endocrine and psychological stress response. These findings may help better understanding the beneficial effects of music on the human body.
TeamBeam - Meta-Data Extraction from Scientific Literature
(2012)

An important aspect of the work of researchers as well as librarians is to manage collections of scientific literature. Social research networks, such as Mendeley and CiteULike, provide services that support this task. Meta-data plays an important role in providing services to retrieve and organise the articles. In such settings, meta-data is rarely explicitly provided, leading to the need for automatically extracting this valuable information. The TeamBeam algorithm analyses a scientific article and extracts out structured meta-data, such as the title, journal name and abstract, as well as information about the article’s authors (e.g. names, e-mail addresses, affiliations). The input of the algorithm is a set of blocks generated from the article text. A classification algorithm, which takes the sequence of the input into account, is then applied in two consecutive phases. In the evaluation the performance of the algorithm is compared against two heuristics and three existing meta-data extraction systems. Three different data sets with varying characteristics are used to assess the quality of the extraction results. TeamBeam performs well under testing and compares favourably with existing approaches.
DONet: A Data-Driven Overlay Network For Efficient Live Media Streaming
(2005)

This paper presents DONet, a Data-driven Overlay Network for live media streaming. The core operations in DONet are very simple: every node periodically exchanges data availability information with a set of partners, and retrieves unavailable data from one or more partners, or supplies available data to partners. We emphasize three salient features of this data-driven design: 1) easy to implement , as it does not have to construct and maintain a complex global structure; 2) efficient, as data forwarding is dynamically determined according to data availability while not restricted by specific directions; and 3) robust and resilient , as the partnerships enable adaptive and quick switching among multi-suppliers. We show through analysis that DONet is scalable with bounded delay. We also address a set of practical challenges for realizing DONet, and propose an efficient memberand partnership management algorithm, together with an intelligent scheduling algorithm that achieves real-time and continuous distribution of streaming contents. We have extensively evaluated the performance of DONet over the PlanetLab. Our experiments, involving almost all the active PlanetLab nodes, demonstrate that DONet achieves quite good streaming quality even under formidable network conditions. Moreover, its control overhead and transmission delay are both kept at low levels. An Internet-based DONet implementation, calledCoolStreaming v.0.9, was released on May 30, 2004, which has attracted over 30000 distinct users with more than 4000 simultaneously being online at some peak times. We discuss the key issues toward designingCoolStreaming in this paper, and present several interesting observations from these large-scale tests; in particular, the larger the overlay size, the better the streaming quality it can deliver.
Unbalanced Three-Phase Optimal Power Flow for Smart Grids
(2011)

Advanced distribution management system (DMS), an evolution of supervisory control and data acquisition obtained by extending its working principles from transmission to distribution, is the brain of a smart grid. Advanced DMS assesses smart functions in the distribution system and is also responsible for assessing control functions such as reactive dispatch, voltage regulation, contingency analysis, capability maximization, or line switching. Optimal power flow (OPF)-based tools can be suitably adapted to the requirements of smart distribution network and be employed in an advanced DMS framework. In this paper, the authors present a methodology for unbalanced three-phase OPF (TOPF) for DMS in a smart grid. In the formulation of the TOPF, control variables of the optimization problem are actual active load demand and reactive power outputs of microgenerators. The TOPF is based on a quasi-Newton method and makes use of an open-source three-phase unbalanced distribution load flow. Test results are presented on the IEEE 123-bus Radial Distribution Feeder test case.
Mental balance and well-being: building bridges between Buddhism and Western psychology.
(2006)

Clinical psychology has focused primarily on the diagnosis and treatment of mental disease, and only recently has scientific attention turned to understanding and cultivating positive mental health. The Buddhist tradition, on the other hand, has focused for over 2,500 years on cultivating exceptional states of mental well-being as well as identifying and treating psychological problems. This article attempts to draw on centuries of Buddhist experiential and theoretical inquiry as well as current Western experimental research to highlight specific themes that are particularly relevant to exploring the nature of mental health. Specifically, the authors discuss the nature of mental well-being and then present an innovative model of how to attain such well-being through the cultivation of four types of mental balance: conative, attentional, cognitive, and affective.
Characterization of Traffic Analysis based video stream source identification
(2015)

This paper presents the concept and characterization of Traffic Analysis (TA) for identifying sources of tunneled video streaming traffic. Such identification can be used in enterprise firewalls for blocking unauthorized viewing of tunneled video. We attempt to characterize and evaluate the impacts of the primary TA-influencing factors, namely, streaming protocol, codec, and the actual video content. A test environment is built to study the influence of those factors while Packet Size Distribution is used as the classification feature during Traffic Analysis. Analysis done on data obtained from the test environment has shown that the streaming protocols provide the most dominant source identification distinction. Also, while the codecs provide some weak distinctions, the influence of video content is marginal. In addition to in-laboratory experiments, a real-world verification for corroborating those observations is also made with commercial streaming service providers. Such long-haul experiments indicate that the end-to-end network conditions between the streaming server and video client can act as an additional influencing factor for traffic analysis towards video stream source identification. Overall, the results suggest the feasibility of TA for unknown video stream source identification with sufficiently diverse video examples.
Neural Multi-task Learning in Automated Assessment
(2018)

Grammatical error detection and automated essay scoring are two tasks in the area of automated assessment. Traditionally these tasks have been treated independently with different machine learning models and features used for each task. In this paper, we develop a multi-task neural network model that jointly optimises for both tasks, and in particular we show that neural automated essay scoring can be significantly improved. We show that while the essay score provides little evidence to inform grammatical error detection, the essay score is highly influenced by error detection.
Intellectual capital disclosure in Malaysia
(2013)

This study investigates intellectual capital (IC) disclosure in Malaysian public listed companies. Specifically, this research examines the relationship between IC disclosure and companies' profitability, productivity, and firm size. We measure the IC disclosure using the IC disclosure index and I C disclosure frequency. The sample includes 255 firm-year observations from 2006-2008. The results from our content analysis confirm those of prior research that the IC disclosure has been increasing over time. The study finds that human capital is the most reported intellectual capital disclosure. In addition, we also find that firm size positively contribute to the disclosure of IC. The result of this study added to the body of literature by providing evidence on the relationship between IC disclosure and firms' characteristics.
Named Entity Recognition using an HMM-based Chunk Tagger
(2002)

This paper proposes a Hidden Markov Model (HMM) and an HMM-based chunk tagger, from which a named entity (NE) recognition (NER) system is built to recognize and classify names, times and numerical quantities. Through the HMM, our system is able to apply and integrate four types of internal and external evidences: 1) simple deterministic internal feature of the words, such as capitalization and digitalization; 2) internal semantic feature of important triggers; 3) internal gazetteer feature; 4) external macro context feature. In this way, the NER problem can be resolved effectively. Evaluation of our system on MUC-6 and MUC-7 English NE tasks achieves F-measures of 96.6% and 94.1% respectively. It shows that the performance is significantly better than reported by any other machine-learning system. Moreover, the performance is even consistently better than those based on handcrafted rules.
Heat-induced post-mortem defect of the skull simulating an exit gunshot wound of the calvarium.
(2011)

A severely burned body was found in a burnt-out apartment following a house fire. At the death scene, police investigators noted a defect at the back of the head of the deceased. This defect perforated the occipital bone and showed external bevelling. To clarify whether this skull wound corresponded to a gunshot exit wound and for identification purposes, a medico-legal autopsy was ordered. External examination of the body showed intense charring with skin burned away and musculature exposed, fourth degree burns of the remaining skin and heat flexures of the limbs as well as heat-related rupture of both the abdominal cavity and chest wall (Fig. 1). An oval defect of the occipital bone with cratering of the external table of the cranium was found (Fig. 2). The defect measured 2 cm in diameter, was sharp-edged and the excavation of the outer table of the cranium showed no charring in contrast to the surrounding parts of the occipital bone (Fig. 3). Apart from this finding, radiology of the body before autopsy was unremarkable. At autopsy, gross sections of the mucosa of the trachea and main bronchi were covered by a thick layer of soot with soot particles also present within the esophageus and the stomach. The brain showed a reduced volume, flattening of gyri and obliteration of sulci but no signs of trauma. Except for the defect of the occipital bone, no other signs of ante-mortem or post-mortem trauma could be detected. The level of carboxyhemoglobin in heart blood was 65% and the blood alcohol level was 285 mg/dL.