Re-usable ASIC integrationverification software architecture

Mikropiirien valmistus- ja suunnittelutekniikoiden kehittyminen mahdollistaa yhä monimutkaisempien mikropiirien valmistamisen. Piirien verifioinnista onkin tullut prosessin aikaa vievin osa,sillä kompleksisuuden kasvaessa kasvaa verifioinnin tarve eksponentiaalisesti. Vaikka erinäisiä strategioita piirien integroinnin verifiointiin on esitetty, mm. verifioinnin jakaminen koko suunnitteluprosessin ajalle, jopa yli puolet koko piirin suunnitteluun ja valmistukseen käytetystä työmäärästä kuluu verifiointiin. Uudelleenkäytettävät komponentit ovat pääosassa piirin suunnittelussa, mutta verifioinnissa uudelleenkäytettävyyttä ei ole otettu kunnolla käyttöön ainakaan verifiointiohjelmistojen osalta. Tämä diplomityö esittelee uudelleenkäytettävän mikropiirien verifiointiohjelmistoarkkitehtuurin, jolla saadaan verifiointitaakkaa vähennettyä poistamalla verifioinnissa käytettävien ohjelmistojen uudelleensuunnittelun ja toteuttamisen tarvetta.

Pauson-Khand reaction of internal dissymmetric trifluoromethyl alkynes. influence of the alkene on the regioselectivity

Abstract: The scope of the Pauson-Khand reaction (PKR) of internal trifluoromethyl alkynes, previously described with norbornadiene, is expanded to norbornene and ethylene. A thorough structural analysis of the resulting PK adducts has been carried out to unveil that α-trifluoromethylcyclopentenones are preferred in all cases, independently of the electronic properties of the alkyne. The regioselectivity observed with norbornadiene and ethylene is higher than in the case of norbornene.

Destruction of lymphoid organ architecture and hepatitis caused by CD4 T cells.

Immune responses have the important function of host defense and protection against pathogens. However, the immune response also causes inflammation and host tissue injury, termed immunopathology. For example, hepatitis B and C virus infection in humans cause immunopathological sequel with destruction of liver cells by the host's own immune response. Similarly, after infection with lymphocytic choriomeningitis virus (LCMV) in mice, the adaptive immune response causes liver cell damage, choriomeningitis and destruction of lymphoid organ architecture. The immunopathological sequel during LCMV infection has been attributed to cytotoxic CD8(+) T cells. However, we now show that during LCMV infection CD4(+) T cells selectively induced the destruction of splenic marginal zone and caused liver cell damage with elevated serum alanin-transferase (ALT) levels. The destruction of the splenic marginal zone by CD4(+) T cells included the reduction of marginal zone B cells, marginal zone macrophages and marginal zone metallophilic macrophages. Functionally, this resulted in an impaired production of neutralizing antibodies against LCMV. Furthermore, CD4(+) T cells reduced B cells with an IgM(high)IgD(low) phenotype (transitional stage 1 and 2, marginal zone B cells), whereas other B cell subtypes such as follicular type 1 and 2 and germinal center/memory B cells were not affected. Adoptive transfer of CD4(+) T cells lacking different important effector cytokines and cytolytic pathways such as IFNγ, TNFα, perforin and Fas-FasL interaction did reveal that these cytolytic pathways are redundant in the induction of immunopathological sequel in spleen. In conclusion, our results define an important role of CD4(+) T cells in the induction of immunopathology in liver and spleen. This includes the CD4(+) T cell mediated destruction of the splenic marginal zone with consecutively impaired protective neutralizing antibody responses.

Strategisten investointienhallinta ryhmäpäätöksenteon tukisysteemien avulla

Tutkielman tavoitteena on kehittää prosessi yrityksen strategisten investointien hal-lintaan siten, että yrityksen strateginen arkkitehtuuri mukailee dynaamisten mark-kinoiden jatkuvasti muuttuvia kriittisiä menestystekijöitä. Tutkielma tarjoaa ratkai-sun strategisten investointien kohtaamaan epävarmuuteen, kompleksisuuteen ja si-säisiin konflikteihin luomalla dynaamisiin kyvykkyyksiin perustuvan prosessin, joka toteutetaan ryhmäpäätöksenteon tukisysteemien avulla asiantuntijatietoa hyö-dyntäen. Yrityksen strateginen arkkitehtuuri on mahdollista mallintaa skenaariopohjaisen strategiakartan eli kyvykkyyskartan avulla. Kyvykkyyskarttaan sisällytetyt QFD- ja AHP-mallit mahdollistavat strategisten investointien arvottamisen markkinoiden kriittisten menestystekijöiden suhteen. Dynaamisiin kyvykkyyksiin perustuvat lead user- ja skenaariosuunnitteluvaiheet mahdollistavat puolestaan joustavan investoin-tistrategian luonnin. Tutkielma osoittaa dynaamisia kyvykkyyksiä ja ryhmäpäätök-senteon tukisysteemejä hyödyntävän strategisten investointien hallintaprosessin tarjoavan ratkaisun strategisien investointipäätösten kohtaamiin haasteisiin.Ky-vykkyyskarttaan pohjautuvan strategisen arkkitehtuurin optimointimallin katsottiin olevan realistinen ja uskottava ja korostavan investointien strategisia vaikutuksia.

Highly Available Enterprise-level Application Server Architecture

Korkeasaatavuus on olennainen osa nykyaikaisissa, integroiduissa yritysjärjestelmissä. Yritysten kansainvälistyessä tiedon on oltava saatavissa ympärivuorokautisesti, mikä asettaa yhä kovempia vaatimuksia järjestelmän yksittäisten osien saatavuudelle. Kasvava tietojärjestelmäintegraatio puolestaan tekee järjestelmän solmukohdista kriittisiä liiketoiminnan kannalta. Tässä työssä perehdytään hajautettujen järjestelmien ominaisuuksiin ja niiden asettamiin haasteisiin. Esiteltyjä teknologioita ovat muun muassa väliohjelmistot, klusterit ja kuormantasaus. Yrityssovellusten pohjana käytetty Java 2 Enterprise Edition (J2EE) -teknologia käsitellään olennaisilta osiltaan. Työssä käytetään sovelluspalvelinalustana BEA WebLogic Server -ohjelmistoa, jonka ominaisuudet käydään läpi hajautuksen kannalta. Työn käytännön osuudessa toteutetaan kahdelle erilaiselle olemassa olevalle yrityssovellukselle korkean saatavuuden sovelluspalvelinympäristö, joissa sovellusten asettamat rajoitukset on otettu huomioon.

Genome-wide meta-analysis identifies 11 new loci for anthropometric traits and provides insights into genetic architecture.

Approaches exploiting trait distribution extremes may be used to identify loci associated with common traits, but it is unknown whether these loci are generalizable to the broader population. In a genome-wide search for loci associated with the upper versus the lower 5th percentiles of body mass index, height and waist-to-hip ratio, as well as clinical classes of obesity, including up to 263,407 individuals of European ancestry, we identified 4 new loci (IGFBP4, H6PD, RSRC1 and PPP2R2A) influencing height detected in the distribution tails and 7 new loci (HNF4G, RPTOR, GNAT2, MRPS33P4, ADCY9, HS6ST3 and ZZZ3) for clinical classes of obesity. Further, we find a large overlap in genetic structure and the distribution of variants between traits based on extremes and the general population and little etiological heterogeneity between obesity subgroups.

Basin-internal derivation of hydrocarbons in the Witwatersrand Basin, South Africa: evidence from bulk and molecular δ13C data

Gold in the quartz-pebble conglomerates of the late Archean Witwatersrand Basin, South Africa, is often intimately associated with carbonaceous matter of organic/biogenic origin which occurs in the form of stratiform carbon seams and paragenetically late bitumen nodules. Both carbon forms are believed to be formed by solidification of migrating hydrocarbons. This paper presents bulk and molecular chemical and stable carbon isotope data for the carbonaceous matter, all of which are used to provide a clue to the source of the hydrocarbons. These data are compared with those from intra-basinal shales and overlying dolostone of the Transvaal Supergroup. The delta C-13 values of the extracts from the Witwatersrand carbonaceous material show small differences (up to 2.4 parts per thousand) compared to the associated insoluble organic matter. This suggests that the auriferous rocks were stained by mobile hydrocarbons produced by thermal and oxidative alteration of indigenous bitumens, a contribution from hydrocarbons derived from intra-basinal Witwatersrand shales cannot be excluded. Individual aliphatic hydrocarbons of the various carbonaceous materials were subjected to compound specific isotope analysis using on-line gas chromatography/combustion/stable isotope ratio mass spectrometry (GC/C/IRMS). The limited variability of the molecular parameters and uniform delta C-13 values of individual n-alkanes (-31.1 +/- 1.7 parts per thousand) and isoprenoids (-30.7 +/- 1.1 parts per thousand) in the Witwatersrand samples exclude the mixing of oils from different sources. Carbonaceous matter in the dolostones shows distinctly different bulk and molecular isotope characteristics and thus cannot have been the source of the hydrocarbons in the Witwatersrand deposits. All the various forms of Witwatersrand carbon appear indigenous to the Witwatersrand Basin, and the differences between them are explained by variable, in general probably short (centimeter- to meter-scale) hydrocarbon migration during diagenesis and subsequent hydrothermal infiltration. (C) 2001 Elsevier Science B.V. All rights reserved.

Raeder's paratrigeminal syndrome due to spontaneous dissection of the cervical and petrous internal carotid artery.

The combination of pain, ipsilateral oculosympathetic defect (ptosis and miosis), and ipsilateral trigeminal dysfunction constitutes Raeder's syndrome. We describe a patient with an acute presentation of Raeder's syndrome due to spontaneous internal carotid artery dissection. True trigeminal dysfunction due to carotid dissection is rare, and the potential mechanisms for its involvement are reviewed in this paper. Finally, we remind clinicians to consider dissection in the differential diagnosis of Raeder's syndrome because of its potential for ischemic cerebral neurologic sequelae and suggest early cranial and neck imaging in the evaluation of such patients.

Domestic architecture and social differences in North-Eastern Iberia during the iron age (c.525-200 BC)

This paper is concerned with the organization of societies in north-eastern Iberia (present-day Catalonia) during the Iron Age, using data provided by domestic architecture and settlement organization. I offer an analysis of the social differences detected in the dwellings based on a sample of houses excavated at different types of settlement. Although many Iberian houses had simple layouts and small surface areas, some larger dwellings at the main sites are distinguished by the shape of their ground plans, their surface areas, architectural features, and central locations; these houses are believed to be the residences of the Iberian elite. Such dwellings are not found at all sites and the data suggest that there was a relationship between the category of the settlement (or its function) and the types of dwelling in it.

Genomic determinants of the efficiency of internal ribosomal entry sites of viral and cellular origin

Variation in cellular gene expression levels has been shown to be inherited. Expression is controlled at transcriptional and post-transcriptional levels. Internal ribosome entry sites (IRES) are used by viruses to bypass inhibition of cap-dependent translation, and by eukaryotic cells to control translation under conditions when protein synthesis is inhibited. We aimed at identifying genomic determinants of variability in IRES-mediated translation of viral [Encephalomyocarditis virus (EMCV)] and cellular IRES [X-linked inhibitor-of-apoptosis (XIAP) and c-myc]. Bicistronic lentiviral constructs expressing two fluorescent reporters were used to transduce laboratory and B lymphoblastoid cell lines [15 CEPH pedigrees (n = 205) and 50 unrelated individuals]. IRES efficiency varied according to cell type and among individuals. Control of IRES activity has a significant genetic component (h(2) of 0.47 and 0.36 for EMCV and XIAP, respectively). Quantitative linkage analysis identified a suggestive locus (LOD 2.35) on chromosome 18q21.2, and genome-wide association analysis revealed of a cluster of SNPs on chromosome 3, intronic to the FHIT gene, marginally associated (P = 5.9E-7) with XIAP IRES function. This study illustrates the in vitro generation of intermediate phenotypes by using cell lines for the evaluation of genetic determinants of control of elements such as IRES.

Planning and control of internal development projects in a fast changing environment: Case study

Tutkimuksen tarkoituksena on kuvata ja ymmärtää kuinka sisäisiä kehityshankkeita voidaan hallita onnistuneesti kun toimitaan nopeasti muuttuvassa ympäristössä. Tutkimus kuvailee etenkin projekteille tärkeitä menestymistekijöitä, kuten suunnittelu, kontrollointi ja päätöksenteko. Tutkimus selvittää yleisimmät ongelma-alueet case-organisaation sisäisten kehityshankkeiden hallinnassa. Tutkimus on luonteeltaan laadullinen tutkimus, jossa tutkimusmenetelmänä on käytetty tapaustutkimusta. Empiirisessa osassa käsittellään case-organisaation sisäisiä informaatioteknologia-hankkeita (IT) ja uusien konseptien kehityshankkeita (NCD). iSisäisten kehityshankkeiden erilaisuuden ymmärtäminen oli tutkimuksen tärkein tulos. Tutkimuksen empiirinen osio osoitti sen, että epävarmuudella on erittäin suuri vaikutus projektihallintaan sekä projektin kontrollointiin. Case-organisaation IT-projektien onnistuminen riippuu organisaatiomuu-toksen onnistumisesta. Asiakkaisiin ja markkinoihin liittyvät epävarmuudet ovat vaikuttavimmat NCD projektien epävarmuuksista. Näillä epävarmuuk-sil­la on vaikutusta projektihallintaan jonka myötä NCD projektit juuttuvat useim­mi­ten noidankehiin tai ne lopetetaan jo aikaisessa vaiheessa.

Modelling the Knowledge Interface between Sales and Production Functions of a Company. Case: New Service Development Process.

Yrityksen sisäisten rajapintojen tunteminen mahdollistaa tiedonvaihdon hallinnan läpi organisaation. Idean muokkaaminen kannattavaksi innovaatioksi edellyttää organisaation eri osien läpi kulkevaa saumatonta prosessiketjua sekä tietovirtaa. Tutkielman tavoitteena oli mallintaa organisaation kahden toiminnallisesti erilaisen osan välinen tiedon vaihto. Tiedon vaihto kuvattiin rajapintana, tietoliittymänä. Kolmiulotteinen organisaatiomalli muodosti tutkimuksen pääteorian. Se kytkettiin yrityksen tuotanto- ja myyntiosiin, kuten myös BestServ-projektin kehittämään uuteen palvelujen kehittämisen prosessiin. Uutta palvelujen kehittämisen prosessia laajennettiin ISO/IEC 15288 standardin kuvaamalla prosessimallilla. Yritysarkkitehtuurikehikoita käytettiin mallintamisen perustana. Tietoliittymä nimenä kuvastaa näkemystä siitä, että tieto [tietämys] on olemukseltaan yksilöiden tai ryhmien välistä. Mallinnusmenetelmät eivät kuitenkaan vielä mahdollista tietoon [tietämykseen] liittyvien kaikkien ominaisuuksien mallintamista. Tietoliittymän malli koostuu kolmesta osasta, joista kaksi esitetään graafisessa muodossa ja yksi taulukkona. Mallia voidaan käyttää itsenäisesti tai osana yritysarkkitehtuuria. Teollisessa palveluliiketoiminnassa sekä tietoliittymän mallinnusmenetelmä että sillä luotu malli voivat auttaa konepajateollisuuden yritystä ymmärtämään yrityksen kehittämistarpeet ja -kohteet, kun se haluaa palvelujen tuottamisella suuremman roolin asiakasyrityksen liiketoiminnassa. Tietoliittymän mallia voidaan käyttää apuna organisaation tietovarannon ja tietämyksen mallintamisessa sekä hallinnassa ja näin pyrkiä yhdistämään ne yrityksen strategiaa palvelevaksi kokonaisuudeksi. Tietoliittymän mallinnus tarjoaa tietojohtamisen kauppatieteelliselle tutkimukselle menetelmällisyyden tutkia innovaatioiden hallintaa sekä organisaation uudistumiskykyä. Kumpikin tutkimusalue tarvitsevat tarkempaa tietoa ja mahdollisuuksia hallita tietovirtoja, tiedon vaihtoa sekä organisaation tietovarannon käyttöä.

Dictionnaire d'architecture civile et hydraulique et des arts qui en dépendent : comme la maçonnerie, la charpenterie, la menuiserie... ([Reprod.]) / par Augustin Charles d'Aviler...

Collection : Archives de la linguistique française ; 18

Signature polymorphisms in the internal transcribed spacer region relevant for the differentiation of zoophilic and anthropophilic strains of Trichophyton interdigitale and other species of T. mentagrophytes sensu lato.

Summary Background Dermatophytes are the main cause of superficial mycoses in humans and animals. Molecular research has given useful insights into the phylogeny and taxonomy of the dermatophytes to overcome the difficulties with conventional diagnostics. Objectives The Trichophyton mentagrophytes complex consists of anthropophilic as well as zoophilic species. Although several molecular markers have been developed for the differentiation of strains belonging to T. mentagrophytes sensu lato, correct identification still remains problematic, especially concerning the delineation of anthropophilic and zoophilic strains of T. interdigitale. This differentiation is not academic but is essential for selection of the correct antimycotic therapy to treat infected patients. Methods One hundred and thirty isolates identified by morphological characteristics as T. mentagrophytes sensu lato were investigated using restriction fragment length polymorphism (RFLP) and sequence analysis of the polymerase chain reaction-amplified internal transcribed spacer (ITS) region of the rDNA. Results Species of this complex produced individual RFLP patterns obtained by the restriction enzyme MvaI. Subsequent sequence analysis of the ITS1, 5.8S and ITS2 region of all strains, but of T. interdigitale in particular, revealed single unique polymorphisms in anthropophilic and zoophilic strains. Conclusions Signature polymorphisms were observed to be useful for the differentiation of these strains and epidemiological data showed a host specificity among zoophilic strains of T. interdigitale/Arthroderma vanbreuseghemii compared with A. benhamiae as well as characteristic clinical pictures in humans when caused by zoophilic or anthropophilic strains. The delineation is relevant because it helps in determining the correct treatment and provides clues regarding the source of the infection.