Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Analysing Users' Interactions with Khan Academy Repositories / / by Sahar Yassine, Seifedine Kadry, Miguel-Ángel Sicilia
| Analysing Users' Interactions with Khan Academy Repositories / / by Sahar Yassine, Seifedine Kadry, Miguel-Ángel Sicilia |
| Autore | Yassine Sahar |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (98 pages) |
| Disciplina | 371.3344678 |
| Soggetto topico |
Education - Data processing
Educational technology Artificial intelligence - Data processing Computers and Education Digital Education and Educational Technology Data Science Ensenyament assistit per ordinador Internet en l'ensenyament Tecnologia educativa |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-89166-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction to Online Learning Repositories -- 2. Research Objectives -- 3. Literature Review -- 4. Methodology -- 5. Data acquisition -- 6. Assessing Online Learning Repository with Descriptive Statistical Analysis -- 7. Detecting Communities in Online Learning Repository -- 8. SNA Measures and Users’ Interactions -- 9. Conclusions -- 10. Future work. |
| Record Nr. | UNINA-9910510580003321 |
Yassine Sahar
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis of Experimental Algorithms [[electronic resource] ] : Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers / / edited by Ilias Kotsireas, Panos Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias, Arsenis Tsokas
| Analysis of Experimental Algorithms [[electronic resource] ] : Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers / / edited by Ilias Kotsireas, Panos Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias, Arsenis Tsokas |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 564 p. 462 illus., 125 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science—Mathematics Artificial intelligence—Data processing Artificial intelligence Computer graphics Mathematics of Computing Data Science Artificial Intelligence Computer Graphics |
| ISBN | 3-030-34029-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466423403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analysis of Experimental Algorithms : Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers / / edited by Ilias Kotsireas, Panos Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias, Arsenis Tsokas
| Analysis of Experimental Algorithms : Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers / / edited by Ilias Kotsireas, Panos Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias, Arsenis Tsokas |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 564 p. 462 illus., 125 illus. in color.) |
| Disciplina |
005.1
005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science—Mathematics Artificial intelligence—Data processing Artificial intelligence Computer graphics Mathematics of Computing Data Science Artificial Intelligence Computer Graphics |
| ISBN | 3-030-34029-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910357850303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and Theory of Petri Nets [[electronic resource] ] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / / edited by Serge Haddad, Lucia Pomello
| Application and Theory of Petri Nets [[electronic resource] ] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / / edited by Serge Haddad, Lucia Pomello |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XI, 419 p. 139 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science |
| ISBN | 3-642-31131-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465524903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 471 p. 995 illus., 73 illus. in color.) |
| Disciplina | 004.24015115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science Data Science Software Engineering Artificial Intelligence |
| ISBN | 3-030-21571-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions. |
| Record Nr. | UNISA-996466330303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar
| Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 471 p. 995 illus., 73 illus. in color.) |
| Disciplina |
004.24015115
511.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science Data Science Software Engineering Artificial Intelligence |
| ISBN | 3-030-21571-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions. |
| Record Nr. | UNINA-9910337846703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / / edited by Victor Khomenko, Olivier H. Roux
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / / edited by Victor Khomenko, Olivier H. Roux |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XI, 427 p. 124 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence—Data processing Algorithms Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Data Science Discrete Mathematics in Computer Science |
| ISBN | 3-319-91268-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Petri Nets Synthesis -- Analysis and Model Checking -- Languages -- Semantics and Expressiveness -- Tools. |
| Record Nr. | UNISA-996465825003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / / edited by Victor Khomenko, Olivier H. Roux
| Application and Theory of Petri Nets and Concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / / edited by Victor Khomenko, Olivier H. Roux |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XI, 427 p. 124 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence—Data processing Algorithms Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Data Science Discrete Mathematics in Computer Science |
| ISBN | 3-319-91268-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Petri Nets Synthesis -- Analysis and Model Checking -- Languages -- Semantics and Expressiveness -- Tools. |
| Record Nr. | UNINA-9910349429703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 411 p. 166 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Compilers (Computer programs) Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science Compilers and Interpreters |
| ISBN | 3-642-38697-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
| Record Nr. | UNISA-996465839703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel
| Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 411 p. 166 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Compilers (Computer programs) Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science Compilers and Interpreters |
| ISBN | 3-642-38697-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
| Record Nr. | UNINA-9910483208403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
