Добірка наукової літератури з теми "CSL-model"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "CSL-model".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "CSL-model"
Remke, Anne, Boudewijn R. Haverkort, and Lucia Cloth. "CSL model checking algorithms for QBDs." Theoretical Computer Science 382, no. 1 (August 2007): 24–41. http://dx.doi.org/10.1016/j.tcs.2007.05.007.
Повний текст джерелаSpieler, David, Ernst Moritz Hahn, and Lijun Zhang. "Model Checking CSL for Markov Population Models." Electronic Proceedings in Theoretical Computer Science 154 (June 6, 2014): 93–107. http://dx.doi.org/10.4204/eptcs.154.7.
Повний текст джерелаPiscicchia, Kristian, Angelo Bassi, Catalina Curceanu, Raffaele Grande, Sandro Donadi, Beatrix Hiesmayr, and Andreas Pichler. "CSL Collapse Model Mapped with the Spontaneous Radiation." Entropy 19, no. 7 (June 29, 2017): 319. http://dx.doi.org/10.3390/e19070319.
Повний текст джерелаBuckberry, Lorraine D., Ian S. Blagbrough, Barrie W. Bycroft, and P. Nicholas Shaw. "Bovine Pulmonary, Hepatic and Renal Tissues: Models for the Study of Mammalian C-S Lyase Enzymes." Alternatives to Laboratory Animals 21, no. 3 (July 1993): 360–70. http://dx.doi.org/10.1177/026119299302100306.
Повний текст джерелаDonatelli, S., S. Haddad, and J. Sproston. "Model Checking Timed and Stochastic Properties with CSL^{TA}." IEEE Transactions on Software Engineering 35, no. 2 (March 2009): 224–40. http://dx.doi.org/10.1109/tse.2008.108.
Повний текст джерелаAmparore, E. G., and S. Donatelli. "Efficient model checking of the stochastic logic CSL TA." Performance Evaluation 123-124 (July 2018): 1–34. http://dx.doi.org/10.1016/j.peva.2018.03.002.
Повний текст джерелаKITANO, Y., M. TAKATA, and Y. KOMURA. "EXTENDED CSL-MODEL FOR GRAIN BOUNDARY IN LAYER STRUCTURES." Le Journal de Physique Colloques 49, no. C5 (October 1988): C5–207—C5–212. http://dx.doi.org/10.1051/jphyscol:1988521.
Повний текст джерелаBlom, Stefan, Boudewijn R. Haverkort, Matthias Kuntz, and Jaco van de Pol. "Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking." Electronic Notes in Theoretical Computer Science 220, no. 2 (December 2008): 35–50. http://dx.doi.org/10.1016/j.entcs.2008.11.012.
Повний текст джерелаGao, Yang, Ming Xu, Naijun Zhan, and Lijun Zhang. "Model checking conditional CSL for continuous-time Markov chains." Information Processing Letters 113, no. 1-2 (January 2013): 44–50. http://dx.doi.org/10.1016/j.ipl.2012.09.009.
Повний текст джерелаHoseini, S. Mahya, and Mohsen Soltanpour. "LONG-TERM PREDICTION OF CASPIAN SEA LEVEL UNDER CMIP6 SCENARIOS USING ARTIFICIAL NEURAL NETWORKS." Coastal Engineering Proceedings, no. 36v (December 31, 2020): 5. http://dx.doi.org/10.9753/icce.v36v.papers.5.
Повний текст джерелаЧастини книг з теми "CSL-model"
Zhang, Lijun, David N. Jansen, Flemming Nielson, and Holger Hermanns. "Automata-Based CSL Model Checking." In Automata, Languages and Programming, 271–82. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22012-8_21.
Повний текст джерелаD’Aprile, Davide, Susanna Donatelli, and Jeremy Sproston. "CSL Model Checking for the GreatSPN Tool." In Lecture Notes in Computer Science, 543–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30182-0_55.
Повний текст джерелаKwiatkowska, Marta, Gethin Norman, and António Pacheco. "Model Checking CSL until Formulae with Random Time Bounds." In Lecture Notes in Computer Science, 152–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45605-8_10.
Повний текст джерелаSchwarick, Martin, and Monika Heiner. "CSL Model Checking of Biochemical Networks with Interval Decision Diagrams." In Computational Methods in Systems Biology, 296–312. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03845-7_20.
Повний текст джерелаZhao, Yang, and Gianfranco Ciardo. "Tackling Truncation Errors in CSL Model Checking through Bounding Semantics." In Computer Performance Engineering, 58–73. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40725-3_6.
Повний текст джерелаGao, Yang, Ernst Moritz Hahn, Naijun Zhan, and Lijun Zhang. "CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains." In Automated Technology for Verification and Analysis, 464–68. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-02444-8_36.
Повний текст джерелаJohnson, Annette, Cassandra McKay-Jackson, and Giesela Grumbach. "Logic Model Development to Aid Project Planning." In Critical Service Learning Toolkit. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190858728.003.0011.
Повний текст джерелаJohnson, Annette, Cassandra McKay-Jackson, and Giesela Grumbach. "The Nuts and Bolts of Critical Service Learning Theoretical Foundations." In Critical Service Learning Toolkit. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190858728.003.0006.
Повний текст джерелаCheng, Hsiu-Jen. "A TL-TPACK Model on CSL Pre-Service Teachers' Competencies of Online Instruction." In Preparing Foreign Language Teachers for Next-Generation Education, 198–225. IGI Global, 2017. http://dx.doi.org/10.4018/978-1-5225-0483-2.ch011.
Повний текст джерелаJohnson, Annette, Cassandra McKay-Jackson, and Giesela Grumbach. "Essential Elements for Promoting Student Voice: An Expanded Framework for Critical Service Learning." In Critical Service Learning Toolkit. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190858728.003.0007.
Повний текст джерелаТези доповідей конференцій з теми "CSL-model"
Sproston, J., and S. Donatelli. "Backward stochastic bisimulation in CSL model checking." In First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. IEEE, 2004. http://dx.doi.org/10.1109/qest.2004.1348036.
Повний текст джерела"CSL Model Checking for Generalized Stochastic Petri Nets." In Third International Conference on the Quantitative Evaluation of Systems - (QEST'06). IEEE, 2006. http://dx.doi.org/10.1109/qest.2006.13.
Повний текст джерелаElvio Gilberto Amparore and Susanna Donatelli. "Model checking CSLTA with Deterministic and Stochastic Petri Nets." In Networks (DSN). IEEE, 2010. http://dx.doi.org/10.1109/dsn.2010.5544425.
Повний текст джерелаAlfonso Hoyos, Nyky Joel, Juan Pablo Navarro Cabiativa, and Andres Eduardo Gaona Barrera. "Sign identification model of the Colombian Sign Language (CSL) alphabet based on Computational Intelligence." In 2022 IEEE Colombian Conference on Applications of Computational Intelligence (ColCACI). IEEE, 2022. http://dx.doi.org/10.1109/colcaci56938.2022.9905253.
Повний текст джерела"MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets." In Third International Conference on the Quantitative Evaluation of Systems - (QEST'06). IEEE, 2006. http://dx.doi.org/10.1109/qest.2006.29.
Повний текст джерелаSheshasaayee, Ananthi, and Swetha Margaret T A. "A theoretical model to improve capability in CSL for multi-tier applications in SaaS environment." In 2015 International Conference on Green Computing and Internet of Things (ICGCIoT). IEEE, 2015. http://dx.doi.org/10.1109/icgciot.2015.7380495.
Повний текст джерелаLi, Hsuan. "The Designing of CSL Teacher Empowering Training Model of Robot-Assisted Language Learning based on the TPACK Framework." In 2021 International Conference on Advanced Learning Technologies (ICALT). IEEE, 2021. http://dx.doi.org/10.1109/icalt52272.2021.00089.
Повний текст джерелаHamza, Mohamed, Tarek M. Hatem, Dierk Raabe, and Jaafar A. El-Awady. "Hydrogen Diffusion and Segregation in Alpha Iron ∑ 3 (111) Grain Boundaries." In ASME 2015 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/imece2015-53118.
Повний текст джерелаDu, Yu, Yongkang Wong, Wenguang Jin, Wentao Wei, Yu Hu, Mohan Kankanhalli, and Weidong Geng. "Semi-Supervised Learning for Surface EMG-based Gesture Recognition." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/225.
Повний текст джерелаAsadi, Sadegh, and Abbas Khaksar. "Analytical and Numerical Sand Production Prediction Calibrated with Field Data, Example from High-Rate Gas Wells." In SPE Asia Pacific Oil & Gas Conference and Exhibition. SPE, 2022. http://dx.doi.org/10.2118/210776-ms.
Повний текст джерела