Compositional semantics of dataflow networks with query-driven communication of exact values

We develop and study the concept of dataflow process networks as used for exampleby Kahn to suit exact computation over data types related to real numbers, such as continuous functions and geometrical solids. Furthermore, we consider communicating these exact objectsamong processes using protocols of a query-answer nature as introduced in our earlier work. This enables processes to provide valid approximations with certain accuracy and focusing on certainlocality as demanded by the receiving processes through queries. We define domain-theoretical denotational semantics of our networks in two ways: (1) directly, i. e. by viewing the whole network as a composite process and applying the process semantics introduced in our earlier work; and (2) compositionally, i. e. by a fixed-point construction similarto that used by Kahn from the denotational semantics of individual processes in the network. The direct semantics closely corresponds to the operational semantics of the network (i. e. it iscorrect) but very difficult to study for concrete networks. The compositional semantics enablescompositional analysis of concrete networks, assuming it is correct. We prove that the compositional semantics is a safe approximation of the direct semantics. Wealso provide a method that can be used in many cases to establish that the two semantics fully coincide, i. e. safety is not achieved through inactivity or meaningless answers. The results are extended to cover recursively-defined infinite networks as well as nested finitenetworks. A robust prototype implementation of our model is available.

Control of electronic channel affiliates:an exploratory study and research propositions

Electronic channel affiliates are important online intermediaries between customers and host retailers. However, no work has studied how online retailers control online intermediaries. By conducting an exploratory content analysis of 85 online contracts between online retailers and their online intermediaries, and categorizing the governing mechanisms used, insights into the unique aspects of the control of online intermediaries are presented. Findings regarding incentives, monitoring, and enforcement are presented. Additionally, testable research propositions are presented to guide further theory development, drawing on contract theory, resource dependence theory and agency theory. Managerial implications are discussed. © 2012 Elsevier Inc.

Courbure et Polygone de Newton

2000 Mathematics Subject Classification: 26E35, 14H05, 14H20.

Global compilation of benthic data sets I

Approaches to quantify the organic carbon accumulation on a global scale generally do not consider the small-scale variability of sedimentary and oceanographic boundary conditions along continental margins. In this study, we present a new approach to regionalize the total organic carbon (TOC) content in surface sediments (<5 cm sediment depth). It is based on a compilation of more than 5500 single measurements from various sources. Global TOC distribution was determined by the application of a combined qualitative and quantitative-geostatistical method. Overall, 33 benthic TOC-based provinces were defined and used to process the global distribution pattern of the TOC content in surface sediments in a 1°x1° grid resolution. Regional dependencies of data points within each single province are expressed by modeled semi-variograms. Measured and estimated TOC values show good correlation, emphasizing the reasonable applicability of the method. The accumulation of organic carbon in marine surface sediments is a key parameter in the control of mineralization processes and the material exchange between the sediment and the ocean water. Our approach will help to improve global budgets of nutrient and carbon cycles.

Double decomposition : decomposing the variance in subcomponents of male extra-pair reproductive success

Peer reviewed

Double decomposition : decomposing the variance in subcomponents of male extra-pair reproductive success

Peer reviewed

Direct and indirect genetic and fine-scale location effects on breeding date in song sparrows

Peer reviewed

Double decomposition : decomposing the variance in subcomponents of male extra-pair reproductive success

Peer reviewed

Empirical aspects of a mixed method approach to economic network analysis

We discuss the interactions among the various phases of network research design in the context of our current work using Mixed Methods and SNA on networks and rural economic development. We claim that there are very intricate inter-dependencies among the various phases of network research design - from theory and formulation of research questions right through to modes of analysis and interpretation. Through examples drawn from our work we illustrate how choices about methods for Sampling and Data Collection are influenced by these interdependencies.

Pyhäjoen Vanhatien toimenpidesuunnitelma

Pyhäjoen asukasmäärän ennustetaan kasvavan ydinvoimalan rakentamisen myötä. Kasvu näkyy myös taajamassa, missä sekä yleis- että asemakaava mahdollistavat uusien asuinalueiden rakentamisen ja keskusta-alueen tiivistämisen ja laajentamisen. Suunnittelukohteena on Pyhäjoen Vanhatie ja Virastotie, jotka ovat taajaman sisäisen liikenteen tärkeimmät väylät. Suunnittelu tehdään ydinkeskustan alueella seinästä seinään. Suunnittelukohteena on myös valtatien liittymät sekä tori. Suunnittelualueen liikennemäärät ovat vähäisiä, eikä liikenteellisiä ongelmia ennusteta syntyvän, vaikka liikennemäärä kasvaisikin suhteellisesti paljon. Eniten liikennettä on taajaman sivuitse menevällä valtatiellä 8 ja sen liittymissä liikenteen lisäys näkynee onnettomuuksien kasvuna, jos mitään toimenpiteitä ei tehtäisi. Tiet ovat rakenteelltaan kohtuullisessa kunnossa, joskin kuluneita. Ympäristöllisesti suunnittelualue on mielenkiintoinen, sillä Vanhatie on osa Pohjanlahden Rantatietä ja sillä onkin matkailutie-status. Tie on raittimainen, ja sen varrella on useita mielenkiintoisia kohteita, kuten vanhat rakennukset ja puut sekä kalliopaljastumat. Suunnittelujakson eteläpäässä on Etelänkylän Isosilta, joka on Suomen vanhin liikennekäytössä oleva puusilta. Se onkin museosilta. Silta on huonokuntoinen. Tavoitteena on löytää toteuttamiskelpoiset toimenpiteet, joilla ydinkeskusta-alueella tien luonnetta muutetaan keskustamaisemmaksi kaduksi. Torin ja ydinkeskustan yleisilme on tehtävä nykyistä houkuttelevammaksi myös ohikulkevien silmissä. Tavoitteena on saada valtatien kulkijat pistäytymään Pyhäjoella. Kyseiset väylät ovat toistaiseksi maanteitä, mutta tavoitteena on toimenpiteiden toteuttamisen jälkeen muuttaa ne kaduiksi. Toimenpide-esitykset ovat keskittyneet ydinkeskustan alueelle. Vanhatien ja Virastotien liittymäalue sekä kunnantalon edusta rakennetaan torimaiseksi aukioksi. Alue muuttuu yhteistilaksi, jossa jalankulku ja pyöräily on helppoa ja turvallista. Tapahtumia on helppo tarvittaessa laajentaa liikennenalueille. Samoja periaatteita käytetään torin parantamisessa, jossa tori laajenee visuaalisesti Vanhatielle. Suunnittelu on tehty siitä lähtökohdasta, että tori säilyy nykypaikallaan ja mahdollinen Pyhäjoki-talo rakennetaan nykyisen Salen paikalla torin pariksi. Valtatieliittymistä Virastotien liittymän parantaminen on jo suunniteltu aiemmin. Tiiranmaantien liittymä esitetään porrastettavaksi yleiskaavan periaatteen mukaisesti. Vihannintien liittymään rakennetaan turvasaarekket. Merkittävä toimenpide on esitys erityiskohteiden valaisemiseksi. Niitä ovat muun muassa sillat, vanhat isot puut, kalliopaljastumat ja osin myös vanhat rakennuksetkin. Muualla toimenpiteet ovat lähinnä jalankulku- ja pyöräteiden täydentämistä ja viheralueiden kunnostamista. Esitetyt toimenpiteet mahdollistavat kaavojen toteuttamisen. Muutamassa kohdassa asemakaavaa on muutetava toimenpiteiden mahdollistamiseksi. Lähiympäristö paranee, kun katupuita uusitaan ja täydennetään. Rakentamisen kustannukset ovat yhteensä noin 5,2 miljoonaa euroa (alv 0%).

Load balancing for parallel adaptive FEM

We present a dynamic distributed load balancing algorithm for parallel, adaptive finite element simulations using preconditioned conjugate gradient solvers based on domain-decomposition. The load balancer is designed to maintain good partition aspect ratios. It calculates a balancing flow using different versions of diffusion and a variant of breadth first search. Elements to be migrated are chosen according to a cost function aiming at the optimization of subdomain shapes. We show how to use information from the second step to guide the first. Experimental results using Bramble's preconditioner and comparisons to existing state-of-the-art balancers show the benefits of the construction.

Catálogo alfabético y por materia de todos los libros que contiene la Biblioteca Nacional

El presente catálogo da a conocer todo el material bibliográfico existente de la Biblioteca Nacional en el año de 1887, agrupados por disciplinas en el siguiente orden: teología, jurisprudencia i política, filosofía, industrias ciencias naturales, ciencias médicas, literatura e historia.