LEADER 06341nam 22007215 450 001 996418293103316 005 20200903194257.0 010 $a3-030-57663-9 024 7 $a10.1007/978-3-030-57663-9 035 $a(CKB)4100000011384263 035 $a(DE-He213)978-3-030-57663-9 035 $a(MiAaPQ)EBC6297584 035 $a(PPN)250220547 035 $a(EXLCZ)994100000011384263 100 $a20200903d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFrontiers in Software Engineering Education$b[electronic resource] $eFirst International Workshop, FISEE 2019, Villebrumier, France, November 11?13, 2019, Invited Papers /$fedited by Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XI, 401 p. 96 illus., 65 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v12271 311 $a3-030-57662-0 327 $aCOURSE EXPERIENCE -- Teaching Formal Methods: An Experience Report -- A review of the structure of a course on Advanced Statistics for Data Scientists -- Reflection on Teaching Formal Approaches for Software Development in Higher Education -- Experience of mixed learning strategies in teaching Lean Software Development to third year undergraduate students -- Teaching Theoretical Computer Science at Innopolis University -- LESSONS LEARNT -- Teaching Software Testing to Industrial Practitioners using Distance and Web-Based Learning -- Towards code review guideline in a Classroom -- IT education in St. Petersburg State University -- Ten Unsafe Assumptions When Teaching Topics in Software Engineering -- CURRICULUM AND COURSE DESIGN.-Analysing the SWECOM standard for designing a DevOps education programme -- Teaching Logic, from a Conceptual Viewpoint -- On the Design of a New Software Engineering Curriculum in Computer Engineering -- Collaborative Modelling and Co-simulation in Engineering and Computing Curricula -- COMPETITIONS AND WORKSHOPS -- Designing Interactive Workshops for Software Engineering Educators -- Hackathons as a Part of Software Engineering Education: CASE in Tools Example -- Teaching E cient Recursive Programming and Recursion Elimination using Olympiads and Contests Problems -- EMPIRICAL STUDIES -- Experience in monitoring EEG signals during summer student internships -- A Study of Cooperative Thinking -- TOOLS AND AUTOMATION -- Analysis of Development Tool Usage in Software Engineering Classes -- Applying test-driven development for improved feedback and automation of grading in academic courses on software development -- GLOBALIZATION OF EDUCATION -- Internationalization Strategy of Innopolis University -- Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization -- TOOLS Workshop: ARTIFICIAL AND NATURAL TOOLS (ANT) -- Automated Cross-Language Integration Based on Formal Model of Components -- Scalable Thread-Modular Approach for Data Race Detection -- On the development of the compiler from C to the processor with FPGA accelerator. 330 $aThis book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France. The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems in teaching software engineering and are organized in the following sections: Course experience; lessons learnt; curriculum and course design; competitions and workshops; empirical studies, tools and automation; globalization of education; and learning by doing. The final part "TOOLS Workshop: Artificial and Natural Tools (ANT)" contains submissions presented at a different, but related, workshop run at Innopolis University (Russia) in the context of the TOOLS 2019 conference. FISEE 2019 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France. 410 0$aProgramming and Software Engineering ;$v12271 606 $aSoftware engineering 606 $aComputer programming 606 $aEducation?Data processing 606 $aComputer logic 606 $aDatabase management 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputers and Education$3https://scigraph.springernature.com/ontologies/product-market-codes/I24032 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aEducation?Data processing. 615 0$aComputer logic. 615 0$aDatabase management. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aComputers and Education. 615 24$aLogics and Meanings of Programs. 615 24$aDatabase Management. 676 $a005.1071 702 $aBruel$b Jean-Michel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCapozucca$b Alfredo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMazzara$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeyer$b Bertrand$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNaumchev$b Alexandr$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSadovykh$b Andrey$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418293103316 996 $aFrontiers in Software Engineering Education$91972606 997 $aUNISA LEADER 03129nam 2200409 450 001 9910647201503321 005 20230330205826.0 035 $a(CKB)5680000000300289 035 $a(NjHacI)995680000000300289 035 $a(EXLCZ)995680000000300289 100 $a20230330d2022 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aBiosignal processing /$fedited by Vahid Asadpour and Selcan Karakus? 210 1$aLondon :$cIntechOpen,$d[2022] 210 4$d©2022 215 $a1 online resource (308 pages) $cillustrations 225 1 $aBiomedical engineering 311 $a1-80355-561-0 311 $a1-80355-562-9 327 $a1. Characteristic Profiles of Heart Rate Variability in Depression and Anxiety 86 -- 2. Mathematical Morphology and the Heart Signals 79 -- 3. Applications of Quantum Mechanics, Laws of Classical Physics, and Differential Calculus to Evaluate Source Localization According to the Electroencephalogram 53 -- 4. Protecting Bioelectric Signals from Electromagnetic Interference in a Wireless World 49 -- 5. Non-Invasive Approach for Glucose Detection in Urine Quality Using Its Image Analysis 73 -- 6. Deep Learning Algorithms for Efficient Analysis of ECG Signals to Detect Heart Disorders 187 -- 7. EEG Authentication System Using Fuzzy Vault Scheme 114 -- 8. Automatic Noise Reduction in Ultrasonic Computed Tomography Image for Adult Bone Fracture Detection 24 -- 9. Soft Tissue Image Reconstruction Using Diffuse Optical Tomography 118 -- 10. Effective EEG Artifact Removal from EEG Signal 217 -- 11. Developmental Studies on Practical Enzymatic Phosphate Ion Biosensors and Microbial BOD Biosensors, and New Insights into the Future Perspectives of These Biosensor Fields 39 -- 12. Nanostructures in Biosensors: Development and Applications 54 -- 13. Biological Sensing Using Infrared SPR Devices Based on ZnO 36 -- 14. Development of Simple and Portable Surface Acoustic Wave Biosensors for Applications in Biology and Medicine 50 -- 15. Recent Advances in Biosensing in Tissue Engineering and Regenerative Medicine 177 -- 16. NanoBioSensors: From Electrochemical Sensors Improvement to Theranostic Applications 53. 330 $aBiosignal processing is an important tool in medicine. As such, this book presents a comprehensive overview of novel methods in biosignal theory, biosignal processing algorithms and applications, and biosignal sensors. Chapters examine biosignal processing for glucose detection, tissue engineering, electrocardiogram processing, soft tissue tomography, and much more. The book also discusses applications of artificial intelligence and machine learning for biosignal processing. 410 0$aIntechOpen book series.$pBiomedical engineering. 606 $aBiosensors 615 0$aBiosensors. 676 $a610.28 702 $aAsadpour$b Vahid 702 $aKarakus?$b Selcan 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910647201503321 996 $aBiosignal Processing$93014903 997 $aUNINA