Search Results for Systems Analysis. - Narrowed by: Artificial intelligence.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bAnalysis.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ic$003dtrue$0026ps$003d300?dt=list2024-11-25T23:37:20ZHybrid Intelligent Systems Analysis and Designent://SD_ILS/0/SD_ILS:1845422024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-37421-3">http://dx.doi.org/10.1007/978-3-540-37421-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4840332024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995152024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systemsent://SD_ILS/0/SD_ILS:4869632024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Zelinka, Ivan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. (orcid)0000-0003-0901-5105 Chen, Guanrong. editor. Snasel, Vaclav. editor. Abraham, Ajith. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07401-6">https://doi.org/10.1007/978-3-319-07401-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Intelligent Analysis of Medical Data and Decision Support Systemsent://SD_ILS/0/SD_ILS:3326602024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Kountchev, Roumen. editor. Iantovics, Barna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332660.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00029-9">http://dx.doi.org/10.1007/978-3-319-00029-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nostradamus 2013: Prediction, Modeling and Analysis of Complex Systemsent://SD_ILS/0/SD_ILS:3327632024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Zelinka, Ivan. editor. Chen, Guanrong. editor. Rössler, Otto E. editor. Snasel, Vaclav. editor. Abraham, Ajith. editor.<br/>Preferred Shelf Number ONLINE(332763.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00542-3">http://dx.doi.org/10.1007/978-3-319-00542-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nostradamus: Modern Methods of Prediction, Modeling and Analysis of Nonlinear Systemsent://SD_ILS/0/SD_ILS:3336822024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Zelinka, Ivan. editor. Rössler, Otto E. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Corchado, Emilio S. editor.<br/>Preferred Shelf Number ONLINE(333682.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33227-2">http://dx.doi.org/10.1007/978-3-642-33227-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965262024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1961402024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27245-5">http://dx.doi.org/10.1007/978-3-642-27245-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941722024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918572024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamicsent://SD_ILS/0/SD_ILS:1926782024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Platzer, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14509-4">http://dx.doi.org/10.1007/978-3-642-14509-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stability Analysis of Fuzzy-Model-Based Control Systems Linear-Matrix-Inequality Approachent://SD_ILS/0/SD_ILS:1937272024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Lam, Hak-Keung. author. Leung, Frank Hung-Fat. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17844-3">http://dx.doi.org/10.1007/978-3-642-17844-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bio-inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognitionent://SD_ILS/0/SD_ILS:1909762024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Melin, Patricia. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04516-5">http://dx.doi.org/10.1007/978-3-642-04516-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systemsent://SD_ILS/0/SD_ILS:1888962024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87702-8">http://dx.doi.org/10.1007/978-3-540-87702-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design and Analysis of Learning Classifier Systems A Probabilistic Approachent://SD_ILS/0/SD_ILS:1885282024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Drugowitsch, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79866-8">http://dx.doi.org/10.1007/978-3-540-79866-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis and Design of Intelligent Systems using Soft Computing Techniquesent://SD_ILS/0/SD_ILS:1865392024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Melin, Patricia. editor. Castillo, Oscar. editor. Ramírez, Eduardo Gomez. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72432-2">http://dx.doi.org/10.1007/978-3-540-72432-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rule-Based Evolutionary Online Learning Systems A Principled Approach to LCS Analysis and Designent://SD_ILS/0/SD_ILS:1825572024-11-25T23:37:20Z2024-11-25T23:37:20ZAuthor Butz, Martin V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104669">http://dx.doi.org/10.1007/b104669</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>