System operational costs reduction with non-conventional reactive power sources

Wind energy installations are increasing in power systems worldwide and wind generation capacity tends to be located some distance from load centers. A conflict may arise at times of high wind generation when it becomes necessary to curtail wind energy in order to maintain conventional generators on-line for the provision of voltage control support at load centers. Using the island of Ireland as a case study and presenting commercially available reactive power support devices as possible solutions to the voltage control problems in urban areas, this paper explores the reduction in total generation costs resulting from the relaxation of the operational constraints requiring conventional generators to be kept on-line near load centers for reactive power support. The paper shows that by 2020 there will be possible savings of 87€m per annum and a reduction in wind curtailment of more than a percentage point if measures are taken to relax these constraints.

Role of Hydrological Process Representation on Erosion, Deposition, and Sediment Yield Estimate

Soil erosion by water is a major driven force causing land degradation. Laboratory experiments, on-site field study, and suspended sediments measurements were major fundamental approaches to study the mechanisms of soil water erosion and to quantify the erosive losses during rain events. The experimental research faces the challenge to extent the result to a wider spatial scale. Soil water erosion modeling provides possible solutions for scaling problems in erosion research, and is of principal importance to better understanding the governing processes of water erosion. However, soil water erosion models were considered to have limited value in practice. Uncertainties in hydrological simulations are among the reasons that hindering the development of water erosion model. Hydrological models gained substantial improvement recently and several water erosion models took advantages of the improvement of hydrological models. It is crucial to know the impact of changes in hydrological processes modeling on soil erosion simulation.

This dissertation work first created an erosion modeling tool (GEOtopSed) that takes advantage of the comprehensive hydrological model (GEOtop). The newly created tool was then tested and evaluated at an experimental watershed. The GEOtopSed model showed its ability to estimate multi-year soil erosion rate with varied hydrological conditions. To investigate the impact of different hydrological representations on soil erosion simulation, a 11-year simulation experiment was conducted for six models with varied configurations. The results were compared at varied temporal and spatial scales to highlight the roles of hydrological feedbacks on erosion. Models with simplified hydrological representations showed agreement with GEOtopSed model on long temporal scale (longer than annual). This result led to an investigation for erosion simulation at different rainfall regimes to check whether models with different hydrological representations have agreement on the soil water erosion responses to the changing climate. Multi-year ensemble simulations with different extreme precipitation scenarios were conducted at seven climate regions. The differences in erosion simulation results showed the influences of hydrological feedbacks which cannot be seen by purely rainfall erosivity method.

Theory and Practice in Sustainability Science: Influence of Urban Form on the Urban Heat Island and Implications for Urban Systems

As the world population continues to grow past seven billion people and global challenges continue to persist including resource availability, biodiversity loss, climate change and human well-being, a new science is required that can address the integrated nature of these challenges and the multiple scales on which they are manifest. Sustainability science has emerged to fill this role. In the fifteen years since it was first called for in the pages of Science, it has rapidly matured, however its place in the history of science and the way it is practiced today must be continually evaluated. In Part I, two chapters address this theoretical and practical grounding. Part II transitions to the applied practice of sustainability science in addressing the urban heat island (UHI) challenge wherein the climate of urban areas are warmer than their surrounding rural environs. The UHI has become increasingly important within the study of earth sciences given the increased focus on climate change and as the balance of humans now live in urban areas.

In Chapter 2 a novel contribution to the historical context of sustainability is argued. Sustainability as a concept characterizing the relationship between humans and nature emerged in the mid to late 20th century as a response to findings used to also characterize the Anthropocene. Emerging from the human-nature relationships that came before it, evidence is provided that suggests Sustainability was enabled by technology and a reorientation of world-view and is unique in its global boundary, systematic approach and ambition for both well being and the continued availability of resources and Earth system function. Sustainability is further an ambition that has wide appeal, making it one of the first normative concepts of the Anthropocene.

Despite its widespread emergence and adoption, sustainability science continues to suffer from definitional ambiguity within the academe. In Chapter 3, a review of efforts to provide direction and structure to the science reveals a continuum of approaches anchored at either end by differing visions of how the science interfaces with practice (solutions). At one end, basic science of societally defined problems informs decisions about possible solutions and their application. At the other end, applied research directly affects the options available to decision makers. While clear from the literature, survey data further suggests that the dichotomy does not appear to be as apparent in the minds of practitioners.

In Chapter 4, the UHI is first addressed at the synoptic, mesoscale. Urban climate is the most immediate manifestation of the warming global climate for the majority of people on earth. Nearly half of those people live in small to medium sized cities, an understudied scale in urban climate research. Widespread characterization would be useful to decision makers in planning and design. Using a multi-method approach, the mesoscale UHI in the study region is characterized and the secular trend over the last sixty years evaluated. Under isolated ideal conditions the findings indicate a UHI of 5.3 ± 0.97 °C to be present in the study area, the magnitude of which is growing over time.

Although urban heat islands (UHI) are well studied, there remain no panaceas for local scale mitigation and adaptation methods, therefore continued attention to characterization of the phenomenon in urban centers of different scales around the globe is required. In Chapter 5, a local scale analysis of the canopy layer and surface UHI in a medium sized city in North Carolina, USA is conducted using multiple methods including stationary urban sensors, mobile transects and remote sensing. Focusing on the ideal conditions for UHI development during an anticyclonic summer heat event, the study observes a range of UHI intensity depending on the method of observation: 8.7 °C from the stationary urban sensors; 6.9 °C from mobile transects; and, 2.2 °C from remote sensing. Additional attention is paid to the diurnal dynamics of the UHI and its correlation with vegetation indices, dewpoint and albedo. Evapotranspiration is shown to drive dynamics in the study region.

Finally, recognizing that a bridge must be established between the physical science community studying the Urban Heat Island (UHI) effect, and the planning community and decision makers implementing urban form and development policies, Chapter 6 evaluates multiple urban form characterization methods. Methods evaluated include local climate zones (LCZ), national land cover database (NCLD) classes and urban cluster analysis (UCA) to determine their utility in describing the distribution of the UHI based on three standard observation types 1) fixed urban temperature sensors, 2) mobile transects and, 3) remote sensing. Bivariate, regression and ANOVA tests are used to conduct the analyses. Findings indicate that the NLCD classes are best correlated to the UHI intensity and distribution in the study area. Further, while the UCA method is not useful directly, the variables included in the method are predictive based on regression analysis so the potential for better model design exists. Land cover variables including albedo, impervious surface fraction and pervious surface fraction are found to dominate the distribution of the UHI in the study area regardless of observation method.

Chapter 7 provides a summary of findings, and offers a brief analysis of their implications for both the scientific discourse generally, and the study area specifically. In general, the work undertaken does not achieve the full ambition of sustainability science, additional work is required to translate findings to practice and more fully evaluate adoption. The implications for planning and development in the local region are addressed in the context of a major light-rail infrastructure project including several systems level considerations like human health and development. Finally, several avenues for future work are outlined. Within the theoretical development of sustainability science, these pathways include more robust evaluations of the theoretical and actual practice. Within the UHI context, these include development of an integrated urban form characterization model, application of study methodology in other geographic areas and at different scales, and use of novel experimental methods including distributed sensor networks and citizen science.

L’animal un co-citoyen, et pourquoi pas?

Essai / Essay

Perspectives of Teachers Regarding the Integration of Mathematics and Science at the Secondary School Level

The integration of mathematics and science in secondary schools in the 21st century continues to be an important topic of practice and research. The purpose of my research study, which builds on studies by Frykholm and Glasson (2005) and Berlin and White (2010), is to explore the potential constraints and benefits of integrating mathematics and science in Ontario secondary schools based on the perspectives of in-service and pre-service teachers with various math and/or science backgrounds. A qualitative and quantitative research design with an exploratory approach was used. The qualitative data was collected from a sample of 12 in-service teachers with various math and/or science backgrounds recruited from two school boards in Eastern Ontario. The quantitative and some qualitative data was collected from a sample of 81 pre-service teachers from the Queen’s University Bachelor of Education (B.Ed) program. Semi-structured interviews were conducted with the in-service teachers while a survey and a focus group was conducted with the pre-service teachers. Once the data was collected, the qualitative data were abductively analyzed. For the quantitative data, descriptive and inferential statistics (one-way ANOVAs and Pearson Chi Square analyses) were calculated to examine perspectives of teachers regardless of teaching background and to compare groups of teachers based on teaching background. The findings of this study suggest that in-service and pre-service teachers have a positive attitude towards the integration of math and science and view it as valuable to student learning and success. The pre-service teachers viewed the integration as easy and did not express concerns to this integration. On the other hand, the in-service teachers highlighted concerns and challenges such as resources, scheduling, and time constraints. My results illustrate when teachers perceive it is valuable to integrate math and science and which aspects of the classroom benefit best from the integration. Furthermore, the results highlight barriers and possible solutions to better the integration of math and science. In addition to the benefits and constraints of integration, my results illustrate why some teachers may opt out of integrating math and science and the different strategies teachers have incorporated to integrate math and science in their classroom.

Reconfigurable Matching Networks for RF Amplifiers

This article presents applications of reconfigurable matching networks for RF amplifier design. Two possible solutions are given, one where the switching element is a PIN diode, and the other is based on graphene. Due to the fact that its conductivity depends on applied bias voltage, the graphene-based circuits can be used in microwave circuits as controllable elements. The structure of the proposed switch is very simple and it is particularly convenient for microstrip-based circuits. Because of that, a design of reconfigurable amplifier with the graphene-based switch is presented together with the one which has the PIN diode switch. Both amplifiers have the same specifications, and the one with the PIN diode switch is fabricated. The amplifier utilizing the PIN switch was used as a reference to make a comparison the two types of switches. Results of both amplifiers are very similar which indicates possible future applications of the graphene-based switch.

The consumer before the infoxication in the press discourse

In the media current context, the user is exposed every day to an informative saturation without precedents. The variety of the media by means of that it receives information, together with the revolution to all the levels that has supposed the Internet integration, it does that the consumer is bombarded literally by multitude of messages. But this bombardment does not imply an informative quality, but it can suppose an imbalance between the number of information and the quality of the same ones, avoiding so the user know the reality with veracity and depth. This article analyzes exhaustively the phenomenon of this overexposure named infoxication, the true dangers that it encloses, the possible solutions and how it affects the user and the Journalism in the production of written and audiovisual products through different mass media.

Eurobonos: evolución y soluciones de la deuda en Europa

En este trabajo se analizan los principales problemas derivados de la gestión de la deuda pública, discutiendo si es un problema latente o puntual. A continuación, se propone un mecanismo solución a la crisis de deuda soberana que sufren los países de la Eurozona en el marco de la crisis financiera internacional. Dicho mecanismo consiste en la combinación de un proceso de reestructuración unido a la creación de un sistema común de emisión de deuda soberana en la Eurozona, denominado habitualmente como Eurobonos. Por tanto, el objetivo de esta investigación es ofrecer los elementos analíticos necesarios para comprender las posibles soluciones a los problemas de la deuda pública.

Peptide Therapeutics and the Pharmaceutical Industry: Barriers Encountered Translating from the Laboratory to Patients

Peptides are receiving increasing interest as clinical therapeutics. These highly tunable molecules can be tailored to biocompatibility and biodegradability with simultaneously selective and potent therapeutic effects. Despite challenges regarding up-scaling and licensing of peptide products, their vast clinical potential is reflected in the 60 plus peptide-based therapeutics already on the market, and the further 500 derivatives currently in developmental stages. Peptides are proving effective for a multitude of disease states including: type 2 diabetes (controlled using the licensed glucagon-like peptide-1 receptor liraglutide); irritable bowel syndrome managed with linaclotide (currently at approval stages); acromegaly (treated with octapeptide somostatin analogues lanreotide and octreotide); selective or broad spectrum microbicidal agents such as the Gram-positive selective PTP-7 and antifungal heliomicin; anticancer agents including goserelin used as either adjuvant or for prostate and breast cancer,and the first marketed peptide derived vaccine against prostate cancer, sipuleucel-T. Research is also focusing on improving the biostability of peptides. This is achieved through a number of mechanisms ranging from replacement of naturally occurring L-amino acid enantiomers with D-amino acid forms, lipidation, peptidomimetics, N-methylation, cyclization and exploitation of carrier systems. The development of self-assembling peptides are paving the way for sustained release peptide formulations and already two such licensed examples exist, lanreotide and octreotide. The versatility and tunability of peptide-based products is resulting in increased translation of peptide therapies, however significant challenges remain with regard to their wider implementation. This review highlights some of the notable peptide therapeutics discovered to date and the difficulties encountered by the pharmaceutica lindustry in translating these molecules to the clinical setting for patient benefit, providing some possible solutions to the most challenging barriers. 

Adhésion au traitement antidiabétique oral chez les adultes atteints de diabète de type 2 : déterminants et interventions visant à l'améliorer

Introduction : Le diabète de type 2 est une maladie évolutive débilitante et souvent mortelle qui atteint de plus en plus de personnes dans le monde. Le traitement antidiabétique non-insulinique (TADNI) notamment le traitement antidiabétique oral (TADO) est le plus fréquemment utilisé chez les adultes atteints de cette maladie. Toutefois, plusieurs de ces personnes ne prennent pas leur TADO tel que prescrit posant ainsi la problématique d’une adhésion sous-optimale. Ceci entraîne des conséquences néfastes aussi bien pour les patients que pour la société dans laquelle ils vivent. Il serait donc pertinent d’identifier des pistes de solution à cette problématique. Objectifs : Trois objectifs de recherche ont été étudiés : 1) Explorer la capacité de la théorie du comportement planifié (TCP) à prédire l’adhésion future au TADNI chez les adultes atteints de diabète de type 2, 2) Évaluer l’efficacité globale des interventions visant à améliorer l’adhésion au TADO chez les adultes atteints de diabète de type 2 et étudier l’influence des techniques de changement de comportement sur cette efficacité globale, et 3) Évaluer l’efficacité globale de l’entretien motivationnel sur l’adhésion au traitement médicamenteux chez les adultes atteints de maladie chronique et étudier l’influence des caractéristiques de cette intervention sur son efficacité globale. Méthodes : Pour l’objectif 1 : Il s’agissait d’une enquête web, suivie d’une évaluation de l’adhésion au TADNI sur une période de 30 jours, chez des adultes atteints de diabète de type 2, membres de Diabète Québec. L’enquête consistait à la complétion d’un questionnaire auto-administré incluant les variables de la TCP (intention, contrôle comportemental perçu et attitude) ainsi que d’autres variables dites «externes». Les informations relatives au calcul de l’adhésion provenaient des dossiers de pharmacie des participants transmis via la plateforme ReMed. Une régression linéaire multivariée a été utilisée pour estimer la mesure d’association entre l’intention et l’adhésion future au TADNI ainsi que l’interaction entre l’adhésion passée et l’intention. Pour répondre aux objectifs 2 et 3, deux revues systématiques et méta-analyses ont été effectuées et rapportées selon les lignes directrices de PRISMA. Un modèle à effets aléatoires a été utilisé pour estimer l’efficacité globale (g d’Hedges) des interventions et son intervalle de confiance à 95 % (IC95%) dans chacune des revues. Nous avons également quantifié l’hétérogénéité (I2 d’Higgins) entre les études, et avons fait des analyses de sous-groupe et des analyses de sensibilité. Résultats : Objectif 1 : Il y avait une interaction statistiquement significative entre l’adhésion passée et l’intention (valeur-p= 0,03). L’intention n’était pas statistiquement associée à l’adhésion future au TADNI, mais son effet était plus fort chez les non-adhérents que chez les adhérents avant l’enquête web. En revanche, l’intention était principalement prédite par le contrôle comportemental perçu à la fois chez les adhérents [β= 0,90, IC95%= (0,80; 1,00)] et chez les non-adhérents passés [β= 0,76, IC95%= (0,56; 0,97)]. Objectif 2 : L’efficacité globale des interventions sur l’adhésion au TADO était de 0,21 [IC95%= (-0,05; 0,47); I2= 82 %]. L’efficacité globale des interventions dans lesquelles les intervenants aidaient les patients et/ou les cliniciens à être proactifs dans la gestion des effets indésirables était de 0,64 [IC95%= (0,31; 0,96); I2= 56 %]. Objectif 3 : L’efficacité globale des interventions (basées sur l’entretien motivationnel) sur l’adhésion au traitement médicamenteux était de 0,12 [IC95%= (0,05; 0,20); I2= 1 %. Les interventions basées uniquement sur l’entretien motivationnel [β= 0,18, IC95%= (0,00; 0,36)] et celles dans lesquelles les intervenants ont été coachés [β= 0,47, IC95%= (0,03; 0,90)] étaient les plus efficaces. Aussi, les interventions administrées en face-à-face étaient plus efficaces que celles administrées par téléphone [β= 0,27, IC95%=(0,04; 0,50)]. Conclusion : Il existe un écart entre l’intention et l’adhésion future au TADNI, qui est partiellement expliqué par le niveau d’adhésion passée. Toutefois, il n’y avait pas assez de puissance statistique pour démontrer une association statistiquement significative entre l’intention et l’adhésion future chez les non-adhérents passés. D’un autre côté, quelques solutions au problème de l’adhésion sous-optimale au TADO ont été identifiées. En effet, le fait d’aider les patients et/ou les cliniciens à être proactifs dans la gestion des effets indésirables contribue efficacement à l’amélioration de l’adhésion au TADO chez les adultes atteints de diabète de type 2. Aussi, les interventions basées sur l’entretien motivationnel améliorent efficacement l’adhésion au traitement médicamenteux chez les adultes atteints de maladie chronique. L’entretien motivationnel pourrait donc être utilisé comme un outil clinique pour soutenir les patients dans l’autogestion de leur TADO.

Analyse des obstacles et des facilitateurs concernant la participation au travail de personnes présentant un trouble de la personnalité limite : points de vue de différents acteurs clés

Résumé : Problématique : Le trouble de la personnalité limite (TPL) est une condition psychiatrique touchant environ 1 % de la population et 20 % de la clientèle recevant des services en psychiatrie (Gunderson et Links, 2008). L’un des domaines du fonctionnement dans la vie quotidienne le plus touché chez cette population est le travail (Gunderson et al., 2011; Larivière et al., 2010; Zanarini et al., 2012). À notre connaissance, aucune étude n’a décrit de façon approfondie la participation au travail des personnes présentant un TPL. Objectif : L’objectif général de cette étude vise à identifier et à décrire les obstacles, les facilitateurs de même que les solutions possibles de la participation au travail des personnes présentant un TPL selon leur point de vue et celui de leurs intervenants. Méthodologie : Une étude de cas multiples a été utilisée (Yin, 2009). Neuf cas ont été étudiés selon trois contextes socioprofessionnels de la participation au travail : A. Réintégration (personne en invalidité), B. Retour (personne en absence maladie) et C. Maintien au travail. Pour chacun des contextes, trois dyades incluant une personne avec un TPL (âgée de 18 à 55 ans) et son intervenant soutenant la participation au travail ont été interviewées. Résultats: Les résultats qualitatifs (n = 18) ont démontré que la participation au travail des personnes présentant un TPL est influencée par des facteurs individuels (p. ex., la réaction face à la pression et aux relations de travail, la régulation émotionnelle) ainsi que des facteurs liés aux acteurs et procédures des systèmes de l’assurance, organisationnel et de la santé (p. ex., la collaboration et la communication entre les acteurs, l’alliance de travail entre les acteurs et la personne présentant un TPL, les mesures d’accommodement et de soutien naturel dans le milieu de travail). Conclusions et implication clinique : Cette étude met en lumière le défi important et spécifique que représente la participation au travail pour les personnes présentant un TPL. Elle implique des facteurs personnels et environnementaux qui doivent être considérés par tous les acteurs impliqués (les utilisateurs de services, les professionnels de la santé, les assureurs et les employeurs). Les programmes de réadaptation au travail actuels devraient être bonifiés et coordonnés adéquatement avec les thérapies spécialisées afin d’aborder de manière optimale les enjeux liés à la participation au travail des personnes présentant un TPL.

Aprendizaje basado en problemas, ABP : una propuesta para transformar la enseñanza-aprendizaje de las aplicaciones de la trigonometría en la solución de triángulos en el grado 10º

El estudio tuvo como propósito determinar la efectividad relativa del ABP, comparado con el método tradicional para desarrollar habilidades de resolución de problemas en el aprendizaje de las aplicaciones de la solución de triángulos en el grado 10º de la Institución Educativa El Progreso, de El Carmen de Viboral, Antioquia. La enseñanza-aprendizaje de las matemáticas sustentadas con la estrategia didáctica Aprendizaje Basado en Problemas permite a los estudiantes y docentes aproximarse al conocimiento de una manera similar a como lo hacen los científicos; el primer paso es una situación de duda, perplejidad del estudiante provocada por la Situación Problema planteada por el docente, el segundo un momento de “sugerencias” en las que la mente salta hacia adelante en busca de una posible solución (Dewey, 1933, p. 102). El tercer paso “intelectualización” de la dificultad que se ha percibido para convertirlo en un problema que debe solucionarse (Dewey, 1933, p. 103). La cuarta es “la idea conductora o hipótesis”, las cuales se basan en la formulación de explicaciones sugeridas o soluciones posibles (Dewey, 1933, p. 104). El quinto paso sería el “razonamiento”, consiste en la elaboración racional de una idea que se va desarrollando de acuerdo a las habilidades de cada persona (Dewey, 1933, p. 105). El paso final es la “comprobación de hipótesis” en situaciones reales. Este proceso se evidenció a través de cuatro Situaciones-Problema enfocadas desde un contexto auténtico “la remodelación del parque principal de El Carmen de Viboral” con el objetivo de motivar a los estudiantes para el aprendizaje de algunos conceptos matemáticos y el desarrollo de habilidades de resolución de problemas. La metodología de la investigación fue un diseño cuasi-experimental con grupo experimental compuesto por 38 estudiantes del grado 10º2 y grupo control con 37 estudiantes del grado 10º1. Se empleó como técnica de recolección de la información una prueba pre-test antes del tratamiento y una prueba post-test que se aplicó después del tratamiento a ambos grupos; se aplicó también una escala de satisfacción de los estudiantes con la metodología tradicional en ambos grupos y una escala de satisfacción con la estrategia didáctica ABP sólo al grupo experimental; la observación directa, y el portafolio que evidenciaba todas las construcciones de los estudiantes. La aplicación de la estrategia didáctica experimental se aplicó durante 4 meses, con una intensidad horaria de cuatro horas semanales, tiempo durante el cual se implementaron las cuatro Situaciones-Problema. Se concluyó entre otros aspectos que el 86,5% de los estudiantes encuentran las clases de matemáticas como interesantes, contextualizadas, aplicables y significativas, mientras que antes del tratamiento sólo el 44,4% se encontraba satisfecho con las clases de matemáticas, con una diferencia en cambio de actitud de 42,1% frente a las clases de matemáticas con la metodología tradicional. En el análisis comparativo de adquisición de competencias específicas se demuestra que el grupo experimental demostró ser matemáticamente más competente con respecto al grupo control en todas las competencias evaluadas: capacidad de modelación, inductiva, comunicativa y habilidad procedimental. Además, el proyecto de investigación tuvo un valor agregado: 10 estudiantes tuvieron la oportunidad de conocer más sobre su cultura ceramista mediante el diseño y construcción de mosaicos que los ofreció la casa de la cultura en forma gratuita.

Five-year review of an international clinical research-training program

The exponential increase in clinical research has profoundly changed medical sciences. Evidence that has accumulated in the past three decades from clinical trials has led to the proposal that clinical care should not be based solely on clinical expertise and patient values, and should integrate robust data from systematic research. As a consequence, clinical research has become more complex and methods have become more rigorous, and evidence is usually not easily translated into clinical practice. Therefore, the instruction of clinical research methods for scientists and clinicians must adapt to this new reality. To address this challenge, a global distance-learning clinical research-training program was developed, based on collaborative learning, the pedagogical goal of which was to develop critical thinking skills in clinical research. We describe and analyze the challenges and possible solutions of this course after 5 years of experience (2008-2012) with this program. Through evaluation by students and faculty, we identified and reviewed the following challenges of our program: 1) student engagement and motivation, 2) impact of heterogeneous audience on learning, 3) learning in large groups, 4) enhancing group learning, 5) enhancing social presence, 6) dropouts, 7) quality control, and 8) course management. We discuss these issues and potential alternatives with regard to our research and background.

FRAMEWORK SYNTHESIS FOR SYMBOLIC EXECUTION OF EVENT-DRIVEN FRAMEWORKS

Symbolic execution is a powerful program analysis technique, but it is very challenging to apply to programs built using event-driven frameworks, such as Android. The main reason is that the framework code itself is too complex to symbolically execute. The standard solution is to manually create a framework model that is simpler and more amenable to symbolic execution. However, developing and maintaining such a model by hand is difficult and error-prone. We claim that we can leverage program synthesis to introduce a high-degree of automation to the process of framework modeling. To support this thesis, we present three pieces of work. First, we introduced SymDroid, a symbolic executor for Android. While Android apps are written in Java, they are compiled to Dalvik bytecode format. Instead of analyzing an app’s Java source, which may not be available, or decompiling from Dalvik back to Java, which requires significant engineering effort and introduces yet another source of potential bugs in an analysis, SymDroid works directly on Dalvik bytecode. Second, we introduced Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket takes as input the framework API and tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes an executable framework model by instantiating design patterns, such that the behavior of a synthesized model on the tutorial programs matches that of the original framework. Lastly, in order to scale program synthesis to framework models, we devised adaptive concretization, a novel program synthesis algorithm that combines the best of the two major synthesis strategies: symbolic search, i.e., using SAT or SMT solvers, and explicit search, e.g., stochastic enumeration of possible solutions. Adaptive concretization parallelizes multiple sub-synthesis problems by partially concretizing highly influential unknowns in the original synthesis problem. Thanks to adaptive concretization, Pasket can generate a large-scale model, e.g., thousands lines of code. In addition, we have used an Android model synthesized by Pasket and found that the model is sufficient to allow SymDroid to execute a range of apps.

Achieving a strategic sales focus: contemporary issues and future challenges.

The main aim of this book is to consider how the sales function informs business strategy. Although there are a number of books available that address how to manage the sales team tactically, this text addresses how sales can help organizations to become more customer oriented. Many organizations are facing escalating costs and a growth in customer power, which makes it necessary to allocate resources more strategically. The sales function can provide critical customer and market knowledge to help inform both innovation and marketing. Sales are responsible for building customer knowledge, networking both internally and externally to help create additional customer value, as well as the more traditional role of managing customer relationships and selling. The text considers how sales organizations are responding to increasing competition, more demanding customers and a more complex selling environment. We identify many of the challenges facing organisations today and offers discussions of some of the possible solutions. This book considers the changing nature of sales and how activities can be aligned within the organization, as well as marketing sensing, creating customer focus and the role of sales leadership. The text will include illustrations (short case studies) provided by a range of successful organizations operating in a number of industries. Sales and senior management play an important role in ensuring that the sales teams' activities are aligned to business strategy and in creating an environment to allow salespeople to be more successful in developing new business opportunities and building long-term profitable business relationships. One of the objectives of this book is to consider how conventional thinking has changed in the last five years and integrate it with examples from sales practice to provide a more complete picture of the role of sales within the modern organization.