{"title":"On Being a Computer Science Communicator","authors":"Sheldon H. Jacobson","doi":"10.1145/3588899","DOIUrl":"https://doi.org/10.1145/3588899","url":null,"abstract":"Facilitating more effective public engagement with a computer science perspective.","PeriodicalId":10594,"journal":{"name":"Communications of the ACM","volume":"46 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135567600","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"What's All the Fuss about Fuzzing? Technical Perspective","authors":"Gordon Fraser","doi":"10.1145/3617381","DOIUrl":"https://doi.org/10.1145/3617381","url":null,"abstract":"No abstract available.","PeriodicalId":10594,"journal":{"name":"Communications of the ACM","volume":"32 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135567811","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Neurodevelopmental assessment of children with congenital heart diseases using Trivandrum developmental screening chart.","authors":"Punam Uke, Sarika Bhimrao Gaikwad, Keerti Swarnkar, Varsha Lamture, Prashant Khartade","doi":"10.25259/JNRP_46_2023","DOIUrl":"10.25259/JNRP_46_2023","url":null,"abstract":"<p><strong>Objectives: </strong>Congenital heart diseases (CHDs) are one of the most important congenital anomalies in children which have high-risk for neurodevelopment delay. This study was conducted to determine the proportion of developmental delay in children with CHD and comparison of delay between acyanotic and cyanotic heart diseases in children.</p><p><strong>Materials and methods: </strong>A cross-sectional study was conducted on children admitted in pediatric ward of rural hospital from 6 month to 6 years of age who are diagnosed with CHD by 2D ECHO and further classified into acyanotic congenital heart disease (ACHD) and cyanotic congenital heart disease (CCHD). Neurodevelopmental assessment was done using Trivandrum development screening chart (TDSC).</p><p><strong>Results: </strong>Out of total 50 children in study population, 24 children had TDSC delay, distribution as 11 (22%) ACHD and 13 (26%) CCHD. Out of 24 children in the age group of 0-3 years, 13 (54.2%) were ACHD and 11 (45.8%) were CCHD. Out of 26 children in the age group of 3-6 years, 15 (57.7%) were ACHD and 11 (42.3%) were CCHD. Among different ACHD included in the study population (0-3 years) children with ventricular septal defect (VSD) were maximum (<i>n</i> = 5) next in the decreasing order was atrial septal defect (ASD) (<i>n</i> = 3). ACHD included in the study population (3-6 years) children with VSD was maximum (<i>n</i> = 6) next in the order was ASD (<i>n</i> = 4). Proportion of delay in children with ACHD was 22% as compared to 26% in children with CCHD.</p><p><strong>Conclusion: </strong>There is a high proportion of neurodevelopmental delay in children with CHD which can be detected using TDSC which is a simple screening tool and can be used by any health-care professional without training for the assessment of neurodevelopmental outcome in these children. Delay was more in children with CCHD than ACHD.</p>","PeriodicalId":10594,"journal":{"name":"Communications of the ACM","volume":"63 1","pages":"692-697"},"PeriodicalIF":1.4,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10696322/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82867877","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Haniel Barbosa, Clark Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar
{"title":"Generating and Exploiting Automated Reasoning Proof Certificates","authors":"Haniel Barbosa, Clark Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar","doi":"10.1145/3587692","DOIUrl":"https://doi.org/10.1145/3587692","url":null,"abstract":"Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.","PeriodicalId":10594,"journal":{"name":"Communications of the ACM","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136014872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Certification of Safety-Critical Systems","authors":"Nancy G. Leveson, John P. Thomas","doi":"10.1145/3615860","DOIUrl":"https://doi.org/10.1145/3615860","url":null,"abstract":"Seeking new approaches toward ensuring the safety of software-intensive systems.","PeriodicalId":10594,"journal":{"name":"Communications of the ACM","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136014903","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Madison C. Allen Kuyenga, Eleanor R. Glover Gladney, Michael Lachney, Marwin McKnight, Theodore S. Ransaw, Dominick Sanders, Aman Yadav
{"title":"Barbershop Computing","authors":"Madison C. Allen Kuyenga, Eleanor R. Glover Gladney, Michael Lachney, Marwin McKnight, Theodore S. Ransaw, Dominick Sanders, Aman Yadav","doi":"10.1145/3586990","DOIUrl":"https://doi.org/10.1145/3586990","url":null,"abstract":"Moving education beyond computer science pipelines.","PeriodicalId":10594,"journal":{"name":"Communications of the ACM","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136014905","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Controlling AI","authors":"Gary Marcus","doi":"10.1145/3613250","DOIUrl":"https://doi.org/10.1145/3613250","url":null,"abstract":"The Communications website, https://cacm.acm.org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish selected posts or excerpts. twitter Follow us on Twitter at http://twitter.com/blogCACM https://cacm.acm.org/blogs/blog-cacm Gary Marcus considers it appropriate that governments are stepping up on artificial intelligence, but finds some of the resulting signals deeply worrisome.","PeriodicalId":10594,"journal":{"name":"Communications of the ACM","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136014899","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Tidy Towers","authors":"Dennis Shasha","doi":"10.1145/3614559","DOIUrl":"https://doi.org/10.1145/3614559","url":null,"abstract":"A tale of two towers.","PeriodicalId":10594,"journal":{"name":"Communications of the ACM","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136014907","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Locating Everyday Objects Using NFC Textiles","authors":"Jingxian Wang, Junbo Zhang, Ke Li, Chengfeng Pan, Carmel Majidi, Swarun Kumar","doi":"10.1145/3615450","DOIUrl":"https://doi.org/10.1145/3615450","url":null,"abstract":"This paper builds a Near-Field Communication (NFC) based localization system that allows ordinary surfaces to locate surrounding objects with high accuracy in the near-field. While there is rich prior work on device-free localization using far-field wireless technologies, the near-field is less explored. Prior work in this space operates at extremely small ranges (a few centimeters), leading to designs that sense close proximity rather than location. We propose TextileSense, a near-field beamforming system that can track everyday objects made of conductive materials (for example, a human hand) even if they are a few tens of centimeters away. We use multiple flexible NFC coil antennas embedded in ordinary and irregularly shaped surfaces we interact with in smart environments---furniture, carpets, and so forth. We design and fabricate specialized textile coils woven into the fabric of the furniture and easily hidden by acrylic paint. We then develop a near-field blind beam-forming algorithm to efficiently detect surrounding objects, and use a data-driven approach to further infer their location. A detailed experimental evaluation of TextileSense shows an average accuracy of 3.5 cm in tracking the location of objects of interest within a few tens of centimeters from the furniture.","PeriodicalId":10594,"journal":{"name":"Communications of the ACM","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136015883","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Biomedical Digital Twins","authors":"Gregory Mone","doi":"10.1145/3613251","DOIUrl":"https://doi.org/10.1145/3613251","url":null,"abstract":"Considering the transformative possibilities of simulated models of biological phenomena and systems at multiple scales.","PeriodicalId":10594,"journal":{"name":"Communications of the ACM","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136015885","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}