Miracle-dz/UniFAR-FTUs huggingface dataset:
Passive Distributed Assertions for Sensor Networks

When deployed in a real-world setting, many sensor networks fail to meet application requirements even though they have been tested in the lab prior to deployment. Hence, concepts and tools for inspection are needed to identify failure causes in situ on the deployment site. Tools for inspection should minimize the interference with the sensor network to, firstly, ensure that failures of the sensor network do not break the inspection mechanism, and, secondly, to ensure that the inspection mechanism does not change the behavior of the sensor network. In this paper, we propose passive distributed assertions (PDA) as a novel tool for identifying failure causes. PDA allow a programmer to assert certain predicates over distributed node states. Packet sniffing is used to detect failed assertions, thus minimizing the interference with the sensor network.1
Please Scroll down for Article International Journal of Production Research Selection of Modules for Mass Customisation Selection of Modules for Mass Customisation

This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused arising directly or indirectly in connection with or arising out of the use of this material. Satisfying customer expectations is of paramount importance in today's markets. A customer expects to receive a product that meets as best as possible his/her expectations. To satisfy diversified requirements companies may focus on product families. For a specific customer the company has to select within a product family what will make a valid product. Then, in a just-in-time environment, the suppliers may have to provide the exact subassemblies corresponding to each product in a predefined time. This integration takes place by designing modules for the supplier. This paper proposes to extract customers' behaviour patterns, in terms of the components required, using data-mining and entropy maximisation when selecting modules to be manufactured. Different methods for selection of modules are proposed. Computational tests are performed to evaluate performance of the selection methods with respect to the specified assembly time/resource level. 1. Introduction Transformation from the 'demand-driven economy' to the 'offer-driven economy' has increased corporate competitiveness. To support the 'offer-driven economy', companies tend to enlarge their product portfolios in pursuit of increased market shares. The challenge is then to determine a trade-off between the cost of offering a wide range of products and the gains that such portfolio provides. Modularity is useful in realising the assemble-to-order (ATO) policy when dealing with a large diversity of products. Indeed, a relatively small stock of modules permits to offer a large portfolio of final (modular) products. The designed modules should enable the best response to the customer needs. The latter can be accomplished by integrating the information about anticipated customer requirements at the product design phase. Customers' behaviour is not easy to elicit. Selection of a particular product by a customer is the result of a cognitive process including its objective …
PASSION FRUIT: A FETCHED PASSION FOR DENTISTS

Objective: Dental caries is a common oral infection prevalent in developing countries. Streptococcus mutans, a commensal bacterium of the oral cavity, plays a major role in the etiology of caries and root canal infection. Sodium hypochlorite and Chlorhexidine are used in the prevention of caries and as root canal medicament though they cannot be used in combination. Study Design: Different concentrations of passion fruit pulp extract were evaluated to measure the most effective way against Streptococcus mutans. For this bacterial inhibition zones were measured for each concentration in millimeter and compared. Results: The most effective concentration of passion fruit pulp extract was 40% to 45% against Streptococcus mutans. Conclusion: The present study aimed to evaluate alternative, inexpensive, good in taste, simple and effective method for sanitization of tooth cavity as well as root canal system. The antimicrobial efficacy of passion fruit pulp extract as irrigant and cavity disinfectant is evaluated and compared with the standard irrigant sodium hypochlorite. INTRODUCTION: Undoubtedly medicinal plants are relevant in both developing and developed nations of the world as sources of drugs or herbal extracts for various chemotherapeutic purposes. Also the use of plant derived natural compounds as part of herbal preparations used as alternative sources of medicaments continues to play major roles in the general wellness of people all over the world . In addition to their delicious taste and refreshing flavor and aroma, fruits add important vitamins, minerals, and other bioactive compounds to the human diet . Many recent studies have demonstrated antimicrobial activity against selected oral pathogens from natural sources . Role of bacteria and their byproducts in the pathogenesis of pulp and periodontium is well documented. Main challenge during root canal therapy would be to maintain asepsis in vital pulp cases and antisepsis in non-vital pulp cases . Dental plaque, a film of microorganisms on the tooth surface, plays an important part in the development of caries and periodontal diseases . In recent years, human pathogenic microorganisms have developed resistance in response to the indiscriminate use of commercial antimicrobial drugs commonly employed in the treatment of infectious diseases.
Effective practices in leadership for social justice. Evolution of successful secondary school principalship in disadvantaged contexts

ABSTRACT This paper investigates the evolution of leadership for learning that has occurred in four secondary schools located in disadvantaged contexts in the province of Granada (Spain) over a period of 2 years, performing a comparative analysis on the values, qualities and strategies that characterize their principals during the academic years 2013–2014 and 2015–2016. The investigation uses case studies and conducts interviews with principals, teachers and education administrators. It is supported by the group-case method, as well as the longitudinal prospective method. The results show that only one of these principals has maintained a leadership aimed at learning and achievement of all students in the school, at the same time as students’ academic results have been improving. This paper concludes by providing information on values, qualities and strategies of successful leadership in disadvantaged contexts in Spain that distinguish them from other less successful leaders.
Local Hop-Count Probability Grid: An Improvement Nodes Localization Scheme in WSN

Wireless sensor networks (WSN) have become possible because of the on-going improvements in sensor technology. As the development of WSN, the problem about WSN is growing up. Sensor nodes localization is the importance a new research point. Getting the smallest location error in nodes localization is the final goal. Many works in literature propose schemes and methods for localization in wireless sensor networks. In this paper we presented a localization scheme, called the local hop-count probability grid, that is the derive algorithm of probability grid and can also be used in WSN which have been deployed in a grid topology
Word sense disambiguation to improve precision for ambiguous queries

Success in Information Retrieval (IR) depends on many variables. Several interdisciplinary approaches try to improve the quality of the results obtained by an IR system. In this paper we propose a new way of using word sense disambiguation (WSD) in IR. The method we develop is based on Naïve Bayes classification and can be used both as a filtering and as a re-ranking technique. We show on the TREC ad-hoc collection that WSD is useful in the case of queries which are difficult due to sense ambiguity. Our interest regards improving the precision after 5, 10 and 30 retrieved documents (P@5, P@10, P@30), respectively, for such lowest precision queries.
Automatic Semantic Rule Extraction in Similar Web Sites using Memetic Algorithm

Acquiring knowledge is based on the type of ontology in web mining, and using ontology as a knowledge schema in the knowledge acquisition is more common than rule acquisition. As ontology acquisition the Rule acquisition is an important, even supposing rule acquisition is still a slowdown process in the deployment of rule-based systems. Nevertheless, from time to time rules have already been implied in Web pages, in addition to it is possible to acquire them from Web pages in the same manner as ontology knowledge. RuleToOnto process is extracts rules from various domains and web pages not particular domain. In offered system an optimized rule of acquisition method projected with our method through the concept of selecting exact parts that contain rules from Web pages by Genetic Algorithm. But, several proper undesirability results of have been obtained for related problems giving some hope to a more formal handling. To resolve this problem in this work proposed a memetic algorithm as an evolutionary algorithm that incorporates knowledge about the problem domain being resolved. In memetic algorithms using approximate evaluation is more robust than in single-solution methods and the accuracy of the rule acquisition is improved rapidly. As well it provides a relevance score for a web page into annotated result set on user query, and the page annotation, and also decreases the time complexity.
Efficient Video Summarization Based on Motion SIFT-Distribution Histogram

Video summarization refers to the process of recapitulating video stream by producing an abstract of the salient keyframes that could cover its overall content. However, an efficient video summarization requires an efficient video Shot Boundary Detection (SBD) and keyframes extraction. In this backdrop, this paper presents a novel and efficient approach for video SBD and keyframes extraction that will lead in the summarizing video. Meanly, Motion SIFT-Distribution Histogram (MoSIFT-DH) is extracted from the frames as a Glocal feature. The shot boundaries are detected using an adaptive threshold for the computed distance of MoSIFT-DH of the consecutive frames. Furthermore, keyframe representing the salient content of each segmented shot is extracted using entropy based singular values. Finally, the summarizing video is generated, by combining all the extracted keyframes. Our experiments on various videos indicate that our method can efficiently detect shot boundaries under different levels of illumination, camera operations and motion effects.
Face recognizability evaluation for ATM applications with exceptional occlusion handling

Biometrics has been extensively utilized to lessen the ATM-related crimes. One of the most widely used methods is to capture the facial images of the users for follow-up criminal investigations. However, this method is vulnerable to attacks made by the criminals with heavy facial occlusions. To overcome this drawback, this paper proposes a novel method for face recognizability evaluation with exceptional occlusion handling (EOH). The proposed method conducts a recognizability evaluation based on local regions of the facial components. Subsequently, the resulting decisions are reaffirmed by the EOH exploiting the global aspect of the frequently occurring facial occlusions. The EOH can be divided into two separate approaches: 1) accepting the falsely rejected cases, 2) rejecting the falsely accepted cases. In this paper, two typical facial occlusions, eyeglasses and sunglasses, are chosen to prove the validity of the EOH. To evaluate the proposed method in the most realistic environment, an ATM database was constructed by using an off-the-shelf ATM while the users were asked to make withdrawals as they would in real situations. The proposed method was evaluated by the ATM database which includes 480 video sequences with 20 subjects. The results showed the feasibility of the face recognizability evaluation with the EOH in practical ATM environments.
Extracting Query Expansion Terms Based on User's Search Behavior

Search engine(SE) can obtains rich information from the Internet as a powerful tool, but most of them are not relevant to the searcher’s intended requirements. The main factor is query terms can not depict the user’s personality with the ambiguity of the language. To solve this problem, a method of extracting query expansion terms based on user’s behavior is proposed in this paper. The method analyzes their potential relevance of the user's search history and click history. The search return sequence and the user clicks sequence are considered as well. So we can extract terms which can depict the user’s requirements. An experiment illustrates that our method can effectively extract the relevant terms and improves the quality.
Random generation of combinatorial structures: Boltzmann samplers and beyond

The Boltzmann model for the random generation of “decomposable” combinatorial structures is a set of techniques that allows for efficient random sampling algorithms for a large class of families of discrete objects. The usual requirement of sampling uniformly from the set of objects of a given size is somehow relaxed, though uniformity among objects of each size is still ensured. Generating functions, rather than the enumeration sequences they are based on, are the crucial ingredient. We give a brief description of the general theory, as well as a number of newer developments.
Ultrasonic array imaging for immersion non-destructive testing

One of the applications of advanced array signal processing is immersion ultrasonic non-destructive testing (NDT), where a solid test sample and an array of transducers are immersed in water, for the purpose of imaging the test sample. To do so, the knowledge of the shape of the upper surface of the test sample is needed. We model the interface between water and the solid as an incoherently spatially distributed reflector. We then develop a covariance fitting based approach to estimate the parameters of the shape of the upper surface of the test sample. With the knowledge of the estimated shape of this surface, we use the same approach to estimate the parameters of the shape of a crack inside the test sample. Numerical simulations are conducted to show the accuracy of the proposed approach.
Antipsychotics in the treatment of delirium: a systematic review.

OBJECTIVE Antipsychotics are frequently used in the management of delirium, although there is limited information regarding the safety and efficacy of antipsychotics in treating delirium. The purpose of this study was to systematically evaluate the evidence for the efficacy and safety of antipsychotics in treating delirium. SOURCES MEDLINE (July 1980 to July 2005) and Cochrane databases were searched for English language articles using keywords. STUDY SELECTION Prospective studies with standardized criteria for diagnosing delirium and evaluating its severity. DATA SYNTHESIS In total, 14 studies (9 single agent studies and 5 comparison trials) met inclusion criteria. Study medications included haloperidol, chlorpromazine, olanzapine, risperidone, and quetiapine. Improvements in delirium severity were reported with all of these antipsychotic medications. No study included a placebo comparison to account for spontaneous improvements in delirium. Other methodological limitations included inadequate blinding, randomization, and handling of participant withdrawals. The improvements in delirium tended to occur soon after initiation of treatment, and most of the studies examined used relatively low doses of antipsychotic medication. Serious adverse events attributable to antipsychotic medication were uncommon in studies, although side effects were not evaluated systematically in most studies. CONCLUSION To date, there are no published double-blind, randomized, placebo-controlled trials to establish the efficacy or safety of any antipsychotic medication in the management of delirium. There is limited evidence from uncontrolled studies that supports the use of low-dose, short-term treatment of delirium with some antipsychotics. Further study with well-designed clinical trials is required in this area.
Effects of a golf swing intervention on senior golfers’ ball striking and motivation to play golf

Several golf swing movements have been correlated with the production of club speed in skilled golfers. However, less skilled golfers, such as senior golfers, may not be capable of many of those movements. One golf swing—Minimalist Golf Swing—reduces the downswing range of motion through which a golfer’s body must move to reach the impact positions seen in skilled golfers. The purpose of this study was to assess whether the MGS could improve senior golfers’ ball flight and consistency, and increase their motivation to play golf. Twenty-two seniors (16 males, 6 females), aged 54–81, participated in an 11-session study comprising pretest, intervention, and posttest sessions. During the test sessions, participants hit 20 shots with each of their own 6-iron and driver clubs. Ball movement immediately after impact was measured using a camera-based ball launch monitor. Participants’ motivation to play golf before and after the intervention was assessed using the Sports Motivation Scale II. A mixed effects model was used for the statistical analysis of this repeated measures study, in which participants served as their own controls. Statistically significant per-session results were an increase in the ball’s speed (6-iron and driver) and trajectory (6-iron), and a change in direction (both clubs) from left to slightly right (for right handed golfers). Consistency of ball flight, total motivation and intrinsic motivation increased slightly post-intervention, while amotivation decreased, none significantly. Therefore, some senior golfers can improve ball flight, consistency, and motivation to play golf after six MGS training sessions.
Hopping intermittent contact-scanning electrochemical microscopy (HIC-SECM) as a new local dissolution kinetic probe: application to salicylic acid dissolution in aqueous solution

Dissolution kinetics of the (110) face of salicylic acid in aqueous solution is determined by hopping intermittent contact-scanning electrochemical microscopy (HIC-SECM) using a 2.5 μm diameter platinum ultramicroelectrode (UME). The method operates by translating the probe UME towards the surface at a series of positions across the crystal and inducing dissolution via the reduction of protons to hydrogen, which titrates the weak acid and promotes the dissolution reaction, but only when the UME is close to the crystal. Most importantly, as dissolution is only briefly and transiently induced at each location, the initial dissolution kinetics of an as-grown single crystal surface can be measured, rather than a surface which has undergone significant dissolution (pitting), as in other techniques. Mass transport and kinetics in the system are modelled using finite element method simulations which allows dissolution rate constants to be evaluated. It is found that the kinetics of an ‘as-grown’ crystal are much slower than for a surface that has undergone partial bulk dissolution (mimicking conventional techniques), which can be attributed to a dramatic change in surface morphology as identified by atomic force microscopy (AFM). The ‘as-grown’ (110) surface presents extended terrace structures to the solution which evidently dissolve slowly, whereas a partially dissolved surface has extensive etch features and step sites which greatly enhance dissolution kinetics. This means that crystals such as salicylic acid will show time-dependent dissolution kinetics (fluxes) that are strongly dependent on crystal history, and this needs to be taken into account to fully understand dissolution.
Practicing What We Preach: IEEE VR 2009 Virtual Program Committee Meeting

This article reports on the experience of conducting the program committee (PC) meeting for the IEEE VR 2009 conference in Second Life. More than 50 PC members from around the globe met virtually over a two-day period to decide which papers to accept for presentation at the conference. Survey responses from 42 of the PC members indicate generally positive feelings toward this meeting format, although several alterations will help improve interaction between attendees in future meetings.
A Kinematic Approach for Efficient and Robust Simulation of the Cardiac Beating Motion

Computer simulation techniques for cardiac beating motions potentially have many applications and a broad audience. However, most existing methods require enormous computational costs and often show unstable behavior for extreme parameter sets, which interrupts smooth simulation study and make it difficult to apply them to interactive applications. To address this issue, we present an efficient and robust framework for simulating the cardiac beating motion. The global cardiac motion is generated by the accumulation of local myocardial fiber contractions. We compute such local-to-global deformations using a kinematic approach; we divide a heart mesh model into overlapping local regions, contract them independently according to fiber orientation, and compute a global shape that satisfies contracted shapes of all local regions as much as possible. A comparison between our method and a physics-based method showed that our method can generate motion very close to that of a physics-based simulation. Our kinematic method has high controllability; the simulated ventricle-wall-contraction speed can be easily adjusted to that of a real heart by controlling local contraction timing. We demonstrate that our method achieves a highly realistic beating motion of a whole heart in real time on a consumer-level computer. Our method provides an important step to bridge a gap between cardiac simulations and interactive applications.