LEADER 03904nam 22007695 450 001 996465598003316 005 20210830191441.0 010 $a3-319-48989-5 024 7 $a10.1007/978-3-319-48989-6 035 $a(CKB)3710000000981099 035 $a(DE-He213)978-3-319-48989-6 035 $a(MiAaPQ)EBC6306555 035 $a(MiAaPQ)EBC5592111 035 $a(Au-PeEL)EBL5592111 035 $a(OCoLC)1066194149 035 $a(PPN)197137040 035 $a(EXLCZ)993710000000981099 100 $a20161107d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFM 2016: Formal Methods$b[electronic resource] $e21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /$fedited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XXIII, 789 p. 204 illus.) 225 1 $aProgramming and Software Engineering ;$v9995 311 $a3-319-48988-7 320 $aIncludes bibliographical references and index. 327 $aInterdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role of formal methods in software and systems engineering -- Theoretical foundations. 330 $aThis book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations. 410 0$aProgramming and Software Engineering ;$v9995 606 $aSoftware engineering 606 $aMathematical logic 606 $aComputer logic 606 $aManagement information systems 606 $aComputer science 606 $aComputers 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aComputers. 615 14$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aManagement of Computing and Information Systems. 615 24$aComputation by Abstract Devices. 676 $a004.0151 702 $aFitzgerald$b John$f1965-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHeitmeyer$b Constance$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGnesi$b Stefania$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPhilippou$b Anna$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465598003316 996 $aFM 2016: Formal Methods$92830480 997 $aUNISA LEADER 05468nam 22006255 450 001 9911047820703321 005 20250817130203.0 010 $a3-031-95540-4 024 7 $a10.1007/978-3-031-95540-2 035 $a(MiAaPQ)EBC32263926 035 $a(Au-PeEL)EBL32263926 035 $a(CKB)40376464400041 035 $a(DE-He213)978-3-031-95540-2 035 $a(EXLCZ)9940376464400041 100 $a20250817d2026 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvanced Computing Techniques in Engineering and Technology $eSecond International Conference, ACTET 2025, Jaipur, India, February 12?13, 2025, Proceedings /$fedited by Ramesh C. Bansal, Vladan Devedzic, Richi Nayak, Basant Agarwal, Ankush Tandon, Pooja Jain 205 $a1st ed. 2026. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026. 215 $a1 online resource (489 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v2543 311 08$a3-031-95539-0 327 $a -- TrendPulse: an AI Powered Content Reach Optimizer Model. -- Design and Analysis of Advance DGS Pi-Slotted Microstrip Patch Antenna for 5G Applications. -- Broadband and High Gain Annular Ring Microstrip Antenna for Satellite Applications. -- Improving the performance of a Quarter Vehicle Model with a Complex Lead Compensator. -- Optimizing Loan Approval Processes Using Machine Learning Algorithms. -- VLM in Remote Sensing: A Comprehensive Review. -- Comparative analysis of object storage clients for Julea framework: AWS vs. MINIO. -- Automatic Detection of Fake News using Machine Learning Models. -- PICSLEUTH: Deep Fake Detection with Machine Learning Models. -- Tracking of Motion-based Human Detection through ByteTracker Method. -- Assessing the Energy Efficiency and Environmental Impact of Solar Water Heating Systems in Residential Buildings. -- Use of Hand-Held Echocardiography (HHE) devices for the screening of heart diseases. -- Dual-Analysis Model for Early Detection of Stress Using EEG Data: Enhancing Health Outcomes Through Machine Learning. -- Attention Mechanisms in Text Recognition: Exploring the Role of Attention Modules in Improving Text Localization and Recognition Performance. -- JARVIS: A customizable voice assistant leveraging NLP for enhanced productivity and user interaction. -- TEXT FUSION+:Advanced integrated image-to-speech and text analysis systems for enhanced accessibility and interactive learning. -- Early Diabetes Detection using Random Forest Classifier based on Machine Learning. -- Evaluating Vegetation Indices for Crop Monitoring using Multispectral Satellite Imagery. -- Integrating AI with eDNA for marine biodiversity monitoring. -- Comparative Analysis of Software Development Models: Evaluating Effectiveness Across the SDLC. -- Performance Optimization of Plasmonic Sensor using Machine Learning and Generative Adversial Networks. -- Smart Grid Integration: Comparing AMR, DR, and ESS Techniques for Safety, Efficiency, and Cost-Effective Adoption. -- Optimal Bidding Startegy for Generation Companies in Deregulated Electricity Market Environment. -- Next-Generation collaborative Web Editor for Seamless Remote Teamwork: Enhancing Communication, Creativity, and Productivity. -- GVSM and CVI For Voltage Stability Assessment. -- Voyage Sphere: A Comprehensive Web-Based Tour Management Platform for Seamless Travel Experiences. -- Preprocessing Techniques for Heart Disease Prediction using Machine Learning. -- Docker-based Virtualization for Cyber-Physical Systems: A Comparative Analysis. -- Artificial intelligence techniques for short term load forecasting in Microgrids. -- Battery Swapping Station Design Based Genetic Algorithm and Particle Swarm Optimization. 330 $aThis volume constitutes the proceedings of 2nd International Conference on Advanced Computing Techniques in Engineering & Technology, ACTET 2025, in Jaipur, India, during February 12?13, 2025. The 30 full papers presented in this volume were carefully reviewed and selected from 106 submissions. They focus on all aspects of distributed computing, machine learning, optimization algorithms, and interdisciplinary applications of computing technologies. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v2543 606 $aArtificial intelligence 606 $aApplication software 606 $aArtificial intelligence$xData processing 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 606 $aData Science 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aArtificial intelligence$xData processing. 615 14$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 615 24$aData Science. 676 $a620.00285 700 $aBansal$b Ramesh C$01265887 701 $aDevedzic$b Vladan$01373189 701 $aNayak$b Richi$01361180 701 $aAgarwal$b Basant$01062677 701 $aTandon$b Ankush$01862391 701 $aJain$b Pooja$01862392 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911047820703321 996 $aAdvanced Computing Techniques in Engineering and Technology$94468641 997 $aUNINA