Partie septentrionale de la Russie Européenne òu sont distinguées éxactement toutes les Provinces, d’aprés le détail de l’Atlas Russien. Par le Sr. Robert de Vaugondy fils. géog. ordin? du roi

Venäjän Euroopan puoleisen pohjoisosan kartta, jossa Suomen alue näkyy Venäjän luoteisena naapurina. - 1 kartta : vär. ; 47,8 x 58,5 cm, lehti 50,5 x 62,7 cm. - Mittakaava [N. 1: 3350000]. - Myös teoksessa: Atlas Universel, Par M. Robert Geographe ordinaire du Roy, et Par M. Robert De Vaugondy son fils Geographe ord. du Roy, et de S. M. Polonoise, Duc de Lorraine et de Bar, et Associe de L’Academie Royale des Sciences et belles Lettres de Nancy ... 1757. A Paris, Chez Les Auteurs ... Boudet Libraire Imprimeur du Roi

Contribuciones a la ictiologia: V - VI sobre algunas especies de Gobiidae de la colección del Laboratorio Aragó (Banyuls-sur-mer, Francia) y descripción de un nuevo genero (Austrogobius) sudamericano

En el número V de "Contribuciones a la Ictiologia" se dán normas para el estudio sistemático de los organos ciatiformes, que proporcionaron a los Gobiidae de Europa un medio seguro de ordenación genérica y distinción específica. Se añade el estudio de la colección del Laboratorio Aragó, de Banyuls-sur-mer, Francia. En el número VI de "Contribuciones a la Ictiología" se aloja el Gobiosoma parri Ginsburg en el nuevo gênero Austrogobius De Buen, y se dán las características que lo distinguen, especialmente la distribución de tubos mucosos y geniporos.

En ros mer skön

Soitinnus: sekakuoro.

På flykt i eget land : internflyktingar i Sverige under stora nordiska kriget

År 1721 stod bondhustrun Lisbeta Mickelsdotter från Pyhäjoki framför prästen i Piteå socken och redogjorde för sina upplevelser under det hemska året 1714 då ryssarna inföll i Österbotten och alla som bara kunde begav sig på flykt. Lisbeta är bara en av de tiotusentals flyktingar som under det stora nordiska kriget 1700–1721 flydde från såväl Östersjöprovinserna men framför allt från Finland till tryggheten i Sverige. I avhandlingen skildras vilka som flydde, varifrån och vart. Man kan tala om en elitens flykt där ämbetsmän och präster sökte sig västerut enligt de direktiv som Karl XII gett om att civilbefolkningen skulle söka sig bakom den egna armén. Det förekom också en bondeflykt från framför allt Österbotten och Åland. Det här var områden som p.g.a. strategiska skäl förhärjades av ryssarna. För många fanns det inget annat alternativ än att fly, antingen ut i de djupa skogarna eller västerut till Sverige. En delorsak till flykten var den order som Karl XII gett. Ryssarna föregicks av ett rykte som hade sin bakgrund i den propaganda som de svenska myndigheterna i decennier hade bedrivit. Ryssarna sågs som en grym fiende. När ämbetsverk och magistrat började packa ihop sina arkiv för en överflyttning till Sverige skedde det i smyg för att inte förorsaka oro bland den övriga befolkningen. Paniken låg hela tiden på lur och det faktum att myndigheterna gav sig av ledde till, att när ryssarna verkligen plötsligt dök upp i socknen var det många som valde att hals över huvud ge sig iväg. För att hjälpa flyktingarna ekonomiskt samlades det till förmån för flyktingarna kollekt över hela det svenska väldet. I Stockholm tillsatte myndigheterna en flyktingkommission som fick till uppgift att bland flyktingarna fördela de medel som hade samlats in. Huvudprincipen var att ju mer man hade förlorat desto större understöd skulle man få. Det var viktigt att ståndssamhället bevarades. Utanför de grupper som skulle hjälpas lämnades bl.a. köpmän och hantverkare som förväntades kunna fortsätta sin verksamhet i Sverige, gamla och orkeslösa som skulle beredas rum på fattighus samt unga och friska som skulle försörja sig genom arbete. Eftersom det var svårt att finna en försörjning och då många tvingades livnära sig genom att tigga tvingades flyktingkommissionen också ge en slant till personer som enligt kommissionens instruktion skulle lämnas utan hjälp. Det är ändå tveksamt om de små summor det stora flertalet fick egentligen hade någon betydelse för dem. Man kan konstatera att många hade det oerhört svårt under sin tid i Sverige. För mitt arbete har det viktigaste källmaterialet varit de förteckningar som flyktingkommissionen gjorde över vem som fått understöd och hur mycket som utbetalades. Av de här uppgifterna har jag byggt upp en databas med över 13 000 identifierade flyktingar. Jag har utgående från bl.a. uppgiften om identifierade individer kunnat fastställa att antalet finska flyktingar uppgick till åtminstone 30 000 personer, vilket motsvarade närmare en tiondedel av befolkningen i Finland. Efter fredsslutet 1721 återvände de flesta hem. I Österbotten möttes då en del av en överraskning då de fann att någon främmande person hade övertagit deras hemman. Det förekom under slutet av 1710-talet en inflyttning från de österbottniska finskspråkiga inlandssocknarna till de svenskspråkiga kustsocknarna. Det är ändå uppenbart att de finskspråkiga snart assimilerade sig och helt uppgick i den svenskspråkiga majoriteten.

Groteksi valta : Collège de Francen kellonsoittaja hirviöiden ja peukaloisten maassa

Kirjallisuusarvostelu

Charge transport in disordered materials : simulations, theory, and numerical modeling of hopping transport and electron-hole recombination

Min avhandling behandlar hur oordnade material leder elektrisk ström. Bland materialen som studeras finns ledande polymerer, d.v.s. plaster som leder ström, och mer allmänt organiska halvledare. Av de här materialen har man kunnat bygga elektroniska komponenter, och man hoppas på att kunna trycka hela kretsar av organiska material. För de här tillämpningarna är det viktigt att förstå hur materialen själva leder elektrisk ström. Termen oordnade material syftar på material som saknar kristallstruktur. Oordningen gör att elektronernas tillstånd blir lokaliserade i rummet, så att en elektron i ett visst tillstånd är begränsad t.ex. till en molekyl eller ett segment av en polymer. Det här kan jämföras med kristallina material, där ett elektrontillstånd är utspritt över hela kristallen (men i stället har en väldefinierad rörelsemängd). Elektronerna (eller hålen) i det oordnade materialet kan röra sig genom att tunnelera mellan de lokaliserade tillstånden. Utgående från egenskaperna för den här tunneleringsprocessen, kan man bestämma transportegenskaperna för hela materialet. Det här är utgångspunkten för den så kallade hopptransportmodellen, som jag har använt mig av. Hopptransportmodellen innehåller flera drastiska förenklingar. Till exempel betraktas elektrontillstånden som punktformiga, så att tunneleringssannolikheten mellan två tillstånd endast beror på avståndet mellan dem, och inte på deras relativa orientation. En annan förenkling är att behandla det kvantmekaniska tunneleringsproblemet som en klassisk process, en slumpvandring. Trots de här grova approximationerna visar hopptransportmodellen ändå många av de fenomen som uppträder i de verkliga materialen som man vill modellera. Man kan kanske säga att hopptransportmodellen är den enklaste modell för oordnade material som fortfarande är intressant att studera. Man har inte hittat exakta analytiska lösningar för hopptransportmodellen, därför använder man approximationer och numeriska metoder, ofta i form av datorberäkningar. Vi har använt både analytiska metoder och numeriska beräkningar för att studera olika aspekter av hopptransportmodellen. En viktig del av artiklarna som min avhandling baserar sig på är att jämföra analytiska och numeriska resultat. Min andel av arbetet har främst varit att utveckla de numeriska metoderna och applicera dem på hopptransportmodellen. Därför fokuserar jag på den här delen av arbetet i avhandlingens introduktionsdel. Ett sätt att studera hopptransportmodellen numeriskt är att direkt utföra en slumpvandringsprocess med ett datorprogram. Genom att föra statisik över slumpvandringen kan man beräkna olika transportegenskaper i modellen. Det här är en så kallad Monte Carlo-metod, eftersom själva beräkningen är en slumpmässig process. I stället för att följa rörelsebanan för enskilda elektroner, kan man beräkna sannolikheten vid jämvikt för att hitta en elektron i olika tillstånd. Man ställer upp ett system av ekvationer, som relaterar sannolikheterna för att hitta elektronen i olika tillstånd i systemet med flödet, strömmen, mellan de olika tillstånden. Genom att lösa ekvationssystemet fås sannolikhetsfördelningen för elektronerna. Från sannolikhetsfördelningen kan sedan strömmen och materialets transportegenskaper beräknas. En aspekt av hopptransportmodellen som vi studerat är elektronernas diffusion, d.v.s. deras slumpmässiga rörelse. Om man betraktar en samling elektroner, så sprider den med tiden ut sig över ett större område. Det är känt att diffusionshastigheten beror av elfältet, så att elektronerna sprider sig fortare om de påverkas av ett elektriskt fält. Vi har undersökt den här processen, och visat att beteendet är väldigt olika i endimensionella system, jämfört med två- och tredimensionella. I två och tre dimensioner beror diffusionskoefficienten kvadratiskt av elfältet, medan beroendet i en dimension är linjärt. En annan aspekt vi studerat är negativ differentiell konduktivitet, d.v.s. att strömmen i ett material minskar då man ökar spänningen över det. Eftersom det här fenomenet har uppmätts i organiska minnesceller, ville vi undersöka om fenomenet också kan uppstå i hopptransportmodellen. Det visade sig att det i modellen finns två olika mekanismer som kan ge upphov till negativ differentiell konduktivitet. Dels kan elektronerna fastna i fällor, återvändsgränder i systemet, som är sådana att det är svårare att ta sig ur dem då elfältet är stort. Då kan elektronernas medelhastighet och därmed strömmen i materialet minska med ökande elfält. Elektrisk växelverkan mellan elektronerna kan också leda till samma beteende, genom en så kallad coulombblockad. En coulombblockad kan uppstå om antalet ledningselektroner i materialet ökar med ökande spänning. Elektronerna repellerar varandra och ett större antal elektroner kan leda till att transporten blir långsammare, d.v.s. att strömmen minskar.

On the impact of rigorous approaches on the quality of development

Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.

Det demokratiska samtalet : en studie av deliberativ demokrati i ett medborgarforum

Behovet av deliberativ demokrati, dvs. politiskt beslutsfattande som bygger på överläggningar där olika skäl vägs mot varandra, betonas allt oftare i samhällsdebatten. Dylika överläggningar förväntas bidra med beslutsfattande som är mer förnuftsorienterat, respektfullt och inkluderande, samt beslut som är mer avvägda och äger större legitimitet. Genom att analysera samtal från ett diskussionsforum där vanliga medborgare samlats för att rådslå om utvecklingen av kärnkraft i Finland redogör denna avhandling för hur deliberativ demokrati som omfattar vanliga medborgare tar sig uttryck. Resultaten är tudelade. Även om deliberativa överläggningar kan ge medborgarna mer insikt och klargöra den egna åsikten i sakfrågan, visar det sig att deltagarna har svårt att ta åt sig argument och åsikter som inte stämmer överrens med den egna uppfattningen. Dessutom visar det sig att särskilt kvinnor, yngre och mindre utbildade deltagare har svårigheter att hävda sig i det deliberativa samtalet. De brister som uppdagas ifrågasätter om deliberativ demokrati i praktiken kan bidra till ett mer jämlikt och välfungerande beslutsfattande.

Trustworthy context dependency in ubiquitous systems

The modern society is getting increasingly dependent on software applications. These run on processors, use memory and account for controlling functionalities that are often taken for granted. Typically, applications adjust the functionality in response to a certain context that is provided or derived from the informal environment with various qualities. To rigorously model the dependence of an application on a context, the details of the context are abstracted and the environment is assumed stable and fixed. However, in a context-aware ubiquitous computing environment populated by autonomous agents, a context and its quality parameters may change at any time. This raises the need to derive the current context and its qualities at runtime. It also implies that a context is never certain and may be subjective, issues captured by the context’s quality parameter of experience-based trustworthiness. Given this, the research question of this thesis is: In what logical topology and by what means may context provided by autonomous agents be derived and formally modelled to serve the context-awareness requirements of an application? This research question also stipulates that the context derivation needs to incorporate the quality of the context. In this thesis, we focus on the quality of context parameter of trustworthiness based on experiences having a level of certainty and referral experiences, thus making trustworthiness reputation based. Hence, in this thesis we seek a basis on which to reason and analyse the inherently inaccurate context derived by autonomous agents populating a ubiquitous computing environment in order to formally model context-awareness. More specifically, the contribution of this thesis is threefold: (i) we propose a logical topology of context derivation and a method of calculating its trustworthiness, (ii) we provide a general model for storing experiences and (iii) we formalise the dependence between the logical topology of context derivation and its experience-based trustworthiness. These contributions enable abstraction of a context and its quality parameters to a Boolean decision at runtime that may be formally reasoned with. We employ the Action Systems framework for modelling this. The thesis is a compendium of the author’s scientific papers, which are republished in Part II. Part I introduces the field of research by providing the mending elements for the thesis to be a coherent introduction for addressing the research question. In Part I we also review a significant body of related literature in order to better illustrate our contributions to the research field.

En god motor fordrar extra prima petroleum, en sliten motor behöver det ännu mer

kuv., 21 x 29 cm

Efficacy of a gE-deleted, bovine herpesvirus 1 (BoHV-1) inactivated vaccine

Bovine herpesvirus type 1 (BoHV-1) is recognized as a major cause of economic losses in cattle. Vaccination has been widely applied to minimize losses induced by BoHV-1 infections. We have previously reported the development of a differential BoHV-1 vaccine, based on a recombinant glycoprotein E (gE)-deleted virus (265gE-). In present paper the efficacy of such recombinant was evaluated as an inactivated vaccine. Five BoHV-1 seronegative calves were vaccinated intramuscularly on day 0 and boostered 30 days later with an inactivated, oil adjuvanted vaccine containing an antigenic mass equivalent to 10(7.0) fifty per cent cell culture infectious doses (CCID50) of 265gE-. Three calves were kept as non vaccinated controls. On day 60 post vaccination both vaccinated and controls were challenged with the virulent parental strain. No clinical signs or adverse effects were seen after or during vaccination. After challenge, 2/5 vaccinated calves showed mild clinical signs of infection, whereas all non vaccinated controls displayed intense rhinotracheitis and shed virus for longer and to higher titres than vaccinated calves. Serological responses were detected in all vaccinated animals after the second dose of vaccine, but not on control calves. Following corticosteroid administration in attempting to induce reactivation of the latent infection, no clinical signs were observed in vaccinated calves, whereas non vaccinated controls showed clinical signs of respiratory disease. In view of its immunogenicity and protective effect upon challenge with a virulent BoHV-1, the oil adjuvanted preparation with the inactivated 265gE- recombinant was shown to be suitable for use as a vaccine.

Experimental infection of rabbits with a recombinant bovine herpesvirus type 5 (BoHV-5) gI, gE and US9-negative

Bovine herpesvirus type 5 (BoHV-5) is a major cause of viral meningoencephalitis in cattle. The expression of different viral proteins has been associated with BoHV-5 neuropathogenesis. Among these, gI, gE and US9 have been considered essential for the production of neurological disease in infected animals. To evaluate the role of gI, gE and US9 in neurovirulence, a recombinant from which the respective genes were deleted (BoHV-5 gI-/gE-/US9-) was constructed and inoculated in rabbits of two age groups (four and eight weeks-old). When the recombinant virus was inoculated through the paranasal sinuses of four weeks-old rabbits, neurological disease was observed and death was the outcome in 4 out of 13 (30.7 %) animals, whereas clinical signs and death were observed in 11/13 (84.6%) of rabbits infected with the parental virus. In eight weeks-old rabbits, the BoHV-5 gI-/gE-/US9- did not induce clinically apparent disease and could not be reactivated after dexamethasone administration, whereas wild type BoHV-5 caused disease in 55.5% of the animals and was reactivated. These findings reveal that the simultaneous deletion of gI, gE and US9 genes did reduce but did not completely abolish the neurovirulence of BoHV-5 in rabbits, indicating that other viral genes may also play a role in the induction of neurological disease.