A theorem-proving approach to deciding properties of finite control agents

The report presents a decision procedure for assertions in an extension of the mu-calculus about finite-control pi-calculus agents. The procedure is based on the classical cut-free sequent calculus and associated techniques of automatic theorem proving

Verbosity and Interface Design

Users pose very short queries to information retrieval systems. This study shows that the apparent length of the query field has an effect on the length of the query users enter

The Fate of Gene Patents Under the New Utility Guidelines

The United States Patent and Trademark Office (PTO) recently finalized its patent utility guidelines. Promulgated by the PTO, the new guidelines will be used by patent examiners in determining whether a claimed invention should be awarded patent protection ;and will be used by patent applicants and attorneys who file patent applications. The guidelines focus primarily on the utility standards for gene and gene fragment patents, an issue that was featured in the PTO\u27s 1999 Revised Interim Utility Guidelines and has been the subject of considerable public debate

In search of a new identity:Shiga Shigetaka's recommendations for Japanese in Hawaii

The demand for on-demand video streaming has seen an enormous increased usage and is today the main contributor to Internet traffic. Technological developments combined with the accessibility of sufficiently powerful end-user hardware, large bandwidth capacities and significantly reduced storage cost are major contributors to this trend. We have built a simulation environment where multiple clients stream linear and branched video while competing over a shared bottleneck network. We examine how rate caps can be implemented to increase the overall Quality of Experience (QoE). First we present simulation results demonstrating the impact that rate caps have on clients playing linear video and compare and relate the results with prior work. Second we simulate the performance implementation of branched video and consider how its performance is affected by rate caps. Here, we highlight and discuss the trade-off patterns between playback quality and stability observed when a cap is implemented. To derive our conclusions we consider a range of scenarios, in which we vary different variables when a rate cap is set or not and measure the (i) requested encodings, (ii) buffer occupancy, and (iii) the amounts of switches between encodings made by the clients during the playback sequence. The rate cap implementation is shown to generate less switches between encodings, providing an enhanced stability and thus contributing to a better QoE in both the linear and branched environment

Studying collaboration and annotation as factors in achieving trust in electronic documents

This report presents two master student graduation studies on trust and collaboration when searching for information on the Internet. The studies were done as part of the SLIM project with Swedish Law and Informatics Research Institute, Faculty of Law, Stockholm University, financed by The Bank of Sweden Tercentenary Foundation (Stiftelsen Riksbankens Jubileumsfond)

A Differential Measurement Probe with High Common Mode Rejection

Measuring signals with high frequency common mode components are typically prone to measurement errors due to low common mode rejection at high frequencies. The purpose of this master thesis is to design a measurement probe that presents sufficient common mode rejection to measure current on high voltage motor drives directly at the switching stage, before filtering. Outlined in this work is the design process, on a block diagram and simulation level, culminating in the construction of a prototype. The measurement probe consists of a sensor head and a receiver that are fiber optically isolated from each other. It has a signal chain that splits the signal into a high and a low frequency path. The high frequency path is frequency modulated and the low frequency path is digital. In the receiver, these two paths are joined before being output as an analog signal. A signal chain is simulated that shows a DC-100 MHz response with an amplitude accuracy of 2.9 %, dynamic range of 53 dB, dropping to 38 dB at the end of the passband and, a spurious free dynamic range greater than 40 dB. Furthermore, a prototype is constructed but has not been debugged to a degree that permits meaningful measurement results.When electrical signals are measured there are always errors. One of these errors is related to the difference in voltage between the measurement system and the signal being measured. If the voltage difference is large, care must be taken to limit the amount current that is allowed to flow between the two systems. Typically, this is done by use of an isolation transformer. However, if the voltage difference is also of high frequency, the amount of isolation the transformer can provide is greatly diminished. This is mainly because of how close the windings in the transformer are to each other. Increasing the distance between the windings means that leakage currents are lowered, and thus isolation improved, but also implies a less efficient transformer. Since these are contradictory requirements, an isolation transformer is limited to moderate frequencies. A way around the problem is to replace the isolation transformer with a fiber optic cable. Then, the separation distance can be made as long as the optical fiber itself. In this thesis, a prototype is constructed, and the theory used in its construction is derived. The prototype consists of two devices, a sensor head and a receiver. The sensor head is connected to the signal that is to be measured, and the receiver is connected to an external measurement system, for example, an oscilloscope. The two devices are interconnected by optical fibers. By doing so, it is expected that small, high frequency signals can be measured even when the voltage difference between the signal, and the system measuring it, is both large, and of high frequency

The Construction of Entrepreneurial Opportunities - Focus on Women Entrepreneurs

ABSTRACT Entrepreneurial opportunities are considered not only to be the basis of any profitable business, but also to form the core of entrepreneurship domain together with the enterprising individuals and to have the potential for developing the field of entrepreneurship research forward. However, problems with operationalization and measuring as well as the clarity of the concept itself have hindered research. This has led some scholars to argue that despite the efforts, research on opportunities has provided only little useful knowledge. Albeit these difficulties, the concept has been conceived as useful for practitioners, and it is still widely considered focal for entrepreneurship research. Thus, I suggest that investigating opportunities from a social constructionist, and particularly relational constructionist perspective, which has still not become a mainstream approach in opportunity research, offers us new understanding and new avenues for future research. This study aims to provide a contextualised understanding of how opportunity creation is constructed by women entrepreneurs. It concentrates on women entrepreneurs’ talk to find out how they make sense of opportunity creation, what kinds of interpretations they make and what kinds of meanings they assign to people, actions, events, or situations in which they create opportunities. This study answers the call for contextualizisation in entrepreneurship research by investigating how women entrepreneurs’ sense making and interpretations are formed in the cultural and social environment they are embedded in and how they negotiate understandings that can accommodate the opportunity and their business within the social and cultural norms and understandings of “how the world is”. Furthermore, the study’s aim is to understand women entrepreneurs’ individual situations and their embeddedness in social structures and practices that enable and restrict their endeavors to create opportunities. The research material consists of video-recorded conversations of a group of nine women entrepreneurs in addition to individual interviews with each one. The stories they shared with the interviewer and with each other are investigated as narratives to understand the context in which they talk about creating opportunities. When telling stories, people give meaning to their experiences and actions, simultaneously narrating themselves and their identities. The opportunity concept is fuzzy and unfamiliar to these entrepreneurs; thus, they are likely to lack vocabulary and, thus, to use metaphors when describing their efforts to create opportunities. The entrepreneurs’ use of metaphorical language is identified, and metaphors describing opportunity creation, business and entrepreneurs are built (maturing, pedaling, owner-building, jumping into water, conquering land, jigsaw puzzle, and nature metaphors). These metaphors also describe an entrepreneur’s role and actions, to some extent, which are used to study what kind of picture these metaphors draw of entrepreneurs. The individual cases of these women entrepreneurs are used not only to build an understanding of their life situations, the ways they build the confidence needed to establish a business, and the strategies they use to create business opportunities, but also to gain insight about how these women entrepreneurs construct opportunity creation in different situations. This study’s findings tell a mundane account of opportunity creation, challenging the heroic account that has been prevalent in entrepreneurship research. According to creation theory, opportunity is not discovered based on an exceptional cognitive capacity nor on an exceptional ability to predict the future but is continuously created in interactions with the environment. Creation does not end when a venture is established but continues through the existence of the business, sometimes even in a different business entity. The social constructionist viewpoint says that entrepreneurs are embedded in the social structures and practices that enable and restrict their endeavors to create the opportunity. The stories of these women entrepreneurs tell how their expectations, dreams, aspirations, and actions to create an opportunity are influenced by their family situations, the decisions and attitudes of their family members, their own and their family members’ health situations, and the assumptions, expectations, and actions of those around them. The stories of these women entrepreneurs present a picture of entrepreneurs as hardworking, active, responsible, persistent, and enthusiastic, even passionate. Enterprising, for them, is not just about creating wealth; it is more about a way to create an environment in which it is possible to generate a livelihood in a meaningful way. This study contributes to the entrepreneurship and opportunity literature by bringing out the voices of women entrepreneurs who are often invisible in entrepreneurship research. Combining different kinds of materials and readings enabled us to add to our understanding of how women entrepreneurs construct opportunity creation in their talk and to gain a more contextualised picture of the circumstances and environments in which they create opportunities. The study indicates that even in one of the most equal countries in the world, women entrepreneurs cannot escape gendered social norms and practices when creating entrepreneurial opportunities. KEYWORDS: opportunity creation, women’sTIIVISTELMÄ Liiketoimintamahdollisuus ei ole pelkästään jokaisen menestyvän liiketoiminnan perusta, vaan sen on nähty olevan myös yrittäjyyden tutkimuksen ytimessä yhdessä yrittävän yksilön kanssa tarjoten mahdollisuuden yrittäjyyden tutkimuksen ja teorian kehittymiseen. Liiketoimintamahdollisuuden käsite on kuitenkin epäselvä, ja operationalisoinnin ja mittaamisen ongelmat ovat vaikeuttaneet tutkimusta. Tämä on johtanut käsitykseen, ettei liiketoimintamahdollisuuden käsite ole ollut tieteenalalle kovinkaan hyödyllinen ja ettei se ole pystynyt lunastamaan sille asetettuja odotuksia. Tästä huolimatta yrittäjyyden tutkimuksen piirissä käsitettä edelleen pidetään keskeisenä, ja se on löytänyt tiensä myös käytännön toimijoiden käyttöön. Näin ollen esitän, että liiketoimintamahdollisuuksien tarkastelu sosiaalisen konstruktionismin ja erityisesti relationaalisen konstruktionismin lähtökohdista käsin tarjoaa uutta ymmärrystä ja uusia tutkimussuuntia. Tämän tutkimuksen tavoite on tuottaa uutta, kontekstin huomioivaa ymmärrystä siitä, miten naisyrittäjät puheessaan konstruoivat liiketoimintamahdollisuuksien luomisen. Tutkimuksessa tarkastellaan, millaisia tulkintoja ja merkityksiä he antavat ihmisille, asioille, tapahtumille ja tilanteille, joissa he luovat liiketoimintamahdollisuuksia, miten he nämä ymmärtävät eli “make sense”. Yrittäjyyden tutkimuksessa tärkeäksi tunnistettu konteksti huomioidaan tarkastelemassa, miten naisyrittäjien ymmärrys ja tulkinnat syntyvät heidän kulttuurisessa ja sosiaalisessa ympäristössään ja miten niistä neuvotellaan ympäristön kanssa, niin että heidän liiketoimintamahdollisuutensa ja liiketoimintansa sovittuu sen sosiaalisiin ja kulttuurisiin normeihin käsitykseen siitä, millainen maailma on. Lisäksi tarkoitus on ymmärtää naisyrittäjien yksilöllisiä tilanteita ja sosiaalisia rakenteita ja käytänteitä, jota mahdollistavat liiketoimintamahdollisuuksien luomisen samalla kuitenkin asettamalla sille rajoitteita. Tutkimusmateriaalina on yhdeksän naisyrittäjän muodostaman ryhmän keskustelujen videotallenteita sekä jokaisen ryhmäkeskusteluihin osallistuneiden naisyrittäjien yksilöhaastattelut. Naisyrittäjien näissä kertomia tarinoita tarkastellaan narratiiveina, joiden avulla jäsennämme ja annamme merkityksiä kokemuksillemme ja toiminnallemme samalla rakentaen tarinaa myös itsestämme ja identiteetistämme. Narratiivianalyysin avulla pyritään hahmottamaan erityisesti liiketoimintamahdollisuuksien luomisen ja hahmottamisen kontekstia. Tutkimuksessa tarkasteltiin myös naisyrittäjien puheessaan käyttämiä metaforia, joihin usein turvaudutaan puhuttaessa vieraista ja epäselvistä asioista, joille on vaikea löytää sanoja. Analyysissä tunnistettiin metaforista kielenkäyttöä, jonka perusteella rakennettiin metaforia, jotka kuvaavat liiketoimintamahdollisuuksien tunnistamista, liiketoimintaa ja yrittäjiä: kypsyminen, polkupyörällä polkeminen, hartiapankki, hyppy veteen, valloittaminen, palapeli, ja luontometaforat. Yrittäjien yksilölliset tapaukset auttoivat ymmärtämän heidän elämäntilanteitaan ja keinojaan rakentaa luottamusta ja varmuutta liiketoimintamahdollisuudesta, heidän käyttämiään strategioita luoda liiketoimintamahdollisuuksia sekä sitä, miten he erilaisissa tilanteissa hahmottavat liiketoimintamahdollisuuksien luomisen. Tämän tutkimuksen tulokset kertovat yrittäjyyden arkista tarinaa, joka haastaa monien yrittäjyyden tutkimusten kuvan yrittäjästä sankarina. Liiketoimintamahdollisuusien luomisen teorian mukaisesti mahdollisuuden havaitseminen ei perustu yrittäjän poikkeuksellisiin kognitiivisiin kykyihin tai kyvyn ennustaa tulevaisuutta, vaan yrittäjä luo mahdollisuutta jatkuvasti vuorovaikutuksessa ympäristönsä kanssa. Luominen ei pääty yrityksen perustamiseen, vaan jatkuu sen jälkeen, joskus jopa toisessa organisaatiossa. Sosiaalisen konstruktionismin mukaisesti yrittäjä on osa sosiaalisia rakenteita ja käytänteitä, jotka paitsi mahdollistavat myös rajoittavat heidän toimintaansa. Tähän tutkimukseen osallistuneiden naisyrittäjien tarinat osoittavat, miten perhetilanne, perheenjäsenten päätökset ja asenteet, oma tai perheenjäsenten terveydentila, sekä heidän ympärillään olevien muiden ihmisten odotukset ja teot vaikuttavat heidän odotuksiinsa, unelmiinsa, tavoitteisiinsa sekä liiketoimintamahdollisuuden luomiseen. Tarinat kuvaavat yrittäjiä työtelijäinä, aktiivisina, vastuullisina, sinnikkäinä sekä innostuneina ja yrittäjyyteensä intohimoisesti suhtautuvina. Heille yrittäjyys ei ole vain keino luoda vaurautta vaan pikemminkin luoda itselleen ympäristö, jossa työskentely on heille merkityksellistä. Tämä tutkimus vahvistaa naisyrittäjien näkökulmaa yrittäjyyden ja liiketoimintamahdollisuuksien tutkimuksessa. Tutkimuksessa yhdistetään erilaisia aineistoja ja luentatapoja, mikä tuottaa uutta ymmärrystä siitä, miten naisyrittäjät hahmottavat ja rakentavat liiketoimintamahdollisuuksien luomista puheessaan. Tutkimus auttaa myös hahmottamaan erilaisia tilanteita ja ympäristöjä, joissa naisyrittäjät mahdollisuuksia luovat. Tutkimuksen perusteella voidaan todeta, että myös yhdessä maailman tasa-arvoisimmista maista liiketoimintamahdollisuuksien luomista ohjaa sukupuolittuneet sosiaaliset rakenteet ja käytännöt. ASIASANAT: liiketoimintamahdollisuuks