227 research outputs found

    WEST: A Web Browser for Small Terminals

    Get PDF
    We describe WEST, a WEb browser for Small Terminals, that aims to solve some of the problems associated with accessing web pages on hand-held devices. Through a novel combination of text reduction and focus+context visualization, users can access web pages from a very limited display environment, since the system will provide an overview of the contents of a web page even when it is too large to be displayed in its entirety. To make maximum use of the limited resources available on a typical hand-held terminal, much of the most demanding work is done by a proxy server, allowing the terminal to concentrate on the task of providing responsive user interaction. The system makes use of some interaction concepts reminiscent of those defined in the Wireless Application Protocol (WAP), making it possible to utilize the techniques described here for WAP-compliant devices and services that may become available in the near future

    Comparing Employment Trajectories before and after First Imprisonment in Four Nordic Countries

    Get PDF
    Employment plays a crucial role in the re-entry process and in reducing recidivism among offenders released from prison. But at the same time, imprisonment is generally regarded as harmful to post-release employment prospects. Little is known, however, about whether or not offenders’ employment trajectories before and after imprisonment are similar across countries. As a first step towards filling this gap in research, this paper provides evidence on employment trajectories before and after imprisonment in four Nordic welfare states: Denmark, Finland, Norway and Sweden. Using data gathered from administrative records on incarcerated offenders, the analysis focuses on individuals imprisoned for the first time and who served a prison sentence less than one year in length. Results show that although employment trajectories develop in mostly similar ways before and after imprisonment across these countries, important differences exist.Peer reviewe

    Совершенствование сбытовой сети предприятия (на примере ОАО «Гомсельмаш»)

    Get PDF
    Atomization energies, enthalpies of formation, entropies as well as heat capacities of the SiHnXm and CHnXm systems, with X being F, Cl and Br, have been studied using quantum chemical calculations. The Gaussian-4 theory (G4) and Weizman-1 theory as modified by Barnes et al. 2009 (W1RO) have been applied in the calculations of the electronic, zero point and thermal energies. The effects of low-lying electronically excited states due to spin orbit coupling were included for all atoms and diatomic species by mean of the electronic partition functions derived from the experimental or computational energy splittings. The atomization energies, enthalpies of formation, entropies and heat capacities derived from both methods were observed to be reliable. The thermochemical properties in the temperature range of 298-2500 K are provided in the form of 7-coefficient NASA polynomials. (C) The Author(s) 2015. Published by ECS. All rights reserved.Funding Agencies|Swedish Foundation for Strategic Research</p

    Step-Indexed Normalization for a Language with General Recursion

    Get PDF
    The Trellys project has produced several designs for practical dependently typed languages. These languages are broken into two fragments-a_logical_fragment where every term normalizes and which is consistent when interpreted as a logic, and a_programmatic_fragment with general recursion and other convenient but unsound features. In this paper, we present a small example language in this style. Our design allows the programmer to explicitly mention and pass information between the two fragments. We show that this feature substantially complicates the metatheory and present a new technique, combining the traditional Girard-Tait method with step-indexed logical relations, which we use to show normalization for the logical fragment.Comment: In Proceedings MSFP 2012, arXiv:1202.240

    Концепт PRIVACY в англомовній картині світу

    Get PDF
    (uk) Стаття присвячена дослідженню концепту PRIVACY в аспектах лінгвокогнітології та лінгвокультурології в англійській мові.(en) The article is devoted to the investigation of the concept PRIVACY in the aspects of Cognitive and Cultural Linguistics in the English Language

    Fjällbacka, Västerhavet, 1989–2018

    Get PDF
    Den integrerade kustfiskövervakningen i Fjällbacka visar på en dominans av mesopredatorer som skärsnultra, stensnultra och svart smörbult i provfisket i augusti, och en dominans av rovfiskar som torsk, gråsej och vitling i provfisket under oktober. Fångsten av torsk var dock låg under 2018, och i augusti 2018 fångades ingen torsk. De torskar som fångades i oktober var få och små. De låga fångsterna kan vara kopplade till den höga vattentemperaturen under sommaren 2018. Hälsotillståndet hos tånglake har blivit sämre, samtidigt som de flesta analyserade miljögifter visar relativt låga och nedåtgående eller oförändrade halter. Liknande förändringar har även observerats i de andra referensområdena för kustfisk, vilket kan tyda på att det är fråga om en likartad och generell inverkan på fiskens hälsa längs våra kuster. Det är oroande att tånglakens hälsotillstånd har försämrats i ett referensområde som anses vara relativt opåverkat av direkt mänsklig aktivitet. Det är därför angeläget att klarlägga om det är okända miljögifter, kända miljögifter som inte övervakas idag, eller andra miljöfaktorer som orsakar den försämrade hälsan hos tånglake

    Kvädöfjärden, Egentliga Östersjön, 1981–2018

    Get PDF
    Den integrerade kustfiskövervakningen i Kvädöfjärden har visat på minskande fångster av abborre och rovfisk sedan 2002, men den varma sommaren 2018 vände trenden med en relativt hög fångst av abborre och även gös. Abborrens och tånglakens längd vid ålder har ökat över tid, men konditionen hos tånglakehonor har försämrats. Andelen onormala yngel hos tånglaken har varierat mellan åren, men var relativt hög under 2018. Hälsotillståndet hos abborre och tånglake är negativt påverkat. Samtidigt är halterna av de flesta analyserade miljögifterna relativt låga med nedåtgående eller oförändrade trender, med undantag av kadmium och kvicksilver. Liknande förändringar har även observerats i de andra referensområdena för kustfisk och kan tyda på att det är fråga om en likartad och generell påverkan på fiskens hälsa längs våra kuster. Det är oroande att abborrens och tånglakens hälsotillstånd har försämrats i ett referensområde som anses vara relativt opåverkat av direkt mänsklig aktivitet. Det är därför angeläget att klarlägga om det är okända miljögifter, kända miljögifter som inte övervakas idag, eller andra miljöfaktorer som orsakar fiskens försämrade hälsa
    corecore