Добірка наукової літератури з теми "Input-output specification model"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Input-output specification model".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Input-output specification model"
ALEM, Habtamu. "Effects of model specification, short-run, and long-run inefficiency: an empirical analysis of stochastic frontier models." Agricultural Economics (Zemědělská ekonomika) 64, No. 11 (November 26, 2018): 508–16. http://dx.doi.org/10.17221/341/2017-agricecon.
Повний текст джерелаXia, Xue, Yan Ru Zhong, Yu Chu Qin, and Liu Jing Ji. "Research on Operational Model of New-Generation GPS Based on Dynamic Description Logic." Applied Mechanics and Materials 128-129 (October 2011): 702–5. http://dx.doi.org/10.4028/www.scientific.net/amm.128-129.702.
Повний текст джерелаMO, YUCHANG, and XINMIN YANG. "A NEW APPROACH TO VERIFY STATECHART SPECIFICATIONS FOR REACTIVE SYSTEMS." International Journal of Software Engineering and Knowledge Engineering 18, no. 06 (September 2008): 785–802. http://dx.doi.org/10.1142/s0218194008003908.
Повний текст джерелаTöbben, Johannes Reinhard, Martin Distelkamp, Britta Stöver, Saskia Reuschel, Lara Ahmann, and Christian Lutz. "Global Land Use Impacts of Bioeconomy: An Econometric Input–Output Approach." Sustainability 14, no. 4 (February 9, 2022): 1976. http://dx.doi.org/10.3390/su14041976.
Повний текст джерелаDeman, S. "Stability of Supply Coefficients and Consistency of Supply-Driven and Demand-Driven Input—Output Models." Environment and Planning A: Economy and Space 20, no. 6 (June 1988): 811–16. http://dx.doi.org/10.1068/a200811.
Повний текст джерелаTezak, Nikolas, Armand Niederberger, Dmitri S. Pavlichin, Gopal Sarma, and Hideo Mabuchi. "Specification of photonic circuits using quantum hardware description language." Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 370, no. 1979 (November 28, 2012): 5270–90. http://dx.doi.org/10.1098/rsta.2011.0526.
Повний текст джерелаÖren, Tuncer. "Coupling concepts for simulation: A systematic and comprehensive view and advantages with declarative models." International Journal of Modeling, Simulation, and Scientific Computing 05, no. 02 (February 25, 2014): 1430001. http://dx.doi.org/10.1142/s1793962314300015.
Повний текст джерелаGnatenko, Anton Romanovich, and Vladimir Anatolyevich Zakharov. "On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic." Modeling and Analysis of Information Systems 28, no. 4 (December 18, 2021): 356–71. http://dx.doi.org/10.18255/1818-1015-2021-4-356-371.
Повний текст джерелаPoison, Rudolph A., and C. Richard Shumway. "Structure of South Central Agricultural Production." Journal of Agricultural and Applied Economics 22, no. 2 (December 1990): 153–63. http://dx.doi.org/10.1017/s1074070800001905.
Повний текст джерелаHucka, Michael, Frank T. Bergmann, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Nicolas Le Novère, Chris J. Myers, et al. "Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model Definitions." Journal of Integrative Bioinformatics 12, no. 2 (June 1, 2015): 731–901. http://dx.doi.org/10.1515/jib-2015-271.
Повний текст джерелаЧастини книг з теми "Input-output specification model"
Hughes, Jack, and Dominic Orchard. "Resourceful Program Synthesis from Graded Linear Types." In Logic-Based Program Synthesis and Transformation, 151–70. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-68446-4_8.
Повний текст джерелаKohno, Hirotada, and Yoshiro Higano. "Optimal Allocation of the Public Funds to the Transportation Infrastructures Using the Interregional Input–Output Programming Model (Part II): Specification with Ten Regions, Ten Industries, and Nine Transport Modes." In New Frontiers in Regional Science: Asian Perspectives, 321–71. Tokyo: Springer Japan, 2022. http://dx.doi.org/10.1007/978-4-431-55221-5_6.
Повний текст джерелаKohno, Hirotada, and Yoshiro Higano. "Optimum Allocation of the Capital Funds to the Transportation Infrastructures Using the Interregional Input–Output Programming Model (Part I): Specification with Five Regions, Five Industries, and Three Transport Modes." In New Frontiers in Regional Science: Asian Perspectives, 137–311. Tokyo: Springer Japan, 2022. http://dx.doi.org/10.1007/978-4-431-55221-5_4.
Повний текст джерелаR J, Vijaya Saraswathi, Sukambika S, Wilcy Theresa F, Ishwarya M, and Srinithi T. "Modeling and Design of a Controller for a Dehumidifier." In Intelligent Systems and Computer Technology. IOS Press, 2020. http://dx.doi.org/10.3233/apc200129.
Повний текст джерелаGoldin, Dina, David Keil, and Peter Wegner. "An Interactive Viewpoint on the Role of UML." In Unified Modeling Language, 250–64. IGI Global, 2001. http://dx.doi.org/10.4018/978-1-930708-05-1.ch015.
Повний текст джерелаHvannberg, Ebba Thóra, Sigrún Gunnarsdóttir, and Gyda Atladóttir. "From User Inquiries to Specification." In Encyclopedia of Human Computer Interaction, 220–26. IGI Global, 2006. http://dx.doi.org/10.4018/978-1-59140-562-7.ch035.
Повний текст джерела"Input/output of simulation and specification of models." In Simulation in the Design of Digital Electronic Systems, 96–110. Cambridge University Press, 1993. http://dx.doi.org/10.1017/cbo9781139170376.006.
Повний текст джерелаBalsters, Herman. "Merging and Outsourcing Information Systems with UML." In IT Outsourcing, 2188–210. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-770-6.ch138.
Повний текст джерелаBalsters, Herman. "Merging and Outsourcing Information Systems with UML." In Global Information Technologies, 1021–43. IGI Global, 2008. http://dx.doi.org/10.4018/978-1-59904-939-7.ch078.
Повний текст джерелаFloudas, Christodoulos A. "Introduction." In Nonlinear and Mixed-Integer Optimization. Oxford University Press, 1995. http://dx.doi.org/10.1093/oso/9780195100563.003.0004.
Повний текст джерелаТези доповідей конференцій з теми "Input-output specification model"
Dai, Xudong, and Xuefen Ma. "Product Design Knowledge Model in Distributed Resource Environment." In ASME 2014 12th Biennial Conference on Engineering Systems Design and Analysis. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/esda2014-20352.
Повний текст джерелаSpringer, Scott L., and Rajit Gadh. "Haptic Feedback for Virtual Reality Computer Aided Design." In ASME 1997 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/imece1997-0001.
Повний текст джерелаWang, Nanxin, and Jie Cheng. "EMAT: An Engineering Methodology Application Tool." In ASME 1995 15th International Computers in Engineering Conference and the ASME 1995 9th Annual Engineering Database Symposium collocated with the ASME 1995 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1995. http://dx.doi.org/10.1115/cie1995-0730.
Повний текст джерелаMoradi, Hamed, and Majid Saffar-Avval. "Nonlinear Control of an Air Handling Unit Using Feedback Linearization." In ASME 2009 International Mechanical Engineering Congress and Exposition. ASMEDC, 2009. http://dx.doi.org/10.1115/imece2009-11535.
Повний текст джерелаJadhav, Sharad P., Rajan H. Chile, and Satish T. Hamde. "Modeling and Design of Fractional-Order IMC Based Controller for Power Plant Gas Turbine." In ASME 2015 Gas Turbine India Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/gtindia2015-1264.
Повний текст джерелаKrishnan, Girish, Charles Kim, and Sridhar Kota. "A Lumped-Model Based Building-Block Concatenation for a Conceptual Compliant Mechanism Synthesis." In ASME 2008 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/detc2008-49982.
Повний текст джерелаRoy, U., R. Sudarsan, R. D. Sriram, K. W. Lyons, and M. R. Duffey. "Information Architecture for Design Tolerancing: From Conceptual to the Detail Design." In ASME 1999 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/detc99/dac-8704.
Повний текст джерелаPourgol-Mohammad, Mohammad. "Uncertainty Propagation in Complex Codes Calculations." In 2013 21st International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/icone21-16570.
Повний текст джерелаYang, Dongzhe, Kourosh Danai, and David Kazmer. "A Knowledge-Based Tuning Method for Injection Molding Machines." In ASME 2000 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/imece2000-2326.
Повний текст джерелаPascoe, Jason, Yuksel Parlatan, B. McLaughlin, and Sophia Fung. "Application of Uncertainty Analysis in the Comparison of Void Fraction Calculations With Experiment." In ASME 2010 3rd Joint US-European Fluids Engineering Summer Meeting collocated with 8th International Conference on Nanochannels, Microchannels, and Minichannels. ASMEDC, 2010. http://dx.doi.org/10.1115/fedsm-icnmm2010-31027.
Повний текст джерелаЗвіти організацій з теми "Input-output specification model"
Sinclair, Samantha, and Sally Shoop. Automated detection of austere entry landing zones : a “GRAIL Tools” validation assessment. Engineer Research and Development Center (U.S.), August 2022. http://dx.doi.org/10.21079/11681/45265.
Повний текст джерела