Academic literature on the topic 'CSL-model'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'CSL-model.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "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.
Full textSpieler, 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.
Full textPiscicchia, 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.
Full textBuckberry, 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.
Full textDonatelli, 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.
Full textAmparore, 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.
Full textKITANO, 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.
Full textBlom, 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.
Full textGao, 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.
Full textHoseini, 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.
Full textBook chapters on the topic "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.
Full textD’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.
Full textKwiatkowska, 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.
Full textSchwarick, 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.
Full textZhao, 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.
Full textGao, 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.
Full textJohnson, 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.
Full textJohnson, 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.
Full textCheng, 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.
Full textJohnson, 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.
Full textConference papers on the topic "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.
Full text"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.
Full textElvio 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.
Full textAlfonso 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.
Full text"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.
Full textSheshasaayee, 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.
Full textLi, 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.
Full textHamza, 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.
Full textDu, 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.
Full textAsadi, 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.
Full text