Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java

Dynamic analysis is an increasingly important means of supporting software validation and maintenance. To date, developers of dynamic analyses have used low-level instrumentation and debug interfaces to realize their analyses. Many dynamic analyses, however, share multiple common high-level requirements, e.g., capture of program data state as well as events, and efficient and accurate event capture in the presence of threading. We present SOFYA – an infra-structure designed to provide high-level, efficient, concurrency-aware support for building analyses that reason about rich observations of program data and events. It provides a layered, modular architecture, which has been successfully used to rapidly develop and evaluate a variety of demanding dynamic program analyses. In this paper, we describe the SOFYA framework, the challenges it addresses, and survey several such analyses.

EasyInterface: a toolkit for the rapid development of GUIs for research prototype tools

During the lifetime of a research project, different partners develop several research prototype tools that share many common aspects. This is equally true for researchers as individuals and as groups: during a period of time they often develop several related tools to pursue a specific research line. Making research prototype tools easily accessible to the community is of utmost importance to promote the corresponding research, get feedback, and increase the tools’ lifetime beyond the duration of a specific project. One way to achieve this is to build graphical user interfaces (GUIs) that facilitate trying tools; in particular, with web-interfaces one avoids the overhead of downloading and installing the tools. Building GUIs from scratch is a tedious task, in particular for web-interfaces, and thus it typically gets low priority when developing a research prototype. Often we opt for copying the GUI of one tool and modifying it to fit the needs of a new related tool. Apart from code duplication, these tools will “live” separately, even though we might benefit from having them all in a common environment since they are related. This work aims at simplifying the process of building GUIs for research prototypes tools. In particular, we present EasyInterface, a toolkit that is based on novel methodology that provides an easy way to make research prototype tools available via common different environments such as a web-interface, within Eclipse, etc. It includes a novel text-based output language that allows to present results graphically without requiring any knowledge in GUI/Web programming. For example, an output of a tool could be (a structured version of) “highlight line number 10 of file ex.c” and “when the user clicks on line 10, open a dialog box with the text ...”. The environment will interpret this output and converts it to corresponding visual e_ects. The advantage of using this approach is that it will be interpreted equally by all environments of EasyInterface, e.g., the web-interface, the Eclipse plugin, etc. EasyInterface has been developed in the context of the Envisage [5] project, and has been evaluated on tools developed in this project, which include static analyzers, test-case generators, compilers, simulators, etc. EasyInterface is open source and available at GitHub2.

Development of a Stability-Indicating LC Assay Method for Determination of Chloroquine

A simple and rapid development of a stability-indicating LC method for determination of chloroquine diphosphate in the presence of its hydrolysis, oxidative and photolysis degradation products is described. Stress testing showed that chloroquine diphosphate was degraded under basic conditions and by photolytic treatment but was stable under the other stress conditions investigated. Separation of the drug from its degradation products was achieved with a Nova Pack C18 column, 0.01 M PIC B7 and acetonitrile (40:60 v/v) pH 3.6, as mobile phase. Response was linear over the range 0.08-5.70 mu g mL(-1) (r = 0.996), with limits of detection and quantification (LOD and LOQ) of 0.17 and 0.35 mu g mL(-1), respectively.

Interaction of malaria parasites with host late endocytic and autophagic pathways is essential for Plasmodium liver stage development

RESUMO: A Malária é causada por parasitas do género Plasmodium, sendo a doença parasitária mais fatal para o ser humano. Apesar de, durante o século passado, o desenvolvimento económico e a implementação de diversas medidas de controlo, tenham permitido erradicar a doença em muitos países, a Malária continua a ser um problema de saúde grave, em particular nos países em desenvolvimento. A Malária é transmitida através da picada de uma fêmea de mosquito do género Anopheles. Durante a picada, os esporozoítos são injetados na pele do hospedeiro, seguindo-se a fase hepática e obrigatória do ciclo de vida. No fígado, os esporozoítos infetam os hepatócitos onde se replicam, dentro de um vacúolo parasitário (VP) e de uma forma imunitária silenciosa, em centenas de merozoitos. Estas novas formas do parasita são as responsáveis por infetar os eritrócitos, iniciando a fase sanguínea da doença, onde se os primeiros sintomas se manifestam, tais como a característica febre cíclica. A fase hepática da doença é a menos estudada e compreendida. Mais ainda, as interações entre o VP e os organelos da células hospedeira estão ainda pouco caracterizados. Assim, neste estudo, as interações entre os organelos endocíticos e autofágicos da célula hospedeira e o VP foram dissecados, observando-se que os anfisomas, que são organelos resultantes da intersecção do dois processos de tráfego intracelular, interagem com o parasita. Descobrimos que a autofagia tem também uma importante função imunitária durante a fase hepática inicial, ao passo, que durante o desenvolvimento do parasita, já numa fase mais tardia, o parasita depende da interação com os endossomas tardios e anfisomas para crescer. Vesiculas de BSA, EGF e LC3, foram, também, observadas dentro do VP, sugerindo que os parasitas são capazes de internalizar material endocítico e autofágico do hospedeiro. Mais ainda, mostramos que esta interação depende da cinase PIKfyve, responsável pela conversão do fosfoinositidio-3-fosfato no fosfoinositidio-3,5-bifosfato, uma vez que inibindo esta cinase o parasita não é capaz de crescer normalmente. Finalmente, mostramos que a proteína TRPML1, uma proteína efetora do fosfoinositidio-3,5-bifosfato, e envolvida no processo de fusão das membranas dos organelos endocíticos e autofágicos, também é necessária para o crescimento do parasita. Desta forma, o nosso estudo sugere que a membrana do VP funde com vesiculas endocíticas e autofágicas tardias, de uma forma dependente do fositidio-3,5-bifosfato e do seu effetor TRPML1, permitindo a troca de material com a célula hospedeira. Concluindo, os nossos resultados evidenciam que o processo autofágico que ocorre na célula hospedeira tem um papel duplo durante a fase hepática da malaria. Enquanto numa fase inicial os hepatócitos usam o processo autofágico como forma de defesa contra o parasita, já durante a fase de replicação o VP funde com vesiculas autofágicas e endocíticas de forma a obter os nutrientes necessários ao seu desenvolvimento.--------- ABSTRACT: Malaria, which is caused by parasites of the genus Plasmodium, is the most deadly parasitic infection in humans. Although economic development and the implementation of control measures during the last century have erradicated the disease from many areas of the world, it remains a serious human health issue, particularly in developing countries. Malaria is transmitted by female mosquitoes of the genus Anopheles. During the mosquito blood meal, Plasmodium spp. sporozoites are injected into the skin dermis of the vertebrate host, followed by an obligatory liver stage. Upon entering the liver, Plasmodium parasites infect hepatocytes and silently replicate inside a host cell-derived parasitophorous vacuole (PV) into thousands of merozoites. These new parasite forms can infect red blood cells initiating the the blood stage of the disease which shows the characteristic febrile malaria episodes. The liver stage is the least characterized step of the malaria infection. Moreover, the interactions between the Plasmodium spp. PV and the host cell trafficking pathways are poorly understood. We dissected the interaction between Plasmodium parasites and the host cell endocytic and autophagic pathways and we found that both pathways intersect and interconnect in the close vicinity of the parasite PV, where amphisomes are formed and accumulate. Interestingly, we observed a clearance function for autophagy in hepatocytes infected with Plasmodium berghei parasites at early infection times, whereas during late liver stage development late endosomes and amphisomes are required for parasite growth. Moreover, we found the presence of internalized BSA, EGF and LC3 inside parasite vacuoles, suggesting that the parasites uptake endocytic and autophagic cargo. Furthermore, we showed that the interaction between the PV and host traffic pathways is dependent on the kinase PIKfyve, which converts the phosphoinositide PI(3)P into PI(3,5)P2, since PIKfyve inhibition caused a reduction in parasite growth. Finally, we showed that the PI(3,5)P2 effector protein TRPML1, which is involved in late endocytic and autophagic membrane fusion, is also required for parasite development. Thus, our studies suggest that the parasite parasitophorous vacuole membrane (PVM) is able to fuse with late endocytic and autophagic vesicles in a PI(3,5)P2- and TRPML1-dependent manner, allowing the exchange of material between the host cell and the parasites, necessary for the rapid development of the latter that is seen during the liver stage of infection. In conclusion, we present evidence supporting a specific and essential dual role of host autophagy during the course of Plasmodium liver infection. Whereas in the initial hours of infection the host cell uses autophagy as a cell survival mechanism to fight the infection, during the replicative phase the PV fuses with host autophagic and endocytic vesicles to obtain nutrients required for parasite growth.

Development of In Situ Detection Methods for Materials-Related Distress (MRD) in Concrete Pavements: Phase 2, HR-1081, 2005

This project utilized information from ground penetrating radar (GPR) and visual inspection via the pavement profile scanner (PPS) in proof-of-concept trials. GPR tests were carried out on a variety of portland cement concrete pavements and laboratory concrete specimens. Results indicated that the higher frequency GPR antennas were capable of detecting subsurface distress in two of the three pavement sites investigated. However, the GPR systems failed to detect distress in one pavement site that exhibited extensive cracking. Laboratory experiments indicated that moisture conditions in the cracked pavement probably explain the failure. Accurate surveys need to account for moisture in the pavement slab. Importantly, however, once the pavement site exhibits severe surface cracking, there is little need for GPR, which is primarily used to detect distress that is not observed visually. Two visual inspections were also conducted for this study by personnel from Mandli Communications, Inc., and the Iowa Department of Transportation (DOT). The surveys were conducted using an Iowa DOT video log van that Mandli had fitted with additional equipment. The first survey was an extended demonstration of the PPS system. The second survey utilized the PPS with a downward imaging system that provided high-resolution pavement images. Experimental difficulties occurred during both studies; however, enough information was extracted to consider both surveys successful in identifying pavement surface distress. The results obtained from both GPR testing and visual inspections were helpful in identifying sites that exhibited materials-related distress, and both were considered to have passed the proof-of-concept trials. However, neither method can currently diagnose materials-related distress. Both techniques only detected the symptoms of materials-related distress; the actual diagnosis still relied on coring and subsequent petrographic examination. Both technologies are currently in rapid development, and the limitations may be overcome as the technologies advance and mature.

Drivers and barriers of mobile travel and tourism service adoption : a study of individual perceptions and business model development in a travel and tourism context

The Travel and Tourism field is undergoing changes due to the rapid development of information technology and digital services. Online travel has profoundly changed the way travel and tourism organizations interact with their customers. Mobile technology such as mobile services for pocket devices (e.g. mobile phones) has the potential to take this development even further. Nevertheless, many issues have been highlighted since the early days of mobile services development (e.g. the lack of relevance, ease of use of many services). However, the wide adoption of smartphones and the mobile Internet in many countries as well as the formation of so-called ecosystems between vendors of mobile technology indicate that many of these issues have been overcome. Also when looking at the numbers of downloaded applications related to travel in application stores like Google Play, it seems obvious that mobile travel and tourism services are adopted and used by many individuals. However, as business is expected to start booming in the mobile era, many issues have a tendency to be overlooked. Travelers are generally on the go and thus services that work effectively in mobile settings (e.g. during a trip) are essential. Hence, the individuals’ perceived drivers and barriers to use mobile travel and tourism services in on-site or during trip settings seem particularly valuable to understand; thus this is one primary aim of the thesis. We are, however, also interested in understanding different types of mobile travel service users. Individuals may indeed be very different in their propensity to adopt and use technology based innovations (services). Research is also switching more from investigating issues of mobile service development to understanding individuals’ usage patterns of mobile services. But designing new mobile services may be a complex matter from a service provider perspective. Hence, our secondary aim is to provide insights into drivers and barriers of mobile travel and tourism service development from a holistic business model perspective. To accomplish the research objectives seven different studies have been conducted over a time period from 2002 – 2013. The studies are founded on and contribute to theories within diffusion of innovations, technology acceptance, value creation, user experience and business model development. Several different research methods are utilized: surveys, field and laboratory experiments and action research. The findings suggest that a successful mobile travel and tourism service is a service which supports one or several mobile motives (needs) of individuals such as spontaneous needs, time-critical arrangements, efficiency ambitions, mobility related needs (location features) and entertainment needs. The service could be customized to support travelers’ style of traveling (e.g. organized travel or independent travel) and should be easy to use, especially easy to take into use (access, install and learn) during a trip, without causing security concerns and/or financial risks for the user. In fact, the findings suggest that the most prominent barrier to the use of mobile travel and tourism services during a trip is an individual’s perceived financial cost (entry costs and usage costs). It should, however, be noted that regulations are put in place in the EU regarding data roaming prices between European countries and national telecom operators are starting to see ‘international data subscriptions’ as a sales advantage (e.g. Finnish Sonera provides a data subscription in the Baltic and Nordic region at the same price as in Finland), which will enhance the adoption of mobile travel and tourism services also in international contexts. In order to speed up the adoption rate travel service providers could consider e.g. more local initiatives of free Wi-Fi networks, development of services that can be used, at least to some extent, in an offline mode (do not require costly network access during a trip) and cooperation with telecom operators (e.g. lower usage costs for travelers who use specific mobile services or travel with specific vendors). Furthermore, based on a developed framework for user experience of mobile trip arrangements, the results show that a well-designed mobile site and/or native application, which preferably supports integration with other mobile services, is a must for true mobile presence. In fact, travel service providers who want to build a relationship with their customers need to consider a downloadable native application, but in order to be found through the mobile channel and make contact with potential new customers, a mobile website should be available. Moreover, we have made a first attempt with cluster analysis to identify user categories of mobile services in a travel and tourism context. The following four categories were identified: info-seekers, checkers, bookers and all-rounders. For example “all-rounders”, represented primarily by individuals who use their pocket device for almost any of the investigated mobile travel services, constituted primarily of 23 to 50 year old males with high travel frequency and great online experience. The results also indicate that travel service providers will increasingly become multi-channel providers. To manage multiple online channels, closely integrated and hybrid online platforms for different devices, supporting all steps in a traveler process should be considered. It could be useful for travel service providers to focus more on developing browser-based mobile services (HTML5-solutions) than native applications that work only with specific operating systems and for specific devices. Based on an action research study and utilizing a holistic business model framework called STOF we found that HTML5 as an emerging platform, at least for now, has some limitations regarding the development of the user experience and monetizing the application. In fact, a native application store (e.g. Google Play) may be a key mediator in the adoption of mobile travel and tourism services both from a traveler and a service provider perspective. Moreover, it must be remembered that many device and mobile operating system developers want service providers to specifically create services for their platforms and see native applications as a strategic advantage to sell more devices of a certain kind. The mobile telecom industry has moved into a battle of ecosystems where device makers, developers of operating systems and service developers are to some extent forced to choose their development platforms.

Development of a New Welding Product Quality Control and Management System Model for China

The Chinese welding industry is growing every year due to rapid development of the Chinese economy. Increasingly, companies around the world are looking to use Chinese enterprises as their cooperation partners. However, the Chinese welding industry also has its weaknesses, such as relatively low quality and weak management. A modern, advanced welding management system appropriate for local socio-economic conditions is required to enable Chinese enterprises to enhance further their business development. The thesis researches the design and implementation of a new welding quality management system for China. This new system is called ‗welding production quality control management model in China‘ (WQMC). Constructed on the basis of analysis of a survey and in-company interviews, the welding management system comprises the following different elements and perspectives: a ‗Localized congenital existing problem resolution strategies‘ (LCEPRS) database, a ‗human factor designed training system‘ (HFDT) training strategy, the theory of modular design, ISO 3834 requirements, total welding management (TWM), and lean manufacturing (LEAN) theory. The methods used in the research are literature review, questionnaires, interviews, and the author‘s model design experiences and observations, i.e. the approach is primarily qualitative and phenomenological. The thesis describes the design and implementation of a HFDT strategy in Chinese welding companies. Such training is an effective way to increase employees‘ awareness of quality and issues associated with quality assurance. The study identified widely existing problems in the Chinese welding industry and constructed a LCEPRS database that can be used in efforts to mitigate and avoid common problems. The work uses the theory of modular design, TWM and LEAN as tools for the implementation of the WQMC system.

Liberalization or financial development?

Includes bibliography

A development strategy founded on natural resource-based production clusters

Includes bibliography

Larval development of indigenous South American freshwater fish species, with particular reference to pacu (Piaractus mesopotamicus): A review

In recent years, a number of South American freshwater fish have gained increasing attention for their potential in aquaculture, not only because of their excellent performance in farming systems but also to meet the high consumer demand for these species due to declining fishery resources. Many South American freshwater species are migratory and produce altricial larvae, with a small amount of yolk reserves. Unlike precocial freshwater species and altricial coldwater marine fish, these freshwater fish investigated have rapid yolk depletion and metamorphosis. Specific studies on the initial development of South American fish are scarce and fragmented. One of the most widely studied species is the pacu (Piaractus mesopotamicus), farmed in warm continental waters. In the present review we compile new and published data on the initial development of pacu, including morphogenesis of the skeletal, muscle, digestive and sensory systems; compare it to other Neotropical species; and discuss the importance of this information to develop larviculture protocols. When pacu larvae exhaust yolk reserves, they initiate a new form of interaction with the environment, becoming exclusively exotrophic. This type of interaction is made possible by the rapid development of sensory, skeletal, locomotor and digestive structures. In addition to understanding fish ontogeny, studies on larval development are necessary to improve farming systems and larviculture techniques aimed at producing high-quality juveniles in aquaculture. (C) 2014 Elsevier B.V. All rights reserved.

Bioconductor: Open software development for computational biology and bioinformatics

The Bioconductor project is an initiative for the collaborative creation of extensible software for computational biology and bioinformatics. We detail some of the design decisions, software paradigms and operational strategies that have allowed a small number of researchers to provide a wide variety of innovative, extensible, software solutions in a relatively short time. The use of an object oriented programming paradigm, the adoption and development of a software package system, designing by contract, distributed development and collaboration with other projects are elements of this project's success. Individually, each of these concepts are useful and important but when combined they have provided a strong basis for rapid development and deployment of innovative and flexible research software for scientific computation. A primary objective of this initiative is achievement of total remote reproducibility of novel algorithmic research results.

Identifying Potential Risks and Benefits of Using Cloud in Distributed Software Development.

Cloud-based infrastructure has been increasingly adopted by the industry in distributed software development (DSD) environments. Its proponents claim that its several benefits include reduced cost, increased speed and greater productivity in software development. Empirical evaluations, however, are in the nascent stage of examining both the benefits and the risks of cloud-based infrastructure. The objective of this paper is to identify potential benefits and risks of using cloud in a DSD project conducted by teams based in Helsinki and Madrid. A cross-case qualitative analysis is performed based on focus groups conducted at the Helsinki and Madrid sites. Participants observations are used to supplement the analysis. The results of the analysis indicated that the main benefits of using cloud are rapid development, continuous integration, cost savings, code sharing, and faster ramp-up. The key risks determined by the project are dependencies, unavailability of access to the cloud, code commitment and integration, technical debt, and additional support costs. The results revealed that if such environments are not planned and set up carefully, the benefits of using cloud in DSD projects might be overshadowed by the risks associated with it.