Miracle-dz/UniFAR-FTUs huggingface dataset:
Repairing Compressed Path Databases on Maps with Dynamic Changes

Single-agent pathfinding on grid maps can exploit online compiled knowledge produced offline and saved as a Compressed Path Database (CPD). Such a knowledge is distilled by performing repeated searches in a graph, where each node corresponds to a distinct grid cell, typically by algorithms such as Dijkstra's. All-pairs shortest paths (APSPs) are computed and the first move along a shortest path is persistently stored in the CPD. This way, an optimal move can efficiently be retrieved for any pair of source and target cells that is considered while the agent is navigating. However, a CPD supports a static grid, that is, a grid where each cell is permanently either traversable or non-traversable. Our work instead assumes that the cells in the map can undergo dynamic changes. Reasoning about the altered map would require a new CPD. As creating it from scratch is computationally expensive, we present techniques to repair an existing CPD. We prove that using our technique leads to correct and optimal solutions. Experiments demonstrate the benefits of our approach. When a single obstacle of a given size is added or removed, the repair costs often are a small fraction of a recomputation from scratch.
Applications for Children with Autism in Preschool and Primary Education

In this article, we decided to focus on applications for children with Autism Spectrum Disorder (ASD) knowing the significant influence of them on those children. Below, we analyze the different types of applications that are available for children with ASD. The applications are presenting, have been categorized in three categories. The first category is Diagnostic Tools, the second is Intervention Tools and the third is generally Mobile Apps. This separation was made to give a clear view about the characteristics and the developmental area each application covers. Finally, the applications have been chosen based on positive reviews, in combined with how many had download and install them, whether they were easy to use and if they responded to what their description said they were providing.
Association pour le suivi d'objets dans le cadre des fonctions de croyance, appliquée aux véhicules intelligents

Résumé. Le problème traité dans cet article concerne le suivi d’obstacles dans le cadre de l’aide à la conduite automobile, et plus particulièrement l’étape d’association. Cette étape consiste à mettre en relation des mesures sur des objets détectées à un instant donné, avec des pistes correspondant aux trajectoires suivies à des instants antérieurs. Généralement les mesures sur ces objets sont issues de plusieurs capteurs, et sont entachées d’erreurs. Une étape de fusion multi-capteurs permet alors d’obtenir un consensus de meilleure qualité. Introduites par Dempster et Shafer, les fonctions de croyance constituent un cadre bien adapté pour la représentation et la manipulation d’informations imparfaites. Ainsi, celles-ci ont servies de base à l’implémentation d’un algorithme d’association introduit par Rombaut puis développé par Gruyer. Dans cet article, une modélisation de ce problème, dans le cadre du modèle des croyances transférables, est introduite. Elle diffère des approches précédentes notamment sur le choix de la méthode de combinaison, et sur la construction de la décision. Cette approche est validée par des tests sur des données réelles.
Naïve Bayes Classifier for Journal Quartile Classification

Classification is a process for distinguishing data classes, with the aim of being able to estimate the class of an object with unknown label. One popular method that used for classifying data is Naïve Bayes Classifier. Naïve Bayes Classifier is an approach that adopts the Bayes theorem, by combining previous knowledge with new knowledge. The advantages of this method are the simple algorithm and high accuracy. In this study, it will show the ability of Naïve Bayes Classifier to classify the quality of a journal commonly called Quartile. This study use a dataset of 1491 instances. The results show an accuracy of 71.60% and an error rate of 28.40%
HARBOR PORPOISE ( Phocoena phocoena ) : Morro Bay Stock STOCK DEFINITION AND GEOGRAPHIC RANGE

STOCK DEFINITION AND GEOGRAPHIC RANGE In the Pacific, harbor porpoise are found in coastal and inland waters from Point Conception, California to Alaska and across to Kamchatka and Japan (Gaskin 1984). Harbor porpoise appear to have more restricted movements along the western coast of the continental U.S. than along the eastern coast. Regional differences in pollutant residues in harbor porpoise indicate that they do not move extensively between California, Oregon, and Washington (Calambokidis and Barlow 1991). That study also showed some regional differences within California (although the sample size was small). This pattern stands as a sharp contrast to the eastern coast of the U.S. and Canada where harbor porpoise are believed to migrate seasonally from as far south as the Carolinas to the Gulf of Maine and Bay of Fundy (Polacheck et al. 1995). A phylogeographic analysis of genetic data from northeast Pacific harbor porpoise did not show complete concordance between DNA sequence types and geographic location (Rosel 1992). However, an analysis of molecular variance (AMOVA) of the same data with additional samples found significant genetic differences for four of the six pair-wise comparisons between the four areas investigated: California, Washington, British Columbia, and Alaska (Rosel et al. 1995). These results demonstrate that harbor porpoise along the west coast of North America are not panmictic or migratory, and movement is sufficiently restricted that genetic differences have evolved. Recent preliminary genetic analyses of samples ranging from Monterey Bay, California to Vancouver Island, British Columbia indicate that there is small-scale subdivision within the U.S. portion of this range (Chivers et al., 2002). W128.0 W126.0 W124.0 W122.0 W120.0 W118.0 N34.0 N36.0 N38.0 N40. N42. N44.
This material is the copyright of the original publisher. Unauthorised copying and distribution is prohibited. Neuromotor Control of the Lower Limb in Achilles Tendinopathy Implications for Foot Orthotic Therapy

Achilles tendinopathy (AT) is a common injury in running sports. While the exact aetiology of Achilles injury is still unclear, foot orthoses are often effectively employed in the conservative management of the condition. Foot orthoses have traditionally been provided for people with AT on the basis that they may reduce the rearfoot eversion associated with excessive foot pronation. This increased rearfoot motion is thought to produce excessive Achilles tendon loads. To date, the available literature indicates that foot orthoses have small and unsystematic effects on rearfoot kinematics. However, limitations of foot kinematic measurement currently restrict the ability to conduct truly valid investigations into kinematic responses to foot orthoses. Therefore, the roles of alternate mechanisms, for which orthoses may provide clinical success in pathology such as AT, are now being investigated. One alternative theory is that foot orthoses alter neuromotor recruitment patterns and thus lower limb loads in response to the additional sensory input provided by the device. In AT, altered neuromotor recruitment patterns of the triceps surae have been hypothesized to create differential intratendinous loads. This may lead to pathological changes within the tendon. Furthermore, it is possible that foot orthoses may aid to normalize intratendinous loads via altering neuromotor activity in the triceps surae in AT. This review examines the literature with regard to changes in neuromotor recruitment as an associated aetiological factor in AT and the role foot orthoses may play in the management of this condition.
Color Image Hybrid Coding Based on RGB Color Space

In RGB color space,the polynomial correlation functions are established between three color components using the close correlation certainly exist between three color components.One of the three color components is coded using JPEG2000 coding,and the image is segmented into multi-subregions with non-overlapping by quadtree partitioning according to its degree of homogeneous distribution of chromatism of that the component with other two components.Based on the calculated correlation coefficients by the polynomial correlation functions in every subregion,the coding for the other two components becomes the coding of correlation coefficients.During decoding,the component is reconstructed using the inverse transform of JPEG2000.Then according to this reconstructed component and the reconstructed correlation coefficients,the other two components are calculated out.Experiment results show that this method is of high coding and decoding rates,and its signal to noise ratio,compression rate and visual quality are better than those of JPEG2000.
A Distributed and Range-Free Node Localization Algorithm in Wireless Sensor Networks

Considering the fact that network topologies are usually non-uniform in Wireless Sensor Network applications, a range-free distributed localization algorithm called NCL (Neighbor-Count Localization) is brought forward. NCL use node’s neighbor count and radio range to estimate the hop distance and calculate the distance between nodes. To improve localization accuracy, NCL use weighted node distances to compute the unknown node’s position. Simulation under OMNeT++ indicate that, in contrast with DV-Hop, NCL improves the localization precision in non-uniform networks, has less communication overhead, and has the property of robust and self-organization.
Research on Integration of Multi-source Spatial Data

At present, the modes of the integration of multi-source spatial data are data format exchange, data interoperation, and directly data access. In this paper, the author analyzes the principle and the shortage of such modes. Then the seamless integration of multi-source spatial data, universal spatial data engine, and middleware technology are emphasized.
Study on Authentication Protocols for Wireless Sensor Network

Wireless Sensor Networks consists of low power nodes, with limited processing, communication, and storage. The networks are made up of tiny nodes, due to deployment nature the sensor nodes are prone to physical attacks against the adversaries and a resource limitation raises some serious question to secure these nodes. Efficient key distribution and management mechanisms are needed besides lightweight ciphers. Many key establishment techniques have been designed to address the tradeoff between limited memory and security, but which scheme is the most effective is still debatable. In this paper, we compare and analyze various authentication protocols.
English Sound Stucture [Book Review]

This Book Review is brought to you for free and open access by the English at ODU Digital Commons. It has been accepted for inclusion in English Faculty Publications by an authorized administrator of ODU Digital Commons. For more information, please contact digitalcommons@odu.edu. Repository Citation Bing, Janet Mueller, "English Sound Stucture [Book Review]" (1997). English Faculty Publications. Paper 14. http://digitalcommons.odu.edu/english_fac_pubs/14
Pervasive Communications Handbook

In an emergency, availability of the pervasive communications environment could mean the difference between life and death. Possibly one of the first guides to comprehensively explore these futuristic omnipresent communications networks, the Pervasive Communications Handbook addresses current technology (i.e., MAC protocols and P2P-based VoD architecture) and developments expected in the very near future, when most people and places will be virtually connected through a constant and perpetual exchange of information. This monumental advance in communications is set to dramatically change daily life, in areas ranging from healthcare, transportation, and education to commerce and socialization. With contributions from dozens of pioneering experts, this important reference discusses one-to-one, one-to-many, and many-to-one exchanges of information. Organized by the three key aspectstechnology, architecture, and applicationsthe book explores enabling technologies, applications and services, location and mobility management, and privacy and trust. Citing the technologys importance to energy distribution, home automation, and telecare among other areas, it delves into topics such as quality of service, security, efficiency, and reliability in mobile network design, and environment interoperability.
Investigating the Changing Role of Hierarchy in Enterprise Social Networks

Social media, such as social networking plat- forms, are increasingly gaining importance in enterprise contexts. Enterprise social networking (ESN) is often as- sociated with improved communication, information-shar- ing and problem-solving. At the same time, ESN has been argued to diminish the role of formal influence in that users increasingly derive authority from their contributions to the network rather than from their position in the organiza- tional hierarchy. Others argue that ESN will diminish in- fluence considerably by producing more democratic and inclusive communication structures. Yet, these assertions have so far remained largely unexplored empirically. Against this background, we explore what influence both a user's position in the organization's hierarchy and a user's contributions on the network have on the the ability to elicit responses from other ESN users. We draw on a unique data set of more than 110,000 messages collected from the ESN platform used at Deloitte Australia. While we find evidence for both kinds of influence, our data also reveals that informal influence has a stronger effect and that, as the ESN community matures over time, communication structures become indeed more inclusive and balanced across hierarchical levels. We contribute a set of propositions that theorize the ways in which influence and communication pattern are shaped during the process of ESN emergence. Our results further underline the po- tentials of ESN to improve organic, user-driven commu- nication and knowledge sharing within firms.
Avoiding Overload Using Virtual Machine inCloud Data Centre

Cloud data centre’s improve CPU utilization of their servers (physical machines or PMs) through Virtualization (virtual machines or VMs). Over virtualized and under virtualized PMs suffer performance degradation and power dissipation respectively. In this paper, system that uses virtualization technology to allocate data center resources dynamically based on application demands and support green computing by optimizing the number of servers in use. Thus minimizes the hardware cost and saves the energy and used when a system under a heavy load thus improves the system performance. The concept of “skewness” is introduced to measure the unevenness in the multidimensional resource utilization of a server. By minimizing skewness, we can combine different types of workloads nicely and improve the overall utilization of server resources. Finally minimizes the overload in a server by mitigate the process from high load (i.e. hot spot) server into normal load server (i.e. warm state) with the help of mitigation list. Physical Machine does not allow using a server in case of overload. Thus avoid the failure of server under high load.
CMOS Op-amp Offset Calibration Technique Using a Closed Loop Offset Amplifier and Compact Resistor String DAC

A serious and inherent problem in CMOS op-amps is that their input offset voltage. Demand for a reduction of the input offset voltage of CMOS op-amps grows increasingly with the progress in lowering the supply voltage. To solve this problem, a chopper stabilized amplifier technique is used [1][2]. Since this performs offset correction using switching operations with the internal clock, its use is limited to within the low-frequency range. In addition, there are clock noise problems due to switching. Among other methods for reducing the input offset voltage is that of adjusting with an external resistance [3][4]. These methods require external terminals and adjustment parts. Furthermore, an offset calibration op-amp with feedback control has been proposed that corrects the output voltage by shorting 2 inputs of the op-amp [5][6].
INVESTIGATION OF X-RAY ATTENUATION AND THE FLEX RESISTANCE PROPERTIES OF FABRICS COATED WITH TUNGSTEN AND BARIUM SULPHATE ADDITIVES

Bu calismada, tekstil bazli kursun icermeyen kalkanlama malzemelerinin x-ray atenuasyon ve egilme dayanimi ozellikleri incelenmistir. Kursuna alternatif, tungsten ve baryum sulfat tozlari radyopak katki olarak tekstil kaplamasi icerisinde kullanilmistir. Pamuklu kumaslar agirliksal olarak esit miktarda (%60) tungsten ve baryum sulfat katki iceren silikon kaucuk ile kaplanmistir. Numunelerin x-ray atenuasyon oranlari medikal korunma standartlari goz onunde bulundurularak 80kV, 100kV ve 150kV tup voltaji seviyelerinde olculmustur. Bunun yani sira, tekstil yuzeyi uzerindeki kaplamanin tekrarli egilmelere karsi dayanimi gozlemlenmis ve yuzeyler SEM ve EDS teknikleri kullanilarak degerlendirilmistir. Sonuclara gore tungsten katki iceren silikon kaucuk kaplamali numuneler baryum sulfat-silikon kaucuk kaplamalilara gore ayni kalinlikta daha iyi atenuasyon oranlarina sahip olmustur. Bununla beraber, baryum-silikon kaucuk kaplamalarda egilme testi sonucunda yuzeyde catlaklar meydana gelirken, tungsten-silikon kaucuk kaplamali kumaslar yuksek egilme dayanimi gostermistir
Sliding-mode DPC using SOGI for DFIG under unbalanced grid condition

A sliding-mode direct power control (SMDPC) strategy using second-order generalised integrator (SOGI) for doubly fed induction generator is proposed, which can achieve various objectives without the decomposition process of negative and positive sequence components when the grid voltage is unbalanced. The impact of the non-ideal grid voltage to the SM controller is studied, and an improved strategy is proposed by combining an SOGI-based compensator with the SMDPC strategy. Different control targets can be achieved by selecting different variables as the compensation. Experimental studies based on the proposed and traditional SMDPC are implemented to verify that the proposed strategy is effective when the grid voltage is unbalanced.
Optimal guaranteed cost control of aircraft motion

Представлено процедуру синтезу оптимального регулятора, що мінімізує обраний квадратичний критерій. Задача розв’язується в термінах лінійних матричних нерівностей. Ефективність запропонованого підходуілюструється на прикладі керування повздовжнім рухом літака
KEADAAN DAN MASALAH HEWAN PERCOBAAN DI INDONESIA

A survey was conducted by sending 437 questionnaires to institutions, university departments and pharmaceutical industries which presumably have animal laboratories throughout Indonesia, in order to get information on their laboratory animal resources. One hundred eleven out of 145 respondents (76,6%) stated that they used laboratory animals for their activities. Ninety-nine out of the 111 respondents (88,3%) mentioned that laboratory animals were absolutely neccessary for their routine and research work, and 96,4% of the respondents claimed that they had difficulties in procuring their animals. The sources of laboratory animals were commonly derived from conventional breeding stocks. They were bred by their own institutions as self suppliers or by livestock farmers. Based upon close observation during this survey to several institutions and farmers, it was con­cluded that their management and method of breeding were not appropriate and uniform. Therefore it is suggested that Indonesia should begin to establish a centralized and/or decentralized laboratory animal facilities in order to solve the present problem of procurement of good quality laboratory animals at reasonable prices.
Resveratrol induced premature senescence and inhibited epithelial-mesenchymal transition of cancer cells via induction of tumor suppressor Rad9

Resveratrol (RSV) has been reported to influence many biological processes, including the stimulation of cellular senescence and inhibition of epithelial-mesenchymal transition (EMT). In this research, we explored the mechanisms of RSV on EMT and cellular senescence through the expression of a DNA damage response (DDR) protein, Rad9, in breast and lung cancer cell lines. Upon treating breast and lung cancer cell lines with RSV at the concentrations of 10–50 μM, Rad9 expression was increased at both transcriptional and translational levels. The results indicated that RSV-induced Rad9 expression, mediated by DNA damage and ROS, can significantly suppress proliferation by activating cellular senescence, and diminishing the expression of EMT markers with concomitant downregulation of Slug in breast and lung cancer cell lines. By using a siRNA approach, RSV was shown to mediate cellular senescence and EMT through a Rad9-dependent mechanism. The treatment with RSV can inhibit the proliferation, EMT, and increase cellular senescence of breast and lung cancer cell lines by activating Rad9. Our results suggest that the breast and lung tumor suppressive activities of RSV are, at least in part, mediated by the upregulation of Rad9.
Forced, Not Voluntary, Aerobic Exercise Enhances Motor Recovery in Persons With Chronic Stroke

Background. The recovery of motor function following stroke is largely dependent on motor learning–related neuroplasticity. It has been hypothesized that intensive aerobic exercise (AE) training as an antecedent to motor task practice may prime the central nervous system to optimize motor recovery poststroke. Objective. The objective of this study was to determine the differential effects of forced or voluntary AE combined with upper-extremity repetitive task practice (RTP) on the recovery of motor function in adults with stroke. Methods. A combined analysis of 2 preliminary randomized clinical trials was conducted in which participants (n = 40) were randomized into 1 of 3 groups: (1) forced exercise and RTP (FE+RTP), (2) voluntary exercise and RTP (VE+RTP), or (3) time-matched stroke-related education and RTP (Edu+RTP). Participants completed 24 training sessions over 8 weeks. Results. A significant interaction effect was found indicating that improvements in the Fugl-Meyer Assessment (FMA) were greatest for the FE+RTP group (P = .001). All 3 groups improved significantly on the FMA by a mean of 11, 6, and 9 points for the FE+RTP, VE+RTP, and Edu+RTP groups, respectively. No evidence of a treatment-by-time interaction was observed for Wolf Motor Function Test outcomes; however, those in the FE+RTP group did exhibit significant improvement on the total, gross motor, and fine-motor performance times (P ≤ .01 for all observations). Conclusions. Results indicate that FE administered prior to RTP enhanced motor skill acquisition greater than VE or stroke-related education. AE, FE in particular, should be considered as an effective antecedent to enhance motor recovery poststroke.
Are formal methods a good thing for programming language standards? Setting an agenda for the future

The article questions the role of formal methods in the standardization of programming languages by examining the VDM-SL definition used in the Modula-2 standard, particularly in terms of the demands of the formal notation, the time taken to meet them and the size of the resultant document. Possible inadequacies of the formal notations used and in their applications are reviewed: the lack of generic specification and the occurrence of 'noise' is discussed. An agenda of work to be undertaken to facilitate the rapid production of formally defined language standards is proposed. A life-cycle for formally defined language standards is outlined which includes their testing. The need for the rapid production of standards is emphasized. <<ETX>>