Ability of Aphis gossypii and Myzus persicae to Transmit Cucumber mosaic virus in Single and Mixed Infection with Two Potyviruses to Zucchini Squash

The main objective of this work was to investigate the ability of Aphis gossypii and Myzus persicae to transmit Cucumber mosaic virus (CMV) singly and mixed with two potyviruses (Papaya ringspot virus - type W, PRSV-W and Zucchini yellow mosaic virus, ZYMV), to zucchini squash plants (Cucurbita pepo). The results showed that the potyviruses in general were more efficiently transmitted by both species of aphids as compared to CMV. The transmission of PRSV-W, ZYMV and CMV separately was more efficient than in mixture.

Evaluation of the throughfall and stemflow nutrient contents in mixed and pure plantations of Acacia mangium, Pseudosamenea guachapele and Eucalyptus grandis

The interception of the rainfall by the forest canopy has great relevance to the nutrient geochemistry cycle in low fertility tropical soils under native or cultivated forests. However, little is known about the modification of the rainfall water quality and hydrological balance after interception by the canopies of eucalyptus under pure and mixed plantations with leguminous species, in Brazil. Samples of rainfall (RF), throughfall (TF) and stemflow (SF) were collected and analyzed in pure plantations of mangium (nitrogen fixing tree -NFT), guachapele (NFT) and eucalyptus (non-nitrogen fixing tree -NNFT) and in a mixed stand of guachapele and eucalyptus in Seropédica, State of Rio de Janeiro, Brazil. Nine stemflow collectors (in selected trees) and nine pluviometers were randomly disposed under each stand and three pluviometers were used to measure the incident rainfall during 5.5 months. Mangium conveyed 33.4% of the total rainfall for its stem. An estimative based on corrections for the average annual precipitation (1213 mm) indicated that the rainfall's contribution to the nutrient input (kg ha-1) was about 8.42; 0.95; 19.04; 6.74; 4.72 and 8.71 kg ha-1 of N-NH4+, P, K+, Ca+2, Mg+2 and Na+, respectively. Throughfall provided the largest contributions compared to the stemflow nutrient input. The largest inputs of N-NH4+ (15.03 kg ha-1) and K+ (179.43 kg ha-1) were observed under the guachapele crown. Large amounts of Na+ denote a high influence of the sea. Mangium was the most adapted species to water competitiveness. Comparatively to pure stand of eucalyptus, the mixed plantation intensifies the N, Ca and Mg leaching by the canopy, while the inputs of K and P were lower under these plantations.

Sulfuric acid - glucose separation using mixed-recycle steady state recycling chromatography

Batch chromatography is a widely used separation technique in a variety of fields meeting difficult separations. Several technologies for improving the performance of chromatography have been studied, including mixed-recycle steady state recycling (MR-SSR) chromatography. Design of MR-SSR has been commonly limited on 100 % purity constraint cases and empirical work. In this study a predictive design method was used to optimize feed pulse size and design a number of experimental MR-SSR separations for a solution of 20 % sulfuric acid and 100 g/L glucose. The design was under target product fraction purities of 98.7 % for H2SO4 and 95 % for glucose. The experiments indicate a maximum of 59 % increase in sulfuric acid productivity and 82 % increase for glucose when compared to corresponding batch separation. Eluent consumption was lowered by approximately 50 % using recycling chromatography. Within this study the target purities and yields set in design were not completely met, and further optimization of the process is deemed necessary.

Rheological behavior of mixed drink of annona and milk

In this study the rheological behavior in different temperatures (0; 6; 18 e 24 ºC) and physicochemical parameters of integral annona (Annona squamosa) pulp and the annona pulp with milk in different percentages pulp/milk (75g of annona pulp/25g of milk, 50g of annona pulp/50g of milk, 25g of annona pulp/75g of milk) have been availed, in order to verify the effect of temperature and pulp concentration in the rheological behavior of these beverages. To obtain the rheological parameters a concentric cylinder rheometer has been used and the rheograms were analyzed using the Ostwald-de-Wael (power Law) and Herschel-Bulkley models. The physicochemical parameters (sugars, pH, ash, acidity and soluble solids) were determined in order to establish correlations with the rheological behavior. Finally, the best results had been obtained using the Herschel-Bulkley model; the low values for the behavior index (n <1) obtained confirm the pseudoplastic behavior of all samples.

Specific surface charging of latex, clay and mineral oxide particles in aqueous, non-aqueous and mixed solvent systems

En djupare förståelse för växelverkan mellan partiklar i suspensioner är av betydelse för utvecklingen av en mängd olika industriella produkter och processer. Till exempel kan nämnas pigmentbaserade färger och bestrykning av papper. Genom att öka kontrollbarheten kan dessa lättare optimeras för att uppnå förbättrade produktegenskaper och/eller sänkta produktionskostnader. Av stor betydelse är även en förbättrad möjlighet att minska produktens miljöpåverkan. I avhandlingen studerades jonstyrkan och jonspecificiteten inverkan i olika akvatiska suspensioner innehållande olika elektrolyter. De partiklar som avhandlingen omfattade var metalloxider, leror samt latex. Jonstyrkan studerades från låga (c <10-3M) till och med höga (c> 10-1M) elektrolytkoncentrationer. Vid koncentrationer under 0.1 M var partikelladdningen styrd av pH och jonstyrkan. Vid högre elektrolytkoncentrationer påverkade även jonspecificiteten partikelladdningen. Jonspecificiteten arrangerades i fenomenologiska serier funna i litteraturen samt med Born modellen definierad i termodynamiken. Överraskande höga absoluta zeta-potential värden erhölls vid höga elektrolytkoncentrationer vilket visar att den elektrostatiska repulsionen har betydelse även vid dessa förhållanden. Vidare studerades titanoxidsuspensioners egenskaper i akvatiska, icke-akvatiska och blandade lösningssystem under varierande koncentration av oxal- och fosfatsyra. Vid lågt vatteninnehåll studerades även suspensioner med svavelsyra. Konduktiviteten i suspensioner med lågt vatteninnehåll ökade med tillsatt oxal- eller fosforsyra vilket är en omvänd effekt jämfört med svavelsyra eller akvatiska suspensioner. Den omvända effekten skiftade gradvis tillbaka med ökad vatteninnehåll. En analys av suspensionernas adsorption i höga etanolkoncentrationer gjordes med konduktiviteten, pH och zeta-potentialen. Viskositet studerades och applicerades framgångsrikt i viskositet/ytladdningsmodeller utvecklade för akvatiska suspensioner.

Field evaluation of safety during gestation and horizontal spread of a recombinant differential bovine herpesvirus 1 (BoHV-1) vaccine

Bovine herpesvirus type 1 (BoHV-1) is recognized as a major cause of respiratory, reproductive disease and abortion in cattle. Vaccination is widely applied to minimize losses induced by BoHV-1 infections; however, vaccination of dams during pregnancy with modified live virus (MLV) vaccines has been occasionally associated to abortions. We have previously reported the development of a BoHV-1 recombinant virus, constructed with basis on a Brazilian BoHV-1 (Franco et al. 2002a) from which the gene coding for glycoprotein E (gE) was deleted (gE-) by genetic manipulation. Such recombinant has been previously evaluated in its potential as a differential vaccine (gE- vaccine) that allows differentiation between vaccinated and infected animals. Here, in the first part of the present study, the safety of the gE- vaccine during pregnancy was evaluated by the intramuscular inoculation of 10(7.4) tissue culture 50 % infective doses (TCID50) of the virus into 22 pregnant dams (14 BoHV-1 seronegative; 8 seropositive), at different stages of gestation. Other 15 pregnant dams were kept as non-vaccinated controls. No abortions, stillbirths or fetal abnormalities were seen after vaccination. Seroconversion was observed in both groups of previously seronegative vaccinated animals. In the second part of the study, the potential of the gE- vaccine virus to spread among beef cattle under field conditions was examined. Four heifers were inoculated intranasally with a larger amount (10(7,6) TCID50) of the gE- vaccine (to increase chances of transmission) and mixed with other sixteen animals at the same age and body condition, in the same grazing area, at a population density equal to the average cattle farming density within the region (one cattle head per 10,000 m²), for 180 days. All animals were monitored daily for clinical signs. Serum samples were collected on days 0, 30, 60 and 180 post-vaccination. Seroconversion was observed only in vaccinated heifers. These results indicate that, under the conditions of the present study, the gE- vaccine virus did not cause any noticeable harmful effect on pregnant dams and on its offspring and did not spread horizontally among cattle.

Evidence of mixed persistent infections in calves born to cows challenged with a pool of bovine viral diarrhea virus isolates

Pregnant cows infected with noncytopathic (NCP) isolates of bovine viral diarrhea virus (BVDV) between days 40 and 120 days of gestation frequently deliver immunotolerant, persistently infected (PI) calves. We herein report the characterization of PI calves produced experimentally through inoculation of pregnant cows with a pool of Brazilian BVDV-1 (n=2) and BVDV-2 isolates (n=2) between days 60 and 90 of gestation. Two calves were born virus positive, lacked BVDV antibodies, but died 7 and 15 days after birth, respectively. Six other calves were born healthy, seronegative to BVDV, harbored and shed virus in secretions for up to 210 days. Analysis of the antigenic profile of viruses infecting these calves at birth and 30 days later with a panel of monoclonal antibodies indicated two patterns of infection. Whereas three calves apparently harbored only one isolate (either a BVDV-1 or BVDV-2), co-infection by two antigenically distinct challenge viruses was demonstrated in three PI calves. Moreover, testing the viruses obtained from the blood of PI calves by an RT-PCR able to differentiate between BVDV-1 and BVDV-2 confirmed the presence/persistence of two co-infecting viruses of different genotypes (BVDV-1 and BVDV-2) in these animals. These findings indicate that persistent infection of fetuses/calves - a well characterized consequence of fetal infection by BVDV - may be established concomitantly by more than one isolate, upon experimental inoculation. In this sense, mixed persistent infections with antigenically distinct isolates may help in understanding the immunological and molecular basis of BVDV immunotolerance and persistence.

Diarrhea outbreaks in suckling piglets due to rotavirus group C single and mixed (rotavirus groups A and B) infections

Porcine group A rotavirus (PoRVA) is a major cause of neonatal diarrhea in suckling and recently weaned piglets worldwide. The involvement of non-group A rotavirus in cases of neonatal diarrhea in piglets are sporadic. In Brazil there are no reports of the porcine rotavirus group C (PoRVC) as etiologic agent of the diarrhea outbreaks in piglets. The aim of this study was to describe the identification of rotavirus group C in single and in mixed infection with rotavirus groups A and B in three neonatal diarrhea outbreaks in suckling (<21-day-old) piglets, with 70% to 80% and 20% to 25% of morbidity and lethality rates, respectively, in three pig herds located in the state of Santa Catarina, Brazil. The diagnosis of PoRV in the diarrheic fecal samples was performed using polyacrylamide gel electrophoresis (PAGE) to identify the presence of porcine rotavirus groups A, B (PoRVB), and C, and by RT-PCR (PoRVA and PoRVC) and semi-nested (SN)-PCR (PoRVB) to partially amplify the VP4 (VP8*)-VP7, NSP2, and VP6 genes of PoRVA, PoRVB, and PoRVC, respectively. One RT-PCR (PoRVA and PoRVC) and SN-PCR (PoRVB) product of each group of rotavirus of each diarrhea outbreak was submitted to nucleotide (nt) sequence analysis. Based on the PAGE technique, 4 (25%) and 1 (6.25%) of the 16 diarrheic fecal samples evaluated in the first outbreak presented PoRVA and PoRVC electropherotype, respectively, and 11 (68.75%) were negative. In the second outbreak, 3 (42.85%) of the 7 fecal samples evaluated presented PoRVA electropherotype, and in 3 (42.85%) and in 1 (14.3%) fecal samples were detected inconclusive and negative results, respectively. Three (30%) of the 10 fecal samples of the third outbreak presented PoRVC electropherotype; 5 (50%) and 2 (20%) samples showed negative and inconclusive results, respectively. Based on the RT-PCR and SN-PCR assays in the first neonatal diarrhea outbreak, PoRVC was detected in 13 (81.2%) of the 16 diarrheic fecal samples evaluated. PoRVC single infection was identified in 4 (25%) of these samples and mixed infections with PoRVA and PoRVB in 9 (56.2%) fecal samples. All of the seven diarrheic fecal samples evaluated from the second neonatal diarrhea outbreak were positive for PoRVC, whereas its mixed infection with other PoRV groups was detected in 4 (57.2%) samples. In the third outbreak, PoRVC in single infection was detected in all of the 10 diarrheic fecal samples analyzed. In the nt sequence analysis, the PoRVA strains of the first and second outbreaks demonstrated higher nt identity with G4P[6] and G9P[23] genotypes, respectively. The PoRVB strains (first and second outbreaks) and the PoRVC strains (first, second, and third outbreaks) showed higher nt identity and clustered in the phylogenetic tree with PoRVB and PoRVC strains that belong to the N4 and I1 genotypes, respectively. This is the first description in Brazil of the involvement of PoRVC in the etiology of diarrhea outbreaks in suckling piglets. The results of this study demonstrated that PoRVC, in both single and mixed infections, is an important enteropathogen involved in neonatal diarrhea outbreaks in piglets and that the use of more sensitive diagnostic techniques allows the identification of mixed infections involving two or even three groups of PoRV, which may be more common than previously reported.

Numerical study on mixed convection in a horizontal flow past a square porous cavity using UNIFAES scheme

Mixed convection on the flow past a heated length and past a porous cavity located in a horizontal wall bounding a saturated porous medium is numerically simulated. The cavity is heated from below. The steady-state regime is studied for several intensities of the buoyancy effects due to temperature variations. The influences of Péclet and Rayleigh numbers on the flow pattern and the temperature distributions are examined. Local and global Nusselt numbers are reported for the heated surface. The convective-diffusive fluxes at the volume boundaries are represented using the UNIFAES, Unified Finite Approach Exponential-type Scheme, with the Power-Law approximation to reduce the computing time. The conditions established by Rivas for the quadratic order of accuracy of the central differencing to be maintained in irregular grids are shown to be extensible to other quadratic schemes, including UNIFAES, so that accuracy estimates could be obtained.

Economical potential of controlling charging of electric vehicles by using price signal

The number of electric vehicles grows continuously and the implementation of charging electric vehicles is an important issue for the future. Increasing amount of electric vehicles can cause problems to distribution grid by increasing peak load. Currently charging of electric vehicles is uncontrolled, but as the amount of electric vehicles grows, smart charg-ing (controlled charging) will be one possible solution to handle this situation. In this thesis smart charging of electric vehicles is examined from electricity retailers` point of view. The purpose is to find out plausible saving potentials of smart charging, when it´s controlled by price signal. Saving potential is calculated by comparing costs of price signal controlled charging and uncontrolled charging.

Switchable Lanthanide Luminescence for Detection of Biomolecules

Binary probes are oligonucleotide probe pairs that hybridize adjacently to a complementary target nucleic acid. In order to detect this hybridization, the two probes can be modified with, for example, fluorescent molecules, chemically reactive groups or nucleic acid enzymes. The benefit of this kind of binary probe based approach is that the hybridization elicits a detectable signal which is distinguishable from background noise even though unbound probes are not removed by washing before measurement. In addition, the requirement of two simultaneous binding events increases specificity. Similarly to binary oligonucleotide probes, also certain enzymes and fluorescent proteins can be divided into two parts and used in separation-free assays. Split enzyme and fluorescent protein reporters have practical applications among others as tools to investigate protein-protein interactions within living cells. In this study, a novel label technology, switchable lanthanide luminescence, was introduced and used successfully in model assays for nucleic acid and protein detection. This label technology is based on a luminescent lanthanide chelate divided into two inherently non-luminescent moieties, an ion carrier chelate and a light harvesting antenna ligand. These form a highly luminescent complex when brought into close proximity; i.e., the label moieties switch from a dark state to a luminescent state. This kind of mixed lanthanide complex has the same beneficial photophysical properties as the more typical lanthanide chelates and cryptates - sharp emission peaks, long emission lifetime enabling time-resolved measurement, and large Stokes’ shift, which minimize the background signal. Furthermore, the switchable lanthanide luminescence technique enables a homogeneous assay set-up. Here, switchable lanthanide luminescence label technology was first applied to sensitive, homogeneous, single-target nucleic acid and protein assays with picomolar detection limits and high signal to background ratios. Thereafter, a homogeneous four-plex nucleic acid array-based assay was developed. Finally, the label technology was shown to be effective in discrimination of single nucleotide mismatched targets from fully matched targets and the luminescent complex formation was analyzed more thoroughly. In conclusion, this study demonstrates that the switchable lanthanide luminescencebased label technology can be used in various homogeneous bioanalytical assays.

Young Registered Nurses’ Intent to Leave the Profession in Finland - A Mixed-Method Study

The purpose of this study was to examine and expand understanding concerning young Finnish registered nurses (RN) with an intention to leave the profession and the related variables, specifically when that intention has emerged before the age of 30. The overall goal of the study was to develop a conceptual model in relation to young RNs’ intention to leave the profession. Suggestions for policymakers, nurse leaders and nurse managers are presented for how to retain more young RNs in the nursing workforce. Suggestions for future nursing research are also provided. Phase I consists of two sequential integrative literature reviews of 75 empirical articles concerning nurses’ intention to leave the profession. In phase II, data had been collected as part of the Nurses’ Early Exit (NEXT) study, using the BQ-12 structured postal questionnaire. A total of 147 young RNs participated in the study. The data were analysed with statistical methods. In phase III, firstly, an in-depth interpretive case study was conducted in order to understand how young RNs explain and make sense of their intention to leave the profession. The data in this study consisted of longitudinal career stories by three young RNs. The data was analysed by using narrative holistic-content and thematic methods. Secondly, a total of 15 young RNs were interviewed in order to explore in-depth their experiences concerning organizational turnover and their intent to leave the profession. The data was analysed using conventional content analysis. Based on earlier research, empirical research on the young RNs intention to leave the profession is scarce. Nurses’ intention to leave the profession has mainly been studied with quantitative descriptive studies, conducted with survey questionnaires. Furthermore, the quality of previous studies varies considerably. Moreover, nurses’ intention to leave the profession seems to be driven by a number of variables. According to the survey study, 26% of young RNs had often considered giving up nursing completely and starting a different kind of job during the course of the previous year. Many different variables were associated with an intention to leave the profession (e.g. personal burnout, job dissatisfaction). According to the in-depth inquiries, poor nursing practice environments and a nursing career as a ‘second-best’ or serendipitous career choice were themes associated with young RNs’ intention to leave the profession. In summary, young RNs intention to leave the profession is a complex phenomenon with multiple associated variables. These findings suggest that policymakers, nurse leaders and nurse managers should enable improvements in nursing practice environments in order to retain more young RNs. These improvements can include, for example, adequate staffing levels, balanced nursing workloads, measures to reduce work-related stress as well as possibilities for advancement and development. Young RNs’ requirements to provide high-quality and ethical nursing care must be recognized in society and health-care organizations. Moreover, sufficient mentoring and orientation programmes should be provided for all graduate RNs. Future research is needed into whether the motive for choosing a nursing career affects the length of the tenure in the profession. Both quantitative and in-depth research is needed for the comprehensive development of nursing-turnover research.

Modeling light interception and distribution in mixed canopy of common cocklebur (Xanthium stramarium) in competition with corn

The aim of this study was to model light interception and distribution in the mixed canopy of Common cocklebur (Xanthium stramarium) with corn. An experiment was conducted in factorial arrangement on the basis of randomized complete blocks design with three replications in Gonabad in 2006-2007 and 2007-2008 seasons. The factors used in this experiment include corn density of 7.5, 8.5 and 9.5 plants per meter of row and density of Common cocklebur of zero, 2, 4, 6 and 8 plants per meter of row. INTERCOM model was used through replacing parabolic function with triangular function of leaf area density. Vertical distribution of the species' leaf area showed that corn has concentrated the most leaf area in layer of 80 to 100 cm while Common cocklebur has concentrated in 35-50 cm of canopy height. Model sensitivity analysis showed that leaf area index, species' height, height where maximum leaf area is seen (hm), and extinction coefficient have influence on light interception rate of any species. In both species, the distribution density of leaf area at the canopy length fit a triangular function, and the height in which maximum leaf area was observed was changed by change in density. There was a correlation between percentage of the radiation absorbed by the weed and percentage of corn seed yield loss (r² = 0.89). Ideal type of corn was determined until the stage of tasseling in competition with weed. This determination indicates that the corn needs more height and leaf area, as well as less extinction coefficient to successfully fight against the weed.

Physical Attractiveness as a Signal of Biological Quality

It has been commonly thought that standards of beauty are arbitrary cultural conventions that vary between cultures and time. In my thesis I found that it is not so. Instead, I show that attractiveness and preferred traits serve as cues to phenotypic qualities that provide selective benefits for those who choose their mates based on these criteria. In the first study I show that attractive men have a stronger antibody response to the hepatitis b vaccine and higher levels of testosterone than their less attractive peers. Men with low levels of testosterone also tend to have high levels of the stress hormone cortisol, suggesting that their immune responses may have been inhibited by stress hormones. Thus, facial attractiveness may serve as an honest cue of the strength of immune defence in men. In the second study, I show that the attractiveness of the male body is also a cue of better immunity. In addition, I show that adiposity, both in men’s faces and bodies, is a better cue of the strength of immunity and attractiveness than of masculinity. In the third study, I test the preferences of women from 13 countries for facial cues of testosterone and cortisol. I show that there is cross-cultural variation in women’s preference for cues of testosterone and cortisol in male faces. I found a relationship between the health of a nation and women’s preferences for cues of testosterone in the male face and the interaction between preferences for cues of testosterone and cortisol. I show also a relationship between preferences for cues of testosterone and a societal-level measure of parasite stress. Thus, it seems that societal-level ecological factors influence the relative value of traits as revealed by combinations of testosterone and stress hormones. In the fourth study, I show that women’s immune responsiveness (amount of antibodies produced) does not predict facial attractiveness. Instead, plasma cortisol level is negatively associated with attractiveness, indicating that stressed women look less attractive. Fat percentage is curvilinearly associated with facial attractiveness, indicating that being too thin or too fat reduces attractiveness. This study suggests that in contrast to men, facial attractiveness in women does not indicate the strength of immune defence, but is associated with other aspects of long-term health and fertility: circulating levels of the stress hormone cortisol and the percentage of body fat. In the last study I show that the attractiveness of men’s body odor is positively correlated with stress hormone levels, suggesting also that the attractiveness of body odors may signal the phenotypic quality of males to females. However, the attractiveness of men’s body odor was not associated with testosterone levels. My thesis suggests that the standard of beauty is not in the eye of the beholder. Instead, our standard of beauty is hardwired in our brains by genes that are selected by natural selection and also influenced by current environmental conditions.

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.