Littérature scientifique sur le sujet « FME »

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"

1

Qaysi, Tariq. "Financial Market Depth, Access, and Efficiency and Environment Nexus in MENA Region: Cross-Sectional Dependence Analysis." Sustainability 17, no. 5 (2025): 2160. https://doi.org/10.3390/su17052160.

Texte intégral
Résumé :
Financial markets have great potential to reduce environmental issues and promote sustainability in line with the Sustainable Development Goals (SDGs). The research aims to examine the impact of financial market access, depth, and efficiency on CO2 emissions in 17 MENA countries from 1980 to 2021. Gross domestic product (GDP) per capita has a positive effect on CO2 emissions. However, its square term does not impact CO2 emissions. Moreover, financial market access (FMA) and financial market depth (FMD) contribute to increased emissions, whereas financial market efficiency (FME) has a mitigatin
Styles APA, Harvard, Vancouver, ISO, etc.
2

Castro, Juliana Brandão Pinto de, Rosana Dias de Oliveira Brum, Carlos Soares Pernambuco, and 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, no. 5 (2019): 18–23. http://dx.doi.org/10.21134/riaa.v3i5.417.

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
Styles APA, Harvard, Vancouver, ISO, etc.
3

Castro, Juliana Brandão Pinto de, Rosana Dias de Oliveira Brum, Carlos Soares Pernambuco, and 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, no. 5 (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
Styles APA, Harvard, Vancouver, ISO, etc.
4

Sunday, Ishaya, and Emmanuel Omede. "ASSESSMENT OF AIR QUALITY ACROSS DIFFERENT LAND USES IN GWAGWALADA TOWN, FCT-ABUJA, NIGERIA." FUDMA JOURNAL OF SCIENCES 6, no. 1 (2022): 377–86. http://dx.doi.org/10.33003/fjs-2022-0601-909.

Texte intégral
Résumé :
This study assessed ambient air quality (NO2, SO2, CO, NH3, H2S and PM10) across four different urban land uses at five points each using Handheld BW Tech GasAlert and Haze Dust Particulate Monitor in Gwagwalada town, FCT, Nigeria. The standard limit of WHO, USEPA and FME were used. CO concentration across the different land use “Abattoir (4.4), Market (0), Motor Park (3.4) and Roadside (6.4)” were within the limit of WHO, USEPA and FME (10, 9, 9 ppm/ug/m3); NO2 and H2S were within the limit of WHO, USEPA and FEME (0.07, 0.02, 0.05 ppm/ug/m3); SO2 concentration across Abattoir (0.34), Market (
Styles APA, Harvard, Vancouver, ISO, etc.
5

Ho, Hui-Ya, Jin-Bin Wu, and 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 ameliora
Styles APA, Harvard, Vancouver, ISO, etc.
6

Kwon, Hee-Yeon, Hyesung Lee, Ji-Soo Choi, et al. "Improvement of Late-Onset Hypogonadism Symptoms of Fermented Morinda citrifolia Extract in TM3 Leydig and TM4 Sertoli Cells." Nutrients 16, no. 23 (2024): 4159. https://doi.org/10.3390/nu16234159.

Texte intégral
Résumé :
Background/Objectives: Late-onset hypogonadism (LOH), characterized by declining testosterone levels with age, negatively affects the health of men, causing physical, psychological, and sexual dysfunction. Conventional testosterone replacement therapies have side effects, which has led to interest in natural alternatives. We investigated the effects of a standardized fermented Morinda citrifolia extract (FME) on oxidative stress-induced damage in TM3 Leydig and TM4 Sertoli cells. The cells were treated with H2O2 to simulate oxidative stress, followed by the FME treatment. Methods: Cytotoxicity
Styles APA, Harvard, Vancouver, ISO, etc.
7

Satityapong, Narest, Taneenart Na-Soontorn, and Pimprapa Amornkitpinyo. "Innovative financial management model for private higher education institutions according to the Long-Term 20-Year Higher Education Plan." Corporate Governance and Organizational Behavior Review 6, no. 2, special issue (2022): 279–86. http://dx.doi.org/10.22495/cgobrv6i2sip12.

Texte intégral
Résumé :
The purpose of this study is to 1) analyse innovative management elements for private higher education institutions within the context of the Long-Term 20-Year Higher Education Plan (2018–2037) (Office of the Higher Education Commission [OHEC], 2017) and 2) suggest new financial management models for private higher education institutions. The findings indicated that the management of private higher education institutions entailed five critical components: 1) general management, 2) academic management, 3) research management, 4) financial government, and 5) human resource management. Financial
Styles APA, Harvard, Vancouver, ISO, etc.
8

Hassan, Nurudeen, Cathryn Withycombe, Maninder Ahluwalia, Andrew Thomas, and Keith Morris. "A methanolic extract of Trigonella foenum-graecum (fenugreek) seeds regulates markers of macrophage polarization." Functional Foods in Health and Disease 5, no. 12 (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
Styles APA, Harvard, Vancouver, ISO, etc.
9

Chetty, Sylvie, Masoud Karami, and Oscar Martín Martín. "Opportunity Discovery and Creation as a Duality: Evidence from Small Firms’ Foreign Market Entries." Journal of International Marketing 26, no. 3 (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 in
Styles APA, Harvard, Vancouver, ISO, etc.
10

Smith, H. Arlen, and 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, no. 2 (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.
Plus de sources

Thèses sur le sujet "FME"

1

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 prog
Styles APA, Harvard, Vancouver, ISO, etc.
2

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
Styles APA, Harvard, Vancouver, ISO, etc.
3

Lindqvist, Linus, and 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
Styles APA, Harvard, Vancouver, ISO, etc.
4

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
Styles APA, Harvard, Vancouver, ISO, etc.
5

Linder, Heinrich. "Erzeugung und Einsatz von Biodiesel aus tierischen Fetten (FME) unter besonderer Berücksichtigung der ökologischen Wirkungen." Hamburg Kovač, 2006. http://www.verlagdrkovac.de/978-3-8300-2805-5.htm.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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
Styles APA, Harvard, Vancouver, ISO, etc.
7

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
Styles APA, Harvard, Vancouver, ISO, etc.
8

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 th
Styles APA, Harvard, Vancouver, ISO, etc.
9

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 i
Styles APA, Harvard, Vancouver, ISO, etc.
10

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
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "FME"

1

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Education, Foundation for Management, ed. A firm foundation: The story of the FME. Foundation forManagement Education, 1985.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Garry, Parsons, ed. Fee fie fo-- mom! Steck-Vaughn, 2010.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "FME"

1

Kishida, Kouichi. "Looking Back to the Future." In FME 2003: Formal Methods. 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.
2

Hayes, Ian J., Michael A. Jackson, and Cliff B. Jones. "Determining the Specification of a Control System from That of Its Environment." In FME 2003: Formal Methods. 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.
3

Stidolph, Donna C., and James Whitehead. "Managerial Issues for the Consideration and Use of Formal Methods." In FME 2003: Formal Methods. 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.
4

Fidge, Colin J. "Verifying Emulation of Legacy Mission Computer Systems." In FME 2003: Formal Methods. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45236-2_12.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Bozzano, Marco, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, and Adolfo Villafiorita. "Improving Safety Assessment of Complex Systems: An Industrial Case Study." In FME 2003: Formal Methods. 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.
6

Rusu, Vlad. "Compositional Verification of an ATM Protocol." In FME 2003: Formal Methods. 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.
7

Henderson, Neil. "Proving the Correctness of Simpson’s 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method." In FME 2003: Formal Methods. 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.
8

Boyer, Marc, and Mihaela Sighireanu. "Synthesis and Verification of Constraints in the PGM Protocol." In FME 2003: Formal Methods. 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.
9

Qin, Shengchao, and Wei-Ngan Chin. "Mapping Statecharts to Verilog for Hardware/Software Co-specification." In FME 2003: Formal Methods. 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.
10

Duran, Adolfo, Ana Cavalcanti, and Augusto Sampaio. "A Strategy for Compiling Classes, Inheritance, and Dynamic Binding." In FME 2003: Formal Methods. 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"

1

Li, Jingting, Moi Hoon Yap, Wen-Huang Cheng, et al. "FME'21." In MM '21: ACM Multimedia Conference. ACM, 2021. http://dx.doi.org/10.1145/3474085.3478579.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Li, Jingting, Moi Hoon Yap, Wen-Huang Cheng, et al. "FME '22." In MM '22: The 30th ACM International Conference on Multimedia. ACM, 2022. http://dx.doi.org/10.1145/3503161.3554777.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Filho, Vanio Rodrigues, Marcio Monteiro, Ismael Seidel, Mateus Grellert, and Jose Luis Guntzel. "Standalone Rate-Distortion FME Architecture." In 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.
4

Nori, Aditya V. "Software reliability via machine learning (invited talk)." In the 2nd FME Workshop. ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593490.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Bollin, Andreas, and Dominik Rauner-Reithmayer. "Formal specification comprehension: the art of reading and writing z." In the 2nd FME Workshop. ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593491.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Baresi, Luciano, Mohammad Mehdi Pourhashem Kallehbasti, and Matteo Rossi. "Flexible modular formalization of UML sequence diagrams." In the 2nd FME Workshop. ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593492.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Beek, Maurice H. ter, and Erik P. de Vink. "Using mCRL2 for the analysis of software product lines." In the 2nd FME Workshop. ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593493.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Sayar, Imen, and Mohamed Tahar Bhiri. "From an abstract specification in event-b toward an UML/OCL model." In the 2nd FME Workshop. ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593494.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Neema, Sandeep, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, and Janos Sztipanovits. "Formalization of software models for cyber-physical systems." In the 2nd FME Workshop. ACM Press, 2014. http://dx.doi.org/10.1145/2593489.2593495.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "FME"

1

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Skaggs, R. R., Robert G. Daniel, Andrzej W. Miziolek, Kevin L. McNesby, and 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. Defense Technical Information Center, 2000. http://dx.doi.org/10.21236/ada377480.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada290134.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Murphy, Mr Thomas F. PR-226-9315-R01 Effects of Phosphoric Acid Treatment on Fusion-Bonded Epoxy Coating Performance. Pipeline Research Council International, Inc. (PRCI), 1994. http://dx.doi.org/10.55274/r0011905.

Texte intégral
Résumé :
The objective of the research was to establish whether phosphoric acid treatment of line pipe should routinely be undertaken before the application of FBE coatings where chloride contamination is not present; to determine the levels of treatment which enhance or cause deterioration on the steel surface; to establish any synergism that may exist between specific FOE coatings and phosphoric acid treatment; to determine if coating performance correlates to residual phosphate on the steel surface, and to provide end-user companies with data to enable the proper selection of surface treatments for
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

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!