LEADER 00614nam0 2200229 450 001 9910215960303321 005 20170913103726.0 100 $a20170913d1972----km y0itay50 ba 101 0 $aita 102 $aIT 105 $ay 001yy 200 1 $aCeramica nell'edilizia$fGiorgio Bonifacio 210 $aNapoli$c[s.n.]$d1972 215 $a70 p., [5] c.di tav. f.t.$d33 cm 700 1$aBonifacio,$bGiorgio$03086 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910215960303321 952 $aAA 254$b566$fDINED 959 $aDINED 996 $aCeramica nell'edilizia$91469980 997 $aUNINA LEADER 04198nam 2200697 a 450 001 9910437866903321 005 20200520144314.0 010 $a1-283-94496-0 010 $a3-642-34100-4 024 7 $a10.1007/978-3-642-34100-7 035 $a(CKB)2670000000317391 035 $a(EBL)1082771 035 $a(OCoLC)823388573 035 $a(SSID)ssj0000810703 035 $a(PQKBManifestationID)11437216 035 $a(PQKBTitleCode)TC0000810703 035 $a(PQKBWorkID)10833450 035 $a(PQKB)10993235 035 $a(DE-He213)978-3-642-34100-7 035 $a(MiAaPQ)EBC1082771 035 $a(PPN)168326140 035 $a(EXLCZ)992670000000317391 100 $a20121204d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aContinuous-time Markov jump linear systems /$fOswaldo L.V. Costa, Marcelo D. Fragoso, Marcos G. Todorov 205 $a1st ed. 2013. 210 $aNew York $cSpringer$d2013 215 $a1 online resource (294 p.) 225 1 $aProbability and its applications,$x1431-7028 300 $aDescription based upon print version of record. 311 $a3-642-43112-7 311 $a3-642-34099-7 320 $aIncludes bibliographical references and index. 327 $a1.Introduction -- 2.A Few Tools and Notations -- 3.Mean Square Stability -- 4.Quadratic Optimal Control with Complete Observations -- 5.H2 Optimal Control With Complete Observations -- 6.Quadratic and H2 Optimal Control with Partial Observations -- 7.Best Linear Filter with Unknown (x(t), ?(t)) -- 8.H_$infty$ Control -- 9.Design Techniques -- 10.Some Numerical Examples -- A. Coupled Differential and Algebraic Riccati Equations -- B. The Adjoint Operator and Some Auxiliary Results -- References. - Notation and Conventions -- Index. 330 $aIt has been widely recognized nowadays the importance of introducing mathematical models that take into account possible sudden changes in the dynamical behavior of  high-integrity systems or a safety-critical system. Such systems can be found in aircraft control, nuclear power stations, robotic manipulator systems, integrated communication networks and large-scale flexible structures for space stations, and are inherently vulnerable to abrupt changes in their structures caused by component or interconnection failures. In this regard, a particularly interesting class of models is the so-called Markov jump linear systems (MJLS), which have been used in numerous applications including robotics, economics and wireless communication. Combining probability and operator theory, the present volume provides a unified and rigorous treatment of recent results in control theory of continuous-time MJLS. This unique approach is of great interest to experts working in the field of linear systems with Markovian jump parameters or in stochastic control. The volume focuses on one of the few cases of stochastic control problems with an actual explicit solution and offers material well-suited to coursework, introducing students to an interesting and active research area. The book is addressed to researchers working in control and signal processing engineering. Prerequisites include a solid background in classical linear control theory, basic familiarity with continuous-time Markov chains and probability theory, and some elementary knowledge of operator theory. 410 0$aProbability and its applications (Springer-Verlag) 606 $aStochastic control theory 606 $aStochastic systems 606 $aLinear systems 606 $aControl theory 606 $aMarkov processes 615 0$aStochastic control theory. 615 0$aStochastic systems. 615 0$aLinear systems. 615 0$aControl theory. 615 0$aMarkov processes. 676 $a003.76 700 $aCosta$b Oswaldo L. V$01754553 701 $aFragoso$b Marcelo D$01754554 701 $aTodorov$b Marcos G$01754555 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910437866903321 996 $aContinuous-time Markov jump linear systems$94190984 997 $aUNINA LEADER 07511nam 22007095 450 001 9910767524703321 005 20250412135501.0 010 $a3-031-48639-0 024 7 $a10.1007/978-3-031-48639-5 035 $a(MiAaPQ)EBC30980179 035 $a(Au-PeEL)EBL30980179 035 $a(OCoLC)1412620035 035 $a(CKB)29128120500041 035 $a(DE-He213)978-3-031-48639-5 035 $a(EXLCZ)9929128120500041 100 $a20231130d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFrontiers in Software Engineering Education $eSecond International Workshop, FISEE 2023, Villebrumier, France, January 23?25, 2023, Invited Papers /$fedited by Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (120 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14387 311 08$aPrint version: Capozucca, Alfredo Frontiers in Software Engineering Education Cham : Springer,c2024 9783031486388 320 $aIncludes bibliographical references and index. 327 $aIntro -- Preface -- Organization -- Keynotes -- SING: Greatly Expanding Software Engineering Education -- Do Software Engineers Need to Know About Social Sciences and Humanities? -- Contents -- Specializations in Software Engineering Education -- 1 Background -- 1.1 Computer Science Education -- 1.2 The Origins of Software Engineering -- 1.3 Origins of Software Engineering Education -- 2 Modern Challenges in Software Engineering -- 2.1 The Internet Changes Everything -- 2.2 Mobile Applications Change Everything Again -- 2.3 The Internet of Things and "Smart" Devices Add to Complexity -- 2.4 Artificial Intelligence Changes Everything Yet Again -- 2.5 Changes in Software Engineering Processes and Tools -- 3 The Need for Specialization in Software Engineering Education -- 3.1 Specialization in Other Professions -- 3.2 Software Engineering Specialization -- 3.3 Possible Specialization Areas -- 4 Conclusion: Future Directions in Software Engineering Education -- References -- Co-design of Modern Technology Modules with Industry and Students as Partners -- 1 Introduction -- 2 Related Work -- 3 Our Approach -- 3.1 Access to Cloud Environments -- 3.2 Solution Design of the Private Cloud -- 3.3 Implementation Details of the Private Cloud -- 3.4 Iteration and Refinement -- 4 Cloud Computing Module -- 4.1 Assessment -- 5 Discussion -- 5.1 Student Experience and Evaluation -- 5.2 Industry Experience and Feedback -- 5.3 Academic Reflection -- 6 Conclusion and Future Work -- References -- Tribal Capstone Project Course -- 1 Introduction -- 2 High-Level View -- 3 Teaching Sequences -- 4 Further Considerations -- 5 Related Work -- 6 Conclusions -- References -- Analyzing Scrum Team Impediments Using NLP -- 1 Introduction -- 2 Background -- 2.1 Agile in the Classroom -- 2.2 AI and Software Engineering -- 3 Educational Context -- 3.1 Capstone Course. 327 $a3.2 Process and Tooling -- 4 Classifying Scrum Impediments -- 4.1 Scrum Impediments Dataset -- 4.2 Scrum Impediments Categories -- 4.3 Findings -- 5 Automated Classification of Impediments with NLP -- 5.1 Overall Classification Process -- 5.2 Building a LLM -- 6 Validation by Subject Matter Experts -- 6.1 Subject Matter Expert 1 -- 6.2 Subject Matter Expert 2 -- 7 Conclusion and Future Work -- References -- Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining -- 1 Introduction -- 2 Related Work -- 2.1 Process Mining in Education -- 2.2 Process Mining in Software Engineering -- 2.3 Process Mining in Software Engineering Education -- 3 Empirical Study -- 3.1 Datasets Description -- 3.2 Pre-processing -- 3.3 Process Mining Analysis with BupaR -- 3.4 Results -- 4 Discussion -- 4.1 Interpretation -- 4.2 Limits -- 4.3 Script: G4S-Automation -- 5 Conclusion -- A Description of the Datasets -- References -- Education to Agile: Fostering Team Awareness with Essence -- 1 Introduction -- 2 Literature Review -- 3 Extreme Development -- 3.1 Our Motivation -- 3.2 Fostering Extreme Development -- 4 The Role of Essence -- 4.1 Monitoring the Status of a Project -- 4.2 Retrospectives with Essence -- 4.3 Process Organization -- 5 Outcomes -- 6 Conclusions and Further Work -- References -- The Physical and Human Dimension of Communication in Distance Education -- 1 Introduction -- 2 Definitions and Theoretical Framework -- 2.1 Definitions -- 2.2 Collaborative Learning -- 3 The Proposed Approach -- 3.1 Overview -- 3.2 The Collaborative Distance Learning Meta-model -- 3.3 The Functional Architecture of the Learning Environment -- 4 Exploring Feasibility: Java Programming Lab Project -- 4.1 Instantiation of the Meta-model and the Functional Architecture -- 4.2 Results -- 5 Conclusion and Future Works -- References. 327 $aIs ChatGPT 3 Safe for Students? -- 1 Introduction -- 2 Experiment -- 3 Results -- 4 Limitations and Threats to Validity -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Author Index. 330 $aThis book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Château de Villebrumier, France, during January 23-25, 2023. The Editorial and the 8 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover the main topics of the workshop: education in technology and technology for education; new (and fearless) ideas on education; adjustments in teaching during pandemic: experience reports; models for class development; how to design learning objectives and outcomes; labs and practical sessions: how to conduct them; curriculum development; course design; quality course assessment; long-life studies in education; empirical research in SE education; experiences in starting-up new educational systems; blended education. FISEE 2023 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14387 606 $aSoftware engineering 606 $aComputer programming 606 $aEducation$xData processing 606 $aDatabase management 606 $aComputer science 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aComputers and Education 606 $aDatabase Management 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aEducation$xData processing. 615 0$aDatabase management. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aComputers and Education. 615 24$aDatabase Management. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.1071 702 $aCapozucca$b Alfredo 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767524703321 996 $aFrontiers in Software Engineering Education$91972606 997 $aUNINA