• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 276
  • 247
  • Tagged with
  • 523
  • 426
  • 361
  • 121
  • 80
  • 77
  • 66
  • 50
  • 48
  • 47
  • 40
  • 38
  • 32
  • 29
  • 29
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Term-modal logic and quantifier-free dynamic assignment logic

Thalmann, Lars January 2000 (has links)
In this dissertation, we present two new sorts of computer sciencelogics. Many powerful logics exist today for reasoning about multi-agentsystems, but in most of these it is hard to reason about an infiniteor indeterminate number of agents. Also the naming schemes used inthe logics often lack expressiveness to name agents in an intuitiveway. To obtain a more expressive language for multi-agent reasoning and abetter naming scheme for agents, we introduce in the first part of thedissertation a family of logics called term-modal logics. A mainfeature of our logics is the use of modal operators indexed by theterms of the logics. Thus, one can quantify over variables occurringin modal operators. In term-modal logics agents can be represented byterms, and knowledge of agents is expressed with formulas within thescope of modal operators. This gives us a flexible and uniform language for reasoning about theagents themselves and their knowledge. We give examples of theexpressiveness of the languages and provide sequent-style andtableau-based proof systems for the logics. Furthermore, we giveproofs of soundness and completeness with respect to the possibleworld semantics. In the second part of the dissertation, we treat another problem inreasoning about multi-agent systems, namely the problem of informationupdating. We develop a dynamic logic of assignments with a scopingoperator instead of quantifiers. Function, relation symbols and logicvariables are all rigidly interpreted in our semantics, while programvariables are non-rigid. The scoping operator is used to distinguishbetween the value of a program variable before and after the executionof a program. We provide a tableau proof system for the logic. First, the system isproved complete without the star operator, and then with the staroperator using an omega rule. The full logic is shown to beundecidable, while some interesting fragments are decidable.
42

Digital Content Networks : The Past, the Present and Decentralizing

Reti, Tommo January 2011 (has links)
This thesis presents a solution-oriented analysis of current issues in digital content distribution management and content networks. The findings support the view that the recent development in the area has created a few congestion points, both in content distribution and content business, that gather increasing technical, social, financial, and political influence in the world. As pointed out in the work, this is against the ideas of information democracy, network neutrality, and the original visions of the Internet and the World Wide Web. Furthermore, leading content companies are answering to the demands of the exponential content and traffic growth by  continuously adding rather similar technological solutions, which increases the environmental problems, i.e., energy consumption and e-Waste, at the rate of this growth. The research time period of this dissertation matches with the emergence and rise of P2P file sharing networks that have introduced a new challenging way of distributing content. In this thesis, they are presented as the main comparison points and controversy to the centralized client-server architecture that dominates the content business. The essential question of this work is simply: How to build a better content network? To understand the meaning of "better" in this context and to state what is a better digital content network, it is necessary to understand existing solutions and their shortcomings. The thesis contributes an analytical framework of concepts and principles for the development of future content networks. How do we change the threat of P2P file sharing into an opportunity for professional content publishers? Actually, all the listed objectives in this work – under performance, privacy, network neutrality, e-commerce, and green computing – are societal in nature. Thus, the objective of this dissertation is to improve societal issues through understanding information technology and its closely related context. Through active participation in the file sharing scene, this work presents the development of content networks from computer networks capable of messaging between machines and systems to user networks where people share digital content. Easy copying to friends with rapidly changing user behavior have created a content platform where culture is evolving at an accelerated speed. Drawing from ten research projects and a score of technical prototypes, this thesis concludes that the P2P content sharing applications with their modern protocols effectively create a more advanced network as overlay than the underlying Internet can offer. The operators, who are excited about Internet technology for their networks, are actually limiting their possibilities right from the beginning. It is essential to distinguish between the development of the Internet and the development of large-scale content distribution network. / Denna avhandling presenterar en lösningsorienterad analys av aktuella frågor avseende det digitala nätverket och distributionshantering av digitalt innehåll. Resultaten talar för att den senaste utvecklingen inom området har skapat en del flaskhalsar både vid distribution av innehåll och den digitala medieindustrin, som samlar ökat tekniskt, socialt, ekonomiskt och politiskt inflytande i världen. Som påpekas i arbetet är detta emot idéerna om informationsdemokrati, nätverksneutralitet och de ursprungliga visionerna av Internet och World Wide Web. Vidare svarar ledande digitala företag mot kraven från det exponentiella innehållet och ökande trafik genom att bidra med tämligen likartade tekniska lösningar vilka ökar miljöproblemen, det vill säga energiförbrukning och e-avfall, i takt med denna tillväxt. Forskningens tidsperiod för denna avhandling matchar med uppkomst och ökad användning av P2P-fildelningsnätverk vilket har introducerat ett nytt utmanande sätt att distribuera innehåll. I denna avhandling presenteras de som de viktigaste jämförelsepunkterna och kontroverserna till den centraliserade klient/server-arkitekturen som dominerar innehållet inom den digitala mediemarknaden. Den mest väsentliga frågan i detta arbete är helt enkelt; Hur bygger man ett bättre nätverk för digitalt innehåll? För att förstå betydelsen av "bättre" i detta sammanhang och ange vad som är ett bättre digitalt nätverk är det nödvändigt att förstå existerande lösningar och deras brister. Avhandlingen bidrar med en analytisk ram av begrepp och principer för utvecklingen av ett framtida digitalt nätverk. Hur ändrar vi P2P-fildelning från att vara ett hot till att vara en möjlighet för professionella digitala utgivare? Faktiskt är alla uppställda mål i detta arbete - under prestanda, integritet, nätneutralitet, e-avfall och gröna datorer - samhälleliga av naturen. Således är syftet med denna avhandling att förbättra samhällsfrågor genom förståelse för informationsteknik och dess nära relaterade sammanhang. Genom ett aktivt deltagande i fildelningsscenen presenterar detta arbete utvecklingen av digitalt nätverk från datornätverk kapabla att sända meddelanden mellan maskiner och system till användarnätverk där människor delar digitalt innehåll. Okomplicerad kopiering till vänner med ett snabbt föränderligt användarbeteende har skapat en plattform med ett innehåll där kulturen utvecklas med en accelererande hastighet. Tio forskningsprojekt och en värdering av tekniska prototyper ger slutsatsen att P2P-fildelningsapplikationer med sina moderna kommunikationsprotokoll effektivt skapar ett mer avancerat överliggande nätverk än vad Internet kan erbjuda. Operatörerna, som är entusiastiska över Internet-teknik för sina nätverk, begränsar faktiskt sina möjligheter redan från början. Det är viktigt att skilja mellan utvecklingen av Internet och utvecklingen av det storskaliga distributionsnätverket. / QC 20110519
43

Beyond IT and productivity : effects of digitized information flows in health care /

Fryk, Pontus, January 2007 (has links)
Licentiatavhandling Linköping : Linköpings universitet, 2007.
44

Relationship alignment between small firms : an information exchange perspective on dyads /

Harnesk, Dan, January 2006 (has links)
Diss. Luleå : Luleå tekniska universitet, 2006.
45

Homecare and technology : old dreams - new means? /

Jansson, Maria. January 2005 (has links) (PDF)
Lic.-avh. (sammanfattning) Luleå : Luleå tekniska univ., 2005. / Härtill 3 uppsatser.
46

Informaction systems stewardship : advancing utilisation of information technology in organisations /

Nordström, Torbjörn, January 2003 (has links)
Diss. Umeå : Univ., 2003.
47

A framework for strategic alignment of business and information technology in small and medium sized firms /

Harnesk, Dan, January 2004 (has links)
Licentiatuppsats Luleå : Luleå tekniska univ., 2004.
48

Det virtuella studielandskapet : en utvärdering av ett projekt vid Linköpings universitetsbibliotek = ["The virtual study environment"] : [ a project by Linköping University Library] /

Malmborg, Anna Karin. January 2004 (has links) (PDF)
Examensarbete.
49

IT-användning : en analysmodell för IT-nytta /

Fagerström, Birgitta. January 2003 (has links)
Diss. Luleå : Luleå tekniska univ., 2003.
50

Information and communication technology applied for developing countries in a rural context : towards a framework for analysing factors influencing sustainable use /

Sundén, Susanne, Wicander, Gudrun. January 2006 (has links)
Licentiatavhandling Karlstad : Karlstads universitet, 2007.

Page generated in 0.1333 seconds