Littérature scientifique sur le sujet « FME »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
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"
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égralCastro, 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égralCastro, 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égralSunday, 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égralHo, 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égralKwon, 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égralSatityapong, 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égralHassan, 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égralChetty, 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égralSmith, 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égralThè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égralStensli, 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égralLindqvist, 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égralBiase, 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égralLinder, 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égralMacay, 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égralForsner, 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égralWallander, 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égralBö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égralJaber, 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égralLivres sur le sujet "FME"
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égralWoodcock, 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égralEriksson, 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égralNaftalin, 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égralOliveira, 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égralEducation, Foundation for Management, ed. A firm foundation: The story of the FME. Foundation forManagement Education, 1985.
Trouver le texte intégralGaudel, 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égralFitzgerald, 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égralNeville, 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égralChapitres de livres sur le sujet "FME"
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égralHayes, 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égralStidolph, 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égralFidge, 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égralBozzano, 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égralRusu, 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égralHenderson, 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égralBoyer, 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égralQin, 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égralDuran, 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égralActes de conférences sur le sujet "FME"
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égralLi, 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égralFilho, 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égralNori, 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égralBollin, 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égralBaresi, 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égralBeek, 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égralSayar, 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égralNeema, 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égralBiatek, 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égralRapports d'organisations sur le sujet "FME"
Brazda, Carolyn. Fame. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.1023.
Texte intégralWeaver, Charles. HSADC FMC. Office of Scientific and Technical Information (OSTI), 2021. http://dx.doi.org/10.2172/1776733.
Texte intégralResearch 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égralSkaggs, 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égralResearch 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égralDeLuga, 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égralIarocci, M., and S. Kane. FMEA RHIC Cryogenics. Office of Scientific and Technical Information (OSTI), 1994. http://dx.doi.org/10.2172/1119197.
Texte intégralvon 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égralMurphy, 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égralIngleston, Bart. Fuselet Development Environment (FDE). Defense Technical Information Center, 2006. http://dx.doi.org/10.21236/ada451666.
Texte intégral