The concept of e-service from a social interaction perspective

Today’s e-services are complex phenomenon consisting of several different e-services linked together. The e-services are provided by IT systems and presented to customers through user interfaces. Within web design research criteria are laid out for the design of good user interfaces, but one problem is that these analyses are performed without a service focus. This lack of service focus can result in the designed user interfaces providing indistinct service concepts, especially where several e-services are intertwined with each other.In order to design IT system interfaces, we have to be clear about which e-services are provided by the IT system and how these e-services are related to each other. This paper presents a framework for the analysis of user interfaces in terms of focused e-service, service environment and two types of intertwined e-services; related e-services and interrelating e-services. The analyses are exemplified by an Internet based e-marketplace. The paper discusses how the framework can be combined with ordinary web design criteria and how it can be used for e-service development.

Testing of combined heating systems for small houses: Improved procedures for whole system test methods : Deliverable 2.3

Dynamic system test methods for heating systems were developed and applied by the institutes SERC and SP from Sweden, INES from France and SPF from Switzerland already before the MacSheep project started. These test methods followed the same principle: a complete heating system – including heat generators, storage, control etc., is installed on the test rig; the test rig software and hardware simulates and emulates the heat load for space heating and domestic hot water of a single family house, while the unit under test has to act autonomously to cover the heat demand during a representative test cycle. Within the work package 2 of the MacSheep project these similar – but different – test methods were harmonized and improved. The work undertaken includes:  • Harmonization of the physical boundaries of the unit under test. • Harmonization of the boundary conditions of climate and load. • Definition of an approach to reach identical space heat load in combination with an autonomous control of the space heat distribution by the unit under test. • Derivation and validation of new six day and a twelve day test profiles for direct extrapolation of test results.   The new harmonized test method combines the advantages of the different methods that existed before the MacSheep project. The new method is a benchmark test, which means that the load for space heating and domestic hot water preparation will be identical for all tested systems, and that the result is representative for the performance of the system over a whole year. Thus, no modelling and simulation of the tested system is needed in order to obtain the benchmark results for a yearly cycle. The method is thus also applicable to products for which simulation models are not available yet. Some of the advantages of the new whole system test method and performance rating compared to the testing and energy rating of single components are:  • Interaction between the different components of a heating system, e.g. storage, solar collector circuit, heat pump, control, etc. are included and evaluated in this test. • Dynamic effects are included and influence the result just as they influence the annual performance in the field. • Heat losses are influencing the results in a more realistic way, since they are evaluated under "real installed" and representative part-load conditions rather than under single component steady state conditions.   The described method is also suited for the development process of new systems, where it replaces time-consuming and costly field testing with the advantage of a higher accuracy of the measured data (compared to the typically used measurement equipment in field tests) and identical, thus comparable boundary conditions. Thus, the method can be used for system optimization in the test bench under realistic operative conditions, i.e. under relevant operating environment in the lab.   This report describes the physical boundaries of the tested systems, as well as the test procedures and the requirements for both the unit under test and the test facility. The new six day and twelve day test profiles are also described as are the validation results.

Designing Agent-Oriented Systems by Analysing Agent Interactions

We propose a preliminary methodology for agent-oriented software engineering based on the idea of agent interaction analysis. This approach uses interactions between undetermined agents as the primary component of analysis and design. Agents as a basis for software engineering are useful because they provide a powerful and intuitive abstraction which can increase the comprehensiblity of a complex design. The paper describes a process by which the designer can derive the interactions that can occur in a system satisfying the given requirements and use them to design the structure of an agent-based system, including the identification of the agents themselves. We suggest that this approach has the flexibility necessary to provide agent-oriented designs for open and complex applications, and has value for future maintenance and extension of these systems.

A note on Chambers's "long memory and aggregation in macroeconomic time series"

Chambers (1998) explores the interaction between long memory and aggregation. For continuous-time processes, he takes the aliasing effect into account when studying temporal aggregation. For discrete-time processes, however, he seems to fail to do so. This note gives the spectral density function of temporally aggregated long memory discrete-time processes in light of the aliasing effect. The results are different from those in Chambers (1998) and are supported by a small simulation exercise. As a result, the order of aggregation may not be invariant to temporal aggregation, specifically if d is negative and the aggregation is of the stock type.

Influência do tratamento crônico com cafeína em modelos animais de esquizofrenia : parâmetros cognitivos e comportamentais

A esquizofrenia envolve um conjunto de sintomas de sensopercepção, cognição e afeto que compromete significativamente a vida do sujeito. O mais aceito modelo para se entender essa doença é o modelo de hiperatividade dopaminérgica, pois drogas como anfetamina e cocaína, que aumentam a atividade dopaminérgica, mimetizam alguns sintomas dessa patologia, e os fármacos usados para o tratamento são os que bloqueiam os receptores de dopamina. Além da dopamina, o sistema glutamatérgico também tem sido relacionado à esquizofrenia, pelo fato de antagonistas de receptores glutamatérgicos do tipo NMDA, tais como PCP, MK-801 e cetamina, provocarem alguns sintomas dessa doença, como desorganização cognitiva e delírios em pessoas saudáveis. adenosina, por sua vez, desempenha um papel neuromodulatório tanto da atividade dopaminérgica quanto da atividade glutamatérgica, inibindo o tônus de ambos neurotransmissores por diferentes vias. Assim, sugerimos que antagonistas de receptores adenosinérgicos, como a cafeína, também seriam um modelo farmacológico para a doença. Com base nisso, demonstramos previamente que camundongos tratados cronicamente com cafeína desenvolvem tolerância cruzada ao efeito do antagonista NMDA MK-801 em provocar hiperlocomoção, mas não em seu déficit cognitivo na esquiva inibitória. Buscando ampliar e melhor caracterizar essa interação, os seguintes parâmetros foram avaliados em camundongos: atividade locomotora realizando-se as curvas de dose e de tempo; memória de trabalho, avaliada na tarefa de alternação tardia; memória de longa duração, avaliada na tarefa de esquiva inibitória e a avaliação de ataxia. Os resultados nos mostraram que camundongos subcronicamente tratados com cafeína na bebida (1 mg/mL, por 1, 3, ou 7 dias) apresentaram habituação semelhante entre os grupos e que MK-801 (0,25 mg/kg, i.p.) produziu hiperlocomoção nos animais tratados com água e 1 dia de cafeína, com efeito diminuído depois de 3 dias e praticamente abolido depois de 7 dias. Depois de 7 dias, o efeito também foi dose-dependente, sem tolerância cruzada na dose de 0,1 mg/mL, intermediária na dose de 0,3 mg/mL e total a 1,0 mg/mL. Os escores de ataxia induzidos por 0,5 mg/kg de MK-801 não foram afetados pelo tratamento com cafeína por 7 dias a 1 mg/mL, mas uma hiperlocomoção transitória foi observada. O tratamento com cafeína por 7 dias a 1 mg/mL preveniu os déficits induzidos por 0,01 mg/kg de MK-801 na tarefa de esquiva inibitória e os atenuou, a 0,4 mg/kg de MK-801, na tarefa de alternação tardia, no labirinto em T. Conclui-se, então, que a hiperlocomoção e os déficits cognitivos – mas não a ataxia – induzidos por MK-801 podem estar influenciados pela atividade reduzida da adenosina. Assim, os estudos sobre a ação da adenosina podem se fazer relevantes para a melhor compreensão da neurobiologia da esquizofrenia. Estes resultados são concordantes com o novo modelo proposto, que é o de hipofunção adenosinérgica na esquizofrenia.

A Framework supporting collaboration on the distributed design of integrated systems

The work described in this thesis aims to support the distributed design of integrated systems and considers specifically the need for collaborative interaction among designers. Particular emphasis was given to issues which were only marginally considered in previous approaches, such as the abstraction of the distribution of design automation resources over the network, the possibility of both synchronous and asynchronous interaction among designers and the support for extensible design data models. Such issues demand a rather complex software infrastructure, as possible solutions must encompass a wide range of software modules: from user interfaces to middleware to databases. To build such structure, several engineering techniques were employed and some original solutions were devised. The core of the proposed solution is based in the joint application of two homonymic technologies: CAD Frameworks and object-oriented frameworks. The former concept was coined in the late 80's within the electronic design automation community and comprehends a layered software environment which aims to support CAD tool developers, CAD administrators/integrators and designers. The latter, developed during the last decade by the software engineering community, is a software architecture model to build extensible and reusable object-oriented software subsystems. In this work, we proposed to create an object-oriented framework which includes extensible sets of design data primitives and design tool building blocks. Such object-oriented framework is included within a CAD Framework, where it plays important roles on typical CAD Framework services such as design data representation and management, versioning, user interfaces, design management and tool integration. The implemented CAD Framework - named Cave2 - followed the classical layered architecture presented by Barnes, Harrison, Newton and Spickelmier, but the possibilities granted by the use of the object-oriented framework foundations allowed a series of improvements which were not available in previous approaches: - object-oriented frameworks are extensible by design, thus this should be also true regarding the implemented sets of design data primitives and design tool building blocks. This means that both the design representation model and the software modules dealing with it can be upgraded or adapted to a particular design methodology, and that such extensions and adaptations will still inherit the architectural and functional aspects implemented in the object-oriented framework foundation; - the design semantics and the design visualization are both part of the object-oriented framework, but in clearly separated models. This allows for different visualization strategies for a given design data set, which gives collaborating parties the flexibility to choose individual visualization settings; - the control of the consistency between semantics and visualization - a particularly important issue in a design environment with multiple views of a single design - is also included in the foundations of the object-oriented framework. Such mechanism is generic enough to be also used by further extensions of the design data model, as it is based on the inversion of control between view and semantics. The view receives the user input and propagates such event to the semantic model, which evaluates if a state change is possible. If positive, it triggers the change of state of both semantics and view. Our approach took advantage of such inversion of control and included an layer between semantics and view to take into account the possibility of multi-view consistency; - to optimize the consistency control mechanism between views and semantics, we propose an event-based approach that captures each discrete interaction of a designer with his/her respective design views. The information about each interaction is encapsulated inside an event object, which may be propagated to the design semantics - and thus to other possible views - according to the consistency policy which is being used. Furthermore, the use of event pools allows for a late synchronization between view and semantics in case of unavailability of a network connection between them; - the use of proxy objects raised significantly the abstraction of the integration of design automation resources, as either remote or local tools and services are accessed through method calls in a local object. The connection to remote tools and services using a look-up protocol also abstracted completely the network location of such resources, allowing for resource addition and removal during runtime; - the implemented CAD Framework is completely based on Java technology, so it relies on the Java Virtual Machine as the layer which grants the independence between the CAD Framework and the operating system. All such improvements contributed to a higher abstraction on the distribution of design automation resources and also introduced a new paradigm for the remote interaction between designers. The resulting CAD Framework is able to support fine-grained collaboration based on events, so every single design update performed by a designer can be propagated to the rest of the design team regardless of their location in the distributed environment. This can increase the group awareness and allow a richer transfer of experiences among them, improving significantly the collaboration potential when compared to previously proposed file-based or record-based approaches. Three different case studies were conducted to validate the proposed approach, each one focusing one a subset of the contributions of this thesis. The first one uses the proxy-based resource distribution architecture to implement a prototyping platform using reconfigurable hardware modules. The second one extends the foundations of the implemented object-oriented framework to support interface-based design. Such extensions - design representation primitives and tool blocks - are used to implement a design entry tool named IBlaDe, which allows the collaborative creation of functional and structural models of integrated systems. The third case study regards the possibility of integration of multimedia metadata to the design data model. Such possibility is explored in the frame of an online educational and training platform.

Quantifying epistemic actions in human-computer interaction

As digital systems move away from traditional desktop setups, new interaction paradigms are emerging that better integrate with users’ realworld surroundings, and better support users’ individual needs. While promising, these modern interaction paradigms also present new challenges, such as a lack of paradigm-specific tools to systematically evaluate and fully understand their use. This dissertation tackles this issue by framing empirical studies of three novel digital systems in embodied cognition – an exciting new perspective in cognitive science where the body and its interactions with the physical world take a central role in human cognition. This is achieved by first, focusing the design of all these systems on a contemporary interaction paradigm that emphasizes physical interaction on tangible interaction, a contemporary interaction paradigm; and second, by comprehensively studying user performance in these systems through a set of novel performance metrics grounded on epistemic actions, a relatively well established and studied construct in the literature on embodied cognition. The first system presented in this dissertation is an augmented Four-in-a-row board game. Three different versions of the game were developed, based on three different interaction paradigms (tangible, touch and mouse), and a repeated measures study involving 36 participants measured the occurrence of three simple epistemic actions across these three interfaces. The results highlight the relevance of epistemic actions in such a task and suggest that the different interaction paradigms afford instantiation of these actions in different ways. Additionally, the tangible version of the system supports the most rapid execution of these actions, providing novel quantitative insights into the real benefits of tangible systems. The second system presented in this dissertation is a tangible tabletop scheduling application. Two studies with single and paired users provide several insights into the impact of epistemic actions on the user experience when these are performed outside of a system’s sensing boundaries. These insights are clustered by the form, size and location of ideal interface areas for such offline epistemic actions to occur, as well as how can physical tokens be designed to better support them. Finally, and based on the results obtained to this point, the last study presented in this dissertation directly addresses the lack of empirical tools to formally evaluate tangible interaction. It presents a video-coding framework grounded on a systematic literature review of 78 papers, and evaluates its value as metric through a 60 participant study performed across three different research laboratories. The results highlight the usefulness and power of epistemic actions as a performance metric for tangible systems. In sum, through the use of such novel metrics in each of the three studies presented, this dissertation provides a better understanding of the real impact and benefits of designing and developing systems that feature tangible interaction.

Species Diversity of Myrmecofauna and Araneofauna Associated with Agroecosystem and Forest Fragments and their Interaction with Carabidae and Staphylinidae (Coleoptera)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Transcriptomics and systems biology analysis in identification of specific pathways involved in cacao resistance and susceptibility to witches' broom disease

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Effect of the Oxygen on the Mechanical Properties of Ti-Mo Systems Alloys

Titanium alloys normally contain oxygen, nitrogen, or carbon as impurities, and although this concentration is low, these impurities cause changes in the mechanical properties of Ti alloys. Oxygen is a strong alpha-phase stabilizer and its addition causes solid-solution strengthening, shape memory effect, and superelasticity. The most promising alloys are those with Nb, Zr, Ta, and Mo as alloying elements. In this paper, the preparation, processing, and characterization of Ti-Mo alloys (5 and 10 wt%) used as biomaterials are presented, along with the influence of oxygen on their mechanical properties. The addition of oxygen causes an increase in the elasticity modulus of the Ti-5Mo alloy due to an increase in the alpha' phase volume fraction, which possesses a higher modulus than the alpha '' phase. Ti-10Mo possesses a mixture between alpha '' and beta phases, oxygen enters these two structures and causes a dominating effect.

Modeling and Experimental Aspects of Self-healing Bolted Joint through Shape Memory Alloy Actuators

Bolted joints are a form of mechanical coupling largely used in machinery due to their reliability and low cost. Failure of bolted joints can lead to catastrophic events, such as leaking, train derailments, aircraft crashes, etc. Most of these failures occur due to the reduction of the pre-load, induced by mechanical vibration or human errors in the assembly or maintenance process. This article investigates the application of shape memory alloy (SMA) washers as an actuator to increase the pre-load on loosened bolted joints. The application of SMA washer follows a structural health monitoring procedure to identify a damage (reduction in pre-load) occurrence. In this article, a thermo-mechanical model is presented to predict the final pre-load achieved using this kind of actuator, based on the heat input and SMA washer dimension. This model extends and improves on the previous model of Ghorashi and Inman [2004, "Shape Memory Alloy in Tension and Compression and its Application as Clamping Force Actuator in a Bolted Joint: Part 2 - Modeling," J. Intell. Mater. Syst. Struct., 15:589-600], by eliminating the pre-load term related to nut turning making the system more practical. This complete model is a powerful but complex tool to be used by designers. A novel modeling approach for self-healing bolted joints based on curve fitting of experimental data is presented. The article concludes with an experimental application that leads to a change in joint assembly to increase the system reliability, by removing the ceramic washer component. Further research topics are also suggested.