Bibliographies thématiques / FME

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique sur le sujet « FME »

Auteur : Grafiati

Publié le 4 juin 2021

Mis à jour le 1 février 2022

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « FME ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "FME"

Castro, Juliana Brandão Pinto de, Rosana Dias de Oliveira Brum, Carlos Soares Pernambuco et Rodrigo Gomes de Souza Vale. « ANÁLISE DE CORRELAÇÃO ENTRE FORÇA MUSCULAR, IGF-1 E AUTONOMIA FUNCIONAL EM IDOSAS COM EXCESSO DE PESO SUBMETIDAS A EXERCÍCIOS RESISTIDOS AQUÁTICOS ». Revista de Investigación en Actividades Acuáticas 3, n^o 5 (31 janvier 2019) : 18–23. http://dx.doi.org/10.21134/riaa.v3i5.1575.

Texte intégral

Résumé :

Contexto: Dentre as alterações orgânicas que tendem a ocorrer com o envelhecimento, tem-se a redução da força muscular, dos níveis séricos de IGF-1 e da autonomia funcional (AF). Contudo, esses efeitos deletérios podem ser amenizados por meio da prática de exercícios físicos, como a hidroginástica.Objetivos: Analisar a correlação entre força muscular, IGF-1, IGFBP3 e AF em idosas com excesso de peso submetidas a exercícios resistidos aquáticos.Método: A amostra foi composta por 14 idosas (idade: 68,93 ± 4,46 anos; IMC: 28,55 ± 2,08 kg/m2) submetidas a exercícios resistidos aquáticos durante 12 semanas. A intervenção ocorreu 3 vezes por semana, com 50 minutos por sessão de treinamento. A força muscular foi mensurada através de dinamometria, incluindo força de membros inferiores e de preensão palmar direita (FMD) e esquerda (FME). A coleta de sangue para análise do IGF-1 e seu principal carreador, o IGFBP3, foi realizada através do método quimioluminescência. A AF foi avaliada por meio do protocolo de autonomia GDLAM.Resultados: O teste de correlação de Pearson apresentou correlação (r) positiva e significativa entre FMD e FME, FMD e IGF1, FMD e IGFBP3, FME e IGF1, FME e IGFBP3, e IGF1 e IGFBP3.Conclusoes: A prática de exercícios resistidos aquáticos pode melhorar os níveis de força muscular de preensão manual, de IGF1 e de IGFBP3 em idosas com excesso de peso.

Styles APA, Harvard, Vancouver, ISO, etc.

Texte intégral

Résumé :

Styles APA, Harvard, Vancouver, ISO, etc.

Ho, Hui-Ya, Jin-Bin Wu et Wen-Chuan Lin. « Flemingia macrophyllaExtract Ameliorates Experimental Osteoporosis in Ovariectomized Rats ». Evidence-Based Complementary and Alternative Medicine 2011 (2011) : 1–9. http://dx.doi.org/10.1093/ecam/nep179.

Texte intégral

Résumé :

Flemingia macrophylla(Leguminosae), a native plant of Taiwan, is used as folk medicine. Anin vitrostudy showed that a 75% ethanolic extract ofF. macrophylla(FME) inhibited osteoclast differentiation of cultured rat bone marrow cells, and the active component, lespedezaflavanone A (LDF-A), was isolated. It was found that oral administration of FME for 13 weeks suppressed bone loss in ovariectomized rats, an experimental model of osteoporosis. In addition, FME decreased urinary deoxypyridinoline concentrations but did not inhibit serum alkaline phosphatase activities, indicating that it ameliorated bone loss via inhibition of bone resorption. These results suggest that FME may represent a useful remedy for the treatment of bone resorption diseases, such as osteoporosis. In addition, LDF-A could be used as a marker compound to control the quality of FME.

Styles APA, Harvard, Vancouver, ISO, etc.

Chetty, Sylvie, Masoud Karami et Oscar Martín Martín. « Opportunity Discovery and Creation as a Duality : Evidence from Small Firms’ Foreign Market Entries ». Journal of International Marketing 26, n^o 3 (septembre 2018) : 70–93. http://dx.doi.org/10.1509/jim.17.0005.

Texte intégral

Résumé :

Little research addresses the likely enabling character of the discovery and creation of opportunities during the internationalization of small firms or how international opportunities are found and constructed during the process of foreign market entry (FME). This article therefore studies how opportunities become connected during small firms’ FME. By incorporating the concept of duality, this article conceives of the discovery and creation of opportunity as mutually enabling rather than opposed. From this duality perspective, opportunity discovery and creation facilitate each other during internationalization processes. This case study involves five high-tech Australian firms and 30 FMEs. The findings show that knowledge, networks, and capabilities enable opportunities in the FME context. International opportunities are connected and nested in different levels of generality and specificity. The FME opportunities may be based on opportunity embeddedness, because each opportunity has implications for other opportunities. The findings lead to a model and propositions to explain the relationships between opportunity discovery and creation in FME.

Styles APA, Harvard, Vancouver, ISO, etc.

Hassan, Nurudeen, Cathryn Withycombe, Maninder Ahluwalia, Andrew Thomas et Keith Morris. « A methanolic extract of Trigonella foenum-graecum (fenugreek) seeds regulates markers of macrophage polarization. » Functional Foods in Health and Disease 5, n^o 12 (29 décembre 2015) : 417. http://dx.doi.org/10.31989/ffhd.v5i12.216.

Texte intégral

Résumé :

Background: Macrophages are key cellular mediators in diabetes-related inflammation. Molecular cues such as cytokines found in the tissue microenvironment regulates the polarization of macrophages into an M1 (pro-inflammatory) or M2 (immunoregulatory) phenotype. Recent evidence suggests that M1 macrophages in diabetic patients may contribute to the complications associated with the disease such as atherosclerosis. Trigonella foenum- graecum (Tfg: fenugreek) seeds have been used in traditional medicine in Asia, Africa and the Middle-East for their alleged anti-diabetic properties.Objective: To identify the molecular mechanism(s) through which Tfg seeds exert their effects, we investigated the role of a crude methanolic extract of Tfg (FME) seeds on macrophage polarization in vitro.Method: THP-1 macrophages (Mϕ) were treated with gBSA in the presence/absence of FME and the release and expression of M1 and M2 markers/cytokines were analysed. The role of FME on NF-κB activity was also explored using transfected HEK-293T cells.Results: This study found that the FME significantly (P<0.05) decreased gBSA-induced secretion of M1 cytokines (TNF-α, IL-1β, IL-6 and IL-8) in THP-1 Mϕ cells. In the presence of gBSA, FME also significantly increased the gene expression of the M2 marker Dectin-1, but had no effect on IL-10, IL-1Ra. FME also significantly decreased TNF-α induced NF-kB reporter activity.Conclusion: These results suggest that FME can regulate the expression of M1 and M2 markers in THP-1 Mϕ cells. This may be potentially through the modulation of NF-kB activity. Further work should be carried out to identify precise mechanism(s) involved in the effects of FME and Tfg seeds.Keywords: chronic inflammation, macrophage polarization, diabetes, glycated BSA, THP-1 cells, Trigonella foenum graecum, fenugreek seeds, NF-κB,

Styles APA, Harvard, Vancouver, ISO, etc.

Smith, H. Arlen, et C. Robert Taylor. « Finite Mixture Estimation of Size Economies and Cost Frontiers in the Face of Multiple Production Technologies ». Journal of Agricultural and Applied Economics 30, n^o 2 (décembre 1998) : 379–88. http://dx.doi.org/10.1017/s1074070800008361.

Texte intégral

Résumé :

AbstractFinite mixture estimation (FME) is compared to estimated generalized least squares (EGLS) in the estimation of economies of size and production cost frontiers for Alabama dairy farms. FME provides several unique insights into the economic forces behind recent changes in Alabama's dairy industry. FME provides estimation of a stochastic average cost frontier with known statistical properties, which it was not otherwise possible to obtain using available stochastic frontier estimation packages.

Styles APA, Harvard, Vancouver, ISO, etc.

Chamberlaina, A. T., K. Seyoum, D. Chapman et C. Piotrowski. « The fermentable metabolisable energy in grass silage ». Proceedings of the British Society of Animal Production (1972) 1993 (mars 1993) : 141. http://dx.doi.org/10.1017/s0308229600024661.

Texte intégral

Résumé :

The UK metabolisable protein system (AFRC, 1992) requires the measurement of fermentable metabolisable energy (FME) to determine the potential yield of microbial crude protein in the rumen. FME is defined as:The objective of this work was to measure the ME , ether extract and volatile fatty acid components of first cut grass silages to assess the range of FME and non-fermentable fractions and hence the range of fermentabilities (FME:ME).Eighty-four clamp grass silages, predominantly first-cut rye grass, were analysed for modified acid detergent fibre (MADF), individual volatile fatty acids, oil (ether extract) and oven dry matter. ME was predicted from the MADF after correction for oven dry matter. The gross energy of the lactic, acetic, propanoic, butyric and valeric acid were taken to be 15.2, 14.6, 20.8, 24.9, and 28.0 MJ/kg DM, and for the Ether Extract fraction of grass 38.5 MJ/kg DM. The energy content of the volatile fatty acids in the silage were summed and FME was calculated as described above. The fermentability of the silage was the expressed as the proportion of FME to ME.

Styles APA, Harvard, Vancouver, ISO, etc.

Mananga, Eugene Stephane. « Applications of Floquet–Magnus and Fer expansion approaches on rotary-resonance recoupling sequence in solid-state nuclear magnetic resonance ». International Journal of Modern Physics B 33, n^o 24 (30 septembre 2019) : 1950278. http://dx.doi.org/10.1142/s0217979219502783.

Texte intégral

Résumé :

In this work, we used the Floquet–Magnus expansion (FME) and the Fer expansion (FE) approaches to investigate the spin dynamics during the rotary-resonance recoupling (R3) radiation experiment in solid-state nuclear magnetic resonance (SSNMR). We reformulated the two approaches and calculated their respective effective Hamiltonians and propagators. We compared the two approaches and found that the FME is more appropriate to describe the spin dynamics in the R3 experiment compared to the FE. The equations governing the spin dynamics of the first three orders of the FME look similar to the equations of the FE. Nevertheless, the FME has two additional parameters making the approach more applicable to various situations. This clearly shows that the FME will be more practical for the modifications of the R3 pulse sequence with the major corrections coming from the terms that include the additional parameters, which are not available in the FE. This work is significant and contributes theoretically and numerically in the field of spin dynamics, magnetic resonance and in particular SSNMR.

Styles APA, Harvard, Vancouver, ISO, etc.

Chiang, Hsiu-Mei, Hua-Hsien Chiu, Sue-Tsai Liao, Yen-Ting Chen, Hsien-Chang Chang et Kuo-Ching Wen. « Isoflavonoid-RichFlemingia macrophyllaExtract Attenuates UVB-Induced Skin Damage by Scavenging Reactive Oxygen Species and Inhibiting MAP Kinase and MMP Expression ». Evidence-Based Complementary and Alternative Medicine 2013 (2013) : 1–12. http://dx.doi.org/10.1155/2013/696879.

Texte intégral

Résumé :

In this study, we investigated the antioxidant activity and anti-photoaging properties of an extract ofFlemingia macrophylla, a plant rich in isoflavonoid content. Pretreatment of fibroblasts withFlemingia macrophyllaextract (FME) inhibited elastase activity, promoted the protein expression of type I procollagen, and attenuated the phosphorylation of mitogen-activated protein (MAP) kinase and the protein expression of matrix-metalloproteinase- (MMP-) 1, 3, and 9. The IC50values were 2.1 μg/mL for DPPH radical scavenging ability, 366.8 μg/mL for superoxide anion scavenging ability, 178.9 μg/mL for hydrogen peroxide scavenging ability, and 230.9 μg/mL for hydroxyl radical scavenging ability. Also, exposure of erythrocytes to various concentrations of FME (50–500 μg/mL) resulted in a dose- and time-dependent inhibition of AAPH-induced hemolysis. In human fibroblasts, FME at 10 μg/mL was shown to be a potent scavenger of UV-induced reactive oxygen species (ROS). The antioxidant and anti-photoaging properties of FME make it an ideal anti-intrinsic aging and anti-photoaging agent.

Styles APA, Harvard, Vancouver, ISO, etc.

Desbiolles, Norbert, Lionel Piroth, Catherine Lequeu, Catherine Neuwirth, Henri Portier et Pascal Chavanet. « Fractional Maximal Effect Method for In Vitro Synergy between Amoxicillin and Ceftriaxone and between Vancomycin and Ceftriaxone against Enterococcus faecalisand Penicillin-Resistant Streptococcus pneumoniae ». Antimicrobial Agents and Chemotherapy 45, n^o 12 (1 décembre 2001) : 3328–33. http://dx.doi.org/10.1128/aac.45.12.3328-3333.2001.

Texte intégral

Résumé :

ABSTRACT In the present study we assessed the use of a new in vitro testing method and graphical representation of the results to investigate the potential effectiveness of combinations of amoxicillin (AMZ) plus ceftriaxone (CRO) and of CRO plus vancomycin (VAN) against strains of Streptococcus pneumoniae highly resistant to penicillin and cephalosporins (PRP strains). We used the fractional maximal effect (FME) method of time-kill curves to calculate adequate concentrations of the drugs to be tested rather than relying on arbitrary choices. The concentrations obtained, each of which corresponded to a fraction of the maximal effect, were tested alone and in combination with the bacterial strains in a broth medium. Synergy was defined as a ratio of observed effect/theoretical effect, called FME, of greater than 1, additivity was defined as an FME equal to 1, and antagonism was defined as an observed effect lower than the best effect of one of the antibiotics used alone. The area between antagonism and additivity is the indifference zone. The well-known synergy between amoxicillin and gentamicin against a reference strain of Enterococcus faecalis was confirmed, with a best FME equal to 1.07. Two strains of PRP, strains PRP-1 and PRP-2, were studied. The MICs for PRP-1 and PRP-2 were as follows: penicillin, 4 and 16 μg/ml, respectively; AMZ, 2 and 8 μg/ml, respectively, CRO, 1 and 4 μg/ml, respectively; and VAN, 0.5 and 0.25 μg/ml, respectively. For PRP-1 the best FME for the combination AMZ-CRO was 1.22 with drug concentrations of 1.68 mg/liter for AMZ and 0.17 mg/liter for CRO; the best FME for the combination VAN-CRO was 1.75 with VAN at 0.57 mg/liter and CRO at 0.17 mg/liter. For PRP-2 the best FME obtained for the combination AMZ-CRO was 1.05 with drug concentrations of 11.28 mg/liter for AMZ and 0.64 mg/liter for CRO; the best FME obtained for the combination VAN-CRO was 1.35 with VAN at 0.25 mg/liter and CRO at 1.49 mg/liter. These results demonstrated the synergy of both combinations, AMZ-CRO and VAN-CRO, against PRP strains at drug concentrations achievable in humans. Consequently, either of the combinations can be proposed for use for the treatment of PRP infections.

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "FME"

Garli, Matilda. « Jämförelse mellan generaliseringsverktyg i ArcGIS Pro och FME Desktop ». Thesis, Karlstads universitet, Fakulteten för hälsa, natur- och teknikvetenskap (from 2013), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-78854.

Texte intégral

Résumé :

Vid framställning av småskaliga kartor från storskaliga kartor behöver de kartografiska objekt som kartan utgörs av generaliseras för att den ska förbli läsbar. Historiskt har generaliseringen och urvalet vid skapandet av kartor utförts av kartografen när kartan ritats, men i dag kan generaliseringen göras automatiskt för att effektivisera generaliseringsprocessen. Automatisk generalisering är en avancerad process där flera algoritmer behöver användas för att generaliseringen ska efterlikna den en kartograf gör vid ritandet av en karta. Flera olika geografiska informationssystem och andra programvaror erbjuder möjligheten att automatiskt generalisera kartobjekt vid kartframställning, vilket är nödvändigt när stora datamängder ska generaliseras, men få jämförelser har gjorts mellan olika programvarors generaliseringsverktyg. Syftet med detta examensarbete är att jämföra och utvärdera verktyg för automatisk generalisering av kartobjekt i programvarorna ArcGIS Pro och FME Desktop. Det som undersöks och jämförs är hur verktygen i de båda programvarorna skiljer sig, om tidsåtgången vid användningen av verktygen är olika och hur resultatet efter generalisering av byggnader och vägar ser ut i de båda programvarorna. Resultatet från jämförelsen kan användas av kommuner eller olika länders nationella lantmäterier och kartverk vid valet av programvara för generalisering, eller vid generalisering av webbkartor. Tre typer av generaliseringsmetoder som kan användas på kartobjekt och som undersöktes vid jämförelsen av de två programvarorna i denna studie är förenkling, utjämning och sammanslagning. Vid digital och automatisk förenkling av linjer används förenklingsalgoritmer, vilka tar bort brytpunkter från linjens geometri för att förenkla den. Vid utjämning används utjämningsalgoritmer, vilka flyttar på brytpunkter i linjens geometri för att göra den mjukare. När sammanslagning av polygoner görs vid digital och automatisk generalisering grupperas först flera mindre polygoner ihop baserat på avståndet mellan dem, för att sedan ersättas av en enda större polygon. De data som i jämförelsen generaliserades i de båda programvarorna var vektordata från GSD-Fastighetskartan och från Karlstads kommuns baskarta. Resultatet från generaliseringen sammanställdes genom att antal brytpunkter, väglinjer och byggnadspolygoner samt byggnadsarea före och efter generalisering beräknades. Tidtagning gjordes på processerna i de båda programvarorna och programvarornas olika verktyg och respektive verktygs parametrar sammanställdes och jämfördes. Resultatet från jämförelsen visar att FME Desktop saknar möjligheter att tunna ut vägnätverk. Förenkling av väglinjer tar längre tid att genomföra i ArcGIS Pro och skillnaderna mellan det kvantitativa resultatet i båda programvarorna är liten, medan det finns några betydande skillnader i det grafiska resultatet, där topologin förändras efter förenkling i FME Desktop. De grafiska skillnaderna mellan utjämning av vägarna i de båda programvarorna anses vara obetydliga, men eftersom de utjämnade väglinjerna i ArcGIS Pro följer originallinjen närmre kan det medföra färre spatiala konflikter med kartobjekt i andra kartlager. Förenkling av byggnader anses inte lämpligt att göra med de verktyg som finns tillgängliga i FME Desktop. Det finns både för- och nackdelar med att göra sammanslagning av byggnader i FME Desktop istället för i ArcGIS Pro.

Styles APA, Harvard, Vancouver, ISO, etc.

Stensli, Morten. « Bedrifters utbytte av deltagelse i FME (Forskingssenter for Miljøvennlig Energi) ». Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for industriell økonomi og teknologiledelse, 2012. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-20966.

Texte intégral

Résumé :

Denne masteroppgaven er en studie av verdiskapningen som skjer for partnerbedrifter i forskingssentre for miljøvennlig energi (FME). Problemstillingen jeg har valgt for denne oppgaven er: Er deltagelse i FME verdiskapende for partnerbedrifter? For å finne svar på denne problemstillingen har jeg valgt å gjøre kvalitative intervjuer med personer tilknyttet ett FME. Som FME ble Bioenergy Innovation Centre (CenBio) valgt for dette studiet. Dette på grunn av at CenBio fyller hele verdikjeden for industrien, arbeider tett opp mot et eksiterende market. De har klare definisjoner på innovasjon, norske mål om å øke produksjonen av bioenergi til 28TWh i 2020 fra 14 TWh i 2008. Ett siste argument er mine veilederes kjennskap til CenBio. Studiets hovedfunn er knyttet til rammeverket for absorberende kapasitet (absorpative capacity) og hvordan FME bidrar til å øke partnerbedriftenes verdiskapning gjennom absorberende kapasitet. For å finne ut av dette har jeg valgt å generere ett hjelpespørsmål: Bidrar FME'en CenBio til å øke partnerbedriftenes absorberende kapasitet, eventuelt hvordan? Jeg viser i min teorigjennomgang klare sammenhenger mellom verdiskapning, forsking og utvikling, samt mulige konkurransefordeler. Absorberende kapasitet omfatter mye av dette og jeg viser ved å øke en bedrifts absorberende kapasiteten øker man også verdiskapningen. Absorberende kapasitet deles opp i fire deler; (1) anskaffelse, (2) assimilering, (3) transformasjon og (4) utnyttelse av kunnskap. Jeg viser i denne masteroppgaven hvordan FME bidrar på forskjellige punkter for å øke disse fire elementene av absorberende kapasitet. Zahra og George (2002) presenterer 6 påstander angående absorberende kapasitet, som jeg i denne oppgaven ønsker å støtte/motbevise gjennom mine kvalitative intervjuer. Jeg velger å omskrive disse for å tilpasse påstandene CenBio. Her finner jeg ved bruk av både teori og empiri støtte for påstandene (a, b, c og d) siden CenBio direkte kan påvirke disse påstandene. De to siste påstandene (e og f) problematiseres siden CenBio ikke direkte kan påvirke den absorberende kapasiteten gjennom disse påstandene. Til slutt konkluderer jeg med at CenBio øker partnerbedriftenes absorberende kapasitet. Ved å bruke de omskrevene påstandene kommer jeg med praktiske tiltak for CenBio for å øke partnerbedriftenes absorberende kapasitet, og dermed mulig verdiskapning. Ved hjelp av disse påstandene besvarer jeg også masteroppgavens problemstillingen og viser at FME er verdiskapende for partnerbedriftene.

Styles APA, Harvard, Vancouver, ISO, etc.

Lindqvist, Linus, et Jesper Pantesjö. « Hantering och modellering av laserskanningsdata i FME : Automatisering av modellering av tunnlar ». Thesis, Karlstads universitet, Fakulteten för hälsa, natur- och teknikvetenskap (from 2013), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-72671.

Texte intégral

Résumé :

Bygg- och anläggningsbranschens implementering av BIM har resulterat i ett ökat behov att digitaliserat relationsunderlag. Äldre relationshandlingar, som mestadels utgörs av pappersritningar, saknar digitala motsvarigheter vilket gör att insamlingar av ny information, från pappersritningar, kan bli aktuell. Terrester laserskanning (TLS) är en teknik som tillämpas för insamling av data i punktmolnsform och är en allt mer förekommande insamlingsmetod vid införskaffning av relationsunderlag. Modellering från tredimensionella punktmolnsdata är ofta komplicerad och på så vis införstått med manuellt arbete för att producera ett godtyckligt resultat. Syftet med examensarbetet var att undersöka möjligheten att skapa en CAD-modell av en tunnels ytskikt från ett punktmoln med hjälp av programvaran FME. Studieområdet är ett mindre tunnelsegment och den insamlade datamängden utgörs av tidigare framarbetat punktmoln. Punktmolnet är obearbetat och innehåller brus i form av avvikande punkter samt installations- och konstruktionsobjekt. Tidigare producerat relationsunderlag, i form av CAD-modell, tilldelades också för att möjliggöra en jämförelse mot de modeller som skapats i arbetet. FME tillhandahåller ett flertal verktyg för bearbetning av punktmoln och arbetet har omfattats av tester där de olika verktygen utvärderats. Det huvudsakliga fokuset har legat på verktyget PointCloudSurfaceBuilder, vars funktion är att rekonstruera punktmoln till en mesh. En metod för filtrering av punktmolnet utformades och utreddes också under arbetet. Flertalet försök utfördes för att testa vad som fungerade bäst och ett antal modeller av varierande kvalitet kunde skapas. Metoden Poisson i verktyget PointCloudSurfaceBuilder visade bäst resultat då den skapar en “vattentät” modell som följer punktmolnets rumsliga förhållande bättre än det tilldelade relationsunderlaget. För metoden Poisson var Maximum Depth den parameter som hade störst inverkan på resultatets kvalitet. För varje höjning med 1 i parametern Maximum Depth så ökade upplösningen kvadratiskt i varje dimension för x, y och z. De totala värdena för tidsåtgång, filstorlek och antal trianglar ökade även potentiellt med upplösningen. Värden över 9 blir svåra, om inte omöjliga, att hantera i CAD-miljöer på grund av för detaljerade data i förhållande studieområdets storlek. Därav rekommenderas 7 och 8 som parametervärden vid modellering i miljöer likartade med tunnelsegmentet.
The building and construction industries implementation of BIM has resulted in an increased need to digitalise as-built basis. Older as-built documents, which is mostly made of paper plans, are missing their digital counterparts, which makes it that collection of new information, from the paper plans, can be vital. Terrestrial laser scanning (TLS) is a technique that is applied for collection of data in the form of data point clouds and is a more frequent collection method for obtaining supplies of as-built. Modelling from three-dimensional point cloud data is usually a complicated matter and therefore connected with manual labour to produce an arbitrary result. The purpose with the bachelor thesis was to research the possibility to create a CAD-model of the layer of a tunnel from a point cloud with the use of a software called FME. The study area is a smaller tunnel segment and the collected data set is based from an earlier created point cloud. The point cloud is unprocessed and contains noise from deviant points and object of installations and construction. The earlier produced as-built, in form of a CAD-model, was applied as well to enable a comparison parallel to the newly created models in this thesis. FME contains several tools for handling point clouds and the work have included several tests where the different tools have been evaluated. The primary focus of the work has been to evaluate the possibilities of the tool PointCloudSurfaceBuilder, which function is to reconstruct point clouds to a mesh. A method was also created and examined to clean the point cloud from noise. Several tests were executed to see what kind of method works the best and models of different qualities were rendered. The construction method Poisson in the transformer PointCloudSurfaceBuilder produced the best results whereas it creates a “water tight” model that follows the point clouds spatial conditions in a better way than the as-built model. In the method of Poisson there is a parameter called Maximum Depth which showed the greatest impact for the quality of the result. For every increase of 1 in the parameter Maximum Depth was the resolution increased by a factor of two in every direction of x, y and z. The total values for amount of time, file size and number of triangles increased as well in a way parallel to the potential increase of the resolution. It is hard, if not impossible, to handle the models in CAD-environments above the value 9. That is because of too high detail in the data in relation to the size of the study area. Therefore, are the recommended values of the parameter 7 and 8 in case of modelling of similar environments in tunnel complexes.

Styles APA, Harvard, Vancouver, ISO, etc.

Biase, Adriele Giaretta. « Parametrização de Sistemas de Equações Diferenciais Ordinárias no crescimento de bovinos de corte e produção de gases ». Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/11/11134/tde-19042016-104539/.

Texte intégral

Résumé :

Parametrizações de modelos e estruturas de correlações dos parâmetros no âmbito agropecuário são importantes por caracterizarem o comportamento de um sistema em resposta a variações de múltiplos cenários (clima, genótipos, dietas nutricionais, dentre outros fatores) que existem em escalas globais. O objetivo foi contribuir com inferências estatísticas na produção de gases CO2 [um potente Gás de Efeito Estufa (GEE)] nas fermentações in vitro de feno de alfafa, comparando métodos frequentistas com novas metodologias surgidas na literatura científica como a combinação dos métodos de Rejeição por Atraso e o Metropólis Adaptativo (RAMA), até então não testados para predições de gases de fermentação in vitro. Além disso, modelos de séries temporais foram usados para previsão da produção de CO2 nas fermentações de gases in vitro de feno de alfafa. Dentro do contexto de crescimento de gado de corte, foi realizada pela primeira vez uma abordagem para predições individuais dos animais para taxa de ganho de peso e a necessidade de energia para mantença baseada na dinâmica de crescimento e composição química corporal do Modelo de Crescimento de Davis (MCD), com comparação de análise de covariância multivariada entre diferentes cenários (gêneros, sistemas e genótipo cruzados), em um experimento a campo no Brasil. Adicionalmente calibrações dos parâmetros baseadas na amostra de cada cenário, pelos ajustes do MCD e usando análise frequentista, bootstrap não-paramétrico e simulações Monte Carlo foram realizadas com os dados nacionais (raça cruzada) e comparada com as estimativas originais do modelo obtido com raças Britânicas (Bos taurus). Os principais critérios adotados para avaliar os ajustes dos modelos foram o Erro Quadrático Médio de Predição (EQMP), o Critério de Informação Akaike (AIC) e o Critério de Informação Bayesiano (BIC). Os resultados não só contribuirão para o avanço da literatura existente, mas também auxiliarão a indústria de carne bovina e produtores rurais a encontrar especificações do mercado de carne, tanto a nível nacional e internacional. Concluiu-se que i) na produção de gases: o modelo ARIMA (1, 1, 2) ajustou a produção acumulativa de CO2, atingindo o valor máximo de 1,1066 (mL) no tempo de 47,5 h e a equação é indicada para estimar a produção de gases; ii) no crescimento de gados de corte usando as estimativas individuais do MCD, os vetores de efeitos de energia de mantença e o acréscimo de proteína possuem efeitos pronunciados quanto as interações entre sistemas e gêneros; iii) no crescimento de gados de corte usando as estimativas da amostra total com MCD, os genótipos cruzados tiveram maior gasto de energia de mantença e foram mais rápidos de maturação em comparação tanto com os animais de genótipos Britânicos (Bos taurus) e touros Nelores. A técnica de bootstrap não-paramétrica estimou com sucesso as distribuições dos parâmetros (que tiveram distribuição probabilidade normal para maioria dos cenários). Correlação negativa entre os parâmetros de acréscimo de DNA e energia de mantença foram encontrados para animais machos não castrados do sistema extensivo, indicando que foram mais eficientes no uso da energia. A generalização de tal relação ainda demanda estudos mais abrangentes e aprofundados.
Model parameter fitting and parameter correlation structures are important for characterize a system\'s behaviour in response to multiple scenarios variations (climate, genotypes, nutritional diet and other factors). The aim was to contribute to statistical inferences in the production of CO2 [a potent greenhouse gas (GHG)] in vitro fermentation of alfalfa hay, comparing frequentist methods with new methodologies that emerged in the scientific literature, such as the combination of a delay Rejection and the Adaptive Metropolis methods (RAMA), not yet tested for in vitro fermentation gases predictions. In addition, time series models were used to predict CO2 production in the in vitro fermentation of alfalfa hay. For the first time, individual predictions of animal weight gain rate and energy of maintenance based on the growth dynamics and body composition Davis Growth Model (DGM) was carried out besides multivariate covariance analysis of different scenarios (genres, systems and crossed genotype). Additionally, parameter estimation based on sample of each scenario, using frequentist analysis, nonparametric bootstrap and Monte Carlo simulations were performed with national data (cross breed) and compared to the original estimates of the model obtained with British breeds (Bos taurus). The main criteria used to evaluate the model accuracy were the Mean Square Error of Prediction (MSEP), the Akaike Information Criterion (AIC) and the Bayesian Information Criterion (BIC). The results not only contribute to the scientific progress in modeling animal growth and composition, but also assist the beef industry and farmers to adjust the production process to the meat market specifications, both nationally and internationally. For in vitro gas production, we concluded that the ARIMA (1, 1, 2) model presented the highest accuracy in predicting cumulative CO2 production and the respective equation is recommended for estimating CO2 production. In the growth beef cattle using the individual estimates DGM, average vectors from maintenance of energy and protein accretion showed pronounced effects as the interactions between systems and genres. Also the total sample with DGM, cross-breed genotypes had higher maintenance energy expenditure and were faster-maturing compared with British genotypes animals(Bos taurus) and Nellore bulls estimates. Bootstrap nonparametric with downhill simplex optimization method successfully estimated the distributions of the parameters (that had normal probability distribution for most scenarios). Uncastrated male animals of the extensive system showed negative correlation between the protein deposition rate and requirement for energy maintenance, indicating that animals with faster lean tissue deposition were also more efficient in energy usage. We warn that the generalization of this finding demands studies with larger populations.

Styles APA, Harvard, Vancouver, ISO, etc.

Linder, Heinrich. « Erzeugung und Einsatz von Biodiesel aus tierischen Fetten (FME) unter besonderer Berücksichtigung der ökologischen Wirkungen ». Hamburg Kovač, 2006. http://www.verlagdrkovac.de/978-3-8300-2805-5.htm.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Macay, Moreira José Miguel. « Using photogrammetric Digital Surface Model in LiDAR software for creating Three Dimensional Buildings ». Thesis, Högskolan i Gävle, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-14724.

Texte intégral

Résumé :

The way of representing Earth has changed; two dimensional (2D) maps have turned into three Dimensional (3D) representations. There are many studies in order to create 3D city maps as well as areas where these are applied such as 3D cadastral, 3D visualization and flood simulation, etc. These can be created with the aid of different data sources using photogrammetric Digital Surface Model (DSM) derived from image matching and from Light Detection and Ranging (LiDAR) point clouds or both of them combining orthophotos and building footprints. Several software has been developed to ease and speed up this process. In this study, a current state-of-the art in the 3D city modeling with particular interest to commercial software was analyzed. DSMs from image matching (Satellite and Airborne) were used in order to create a 3D city model of Trento, Italy. The objectivewas to examine the degree of automation and the computation time of two available software: Feature Manipulation Engine (FME) and Building Reconstruction (BREC). Other problem such as the quality of the DSM needed would be discussed for each software and the results would be compared to those achieved using LiDAR data. Recommendations and possible problems would also be addressed. In order to create a 3D city model, the ALDPAT software (Airborne LiDAR Data Processing and Analysis Tool) has been used to separate the ground regions (Digital Terrain Model, DTM) from the man-made objects and trees (Normal Digital Surface Model, nDSM). FME and BREC software have been used to reconstruct the 3D city model. The output results from FME and BREC have been analyzed qualitatively and quantitatively. The comparison between the models generated from photogrammetric and LiDAR DSMs have been performed. The results show that buildings generated by satellite images have poorest quality compared with buildings from LiDAR and airborne data. In particular, the performed tests will be shown that among the Level of Details (LoD), a LoD1 and LoD2 3D city models can be generated using a DSM by image matching. A deeper study should be done in order to analyze the level of detail qualitatively.

Styles APA, Harvard, Vancouver, ISO, etc.

Forsner, Tim. « Utvärdering av metoder för att extrahera byggnader från laserdata : En jämförelse och kvalitetskontroll av byggnadsytor i FME och ArcGIS Pro ». Thesis, Karlstads universitet, Fakulteten för hälsa, natur- och teknikvetenskap (from 2013), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-68452.

Texte intégral

Résumé :

In recent times the demand of high resolution 3D data has seen a rise, and the applications of airborne LiDAR data are increasing. Automatic extraction of building roofs is important in many of these applications such as city modelling. In 2018, Lantmäteriet (the Swedish mapping, cadastral and land registration authority) is planning a new flight to collect airborne LiDAR data. This data may become useful in extracting roof planes. The purpose of this thesis is to evaluate automatic methods for extracting buildings from airborne LiDAR data, and to perform a quality assessment of the footprints.This thesis proposes specific methods of extraction in using software called ArcGIS Pro and FME. The method was to process raw LiDAR points by separating the ground points, and finding building points through plane detection of points in clusters. Vegetation was removed using height difference of the points and the area. Polygons were created from the building points and a quality assessment was then carried out concerning completeness, accuracy and RMSE. The result on four different data sets shows a more appropriate extraction in FME. Lower point density sometimes leads to better extraction of buildings because of less vegetation. Higher point density has the advantage of higher accuracy and can extract smaller buildings, but includes more vegetation. The proposed method is recommended for larger buildings (>25 m2) and a LiDAR point density around 12 points/m2.

Styles APA, Harvard, Vancouver, ISO, etc.

Wallander, Cornelia. « Rigid barrier or not ? : Machine Learning for classifying Traffic Control Plans using geographical data ». Thesis, Uppsala universitet, Avdelningen för systemteknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-352826.

Texte intégral

Résumé :

In this thesis, four different Machine Learning models and algorithms have been evaluated in the work of classifying Traffic Control Plans in the City of Helsingborg. Before a roadwork can start, a Traffic Control Plan must be created and submitted to the Traffic unit in the city. The plan consists of information regarding the roadwork and how the work can be performed in a safe manner, concerning both road workers and car drivers, pedestrians and cyclists that pass by. In order to know what safety barriers are needed both the Swedish Association of Local Authorities and Regions (SALAR) and the Swedish Transport Administration (STA) have made a classification of roads to guide contractors and traffic technicians what safety barriers are suitable to provide a safe workplace. The road classifications are built upon two rules; the amount of traffic and the speed limit of the road. Thus real-world problems have shown that these classifications are not applicable to every single case. Therefore, each roadwork must be judged and evaluated from its specific attributes. By creating and training a Machine Learning model that is able to determine if a rigid safety barrier is needed or not a classification can be made based on historical data. In this thesis, the performance of several Machine Learning models and datasets are presented when Traffic Control Plans are classified. The algorithms used for the classification task were Random Forest, AdaBoost, K-Nearest Neighbour and Artificial Neural Network. In order to know what attributes to include in the dataset, participant observations in combination with interviews were held with a traffic technician at the City of Helsingborg. The datasets used for training the algorithms were primarily based on geographical data but information regarding the roadwork and period of time were also included in the dataset. The results of this study indicated that it was preferred to include road attribute information in the dataset. It was also discovered that the classification accuracy was higher if the attribute values of the geographical data were continuous instead of categorical. In the results it was revealed that the AdaBoost algorithm had the highest performance, even though the difference in performance was not that big compared to the other algorithms.

Styles APA, Harvard, Vancouver, ISO, etc.

Börjesson, Alexandra. « Automatic Generation of Levels of Detail : A Study on the Swedish National Road Database ». Thesis, KTH, Geodesi och satellitpositionering, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254835.

Texte intégral

Résumé :

When creating a map, the amount of data and which geographical information chosen to bepresented are decided based on the purpose of the map. Trafikverket is responsible for theNational Road Database that is a reference road network with a large amount of dataconnected to it. The database is built at a carriageway level where several links can be usedto represent a single road. In this thesis the database has been studied as well as thepossibilities to create an automatic workflow that creates a generalisation to road level. Someapplications and analyses that use this database are requesting input data of a higher level ofdetail. It is also found important from a cartographic point of view. Possibilities to create alinear referencing for the data between the different levels was studied as well, to make theupdates between the levels easier and not having the need to maintain two differentdatabases. It would make it possible to inherit attributes and the generic features connectedto the network.The first fully automated workflow for a generalisation of an entire map was developed in theNetherlands in 2014. Several other agencies in Sweden and Norway are currently working ongeneralisations as well and using different approaches. Statens Vegvesen, which is theNational Road Agency in Norway, has already implemented the different levels of detail intheir road database. Lantmäteriet currently has a project where their goal is to create a fullyautomated map to easily change to a larger scale.After studying the programs used in other generalisations and which programs Trafikverketnormally use, FME and ArcGIS were chosen to be used in this thesis. A small study area waschosen, and the proper data was collected from the National Road Database. The study wasconducted by a set of experiments and trying different parameter values in order to obtain asatisfactory result.Three different areas where studied, where the goal was to find a sequence of functions thatsuccessfully generalised all the areas. The areas were parallel roads, complex intersectionsand roundabouts. The result consists of a suggested workflow, but alterations hade to bemade manually since it was not possible to find a fully automated generalisation for the areachosen. Therefore, a set of functions and tools that could be developed were collected as wellin the end to make a more automated workflow possible.The result found in this thesis show that if the cartographic generalisations are more studiedand examined it should be possible to get a more automated workflow to create ageneralisation between the different level of detail. However, it might be difficult to get theworkflow fully automated due to the complexity of the intersections.
När en karta skapas baseras mängden data och vilken geografisk information som skaförmedlas beroende på syftet med kartan. Trafikverket ansvarar för den NationellaVägdatabasen som är ett referensvägnät med en stor mäng data kopplad till vägnätet.Referensvägnätet är byggt på en körbanenivå. I det här arbetet har databasen studerats ochvilka möjligheter som finns för att skapa en automatisk generalisering till vägnivå. Det finnsett behov att representera data på en annan detaljnivå för vissa applikationer och analysersom använder sig av vägdatabasen. Det är även viktigt utifrån ett kartografiskt synsätt.Möjligheterna att skapa en linjär referering mellan de olika detaljnivåerna har undersökts, föratt förenkla uppdateringar mellan nivåerna samt att inte behöva ajourhålla två olikadatabaser. Det skulle även göra det möjligt att attribut och företeelser kan ärvas mellan deolika nivåerna.Det fösta helt automatiserade arbetsflödet för en generalisering av en karta utformades 2014i Nederländerna. Flera andra myndigheter i Sverige och Norge arbetar just nu med den härtypen av generaliseringar och har använt sig av olika tillvägagångssätt. Statens Vegvesen,vilket är den statliga myndighet som ansvarar för vägar i Norge, har redan implementerat olikadetaljnivåer i deras vägdatabas. Lantmäteriet har ett projekt med målet att skapa en fulltautomatisk generalisering för olika skalor.Efter att ha studerat de olika program som vanligtvis används vid generaliseringar samt vilkaprogram som Trafikverket använder sig av så valdes FME och ArcGIS i det här arbetet. Ettmindre studieområde valdes ut och relevant data hämtades från den NationellaVägdatabasen. Studien bestod av olika experiment och tester av olika parametervärden föratt få ett acceptabelt resultat.Tre olika områden studerades, där målet var att hitta en följd operationer som skapade enlämplig generalisering för alla områden. De tre olika områdena var parallella vägar,trafikplatser och cirkulationsplatser. Resultatet består av förslag på ett arbetsflöde, men delarhar behövt göras manuellt då det inte var möjligt att hitta en helt automatiseradgeneralisering för det valda området. Förslag på olika funktioner och verktyg som kanutvecklas har sammanställts, för att kunna utvecklade ett mer automatiserat arbetssätt.Resultatet av det här arbetet visar att om kartografiska generaliseringar studeras och testasmer skulle det kunna vara möjligt att skapa ett mer automatiserat arbetssätt med syfte attmöjliggöra generaliseringar mellan olika detaljnivåer. Det kan däremot vara svårt att få dettahelt automatiserat på grund av de olika komplexa trafikplatserna.

Styles APA, Harvard, Vancouver, ISO, etc.

Jaber, Noaaemi Fadi. « Jämförelse av olika kvalitetsmått vid kartering av hustak med hjälp av LiDAR-data : Metod för utvärdering av kartering med ArcGIS Pro, QGIS och FME ». Thesis, Karlstads universitet, Fakulteten för hälsa, natur- och teknikvetenskap (from 2013), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-78364.

Texte intégral

Résumé :

Teknisk utveckling och ökad användning av GIS har ökat behovet av data som snabbt kan insamlas över stora geografiska områden. Behovet är internationellt samtidigt som det också kräver samarbete mellan alla berörda parter då systemet har förmågan att presentera geografisk information med ett brett användningsområde. Höjdförhållanden i terräng erhålls genom flygburen laserskanning och presenteras i 3D med olika klassningar för att bemöta variation i signalens reflektion. Behovet av sådan information har använts för produkter baserat på data erhållen från laserskanning. I examensarbetet användes laserdata från två skanningsomgångar beställda av Lantmäteriet. Den första laserskanningen (2011) utfördes i syfte att skapa en noggrann nationell höjdmodell innehållande klassificering av de laserpunkter som representerar mark och vatten. Den senare (2019) i syfte att uppnå en punkttäthet >1 punkt/m2 utan kriterier för vad som skall klassificeras. Syftet med examensarbetet är att testa och utvärdera olika metoder i ArcGIS Pro, QGIS samt FME för att kvalitetssäkra kartering av hustak. Målet är att visa om extraheringen kan utföras med en tillräcklig kvalitet för att metoden ska rekommenderas. Tidigare studier har fokuserat på att skapa tre olika typer höjdmodeller DEM/DTM, DSM och nDSM, samt hur man kan skapa en markyta med objekten över marken. Examensarbetet fokuserade på att klassificera oklassificerade punkter som byggnader finns inom. Detta utfördes med olika metoder i de program som användes med samma parametrar. Klassificering, extrahering och skapande av polygoner var de tre steg som användes för att extrahera hustak. Extrahering av hustak gav ett bättre resultat med ArcGIS Pro med 97 % från båda skanningsomgångarna. Detta värde berodde på cellstorlek som användes och hur buffertzoner omkring varje punkt påverkas på polygoner som i sin tur påverkades av hustakens areal. En enkät utfördes för att svara på en fråga och resultatet gav att ArcGIS Pro är bäst med 93,5 %. De problem som uppstod berodde främst på att vegetation inte kunde tas bort. Extrahering av byggnader från laserdata rekommenderas för ett punktmoln med den senare laserskanningen som har mer än 1 punkt/m². Vidare rekommenderas att använda ArcGIS Pro för att extrahera hustak från laserpunktmoln. ESRI’s ArcGIS Pro är ett komplett program som har alla verktyg som behövs.
The development of technology within GIS has increased the need for the data that being quickly added while covering large geographical areas. Such need is at the international level, while requiring a willingness to cooperate for all parties involved, as the system can present geographical information with a wide range of applications. The need for such information has been used for products based on data obtained from laser scanning. In this thesis, laser data from two scanning sessions ordered by the Swedish Land Survey were used. The first laser scan (2011) was carried out with the aim of creating an accurate national elevation model (RH 2000) containing a classification of the laser points representing soil and water. The latter (2019) was done to achieve a spot density >1 point/m2 without criteria for classification. The purpose of the current thesis is to test and evaluate the available methods in ArcGIS Pro, QGIS and FME to ensure quality mapping of roofs. The aim was to investigate whether the extraction of roofs? can be carried out with an adequate quality so that the method can be recommended for the future works. Previous studies have focused on creating three types of elevation models DEM / DTM, DSM and nDSM. So, one can create an earth surface with the objects above the ground. In this thesis, the focus was on classifying point clouds for unassigned points (unassigned == 1) in which the buildings are located. This was done by testing different methods on different programs while keeping the parameters same. Classification, extraction and creation of polygons are the three steps used to extract roofs. Extraction of rooftops showed better results using ArcGIS Pro with 97 % from both scanning sessions. This was due to the cell size used in the study and that the buffer zones around each point were affected by polygons, which in turn were affected by the rooftop area. A survey was conducted to answer a question and the result showed that ArcGIS Pro is the best with 93,5 %. Problems that arose the study were mainly caused by the vegetation cover that could not be removed. As a conclusion, extraction of buildings from LiDAR-data is recommended for a point cloud with the latter laser scan with more than 1 point/m². Furthermore, it is recommended to use ArcGIS Pro to extract rooftops from laser scanning which is a comprehensive program i.e. that all the tools used in this thesis were freely downloaded from ESRI's ArcGIS Pro.

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Livres sur le sujet "FME"

Araki, Keijiro, Stefania Gnesi et Dino Mandrioli, dir. FME 2003 : Formal Methods. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13229.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Woodcock, James C. P., et Peter G. Larsen, dir. FME '93 : Industrial-Strength Formal Methods. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/bfb0024633.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Eriksson, Lars-Henrik, et Peter Alexander Lindsay, dir. FME 2002:Formal Methods—Getting IT Right. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45614-7.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Naftalin, Maurice, Tim Denvir et Miquel Bertran, dir. FME '94 : Industrial Benefit of Formal Methods. Berlin, Heidelberg : Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58555-9.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Education, Foundation for Management, dir. A firm foundation : The story of the FME. [London] : Foundation forManagement Education, 1985.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Oliveira, José Nuno, et Pamela Zave, dir. FME 2001 : Formal Methods for Increasing Software Productivity. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45251-6.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Gaudel, Marie-Claude, et James Woodcock, dir. FME'96 : Industrial Benefit and Advances in Formal Methods. Berlin, Heidelberg : Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-60973-3.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Fitzgerald, John, Cliff B. Jones et Peter Lucas, dir. FME '97 : Industrial Applications and Strengthened Foundations of Formal Methods. Berlin, Heidelberg : Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63533-5.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Neville, Dean, et Boute R. T, dir. Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings. Berlin : Springer, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

International Symposium of Formal Methods Europe (1st 1993 Odense, Denmark). FME '93 : Industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings. Berlin : Springer-Verlag, 1993.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "FME"

Charpentier, Michel. « Composing Invariants ». Dans FME 2003 : Formal Methods, 401–21. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_23.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Kishida, Kouichi. « Looking Back to the Future ». Dans FME 2003 : Formal Methods, 1–6. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_1.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Hayes, Ian J., Michael A. Jackson et Cliff B. Jones. « Determining the Specification of a Control System from That of Its Environment ». Dans FME 2003 : Formal Methods, 154–69. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_10.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Stidolph, Donna C., et James Whitehead. « Managerial Issues for the Consideration and Use of Formal Methods ». Dans FME 2003 : Formal Methods, 170–86. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_11.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bozzano, Marco, Antonella Cavallo, Massimo Cifaldi, Laura Valacca et Adolfo Villafiorita. « Improving Safety Assessment of Complex Systems : An Industrial Case Study ». Dans FME 2003 : Formal Methods, 208–22. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_13.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rusu, Vlad. « Compositional Verification of an ATM Protocol ». Dans FME 2003 : Formal Methods, 223–43. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_14.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Henderson, Neil. « Proving the Correctness of Simpson’s 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method ». Dans FME 2003 : Formal Methods, 244–63. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_15.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Boyer, Marc, et Mihaela Sighireanu. « Synthesis and Verification of Constraints in the PGM Protocol ». Dans FME 2003 : Formal Methods, 264–81. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_16.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Qin, Shengchao, et Wei-Ngan Chin. « Mapping Statecharts to Verilog for Hardware/Software Co-specification ». Dans FME 2003 : Formal Methods, 282–300. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_17.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Duran, Adolfo, Ana Cavalcanti et Augusto Sampaio. « A Strategy for Compiling Classes, Inheritance, and Dynamic Binding ». Dans FME 2003 : Formal Methods, 301–20. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_18.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "FME"

Filho, Vanio Rodrigues, Marcio Monteiro, Ismael Seidel, Mateus Grellert et Jose Luis Guntzel. « Standalone Rate-Distortion FME Architecture ». Dans 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI). IEEE, 2020. http://dx.doi.org/10.1109/sbcci50935.2020.9189898.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nori, Aditya V. « Software reliability via machine learning (invited talk) ». Dans the 2nd FME Workshop. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593490.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bollin, Andreas, et Dominik Rauner-Reithmayer. « Formal specification comprehension : the art of reading and writing z ». Dans the 2nd FME Workshop. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593491.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Baresi, Luciano, Mohammad Mehdi Pourhashem Kallehbasti et Matteo Rossi. « Flexible modular formalization of UML sequence diagrams ». Dans the 2nd FME Workshop. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593492.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Beek, Maurice H. ter, et Erik P. de Vink. « Using mCRL2 for the analysis of software product lines ». Dans the 2nd FME Workshop. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593493.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Sayar, Imen, et Mohamed Tahar Bhiri. « From an abstract specification in event-b toward an UML/OCL model ». Dans the 2nd FME Workshop. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593494.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Neema, Sandeep, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal et Janos Sztipanovits. « Formalization of software models for cyber-physical systems ». Dans the 2nd FME Workshop. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593495.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Biatek, Jason, Michael W. Whalen, Mats P. E. Heimdahl, Sanjai Rayadurgam et Michael R. Lowry. « Analysis and testing of PLEXIL plans ». Dans the 2nd FME Workshop. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593496.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Kusakabe, Shigeru, Hsin-Hung Lin, Yoichi Omori et Keijiro Araki. « Generating supportive hypotheses in introducing formal methods using a software processes improvement model ». Dans the 2nd FME Workshop. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593497.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nanjundappa, Mahesh, et Sandeep K. Shukla. « Compiling polychronous programs into conditional partial orders for ASIP synthesis ». Dans the 2nd FME Workshop. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593498.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "FME"

Brazda, Carolyn. Fame. Portland State University Library, janvier 2000. http://dx.doi.org/10.15760/etd.1023.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Weaver, Charles. HSADC FMC. Office of Scientific and Technical Information (OSTI), avril 2021. http://dx.doi.org/10.2172/1776733.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Research Institute (IFPRI), International Food Policy. Indice Globale della Fame 2016 : Obiettivo fame zero. Washington, DC : International Food Policy Research Institute, 2016. http://dx.doi.org/10.2499/9780896292307.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Skaggs, R. R., Robert G. Daniel, Andrzej W. Miziolek, Kevin L. McNesby et Craig Herud. Diode Laser Measurements of HF Concentrations Produced from Heptane/Air Pan Fires Extinguished by FE-36, FM-200, FE-36 Plus APP, and FM-200 Plus APP. Fort Belvoir, VA : Defense Technical Information Center, mai 2000. http://dx.doi.org/10.21236/ada377480.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Research Institute (IFPRI), International Food Policy. Indice Globale della Fame 2016 : Obiettivo fame zero : Estratto. Washington, DC : International Food Policy Research Institute, 2016. http://dx.doi.org/10.2499/9780896292314.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

DeLuga, Ronald E. Design of a Family of Munitions Containers (FMC) Overall Project Management of FMC number 1, FMC number 2 and FMC number 3. Fort Belvoir, VA : Defense Technical Information Center, janvier 1995. http://dx.doi.org/10.21236/ada290134.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Iarocci, M., et S. Kane. FMEA RHIC Cryogenics. Office of Scientific and Technical Information (OSTI), août 1994. http://dx.doi.org/10.2172/1119197.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

von Grebmer, Klaus. Indice Globale della Fame 2014 : la sfida della fame nascosta. Washington, DC : International Food Policy Research Institute, 2014. http://dx.doi.org/10.2499/9780896299610.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ingleston, Bart. Fuselet Development Environment (FDE). Fort Belvoir, VA : Defense Technical Information Center, mai 2006. http://dx.doi.org/10.21236/ada451666.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Pena, Pere. Seu, fem un cigarro . Edicions de la Universitat de Lleida, 2019. http://dx.doi.org/10.21001/scriptura.2019.27.38.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!