Miracle-dz/UniFAR-FTUs huggingface dataset:
Information flow ecurity in dynamic contexts

We study information flow security in the setting of mobile agents. We propose a sufficient condition to security named Persistent_BNDC. A process is Persistent_BNDC when every of its reachable states satisfies a basic Non-Interference property called BNDC. By imposing that security persists during process execution, one is guaranteed that every potential migration is performed in a stable, secure state. We define a suitable bisimulation-based equivalence relation among processes, that allows us to express the new property as a single equivalence check, thus avoiding the universal quantifications over all the reachable states (required by Persistent_BNDC) and over all the possible hostile environments (implicit in the basic Non-Interference property BNDC). We prove that Persistent_BNDC is a sufficient condition to the security of mobile agents by (i) giving a sound and complete characterization of Persistent_BNDC in terms of dynamic contexts, i.e., execution contexts that can non-deterministically change at run-time, abstractly modelling arbitrary migrations; (ii) showing that Persistent_BNDC implies information flow security when agent mobility is explicitly expressed in the calculus.
A Content Analysis of the Content Analysis Literature in Organization Studies: Research Themes, Data Sources, and Methodological Refinements

We use content analysis to examine the content analysis literature in organization studies. Given the benefits of content analysis, it is no surprise that its use in organization studies has been growing in the course of the past 25 years (Erdener & Dunn, 1990; Jauch, Osborn, & Martin 1980). First, we review the principles and the advantages associated with the method. Then, we assess how the methodology has been applied in the literature in terms of research themes, data sources, and methodological refinements. Although content analysis has been applied to research topics across the subdomains of management research, research in strategy and managerial cognition have yielded particularly interesting results. We conclude with suggestions for enhancing the utility of content analytic methods in organization studies.
A combined procedure for optimization via simulation

We propose an optimization-via-simulation algorithm for use when the performance measure is estimated via a stochastic, discrete-event simulation, and the decision variables may be subject to deterministic linear integer constraints. Our approach-which consists of a global guidance system, a selection-of-the-best procedure, and local improvement-is globally convergent under very mild conditions.
Reflective force navigation control for a mobile robot using a state transition diagram

In this paper, we develop an obstacle avoidance approach for a nonautonomous mobile robot. It consists of an obstacle-modeling method by ultrasonic sensors and an obstacle avoidance method by reflective forces. The modeling method obtains obstacle model parameters considering the inherent limitations of ultrasonic sensors. Using these parameters, we implement a fuzzy logic controller for wall and center following. Then we generate reflective forces for a user to control the robot according to the controller using a force feedback joystick. That is, the operator fells reflective forces for wall and center following. To generate the reflective forces, we define a state transition diagram considering user's inputs and robot states. Consequently the operator can maneuver the robot with obstacle avoidance. Simulation results show the validity of the proposed technique.
Enterovirus A119 in a child with Acute Flaccid Paralysis, Nigeria

The oldest EV-A119 record was in 2008 in a chimpanzee in Cameroon and subsequently in more non-human primates and healthy children. Here we report for the first time the detection of EV-A119 in a child with Acute Flaccid Paralysis, thus suggesting possible association with a clinical condition in humans.
Knowledge and Attitude of Students on Antimicrobial Resistance at Debre Markos University, Ethiopia

Irrational use of medicines is a key reason for the increase and spread of antimicrobial resistance and it is a global concern. It is a fast mounting universal crisis. The main of this study of this study was to assess knowledge, attitude and practice of university students on antimicrobial resistance at Debre Markos University. Institutional based comparative cross-sectional survey was conducted from June to July with total sample size of 670. Participants were selected using simple random sampling method using random number table. Data clerk double entered the data into Epi data version 3.1 and transferred to SPSS Windows software version 21.0. Those variables that had associations at binary stage with p-value < 0.1, not collinear and biologically important variables were entered in to multiple logistic regression models. The cut off point for association was p-value < 0.05. About 14.8% study participants had adequate knowledge towards drug resistance. Rural residences of the participants were significantly associated with drug resistance as compared to urban residence. Knowledgeable participants were significantly protective to self- medication and drug resistance as compare to those who had inadequate knowledge and participants who had positive attitude were positively associated with self-medication as compare to those who had negative attitude. The overall knowledge of participants regarding to antimicrobial resistance was low. In the other hand, majority of participants had positive attitude. Those participants who had positive attitude were significantly associated with antimicrobial resistance as compared to who had negative attitude.
A learning approach to personalized information filtering

A personalized information ltering system must specialize to current interests of the user and adapt as they change over time. It must also explore newer domains for potentially interesting information. A learning approach to building personalized information ltering systems is proposed. The system is designed as a collection of information ltering interface agents. Interface Agents are intelligent and autonomous computer programs which learn users' preferences and act on their behalf | electronic personal assistants that automate tasks for the user. This thesis presents the basic framework for personalized information ltering agents, and describes an implementation, \Newt", built using the framework. Newt uses a keyword based ltering algorithm. The learning mechanisms used are relevance feedback and the genetic algorithm. The user interface is friendly and accessible to both naive as well as power users. Experimental results indicate that Newt can be personalized to serve some of the news ltering needs of the user, in particular, those that are more regular and predictable. Relevance feedback is good for specializing to user interests. The genetic algorithm causes the system to adapt and explore for new types of information. This demonstrates that Interface Agents are a promising approach to the problem of designing personalized information ltering. Abstract A personalized information ltering system must specialize to current interests of the user and adapt as they change over time. It must also explore newer domains for potentially interesting information. A learning approach to building personalized information ltering systems is proposed. The system is designed as a collection of information ltering interface agents. Interface Agents are intelligent and autonomous computer programs which learn users' preferences and act on their behalf | electronic personal assistants that automate tasks for the user. This thesis presents the basic framework for personalized information ltering agents, and describes an implementation, \Newt", built using the framework. Newt uses a keyword based ltering algorithm. The learning mechanisms used are relevance feedback and the genetic algorithm. The user interface is friendly and accessible to both naive as well as power users. Experimental results indicate that Newt can be personalized to serve some of the news ltering needs of the user, in particular, those that are more regular and predictable. Relevance feedback is good for specializing to user interests. The genetic algorithm causes the system to adapt and explore for new types of information. This demonstrates that Interface Agents are a promising approach to the problem …
Management of Esophagus Perforation as a Late Term Complication of Vertebral Surgery: Case Report

Esophagus is the organ under risk of complications during many different types of surgical procedures. One of the most common iatrogenic traumas causing esophagus perforation is the cervical vertebrae surgery. Late term pharyngo-esophageal perforation is a rare but mortal complication of this surgery. Because of this reason, it is vital to take out the foreign material and to repair perforation. In this paper, the diagnosis and management period of a patient with esophagus perforation, 7 years after the percutaneous anterior discectomy and fusion with titanium cage procedure, due to the instrument placed on cervical vertebra, will be reported.
Awareness of Undergraduate Dental Students at Taibah University toward Early Detection of Oral Cancer

The aim of this study is to determine level of oral cancer awareness by assessing dental students’ awareness of etiology, risk factors, diagnosis, and management of oral cancer. A total of 70 undergraduate dental students at Taibah University, from third to fifth years, enrolled in a cross-sectional study during June 2013 academic year by filling in a questionnaire assessing their knowledge of oral cancer. Data were piled up and analyzed using SPSS version 20. Our results revealed that most of students recognized tobacco as a major risk factor for oral cancer. Regarding intra-oral site, 61% of students’ distinguished tongue as the most common site. Concerning clinical signs, more than half of fourth year students were able to identify non-homogenous leukoplakia and erythroplakia as putative oral cancer signs. Overall, this study revealed quite unsatisfactory level of awareness concerning oral cancer among undergraduate dental students. This implies the necessity to improve dental education programs to enhance knowledge of oral cancer risk factors and early detection concepts.
How General-Purpose can a GPU be?

The use of graphics processing units (GPUs) in general-purpose computation (GPGPU) is a growing field. GPU instruction sets, while implementing a graphics pipeline, draw from a range of single instruction multiple datastream (SIMD) architectures characteristic of the heyday of supercomputers. Yet only one of these SIMD instruction sets has been of application on a wide enough range of problems to survive the era when the full range of supercomputer design variants was being explored: vector instructions. This paper proposes a reconceptualization of the GPU as a multicore design with minimal exotic modes of parallelism so as to make GPGPU truly general.
Application of system theory to modeling of fish behavior

The construction of a mathematical model of fish behavior in the case where a fish school consists of many individuals is considered. The basic assumption for model building is that the schooling behavior of fish can be decomposed into two components: the motion of a representative of the school and the variation of the school form. The motion of the representative is expressed by a physical model, in which the main causes for the motion are described as the external forces. The variation of the school form is expressed by an autoregressive model. The parameters included in the model are estimated by using time-series data sampled from video image data recorded in a water tank experiment. The validity of the model is examined on the basis of computer simulation. <<ETX>>
The Importance of Training for Human Resource Development in Organization

Human resource makes up primary element of an organization. Human resource training and development are absolute necessities for it. In pragmatic, training and development program have positive influence on both individual and organization. Training Need Analysis (TNA). performance problem, new system and technology and also automatic and habitual training . It is a need analysis at the workplace which is specifically meant to find what actually training needs as a priority. Information of the needs will help organization in employing resources effectively and prevent unnecessary training activity.
Long-term mortality in patients with STEMI transported primary or secondary to the cardiac center and treated by primary PCI

1Department of Cardiovascular Medicine, University Hospital in Hradec Kralove, Charles University, Hradec Kralove, Czech Republic 2Department of Pediatrics, University Hospital in Hradec Kralove, Hradec Kralove, Czech Republic 3Department of Emergency Medicine, University Hospital in Hradec Kralove, Hradec Kralove, Czech Republic 4Department of Internal Medicine, University of Defense, Faculty of Military Health Sciences, Hradec Kralove, Czech Republic
Automatic car registration plate recognition using fast Hough transform

The development of automatic car registration plate recognition will provide greater efficiency for vehicle monitoring in automatic zone access control. Plate recognition will avoid the need to equip vehicles with special RF tags, since all vehicles possess a unique registration number plate. Also the proposed recognition system can be used in conjunction with a tag system for higher security. There are a number of techniques which have been used for car registration plate characters recognition. These systems include BAM (Bi-directional Associative Memories) neural network character recognition and pattern matching of characters as two character recognition techniques which will be discussed in this paper. The object of this paper is to explore the potential of using Fast Hough Transform (FHT) in vehicle registration plate recognition. Image processing techniques have been used to extract plate characters, then FHT algorithm is applied to every character in the image for recognition and identification. The FHT used in the paper is an efficient, fast and simple algorithm to identify characters, without requiring a relatively large memory.
Multi-view 3D position estimation of sports players

The problem of estimating the positions of players on a sports field using multiple cameras is considered. A hierarchical particle filter is used to track the players through each video sequence. Position estimation is then performed using multi-view triangulation. We also introduce a feedback loop whereby 3D data can be fed back to the 2D trackers to correct errors. Experiments suggest that the system performs well and yields high accuracy for position estimation, with an average tracking error less than 10cm.
A high-density dual-port memory cell operation and array architecture for ULSI DRAMs

A high-density dual-port DRAM architecture is proposed. It realizes a two-transistor/one-capacitor (2Tr-1C) dual-port memory cell array with immunity against the array noise caused by the dual-port operation. This architecture, called a truly dual-port (TDP) DRAM, adopts the previously proposed divided/shared bit-line (DSB) sensing scheme in a dual-port 2Tr-1C DRAM array. A 2Tr-1C dual-port memory cell array with folded bit-line sensing operation, which does not increase the number of bit lines of the 1Tr-1C folded bit-line memory array, is realized, thus reducing the memory cell size. This architecture offers a solution to the fundamental limitations in the 2Tr-1C dual-port memory cell, and it is easily applicable to dual-port memory cores in ASIC environments. An analysis of the memory array noise in various dual-port architectures shows a significant improvement with this architecture. Applications to the complete pipelining operation of a DRAM array and a refresh-free DRAM core are also discussed. >
Challenges to Journalistic Independence: The Case of the Amhara National Regional State Mass Media Agency

Independence is one of the four guiding principle in which the journalists should exercise while performing their work. Therefore, Challenges of Journalistic Independence: the case of the Amhara Mass Media Agency attempts to describe how far journalists in this particular Agency are independent in doing their journalistic work and asses the factors that constrain their independence. The research uses gate keeping theory and other relevant principles as well as legal documents to show the potentials and limitations of journalists’ independence. Moreover, to address the problem and identify the factors that compromise journalists’ independence, the researcher uses questionnaire, interview; document analysis and observation methods. Therefore, questionnaire has been distributed to all journalists, editors and board members in that particular media as well as to certain public relations officers in the region. Interview is also done with two department heads to explore how journalists perform their work in this media. To substantiate the data various documents like: editorial policy and journalists code of ethics were consulted. The findings of the study show that the following factors inhibit the exercise of journalistic independence of journalists of the Amhara Mass Media Agency: lack of freedom of expression, financial interest of journalists, journalists’ relatives and friend’s interest, self-censorship, selfinterest of journalists and pressures from editors and bosses.
Efficacy of Multiwave Locked System Laser on Pain and Function in Patients with Chronic Neck Pain: A Randomized Placebo-Controlled Trial.

BACKGROUND Multiwave locked system (MLS) laser therapy utilizes the synchronized emission of an 808 nm continuous laser and a 905 nm pulsed laser. It is postulated that MLS enables greater penetration and therapeutic benefit than single-wavelength low-level laser therapy (LLLT). OBJECTIVE The aim of this research was to evaluate the efficacies of MLS laser therapy and the 830 nm laser in the treatment of patients with chronic neck pain (CNP). MATERIALS AND METHODS Seventy-five patients with CNP (mean age 46.28 ± 5.89, weight 83.78 ± 5.65 kg, height 1.72 ± 4.96 m, and duration of illness of 5.98 ± 1.44 months). They were randomized into three groups. Group I received MLS laser therapy and exercises, Group II received LLLT and exercises, and Group III received placebo laser therapy plus exercises (PL + EX). Neck pain levels and neck function were measured using the visual analogue scale (VAS) and neck disability index (NDI), respectively. RESULTS Both VAS and NDI were significantly reduced post-treatment for all treatment groups. After 6 weeks of treatment, MLS plus exercise showed a significantly greater decrease in pain and disability scores {Δ VAS (6.68) and Δ NDI (39.84)} compared to both LLLT plus exercise group {Δ VAS (5.72) and Δ NDI (37.88)} and PL + EX {Δ VAS (4.84) and Δ NDI (36.68)}. CONCLUSIONS MLS laser therapy in conjunction with exercises decreased pain and increased functional activity following 6 months of therapy. MLS laser therapy in combination with exercises is a more effective therapy for CNP compared to exercise plus LLLT or exercise alone.
Development of the Japanese version of the AACN synergy model for patient care

The permission of the original model developers was obtained before work began on producing the Japanese version. Preliminary testing was carried out to verify the effects of using the Japanese version of the model. The participants in this study were 13 nurses with at least five years of nursing experience (mean 9.9±4.5 years) who were working in Intensive Care Unit (ICU) or High Care Unit (HCU) wards. The simulated case studies used in this research were based on those described in the utilization of the original synergy model.
Digital control of a tank system

This paper describes the laboratory environment for experiments in digital control of a coupled tank system. The control process consists of upper and lower containers with draining orifices. As the cross section of the lower container varies with the level, the dynamic of the process changes extensively with the selected steady-state operating level. Measurements of the tank levels are available, while the flow rate into the upper tank is forced by a pump driven by an electric motor. A nonlinear model is employed to study various features of the process. The control strategy is to stabilize the level in the lower tank by adjustment of the flow rate into the upper tank. An IBM AT, equipped with a universal analog input/output board is used to control the process. The interactive real-time software frame, available under MS-DOS, uses selectable operating modes to analyze the performance of different control algorithms. A digital state-feedback algorithm is presented as an illustration. >
Backscattering and emission signatures of randomly rough surfaces based on IEM

The verification of backscattering signatures of randomly rough surfaces based on the IEM model was conducted through comparisons with 2D simulation by the moment method and 3D simulation by FD-TD and laboratory controlled experiments using a statistically known surface. It has been demonstrated that the standard Kirchhoff and small perturbation models are special cases of the IEM in the high and low frequency regions respectively. In this study the authors apply the IEM model to study the backscattering and emission characteristics of randomly rough surfaces. It is found that because the backscattering coefficient is defined in terms of the noncoherent scattering component of the surface, it is very sensitive to surface roughness. On the other hand surface emission is based on the total emitted power which includes both coherently and noncoherently emitted components. Hence, whenever the surface permittivity is less than 4, the coherent component is dominating and emission is not sensitive to horizontal surface roughness scale. Instead, it is strongly affected by the permittivity of the surface and its vertical scale roughness. <<ETX>>
Skill Acquisition in Machine Manipulation

T his article explains the background of human adapt i v e m e chatronics (HAM) and the skill level of individuals to operate machines. It is natural to consider both human and environmental factors in the field of robotics and mechatronics. The progress of machines cannot be achieved without paying attention to these factors; a culture that accepts that this evolved through the contributions of many researchers and developers. Prof. Fumio Harashima contributed to the development of HAM significantly. He has done cooperative research with many companies (Hitachi, Toshiba, Mitsubishi Electric, Fuji Electric, Toyo Electric, Dengensha Co., Toyota Corp., Tohoku Electric Power Co., Sumitomo Heavy Machine Corp., Yazaki Corp., and many others) and promoted several large research projects concerned with this culture, such as ‘‘Electromagnetic Interference’’ in the Japan Society for the Promotion of Science project (1998–2003), ‘‘Interaction and Intelligence’’ in the Sakigake Project (2001–2006) [1], and ‘‘Human Adaptive Mechatronics’’ in the HAM project by coordinating with Prof. Furuta during 2004–2008 [2]. The HAM project was initiated by Prof. Harashima and Prof. Furuta, my supervisors when I was a student at the Tokyo Institute of Technology, and this project gave me an opportunity to meet Prof. Harashima.
Signal-based Approach to Anomaly Detection in IDS Systems

In this paper we present our original methodology, in which Matching Pursuit is used for networks anomaly and intrusion detection. The architecture of anomaly-based IDS based on signal processing is presented. We propose to use mean projection of the reconstructed network signal to determine if the examined trace is normal or attacked. Experimental results confirm the efficiency of our method in w orm detection scenario. The practical usability of the proposed approach in the intrusion detection tolerance system (IDTS) in the INTERSECTION project is presented.