InfoStation-based Adaptable Provision of m Learning Services: Main Scenarios

This paper presents an adaptable InfoStation-based multi-agent system facilitating the mobile eLearning (mLearning) service provision within a University Campus. A horizontal view of the network architecture is presented. Main communications scenarios are considered by describing the detailed interaction of the system entities involved in the mLearning service provision. The mTest service is explored as a practical example. System implementation approaches are also considered.

A simulation of the surface EMG for analysis of muscle activity during whole body vibratory stimulation

Many studies have accounted for whole body vibration effects in the fields of exercise physiology, sport and rehabilitation medicine. Generally, surface EMG is utilized to assess muscular activity during the treatment; however, large motion artifacts appear superimposed to the raw signal, making sEMG recording not suitable before any artifact filtering. Sharp notch filters, centered at vibration frequency and at its superior harmonics, have been used in previous studies, to remove the artifacts. [6, 10] However, to get rid of those artifacts some true EMG signal is lost. The purpose of this study was to reproduce the effect of motor-unit synchronization on a simulated surface EMG during vibratory stimulation. In addition, authors mean to evaluate the EMG power percentage in those bands in which are also typically located motion artifact components. Model characteristics were defined to take into account two main aspect: the muscle MUs discharge behavior and the triggering effects that appear during local vibratory stimulation. [7] Inter-pulse-interval, was characterized by a polimodal distribution related to the MU discharge frequency (IPI 55-80ms, σ=12ms) and to the correlation with the vibration period within the range of ±2 ms due to vibration stimulus. [1, 7] The signals were simulated using different stimulation frequencies from 30 to 70 Hz. The percentage of the total simulated EMG power within narrow bands centered at the stimulation frequency and its superior harmonics (± 1 Hz) resulted on average about 8% (± 2.85) of the total EMG power. However, the artifact in those bands may contain more than 40% of the total power of the total signal. [6] Our preliminary results suggest that the analysis of the muscular activity of muscle based on raw sEMG recordings and RMS evaluation, if not processed during vibratory stimulation may lead to a serious overestimation of muscular response.

Multi-agent Systems in the Harvest Prognosis

The paper presents a case study of geo-monitoring a region consisting in the capturing and encoding of human expertise into a knowledge-based system. As soon as the maps have been processed, the data patterns are detected using knowledge-based agents for the harvest prognosis.

Agent-Oriented Middleware Supporting Delivery of Mobile Elearning Services

Within project Distributed eLearning Center (DeLC) we are developing a system for distance and eLearning, which offers fixed and mobile access to electronic content and services. Mobile access is based on InfoStation architecture, which provides Bluetooth and WiFi connectivity. On InfoStation network we are developing multi-agent middleware that provides context-aware, adaptive and personalized access to the mobile services to the users. For more convenient testing and optimization of the middleware a simulation environment, called CA3 SiEnv, is being created.

Application of ensemble averaging to the analysis of electromyography recordings under whole body vibratory stimulation

The aim of this study is to evaluate the application of ensemble averaging to the analysis of electromyography recordings under whole body vibratory stimulation. Recordings from Rectus Femoris, collected during vibratory stimulation at different frequencies, are used. Each signal is subdivided in intervals, which time duration is related to the vibration frequency. Finally the average of the segmented intervals is performed. By using this method for the majority of the recordings the periodic components emerge. The autocorrelation of few seconds of signals confirms the presence of a pseudosinusoidal components strictly related to the soft tissues oscillations caused by the mechanical waves. © 2014 IEEE.

Selection of conserved epitopes from hepatitis C virus for pan-populational stimulation of T-cell responses

The hepatitis C virus (HCV) is able to persist as a chronic infection, which can lead to cirrhosis and liver cancer. There is evidence that clearance of HCV is linked to strong responses by CD8 cytotoxic T lymphocytes (CTLs), suggesting that eliciting CTL responses against HCV through an epitope-based vaccine could prove an effective means of immunization. However, HCV genomic plasticity as well as the polymorphisms of HLA I molecules restricting CD8 T-cell responses challenges the selection of epitopes for a widely protective vaccine. Here, we devised an approach to overcome these limitations. From available databases, we first collected a set of 245 HCV-specific CD8 T-cell epitopes, all known to be targeted in the course of a natural infection in humans. After a sequence variability analysis, we next identified 17 highly invariant epitopes. Subsequently, we predicted the epitope HLA I binding profiles that determine their potential presentation and recognition. Finally, using the relevant HLA I-genetic frequencies, we identified various epitope subsets encompassing 6 conserved HCV-specific CTL epitopes each predicted to elicit an effective T-cell response in any individual regardless of their HLA I background. We implemented this epitope selection approach for free public use at the EPISOPT web server. © 2013 Magdalena Molero-Abraham et al.

A New Class of Processes for Formalizing and Generalizing Individual-Based Models: The Semi-Semi-Markov Processes

2000 Mathematics Subject Classification: 60K15, 60K20, 60G20,60J75, 60J80, 60J85, 60-08, 90B15.

A knowledge based system of principled negotiation for complex business contract

Automated negotiation systems can do better than human being in many aspects, and thus are applied into many domains ranging from business to computer science. However, little work about automating negotiation of complex business contract has been done so far although it is a kind of the most important negotiation in business. In order to address this issue, in this paper we developed an automated system for this kind of negotiation. This system is based on the principled negotiation theory, which is the most effective method of negotiation in the domain of business. The system is developed as a knowledge-based one because a negotiating agent in business has to be economically intelligent and capable of making effective decisions based on business experiences and knowledge. Finally, the validity of the developed system is shown in a real negotiation scenario where on behalf of human users, the system successfully performed a negotiation of a complex business contract between a wholesaler and a retailer. © 2013 Springer-Verlag Berlin Heidelberg.

Instructional change through collaboration and reflection

The purpose of this study was to investigate the effectiveness of the Facilitator-Collaborative-Reflective Model, a strategic plan for changing teachers' practices and beliefs, on a selected group of middle school teachers. This model of staff development training was based on Corey's (1953) Cooperative-Action-Research Model and Anders and Richardson (1994) Collaborative-Reflective Model. It supports the notion that earning a teachers' commitment to change by focusing on collaboration, reflection and the normative-re-educative process aids in altering teachers' beliefs and practices especially crucial to the change process. The year-long training provided for reflection, inquiry, and learning that was useful to teachers as they pursued their goals with their students. The lead teacher, as a change agent and transformational leader, assisted in this commitment to change by improving the teachers' self-concepts as they slowly changed. The collaborative and receptive environment of the staff development fostered acceptance and stimulation of ideas.^ Given the collaborative nature of the change process, qualitative research methods were used in the investigation. The research process was based on Stufflebeam's Context, Input, Process and Product (CIPP) Evaluation Model (Madaus, Scriven & Stufflebeam, 1983). This allowed for all three factors of the staff development model to be evaluated. The case studies and focus group were effective in discerning any actual change in practices or beliefs.^ The findings of the qualitative evaluation, consisting of a baseline survey, case studies, questionnaire and modified focus group interviews, concluded that all of the teachers were strongly influenced by the intervention model which was the subject of this study. From this evaluation, three distinct indicators were looked at to determine if any change in the teachers' practices and beliefs emerged: (1) change in practice and belief, (2) reflective feedback and (3) collaborative reflection. These indicators were common throughout the teacher responses thus substantiating the infusion of the Facilitator-Collaborative-Reflective Model at the school level for effective staff development. ^

Education and training in the use of physical agent modalities by occupational therapists practicing in the physical disabilities area

This study was conducted to examine how occupational therapists (OTs) practicing in the physical disabilities area received their training in the use of physical agent modalities (PAMs); to determine the frequency of PAMs usage by those therapists; and to obtain their opinions regarding the training of OTs and OT students in the administration of PAMs. Three hundred OTs practicing in physical diabilities (n = 194 returned) were surveyed. The most frequently used modalities were hot and cold packs, paraffin, and ultrasound. The least frequently used modalities were transcutaneous electrical stimulation (TENS) and whirlpool. On-the-job training was the most common educational method received by the respondents for PAMs usage. The respondents considered a combination of undergraduate education, fieldwork, continuing education and on-the-job training as the most appropriate educational setting for training in modalities. While few of the respondents received preparation in PAMs during entry-level academic programs, the majority felt that OT students should be trained in PAMs usage as part of their education curriculum. ^

A methodology for formally modeling and analyzing software architecture of mobile agent systems

A methodology for formally modeling and analyzing software architecture of mobile agent systems provides a solid basis to develop high quality mobile agent systems, and the methodology is helpful to study other distributed and concurrent systems as well. However, it is a challenge to provide the methodology because of the agent mobility in mobile agent systems.^ The methodology was defined from two essential parts of software architecture: a formalism to define the architectural models and an analysis method to formally verify system properties. The formalism is two-layer Predicate/Transition (PrT) nets extended with dynamic channels, and the analysis method is a hierarchical approach to verify models on different levels. The two-layer modeling formalism smoothly transforms physical models of mobile agent systems into their architectural models. Dynamic channels facilitate the synchronous communication between nets, and they naturally capture the dynamic architecture configuration and agent mobility of mobile agent systems. Component properties are verified based on transformed individual components, system properties are checked in a simplified system model, and interaction properties are analyzed on models composing from involved nets. Based on the formalism and the analysis method, this researcher formally modeled and analyzed a software architecture of mobile agent systems, and designed an architectural model of a medical information processing system based on mobile agents. The model checking tool SPIN was used to verify system properties such as reachability, concurrency and safety of the medical information processing system. ^ From successful modeling and analyzing the software architecture of mobile agent systems, the conclusion is that PrT nets extended with channels are a powerful tool to model mobile agent systems, and the hierarchical analysis method provides a rigorous foundation for the modeling tool. The hierarchical analysis method not only reduces the complexity of the analysis, but also expands the application scope of model checking techniques. The results of formally modeling and analyzing the software architecture of the medical information processing system show that model checking is an effective and an efficient way to verify software architecture. Moreover, this system shows a high level of flexibility, efficiency and low cost of mobile agent technologies. ^

A nested Petri net framework for modeling and analyzing multi-agent systems

In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent system view provides a natural abstraction for both the structure and the behavior of modern-day software systems. Although there were many conceptual frameworks for using multi-agent systems, there was no well established and widely accepted method for modeling multi-agent systems. This dissertation research addressed the representation and analysis of multi-agent systems based on model-oriented formal methods. The objective was to provide a systematic approach for studying MAS at an early stage of system development to ensure the quality of design. ^ Given that there was no well-defined formal model directly supporting agent-oriented modeling, this study was centered on three main topics: (1) adapting a well-known formal model, predicate transition nets (PrT nets), to support MAS modeling; (2) formulating a modeling methodology to ease the construction of formal MAS models; and (3) developing a technique to support machine analysis of formal MAS models using model checking technology. PrT nets were extended to include the notions of dynamic structure, agent communication and coordination to support agent-oriented modeling. An aspect-oriented technique was developed to address the modularity of agent models and compositionality of incremental analysis. A set of translation rules were defined to systematically translate formal MAS models to concrete models that can be verified through the model checker SPIN (Simple Promela Interpreter). ^ This dissertation presents the framework developed for modeling and analyzing MAS, including a well-defined process model based on nested PrT nets, and a comprehensive methodology to guide the construction and analysis of formal MAS models.^

Learning Data-Driven Models of Non-Verbal Behaviors for Building Rapport Using an Intelligent Virtual Agent

There is a growing societal need to address the increasing prevalence of behavioral health issues, such as obesity, alcohol or drug use, and general lack of treatment adherence for a variety of health problems. The statistics, worldwide and in the USA, are daunting. Excessive alcohol use is the third leading preventable cause of death in the United States (with 79,000 deaths annually), and is responsible for a wide range of health and social problems. On the positive side though, these behavioral health issues (and associated possible diseases) can often be prevented with relatively simple lifestyle changes, such as losing weight with a diet and/or physical exercise, or learning how to reduce alcohol consumption. Medicine has therefore started to move toward finding ways of preventively promoting wellness, rather than solely treating already established illness. Evidence-based patient-centered Brief Motivational Interviewing (BMI) interven- tions have been found particularly effective in helping people find intrinsic motivation to change problem behaviors after short counseling sessions, and to maintain healthy lifestyles over the long-term. Lack of locally available personnel well-trained in BMI, however, often limits access to successful interventions for people in need. To fill this accessibility gap, Computer-Based Interventions (CBIs) have started to emerge. Success of the CBIs, however, critically relies on insuring engagement and retention of CBI users so that they remain motivated to use these systems and come back to use them over the long term as necessary. Because of their text-only interfaces, current CBIs can therefore only express limited empathy and rapport, which are the most important factors of health interventions. Fortunately, in the last decade, computer science research has progressed in the design of simulated human characters with anthropomorphic communicative abilities. Virtual characters interact using humans’ innate communication modalities, such as facial expressions, body language, speech, and natural language understanding. By advancing research in Artificial Intelligence (AI), we can improve the ability of artificial agents to help us solve CBI problems. To facilitate successful communication and social interaction between artificial agents and human partners, it is essential that aspects of human social behavior, especially empathy and rapport, be considered when designing human-computer interfaces. Hence, the goal of the present dissertation is to provide a computational model of rapport to enhance an artificial agent’s social behavior, and to provide an experimental tool for the psychological theories shaping the model. Parts of this thesis were already published in [LYL+12, AYL12, AL13, ALYR13, LAYR13, YALR13, ALY14].

Perfil imunológico associado à susceptibilidade, resistência e cura na infecção por Leishmania ( Leishmania ) infantum

Visceral Leishmaniasis (VL) is endemic in Brazil and the northeast region had the highest incidence of the disease , despite, in the last 30 years, it has spread to all geographic regions of the country. Leishmania infantum is the m ain etiological agent of VL in Latin America, Europe and North Africa. However, not all infected individuals develop the disease; in fact, the majority present spontaneous re solution of infection without symptoms. The evaluation of the immunological profil e has been mostly conducted stimulating, with Leishmania spp. antigen, peripheral blood mononuclear cells isolated from subjects with VL. These studies showed that VL patients had an inhibition of both, lymphocyte proliferation and proinflammatory response to Leishmania spp. antigen. Our study aimed to evaluate the immune response in active LV, cured post treatment and asymptomatic infection. To reach this aim, we analyzed immunophenotypic features related to activation, Treg and memory lymphocytes, by flow cytometry, as well as, evaluation of cytokine production, in ex vivo or in whole blood culture. In active VL volunteers, a longitu dinal study was conducted with reassessment at 4 and 14 months after clinical cure. The control group included individuals th at live d in endemic region and were either Positive Control, consisting of individuals with positive anti - L eishmania spp. serology and/or positive PCR for Leishmania  spp. and Negative Control composed by individuals with negative anti - Leishmania antibodie s serology and negative PCR for Leishmania . During VL, CD4 lymphocytes showed greater activation and memory profile s and were the major source of cytokines in culture when compared to CD8 lymphocytes , and these were not Leishmania specific. There were act ivated lymphocytes during VL (CD4 + CD69 + :4.9%) when compared to control groups, Positive (CD4 + CD69 + :1.96%, p=0.0045) and Negative (CD4 + CD69 + :1.35%, p=0.006), on the other hand, this was non - specific activation. The lymphocyte activation profile remain ed el evated even 14 months post treatmen t. A fter clinical cure , the activation was Leishmania specific (CD4 + CD25 + absence of SLA: 8.4%, and presence of SLA: 10.7% p=0.0279). CD8 + CD25 + lymphocytes were able to produce Leishmania specific IFN - γ in both, Positive Controls (absence of SLA 5.2% and presence of SLA: 9.5%, p=0.0391) and Cured 4 month (absence of SLA: 3.9%; presence of SLA: 10.7% p=0.0098). Whole blood culture cells, of VL patients, were able to produce IFN - γ, by SLA stimulation (absence of SLA: 28.0 pg ∕mL, and presence: 44.3 pg∕mL p=0.0020) as well as recovered groups (absence of SLA 2.3 pg∕mL and presence of SLA 139.8 pg∕mL, p=0.0005). However, the high level of IL - 10 seem ed to inhibit pro - inflammatory activity of IFN - γ and TNF - α during symptomatic dis ease . Unlike other pro - inflammatory cytokines, active VL group d id not produce Leishmania specific IL - 2 (absence of SLA 2.4 pg∕mL and presence of SLA: 2.6 pg∕mL). Based on these data we conclude that the restoration of lymphocyte activation and decreased i n IL - 10 Leishmania specific production were related to a protective immune profile.

Hydroxylamine-O-sulfonic acid as a new reducing agent for the formation of nearly monodisperse gold nanoparticles in water: synthesis, characterisation and bioconjugation

Gold nanoparticles (Au NPs) with diameters ranging between 15 and 150 nm have been synthesised in water. 15 and 30 nm Au NPs were obtained by the Turkevich and Frens method using sodium citrate as both a reducing and stabilising agent at high temperature (Au NPs-citrate), while 60, 90 and 150 nm Au NPs were formed using hydroxylamine-o-sulfonic acid (HOS) as a reducing agent for HAuCl4 at room temperature. This new method using HOS is an extension of the approaches previously reported for producing Au NPs with mean diameters above 40 nm by direct reduction. Functionalised polyethylene glycol-based thiol polymers were used to stabilise the pre-synthesised Au NPs. The nanoparticles obtained were characterised using uv-visible spectroscopy, dynamic light scattering (DLS) and transmission electron microscopy (TEM). Further bioconjugation on 15, 30 and 90 nm PEGylated Au NPs were performed by grafting Bovine Serum Albumin, Transferrin and Apolipoprotein E (ApoE).