Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

From Molecular Blocks To Bioanalytical Assays: Combining Lanthanide Luminescence and Bioaffinity Binders for Protein Detection

Measuring protein biomarkers from sample matrix, such as plasma, is one of the basic tasks in clinical diagnostics. Bioanalytical assays used for the measuring should be able to measure proteins with high sensitivity and specificity. Furthermore, multiplexing capability would also be advantageous. To ensure the utility of the diagnostic test in point-of-care setting, additional requirements such as short turn-around times, ease-ofuse and low costs need to be met. On the other hand, enhancement of assay sensitivity could enable exploiting novel biomarkers, which are present in very low concentrations and which the current immunoassays are unable to measure. Furthermore, highly sensitive assays could enable the use of minimally invasive sampling. In the development of high-sensitivity assays the label technology and affinity binders are in pivotal role. Additionally, innovative assay designs contribute to the obtained sensitivity and other characteristics of the assay as well as its applicability. The aim of this thesis was to study the impact of assay components on the performance of both homogeneous and heterogeneous assays. Applicability of two different lanthanide-based label technologies, upconverting nanoparticles and switchable lanthanide luminescence, to protein detection was explored. Moreover, the potential of recombinant antibodies and aptamers as alternative affinity binders were evaluated. Additionally, alternative conjugation chemistries for production of the labeled binders were studied. Different assay concepts were also evaluated with respect to their applicability to point-of-care testing, which requires simple yet sensitive methods. The applicability of upconverting nanoparticles to the simultaneous quantitative measurement of multiple analytes using imaging-based detection was demonstrated. Additionally, the required instrumentation was relatively simple and inexpensive compared to other luminescent lanthanide-based labels requiring time-resolved measurement. The developed homogeneous assays exploiting switchable lanthanide luminescence were rapid and simple to perform and thus applicable even to point-ofcare testing. The sensitivities of the homogeneous assays were in the picomolar range, which are still inadequate for some analytes, such as cardiac troponins, requiring ultralow limits of detection. For most analytes, however, the obtained limits of detection were sufficient. The use of recombinant antibody fragments and aptamers as binders allowed site-specific and controlled covalent conjugation to construct labeled binders reproducibly either by using chemical modification or recombinant technology. Luminescent lanthanide labels were shown to be widely applicable for protein detection in various assay setups and to contribute assay sensitivity.

Looking for the GAP effect in manual responses and the role of contextual influences in reaction time experiments

When the offset of a visual stimulus (GAP condition) precedes the onset of a target, saccadic reaction times are reduced in relation to the condition with no offset (overlap condition) - the GAP effect. However, the existence of the GAP effect for manual responses is still controversial. In two experiments using both simple (Experiment 1, N = 18) and choice key-press procedures (Experiment 2, N = 12), we looked for the GAP effect in manual responses and investigated possible contextual influences on it. Participants were asked to respond to the imperative stimulus that would occur under different experimental contexts, created by varying the array of warning-stimulus intervals (0, 300 and 1000 ms) and conditions (GAP and overlap): i) intervals and conditions were randomized throughout the experiment; ii) conditions were run in different blocks and intervals were randomized; iii) intervals were run in different blocks and conditions were randomized. Our data showed that no GAP effect was obtained for any manipulation. The predictability of stimulus occurrence produced the strongest influence on response latencies. In Experiment 1, simple manual responses were shorter when the intervals were blocked (247 ms, P < 0.001) in relation to the other two contexts (274 and 279 ms). Despite the use of choice key-press procedures, Experiment 2 produced a similar pattern of results. A discussion addressing the critical conditions to obtain the GAP effect for distinct motor responses is presented. In short, our data stress the relevance of the temporal allocation of attention for behavioral performance.

Parameter identification in time series models

Time series analysis can be categorized into three different approaches: classical, Box-Jenkins, and State space. Classical approach makes a basement for the analysis and Box-Jenkins approach is an improvement of the classical approach and deals with stationary time series. State space approach allows time variant factors and covers up a broader area of time series analysis. This thesis focuses on parameter identifiablity of different parameter estimation methods such as LSQ, Yule-Walker, MLE which are used in the above time series analysis approaches. Also the Kalman filter method and smoothing techniques are integrated with the state space approach and MLE method to estimate parameters allowing them to change over time. Parameter estimation is carried out by repeating estimation and integrating with MCMC and inspect how well different estimation methods can identify the optimal model parameters. Identification is performed in probabilistic and general senses and compare the results in order to study and represent identifiability more informative way.

Dexamethasone blocks the migration of the human neuroblastoma cell line SK-N-SH

Glucocorticoids (Gc) influence the differentiation of neural crest-derived cells such as those composing sympathoadrenal tumors like pheochromocytomas, as well as neuroblastomas and gangliomas. In order to obtain further information on the effects of Gc on cells evolving from the neural crest, we have used the human neuroblastoma cell line SK-N-SH to analyze: 1) the presence and the binding characteristics of Gc receptors in these cells, 2) the effect of dexamethasone (Dex) on the migration of SK-N-SH cells, and 3) the effect of Dex on the organization of the cytoskeleton of SK-N-SH cells. We show that: 1) receptors that bind [³H]-Dex with high affinity and high capacity (Kd of 9.6 nM, Bmax of 47 fmol/mg cytosolic protein, corresponding to 28,303 sites/cell) are present in cytosolic preparations of SK-N-SH cells, and 2) treatment with Dex (in the range of 10 nM to 1 µM) has an inhibitory effect (from 100% to 74 and 43%, respectively) on the chemotaxis of SK-N-SH cells elicited by fetal bovine serum. This inhibition is completely reversed by the Gc receptor antagonist RU486 (1 µM), and 3) as demonstrated by fluorescent phalloidin-actin detection, the effect of Dex (100 nM) on SK-N-SH cell migration is accompanied by modifications of the cytoskeleton organization that appear with stress fibers. These modifications did not take place in the presence of 1 µM RU486. The present data demonstrate for the first time that Dex affects the migration of neuroblastoma cells as well as their cytoskeleton organization by interacting with specific receptors. These findings provide new insights on the mechanism(s) of action of Gc on cells originating in the neural crest.

Estragole blocks neuronal excitability by direct inhibition of Na+ channels

Estragole is a volatile terpenoid, which occurs naturally as a constituent of the essential oils of many plants. It has several pharmacological and biological activities. The objective of the present study was to investigate the mechanism of action of estragole on neuronal excitability. Intact and dissociated dorsal root ganglion neurons of rats were used to record action potential and Na+ currents with intracellular and patch-clamp techniques, respectively. Estragole blocked the generation of action potentials in cells with or without inflexions on their descendant (repolarization) phase (Ninf and N0 neurons, respectively) in a concentration-dependent manner. The resting potentials and input resistances of Ninf and N0 cells were not altered by estragole (2, 4, and 6 mM). Estragole also inhibited total Na+ current and tetrodotoxin-resistant Na+ current in a concentration-dependent manner (IC50 of 3.2 and 3.6 mM, respectively). Kinetic analysis of Na+ current in the presence of 4 mM estragole showed a statistically significant reduction of fast and slow inactivation time constants, indicating an acceleration of the inactivation process. These data demonstrate that estragole blocks neuronal excitability by direct inhibition of Na+ channel conductance activation. This action of estragole is likely to be relevant to the understanding of the mechanisms of several pharmacological effects of this substance.

Novel retrograde puncture method to establish preperitoneal space for laparoscopic direct inguinal hernia repair with internal ring suturing

The aim of this study was to explore the clinical efficacy of a novel retrograde puncture approach to establish a preperitoneal space for laparoscopic direct inguinal hernia repair with inguinal ring suturing. Forty-two patients who underwent laparoscopic inguinal hernia repair with retrograde puncture for preperitoneal space establishment as well as inguinal ring suturing between August 2013 and March 2014 at our hospital were enrolled. Preperitoneal space was successfully established in all patients, with a mean establishment time of 6 min. Laparoscopic repairs were successful in all patients, with a mean surgical time of 26±15.1 min. Mean postoperative hospitalization duration was 3.0±0.7 days. Two patients suffered from postoperative local hematomas, which were relieved after puncturing and drainage. Four patients had short-term local pain. There were no cases of chronic pain. Patients were followed up for 6 months to 1 year, and no recurrence was observed. Our results demonstrate that preperitoneal space established by the retrograde puncture technique can be successfully used in adult laparoscopic hernioplasty to avoid intraoperative mesh fixation, and thus reduce medical costs.

Head Space Solid Phase Micro-Extraction (HS - SPME) of volatile organic compounds produced by Sporidiobolus salmonicolor (CBS 2636)

The aim of the present study was the assessment of volatile organic compounds produced by Sporidiobolus salmonicolor (CBS 2636) using methyl and ethyl ricinoleate, ricinoleic acid and castor oil as precursors. The analysis of the volatile organic compounds was carried out using Head Space Solid Phase Micro-Extraction (HS - SPME). Factorial experimental design was used for investigating extraction conditions, verifying stirring rate (0-400 rpm), temperature (25-60 ºC), extraction time (10-30 minutes), and sample volume (2-3 mL). The identification of volatile organic compounds was carried out by Gas Chromatography with Mass Spectrum Detector (GC/MSD). The conditions that resulted in maximum extraction were: 60 ºC, 10 minutes extraction, no stirring, sample volume of 2.0 mL, and addition of saturated KCl (1:10 v/v). In the bio-production of volatile organic compounds the effect of stirring rate (120-200 rpm), temperature (23-33 ºC), pH (4.0-8.0), precursor concentration (0.02-0.1%), mannitol (0-6%), and asparagine concentration (0-0.2%) was investigated. The bio-production at 28 ºC, 160 rpm, pH 6,0 and with the addition of 0.02% ricinoleic acid to the medium yielded the highest production of VOCs, identified as 1,4-butanediol, 1,2,2-trimethylciclopropilamine, beta-ionone; 2,3-butanodione, pentanal, tetradecane, 2-isononenal, 4-octen-3-one, propanoic acid, and octadecane.

Static waves in corporate space : characterizing oscillating trading patterns in New York stock exchange

Various researches in the field of econophysics has shown that fluid flow have analogous phenomena in financial market behavior, the typical parallelism being delivered between energy in fluids and information on markets. However, the geometry of the manifold on which market dynamics act out their dynamics (corporate space) is not yet known. In this thesis, utilizing a Seven year time series of prices of stocks used to compute S&P500 index on the New York Stock Exchange, we have created local chart to the corporate space with the goal of finding standing waves and other soliton like patterns in the behavior of stock price deviations from the S&P500 index. By first calculating the correlation matrix of normalized stock price deviations from the S&P500 index, we have performed a local singular value decomposition over a set of four different time windows as guides to the nature of patterns that may emerge. I turns out that in almost all cases, each singular vector is essentially determined by relatively small set of companies with big positive or negative weights on that singular vector. Over particular time windows, sometimes these weights are strongly correlated with at least one industrial sector and certain sectors are more prone to fast dynamics whereas others have longer standing waves.

A Business Incubator, Accelerator, or Coworking Space? Case Health Innovation Village at GE

Health Innovation Village at GE is one of the new communities targeted for startup and growth-oriented companies. It has been established at the premises of a multinational conglomerate that will promote networking and growth of startup companies. The concept combines features from traditional business incubators, accelerators, and coworking spaces. This research compares Health Innovation Village to these concepts regarding its goals, target clients, source of income, organization, facilities, management, and success factors. In addition, a new incubator classification model is introduced. On the other hand, Health Innovation Village is examined from its tenants’ perspective and improvements are suggested. The work was implemented as a qualitative case study by interviewing GE staff with connections to Health Innovation Village as well as startup entrepreneurs and employees’ working there. The most evident features of Health Innovation Village correspond to those of business incubators although it is atypical as a non-profit corporate business incubator. Strong network orientation and connections to venture capitalists are common characteristics of these new types of accelerators. The design of the premises conforms to the principles of coworking spaces, but the services provided to the startup companies are considerably more versatile than the services offered by coworking spaces. The advantages of Health Innovation Village are that there are first-class premises and exceptionally good networking possibilities that other types of incubators or accelerators are not able to offer. A conglomerate can also provide multifaceted special knowledge for young firms. In addition, both GE and the startups gained considerable publicity through their cooperation, indeed a characteristic that benefits both parties. Most of the expectations of the entrepreneurs were exceeded. However, communication and the scope of cooperation remain challenges. Micro companies spend their time developing and marketing their products and acquiring financing. Therefore, communication should be as clear as possible and accessible everywhere. The startups would prefer to cooperate significantly more, but few have the time available to assume the responsibility of leadership. The entrepreneurs also expected to have more possibilities for cooperation with GE. Wider collaboration might be accomplished by curation in the same way as it is used in the well-functioning coworking spaces where curators take care of practicalities and promote cooperation. Communication issues could be alleviated if the community had its own Intranet pages where all information could be concentrated. In particular, a common calendar and a room reservation system could be useful. In addition, it could be beneficial to have a section of the Intranet open for both the GE staff and the startups so that those willing to share their knowledge and those having project offers could use it for advertising.

Graffiti, memory and contested space : mnemonic initiatives following trauma and/or repression in Buenos Aires, Argentina

Graffiti, Memory and Contested Space: Mnemonic Initiatives Following Periods of Trauma and/or Repression in Buenos Aires, Argentina This thesis concerns the popular articulation ofmemory following periods or incidents of trauma in Argentina. I am interested in how groups lay claim to various public spaces in the city and how they convert these spaces into mnemonic battlegrounds. In considering these spaces of trauma and places of memory, I am primarily interested in how graffiti writing (stencils, spray-paint, signatures, etchings, wall-paintings, murals and installations) is used to make these spaces transmit particular memories that impugn official versions of the past. This thesis draws on literatures focused on popular/public memory. Scholars argue that memory is socially constructed and thus actively contested. Marginal initiatives such as graffiti writing challenge the memory projects of the state as well as state projects that are perceived by citizens to be 'inadequate,' 'inappropriate,' and/or as promoting the erasure of memory. Many of these initiatives are a reaction to the proreconciliation and pro-oblivion strategies of previous governments. I outline that the history of silences and impunity, and a longstanding emphasis on reconciliation at the expense of truth and justice has created an environment of vulnerable memory in Argentina. Popular memory entrepreneurs react by aggressively articulating their memories in time and in space. As a result of this intense memory work, the built landscape in Buenos Aires is dotted with mnemonic initiatives that aim to contradict or subvert officially sanctioned memories. I also suggest that memory workers in Argentina persistently and carefially use the sites of trauma as well as key public spaces to ensure official as well as popular audiences . The data for this project was collected in five spaces in Buenos Aires, the Plaza de Mayo, Plaza Congreso, La Republica Cromanon nightclub, Avellaneda Train Station and El Olimpo, a former detention centre from the military dictatorship.

Creativity and the working artist/teacher : the relationships

The purpose of this qualitative study was to understand the relationships between creativity and the working artist/teacher employed by an art college. The topic emerged from my job as an instructor at The Ontario College of Art which was used as the primary data resource and provided the highest caliber of professionals to chose from. Existent data were used to facilitate the study generated by the research of Cawelti, Rappaport, and Wood (1992). The data were generated by a group of 5 faculty members from The University of Northern Iowa, recognized for their expertise in the arts (a painter, a poet, a sculptor, a novelist, and a photographer). They were asked to respond to the following statement: "In as much detail as you like, list the things that you did, thought, or felt the last time you created an artistic product. II Cawelti, Rappaport, and Wood (1992) produced three models of the creative process, each building on the previous, with the resultant third,being in my opinion, an excellent illustration (text/visual) of the creative process. Model three (Appendix D) presented a "multi-dimensional view of the creative process: time, space, observatility, and consciousnessll (p. 90). Model three utilized a visual mapping device along the bottom of the page linked to text segments above. Both the visual and the text were interrelated so that they harmonized into a comprehensive "picture." The parti'cipants of this qualitative study were asked to consider model three from their professional perspective as artist/teachers. The interpretive sciences directed the methodology. The hermeneutic circle of continuous reflection from the whole to the part and back to the whole was an important aspect of the data analyses. Four members of the Foundation Department at The Ontario College of Art were the key participants. A series of conversational interviews was the primary source of data collection, this was augmented by observation, fie,ldnotes, and follow up telephone interviews. Transcripts of interviews were returned to participants for reflection and the telephone was used to discuss any additional -points raised. Analysis consisted of coding and organizing data according to emerging themes. These themes formed the basis for the narrative stories. The text of the narrative stories were given back to each participant for further comment. Revisions were made until both the researcher and the participants felt that the stories reflected reality. The resultant whole was critiqued from the researcher's perspective. The significance of this study was discussed as it pertains to the working artist/teacher and areas in need of further study are pointed out.

Understanding space, place and leisure of women over 85 living in the community

There is an increase in the number of older adults 85 and over, who are choosing to live alone within the community. Moreover, older adults who live alone are reportedly spending an extensive amount of time alone within the home environment. In an effort to provide additional support and resources to older adults living in the community, a compliment of services are being offered through public and private organizations. These in-home supports focus on the instrumental or functional tasks of daily living, such as personal and rehabilitative care, nourishment, maintenance and upkeep of the home, as well as volunteer social visitation. However leisure resources and programs are not included among these services. Consequently, this creates a gap in leisure provision among this segment of the population. Throughout the life course, an individual's identity, role and purpose are developed and sustained through instrumental work roles in the formal and informal sector, as well as through personally meaningful leisure pastimes and experiences. Although roles shift post retirement, participation in instrumental and expressive activities can provide opportunities through which older adults are able to fulfill their need for agency (individuality and autonomy) and affiliation (social relatedness). Therefore barriers that inhibit instrumental or leisure experiences can negatively impact older adults' quality of life. This study explored the leisure lifestyles of four older adults, all of whom were over 85, lived alone within the community and were oriented to person, time and place. It became apparent that participants ordered their lives around a routine that consisted of instrumental, expressive and socially integrated tasks and activities. Moreover participants purposely chose to remain at home because their home environment facilitated freedom, choice and independence. As a result all four participants viewed their independence within the home as a critical determinant to their overall quality of life. Challenges associated with the home environment, participants' personal capacities and relationships were negotiated on a daily basis. Failure to positively adapt to these challenges inhibited meaningful engagement and personal fulfillment. Traditionally, leisure service delivery has been offered within institutions and through various community based venues. As a result leisure provision has been focused on the needs of the frail elderly who reside in institutions or the well elderly who are able to access leisure amenities within the community. However the growing number of older adults electing to live alone is on the rise. As individuals age the home becomes the preferred context for leisure experiences. If older adults are choosing to live alone, then both their instrumental and leisure needs must be addressed. As a result, it is imperative that leisure professionals extend the scope of service delivery to include home centered older adults.

Patterns in space : a regional study of motif in Minoan wall painting

This thesis consists of a quantitative analysis of the regional prevalence of certain artistic motifs as they appear in Minoan wall painting of the Neopalatial period. This will help to establish the relative degree of artistic autonomy exercised by each of the sites included in this study. The results show that the argument for itinerant artists during this time period is a strong one, but the assumption that these travelling artists were being controlled by any one palace-centre is erroneous. Rather, the similarities and differences seen suggest that the choices were predicated either by the specific patrons, or by the function of the associated building or room. Thus, the motifs found within this study should be understood as constituting a cultural identity, with greater or lesser degrees of regional homogeneity, which act as one facet of a number of cultural indicators that can be used to better understand the role of artists and regional dynamics on the island during the Bronze Age.

Representations of swinging London in 1960s British cinema : Blowup (1966), Smashing Time (1967), and Performance (1970)

This thesis explores the representation of Swinging London in three examples of 1960s British cinema: Blowup (Michelangelo Antonioni, 1966), Smashing Time (Desmond Davis, 1967) and Performance (Donald Cammell and Nicolas Roeg, 1970). It suggests that the films chronologically signify the evolution, commodification and dissolution of the Swinging London era. The thesis explores how the concept of Swinging London is both critiqued and perpetuated in each film through the use of visual tropes: the reconstruction of London as a cinematic space; the Pop photographer; the dolly; representations of music performance and fashion; the appropriation of signs and symbols associated with the visual culture of Swinging London. Using fashion, music performance, consumerism and cultural symbolism as visual narratives, each film also explores the construction of youth identity through the representation of manufactured and mediated images. Ultimately, these films reinforce Swinging London as a visual economy that circulates media images as commodities within a system of exchange. With this in view, the signs and symbols that comprise the visual culture of Swinging London are as central and significant to the cultural era as their material reality. While they attempt to destabilize prevailing representations of the era through the reproduction and exchange of such symbols, Blowup, Smashing Time, and Performance nevertheless contribute to the nostalgia for Swinging London in larger cultural memory.