Power supply noise and logic error probability

Voltage fluctuations caused by parasitic impedances in the power supply rails of modern ICs are a major concern in nowadays ICs. The voltage fluctuations are spread out to the diverse nodes of the internal sections causing two effects: a degradation of performances mainly impacting gate delays anda noisy contamination of the quiescent levels of the logic that drives the node. Both effects are presented together, in thispaper, showing than both are a cause of errors in modern and future digital circuits. The paper groups both error mechanismsand shows how the global error rate is related with the voltage deviation and the period of the clock of the digital system.

Ohjelmistoyritysten liiketoimintamallit Kaakkois-Suomessa

Tutkielman tavoitteena on tunnistaa Kaakkois-Suomen alueella olevat ohjelmistoyritysten tyypilliset yritysryhmät ja kuvata niiden toimintaa. Tunnistamalla alueen ohjelmistoyrityksille ominaiset piirteet työ antaa myös pohjaa tulevien kehityskohteiden löytämisessä ja kehitystoimenpiteiden kohdistamisessa useisiin samantyyppisiin yrityksiin. Työn taustaksi esitellään ohjelmistoalaa ja ohjelmistoliiketoiminnan malleja, joiden pohjalta muodostetaan viitekehys alueen ohjelmistoyritysten empiiriseen tarkasteluun. Empiriaosuudessa tarkastellaan työn teoreettisessa osiossa esitettyjen liiketoimintamallien toteutumista Kaakkois-Suomessa ja ryhmitellään alueen ohjelmistoyritykset erottelevimpien tekijöiden avulla. Tutkimus on luonteeltaan kvantitatiivinen kokonaistutkimus Kaakkois-Suomen ohjelmistoyrityksistä, ja tutkimusotteeltaan deskriptiivinen eli kuvaileva. Tutkimusaineisto perustui tutkimusryhmän suorittamaan strukturoituun haastatteluun, jossa haastateltiin kaikkiaan 58 ohjelmistoyrityksen vastuuhenkilöitä. Tutkimustulosten perusteella alueelta pystyttiin tunnistamaan neljä toimintatavoiltaan erilaista ohjelmistoliiketoiminnan perustyyppiä: asiakaslähtöiset toimijat (26 toimipaikkaa), räätälöijät (14 toimipaikkaa), integroijat (10 toimipaikkaa) ja tuotteistajat (8 toimipaikkaa). Tulokset osoittavat, että perinteisten ohjelmistoalan liiketoimintamallien kuvaukset ja niistä tehtävät yleistykset antavat hyvän lähtökohdan ohjelmistoyritysten tarkasteluun. Kuitenkin perinteisten ohjelmistoalan liiketoimintamallien antama näkökulma on liian rajoittunut,jos halutaan tarkastella syvällisemmin ohjelmistoyritysten liiketoimintalogiikkaa.

Narration und Diagrammatik. Eine Vorüberlegung und sieben Thesen

[Narrative and the Diagrammatic. Preliminary Thoughts and Seven Theses.] This article proposes a view of narrative that does not depend on the traditional perspective of temporal sequence but emphasizes the spatial structure of literary narrative. Contrary to the prevalent treatment of space in narrative theory, the notion of spatiality in this context refers not to the space that is represented by the narrative (e.g. the setting and other spatial elements of the fictional world) but to the space that represents it: first, the graphic surface of the text; second, the (quasi-)spatial mental representation of its content that is produced in the process of reception. It is argued that these conditions form the primary ontological mode of narrative, whereas the temporal development of a story is an aesthetic illusion that has been specifically stimulated by the narrative conventions of approximately the past three centuries and must thus be considered a secondary effect. The diagrammatic, as a way of both depicting data and perceiving relations through spatial representation, thus forms a more adequate methodological approach to understanding narrative structure than approaches that are implicitly derived from the 'grammar' of narrative in the structuralist sense and its sequential logic.

Revenue Logic inSoftware Business Context

Tutkimuksen tavoitteena oli selvittää ohjelmistotoimialan avaintekijöitä, jotka vaikuttavat yrityksen ansaintalogiikkaan sekä lisätä tietoisuutta ansaintalogiikan muodostumisesta pienissä ja keskisuurissa ohjelmistoyrityksissä. Tutkimuksen teoreettisessa osassa keskityttiin tarkastelemaan ansaintalogiikan, strategian ja liiketoimintamallin käsitteiden suhteita sekä arvioitiin toimialan osatekijöiden, hinnoitteluperiaatteiden ja ansaintamallien vaikutusta ansainnan muodostumiseen ohjelmistotoimialalla. Ohjelmistotuote ja - palveluliiketoimintaa koskien oli merkityksellistä tutkia tuotteistamisasteen ja arvoketjujen vaikutusta ansaintalogiikan muodostumisessa sekä esitellä erilaisia, tyypillisiä ohjelmistotoimialalla käytettäviä hinnoittelumenetelmiä. Työn empiirisessä osassa tarkasteltiin 23 suomalaisen ohjelmistoalan yrityksen ansaintalogiikkaa. Tiedot kerättiin haastatteluin ja analysoitiin laadullisen tutkimuksen keinoin. Tutkimustulokset korostivat ansaintalogiikan 'epämääräisyyttä' terminä mutta osoittivat, että ydinliiketoimintaan keskittyminen, tuote-, palvelu-, tai projektiliiketoiminnan osaaminen, tuotteistusaste ja kanavavalinnat ovat avaintekijöitä ansaintalogiikanmuodostumisessa. Ansaintalogiikan muodostamiseen liittyy paljon yrityksen sisäisiä ja ulkoisia haasteita sekä muutospaineita, eikä ohjelmistotoimialalla ole todennettavissa yhtä yleismaailmallista, menestyksen takaavaa ansaintalogiikkaa.

Persisting atypical and cystic forms of Borrelia burgdorferi and local inflammation in Lyme neuroborreliosis

BACKGROUND: The long latent stage seen in syphilis, followed by chronic central nervous system infection and inflammation, can be explained by the persistence of atypical cystic and granular forms of Treponema pallidum. We investigated whether a similar situation may occur in Lyme neuroborreliosis. METHOD: Atypical forms of Borrelia burgdorferi spirochetes were induced exposing cultures of Borrelia burgdorferi (strains B31 and ADB1) to such unfavorable conditions as osmotic and heat shock, and exposure to the binding agents Thioflavin S and Congo red. We also analyzed whether these forms may be induced in vitro, following infection of primary chicken and rat neurons, as well as rat and human astrocytes. We further analyzed whether atypical forms similar to those induced in vitro may also occur in vivo, in brains of three patients with Lyme neuroborreliosis. We used immunohistochemical methods to detect evidence of neuroinflammation in the form of reactive microglia and astrocytes. RESULTS: Under these conditions we observed atypical cystic, rolled and granular forms of these spirochetes. We characterized these abnormal forms by histochemical, immunohistochemical, dark field and atomic force microscopy (AFM) methods. The atypical and cystic forms found in the brains of three patients with neuropathologically confirmed Lyme neuroborreliosis were identical to those induced in vitro. We also observed nuclear fragmentation of the infected astrocytes using the TUNEL method. Abundant HLA-DR positive microglia and GFAP positive reactive astrocytes were present in the cerebral cortex. CONCLUSION: The results indicate that atypical extra- and intracellular pleomorphic and cystic forms of Borrelia burgdorferi and local neuroinflammation occur in the brain in chronic Lyme neuroborreliosis. The persistence of these more resistant spirochete forms, and their intracellular location in neurons and glial cells, may explain the long latent stage and persistence of Borrelia infection. The results also suggest that Borrelia burgdorferi may induce cellular dysfunction and apoptosis. The detection and recognition of atypical, cystic and granular forms in infected tissues is essential for the diagnosis and the treatment as they can occur in the absence of the typical spiral Borrelia form.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

On Short Exponential Sums Involving Fourier Coefficients of Holomorphic Cusp Forms

By an exponential sum of the Fourier coefficients of a holomorphic cusp form we mean the sum which is formed by first taking the Fourier series of the said form,then cutting the beginning and the tail away and considering the remaining sum on the real axis. For simplicity’s sake, typically the coefficients are normalized. However, this isn’t so important as the normalization can be done and removed simply by using partial summation. We improve the approximate functional equation for the exponential sums of the Fourier coefficients of the holomorphic cusp forms by giving an explicit upper bound for the error term appearing in the equation. The approximate functional equation is originally due to Jutila [9] and a crucial tool for transforming sums into shorter sums. This transformation changes the point of the real axis on which the sum is to be considered. We also improve known upper bounds for the size estimates of the exponential sums. For very short sums we do not obtain any better estimates than the very easy estimate obtained by multiplying the upper bound estimate for a Fourier coefficient (they are bounded by the divisor function as Deligne [2] showed) by the number of coefficients. This estimate is extremely rough as no possible cancellation is taken into account. However, with small sums, it is unclear whether there happens any remarkable amounts of cancellation.

Professionalisation of sport federations - a multi-level framework for analysing forms, causes and consequences

Research question: International and national sport federations as well as their member organisations are key actors within the sport system and have a wide range of relationships outside the sport system (e.g. with the state, sponsors, and the media). They are currently facing major challenges such as growing competition in top-level sports, democratisation of sports with 'sports for all' and sports as the answer to social problems. In this context, professionalising sport organisations seems to be an appropriate strategy to face these challenges and current problems. We define the professionalisation of sport organisations as an organisational process of transformation leading towards organisational rationalisation, efficiency and business-like management. This has led to a profound organisational change, particularly within sport federations, characterised by the strengthening of institutional management (managerialism) and the implementation of efficiency-based management instruments and paid staff. Research methods: The goal of this article is to review the current international literature and establish a global understanding of and theoretical framework for analysing why and how sport organisations professionalise and what consequences this may have. Results and findings: Our multi-level approach based on the social theory of action integrates the current concepts for analysing professionalisation in sport federations. We specify the framework for the following research perspectives: (1) forms, (2) causes and (3) consequences, and discuss the reciprocal relations between sport federations and their member organisations in this context. Implications: Finally, we work out a research agenda and derive general methodological consequences for the investigation of professionalisation processes in sport organisations.