A two-phase metaheuristic approach for the parcel locker location problem: First select then merge - Erick Rodríguez-Esparza; Emmanouil Kampitakis; Antonio D. Masegosa; Enrique Onieva; Eleni I. Vlahogianni (8th International Conference on Models and Technologies for Intelligent Transportation Systems, MT-ITS 2023, Nice, France, June 14-16, 2023, 2023)

First Responders' Take on Technology: A Deep Dive into Mobile and AR Interface Preferences - Fatih Oztank; David De La Fuente Escobar; Selim Balcisoy (Proceedings of the 22nd International Conference on Mobile and Ubiquitous Multimedia, MUM 2023, Vienna, Austria, December 3-6, 2023, 2023)

Predictive LSB-First Successive Approximation for SAR Analog-to-Digital Converters - Jiayi Chen; Xiaoming Liu; Chao Yang; Jing Jin; Zhongyuan Chang; Jianjun Zhou (66th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2023, Tempe, AZ, USA, August 6-9, 2023, 2023)

Integrity First, Service Before Self, and Excellence: Core Values of US Air Force Naturally Follow from Decision Theory - Martine Ceberio; Olga Kosheleva; Vladik Kreinovich (Fuzzy Information Processing 2023 - Proceedings of the 2023 Annual Conference of the North American Fuzzy Information Processing Society, NAFIPS 2023, and at the related Workshop on Constraint Programming and Decision Making CoProD 2023, Cincinnati, OH, USA, May 31 - June 2, 2023, 2023)

Salinity and Droplets: First Realization of Microfluidic Multiplexing - Medina Hamidovic; Stefan Angerbauer; Andreas Springer; Werner Haselmayr (Proceedings of the 10th ACM International Conference on Nanoscale Computing and Communication, NANOCOM 2023, Coventry, United Kingdom, September 20-22, 2023, 2023)

Automating visual feedback in H-reflex operant conditioning studies: Feasibility and first steps - John McLinden; Darren E. Gemoets; Daniel Hahn; Jodi Brangaccio; Yalda Shahriari; Jonathan R. Wolpaw; James J. S. Norton (11th International IEEE/EMBS Conference on Neural Engineering, NER 2023, Baltimore, MD, USA, April 24-27, 2023, 2023)

First Demonstration of Nociceptive and Non-Nociceptive Responses from Spinal Neurons in a Porcine Model - Suzan Meijs; Carsten Reidies Bjarkam; Felipe Rettore Andreis; Winnie Jensen (11th International IEEE/EMBS Conference on Neural Engineering, NER 2023, Baltimore, MD, USA, April 24-27, 2023, 2023)

Cutting Onions With Others' Hands: A First Measurement of Tor Proxies in the Wild - Dongqi Han; Shangdong Wang; Zhize He; Zhiliang Wang; Wenqi Chen; Chenglong Li; Jiahai Yang; Xingang Shi; Xia Yin (IFIP Networking Conference, IFIP Networking 2023, Barcelona, Spain, June 12-15, 2023, 2023)

A Beam Steerable Speaker Tracking-based First-order Differential Microphone Array - Ali Sarafnia; M. Omair Ahmad; M. N. S. Swamy (21st IEEE Interregional NEWCAS Conference, NEWCAS 2023, Edinburgh, United Kingdom, June 26-28, 2023, 2023)

Automated Evaluation of Karate Practitioners' Style during the First Kata Performance using Deep Learning and Pose Estimation - Khaled Mostafa; Mohamed Hany; Ayman Atia (5th Novel Intelligent and Leading Emerging Sciences Conference, NILES 2023, Giza, Egypt, October 21-23, 2023, 2023)

First Order Methods with Markovian Noise: from Acceleration to Variational Inequalities - Aleksandr Beznosikov; Sergey Samsonov; Marina Sheshukova; Alexander V. Gasnikov; Alexey Naumov; Eric Moulines (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

First Order Stochastic Optimization with Oblivious Noise - Ilias Diakonikolas; Sushrut Karmalkar; Jongho Park; Christos Tzamos (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

Towards Characterizing the First-order Query Complexity of Learning (Approximate) Nash Equilibria in Zero-sum Matrix Games - Hédi Hadiji; Sarah Sachs; Tim van Erven; Wouter M. Koolen (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

Convergence analysis of ODE models for accelerated first-order methods via positive semidefinite kernels - Jungbin Kim; Insoon Yang (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

SLM: A Smoothed First-Order Lagrangian Method for Structured Constrained Nonconvex Optimization - Songtao Lu (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

First- and Second-Order Bounds for Adversarial Linear Contextual Bandits - Julia Olkhovskaya; Jack J. Mayo; Tim van Erven; Gergely Neu; Chen-Yu Wei (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

Adaptive Privacy Composition for Accuracy-first Mechanisms - Ryan M. Rogers; Gennady Samorodnitsky; Zhiwei Steven Wu; Aaditya Ramdas (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

Compositional Generalization from First Principles - Thaddäus Wiedemer; Prasanna Mayilvahanan; Matthias Bethge; Wieland Brendel (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

Curriculum Learning for Graph Neural Networks: Which Edges Should We Learn First - Zheng Zhang; Junxiang Wang; Liang Zhao (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

Multi-Agent First Order Constrained Optimization in Policy Space - Youpeng Zhao; Yaodong Yang; Zhenbo Lu; Wengang Zhou; Houqiang Li (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

A First Experimental Study of Fixed-Point Approximate Arithmetic in Recursive Lattice Filters - Peter Koch; Yannick Le Moullec (IEEE Nordic Circuits and Systems Conference, NorCAS 2023, Aalborg, Denmark, October 31 - Nov. 1, 2023, 2023)

Latency-Aware 360-Degree Video Analytics Framework for First Responders Situational Awareness - Jiaxi Li; Jingwei Liao; Bo Chen; Anh Nguyen; Aditi Tiwari; Qian Zhou; Zhisheng Yan; Klara Nahrstedt (Proceedings of the 33rd Workshop on Network and Operating System Support for Digital Audio and Video, NOSSDAV 2023, Vancouver, BC, Canada, June 7-10, 2023, 2023)

First Demonstration of Erbium-Doped Waveguide Amplifier Enabled Multi-Tb/s (16 exttimes1.6T) Coherent Transmission - Di Che; Stefano Grillanda; Yang Liu; Zheru Qiu; Xinru Ji; Gregory Raybon; Xi Chen; Kwangwoong Kim; Tobias J. Kippenberg; Andrea Blanco Redondo (Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, 2023)

Partial MIMO-based Mode Division Multiplexing Transmission over the First Field-Deployed 15-Mode Fiber in Metro Scenario - Alberto Gatto; Paola Parolari; Ruben S. Luis; Georg Rademacher; Benjamin J. Puttnam; Robert Emmerich; Colja Schubert; Giuseppe Ferri; Frank Achten; Pierre Sillard; Paolo Martelli; Giammarco Di Sciullo; et al. (Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, 2023)

First Monolithically-Integrated Silicon CMOS Coherent Optical Receiver - Ghazal Movaghar; Viviana Arrunategui; Aaron Maharry; Evan D. Chansky; Junqian Liu; Hector Andrade; Clint Schow; James F. Buckwalter (Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, 2023)

First Demonstration of 512-Color Shift Keying Signal Demodulation Using Neural Equalization for Optical Camera Communication - Yukito Onodera; Daisuke Hisano; Kazuki Maruta; Yu Nakayama (Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, 2023)

First 100 Gb/s monolithically integrated electronic-photonic coherent receiver with direct edge coupling to standard single mode fiber array - Ahmed Osman; Georg Winzer; Christian Mai; Anna Peczek; Karsten Voigt; W. Dorward; Stefan Lischke; Mesut Inac; Andrea Malignaggi; Lars Zimmermann; Ilias Sourikopoulos; Leontios Stampoulidis (Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, 2023)

First Demonstration of MWDM-Based 400G-LR4 over 10-km SSMF Supporting 400GE and OTN Dual Rates - Dong Wang; Mingqing Zuo; Wei Zhang; Tao Lin; Jiang Sun; Tao Gui; Wupin Zhang; Dawei Ge; Chendi Jiang; Chenggang Liu; Yunbo Li; Changsheng Li; et al. (Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, 2023)

First Real-time Demonstration of 200G TFDMA Coherent PON using Ultra-simple ONUs - Zhenping Xing; Kuo Zhang; Xi Chen; Qiguang Feng; Keshuang Zheng; Yijia Zhao; Zhen Dong; Ji Zhou; Tao Gui; Zhicheng Ye; Liangchuan Li (Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, 2023)

First Field Trial of FTTR Based on Native Management and Control Architecture for 5G Small Cell Backhaul - Jinglong Zhu; Junwei Li; Nannan Zhang; Ning Wang; Dechao Zhang; Han Li; Xiaodong Duan; Xuming Wu; Lirong Bai (Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, 2023)

First Demonstration of MANTRA IPoWDM Convergent SDN Architecture using SONiC White Box and 400ZR/ZR+ Pluggables - Roberto Morro; Emilio Riccardi; Davide Scano; Andrea Sgambelluri; Piero Castoldi; Filippo Cugini; Alessio Giorgetti (International Conference on Optical Network Design and Modeling, ONDM 2023, Coimbra, Portugal, May 8-11, 2023, 2023)

A shared responsibility model to support cross border and cross organizational federation on top of decentralized and self-sovereign identity: Architecture and first PoC - Michael Kubach; Isaac Henderson; Bithin Alangot; Theo Dimitrakos; Juan Vargas; Matthias Winterstetter; Ioannis Krontiris (Open Identity Summit 2023, Heilbronn, Germany, June 15-16, 2023, 2023)

A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo (Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023, 2023)

A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data - Guido Sciavicco (Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023, 2023)

First Do No Harm: Cultural and Ethical Impacts of User Studies - Jadon Miller; Mitchell A. Head; Mahonri W. Owen; Merel Cornelie Janna Hoskens; Jemma L. König; Judy Bowen (Proceedings of the 35th Australian Computer-Human Interaction Conference, OzCHI 2023, Wellington, New Zealand, December 2-6, 2023, 2023)

Can Gamification Help to Unlock the Full Potential of Preventive Returns Management Measures in E-Commerce? - A First Empirical Analysis - Caterina Rauh; Björn Asdecker (27th Pacific Asia Conference on Information Systems, PACIS 2023, Nanchang, China, July 9-12, 2023, 2023)

A First Look at Third-Party Service Dependencies of Web Services in Africa - Aqsa Kashaf; Jiachen Dou; Margarita Belova; Maria Apostolaki; Yuvraj Agarwal; Vyas Sekar (Passive and Active Measurement - 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings, 2023)

A First Look at Brand Indicators for Message Identification (BIMI) - Masanori Yajima; Daiki Chiba; Yoshiro Yoneya; Tatsuya Mori (Passive and Active Measurement - 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings, 2023)

GR-UMUX and GR-UMUX-LITE: A First Step Towards Standardization of the Usability Metric for User Experience and its LITE Version in Greek - Christos Katsanos; Georgios Melissourgos; Nikolaos K. Tselios (Proceedings of the 27th Pan-Hellenic Conference on Progress in Computing and Informatics, PCI 2023, Lamia, Greece, November 24-26, 2023, 2023)

A Deployment-First Methodology to Mechanism Design and Refinement in Distributed Systems - Martijn de Vos; Georgy Ishmaev; Johan Pouwelse; Stefanie Roos (IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2023, Atlanta, GA, USA, March 13-17, 2023, 2023)

Would You Help Me Voluntarily for the Next Two Years? Evaluating Psychological Persuasion Techniques in Human-Robot Interaction; First results of an empirical investigation of the door-in-the-face technique in human-robot interaction - Sebastian Thomas Büttner; Jan Christoph Gutzmann; Cora Maria Sourkounis; Shirin Shams; Michael Prilla (18th International Conference on Persuasive Technology, Adjunct Proceedings co-located with PERSUASIVE 2023, Eindhoven University of Technology, Eindhoven, The Netherlands, April 19th - 21st, 2023, 2023)

First Study to Enhance Self-Determination Theory by Utilizing Social Justification - Yukitoshi Kashimoto; Cao Lian; Yudai Yamazaki; Daisuke Kamisaka (18th International Conference on Persuasive Technology, Adjunct Proceedings co-located with PERSUASIVE 2023, Eindhoven University of Technology, Eindhoven, The Netherlands, April 19th - 21st, 2023, 2023)

\(χ\)iplot: Web-First Visualisation Platform for Multidimensional Data - Akihiro Tanaka; Juniper Tyree; Anton Björklund; Jarmo Mäkelä; Kai Puolamäki (Machine Learning and Knowledge Discovery in Databases: Applied Data Science and Demo Track - European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part VII, 2023)

Brief Announcement: Efficient Collaborative Tree Exploration with Breadth-First Depth-Next - Romain Cosson; Laurent Massoulié; Laurent Viennot (Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, PODC 2023, Orlando, FL, USA, June 19-23, 2023, 2023)

My Space, Our Space, Their Space: A First Glance at Developers' Experience of Spaces - Luke Church; Emma Söderberg; Martin Höst (Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, 2023)

VideoRecSys 2023: First Workshop on Large-Scale Video Recommender Systems - Khushhall Chandra Mahajan; Amey Porobo Dharwadker; Saurabh Gupta; Brad Schumitsch (Proceedings of the 17th ACM Conference on Recommender Systems, RecSys 2023, Singapore, Singapore, September 18-22, 2023, 2023)

NORMalize: The First Workshop on Normative Design and Evaluation of Recommender Systems - Sanne Vrijenhoek; Lien Michiels; Johannes Kruse; Alain Starke; Nava Tintarev; Jordi Viader Guerrero (Proceedings of the 17th ACM Conference on Recommender Systems, RecSys 2023, Singapore, Singapore, September 18-22, 2023, 2023)

Preface: First Workshop on Requirements Engineering Frameworks (REFrame'23) - "Human Values in RE" - Andrea Wohlgemuth; Anne Hess; Samuel A. Fricker (Joint Proceedings of REFSQ-2023 Workshops, Doctoral Symposium, Posters & Tools Track and Journal Early Feedback co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2023), Barcelona, Catalunya, Spain, April 17-20, 2023, 2023)

A Novel Dual Passive Mixer-first Receiver Front-End with Enhanced RF Carrier Leakage Suppression for UHF RFID Reader - Zheng Shen; Kuanfeng Tang; Qiang Guo; Yuxiao Zhao; Hao Min (IEEE International Conference on RFID, RFID 2023, Seattle, WA, USA, June 13-15, 2023, 2023)

A Dynamic Programming with Cluster First - Route Second Approach for Solving Vehicle with Pickup and Delivery Problem in Retail Industry - Thi-Huong-Giang Vu; Thanh-Quang Le; Hai-Anh Vu; Thi-Xuan-Hoa Nguyen (International Conference on Computing and Communication Technologies, RIVF 2023, Hanoi, Vietnam, December 23-25, 2023, 2023)

Concept and First Realization of Robotically Applied Emergency Care via Task-Specific End Effectors - Valentin Ameres; Lucas Artmann; Tim C. Lueth (IEEE International Conference on Robotics and Biomimetics, ROBIO 2023, Koh Samui, Thailand, December 4-9, 2023, 2023)

Investigation of bio-inspired tail-first swimming using numerical and robotic models - Karthick Dhileep; Qiuxiang Huang; Fang-Bao Tian; John Young; Joseph C. S. Lai; Donald Sofge; Sridhar Ravi (IEEE International Conference on Robotics and Biomimetics, ROBIO 2023, Koh Samui, Thailand, December 4-9, 2023, 2023)

Metric First-Order Temporal Logic with Complex Data Types - Jeniffer Lima Graf; Srdan Krstic; Joshua Schneider (Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, 2023)

A Power-Efficient Compact Ku-Band System-on-Antenna Module with Chip-First Package Integration - Xenofon Konstantinou; Nicholas Sturim; John D. Albrecht; Premjeet Chahal; John Papapolymerou (IEEE Radio and Wireless Symposium, RWS 2023, Las Vegas, NV, USA, January 22-25, 2023, 2023)

Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah (Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, 2023)

Towards Privacy-First Security Enablers for 6G Networks: The PRIVATEER Approach - Dimosthenis Masouros; Dimitrios Soudris; Georgios Gardikis; Victoria Katsarou; Maria Christopoulou; George Xilouris; Hugo Ramón; Antonio Pastor; Fabrizio Scaglione; Cristian Petrollini; António Pinto; João P. Vilela; et al. (Embedded Computer Systems: Architectures, Modeling, and Simulation - 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings, 2023)

DNA Nucleotides Detection via C2N Sensor: First-Principles Modeling - Asma Wasfi; Falah Awwad (IEEE Sensors Applications Symposium, SAS 2023, Ottawa, ON, Canada, July 18-20, 2023, 2023)

Exploring the Serverless First Strategy in Cloud Application Development - Adriano Prado Cavalheiro; Claudio Schepke (International Symposium on Computer Architecture and High Performance Computing Workshops , SBAC-PADW 2023, Porto Alegre, Brazil, October 17-20, 2023, 2023)

Rethinking Deployment for Serverless Functions: A Performance-First Perspective - Yiming Li; Laiping Zhao; Yanan Yang; Wenyu Qu (Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2023, Denver, CO, USA, November 12-17, 2023, 2023)

Filtering Wasteful Vertex Visits in Breadth-First Search - Prachatos Mitra; Alexandros Daglis (Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023, 2023)

A First Appraisal of Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials - Andrea Flamini; Silvio Ranise; Giada Sciarretta; Mario Scuro; Amir Sharif; Alessandro Tomasi (Proceedings of the 20th International Conference on Security and Cryptography, SECRYPT 2023, Rome, Italy, July 10-12, 2023, 2023)

WebAppAuth: An Architecture to Protect from Compromised First-Party Web Servers - Pascal Wichmann; Sam Ansari; Hannes Federrath; Jens Lindemann (Proceedings of the 20th International Conference on Security and Cryptography, SECRYPT 2023, Rome, Italy, July 10-12, 2023, 2023)

A First Look at the Security of EEG-based Systems and Intelligent Algorithms under Physical Signal Injections - Md. Imran Hossen; Yazhou Tu; Xiali Hei (Proceedings of the 2023 Secure and Trustworthy Deep Learning Systems Workshop, SecTL 2023, Melbourne, VIC, Australia, July 10-14, 2023, 2023)

UZH_CLyp at SemEval-2023 Task 9: Head-First Fine-Tuning and ChatGPT Data Generation for Cross-Lingual Learning in Tweet Intimacy Prediction - Andrianos Michail; Stefanos Konstantinou; Simon Clematide (Proceedings of the The 17th International Workshop on Semantic Evaluation, SemEval@ACL 2023, Toronto, Canada, 13-14 July 2023, 2023)

Towards preserving Biodiversity using Nature FIRST Knowledge Graph with Crossovers - Albin Ahmeti; Jan-Kees Schakel; Robert David; Artem Revenko (Proceedings of the ISWC 2023 Posters, Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 22nd International Semantic Web Conference (ISWC 2023), Athens, Greece, November 6-10, 2023, 2023)

Detection of a Novel Object-Detection-Based Cheat Tool for First-Person Shooter Games Using Machine Learning - Zhang Xiao; Takaaki Goto; Partha Ghosh; Tadaaki Kirishima; Kensei Tsuchida (21st IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2023, Orlando, FL, USA, May 23-25, 2023, 2023)

Teaching Object-Oriented Programming with the Objects-first Approach - Sandro Speth (Software Engineering im Unterricht der Hochschulen, SEUH 2023, Paderborn, Germany, February 23-24, 2023, 2023)

Narrative-First Design for Language-Learning Games: Insights from Brendan's Voyage - Jacob Abell; Lynn Ramey (Serious Games - 9th Joint International Conference, JCSG 2023, Dublin, Ireland, October 26-27, 2023, Proceedings, 2023)

Demo: First Demonstration of Real-Time Photonic-Electronic DNN Acceleration on SmartNICs - Zhizhen Zhong; Mingran Yang; Jay Lang; Dirk R. Englund; Manya Ghobadi (Proceedings of the ACM SIGCOMM 2023 Conference, ACM SIGCOMM 2023, New York, NY, USA, 10-14 September 2023, 2023)

Career Anchor and Information Technology Major Choice of First-Generation College Students - John Wu; Gautham Amarnath (Proceedings of the 2023 Computers and People Research Conference, SIGMIS-CPR 2023, Pomona, CA, USA, June 1-3, 2023, 2023)

BJC Sparks: A New Functional-First Middle School CS Curriculum - Dan Garcia; Mary Fries; Michael Ball; Pamela Fox; Deanna Gelosi; Lauren Mock; Della Dastur; Dave Briccetti; Bob Kahn (Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023, 2023)

Challenges, Choice, & Change: Experiences and Reflections from the First Semester of a Technology and Human Futures Course - Briana Bettin (Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023, 2023)

Diagrammatic Question Framework: Studying Effectiveness in First-Year Computing Courses - Lauren Himbeault (Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023, 2023)

A Climate-First Approach to Training Student Teaching Assistants - Victor Huang; Armando Fox (Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023, 2023)

It's Never too Early to Learn About Code Quality: A Longitudinal Study of Code Quality in First-year Computer Science Students - Linus Östlund; Niklas Wicklund; Richard Glassey (Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023, 2023)

First Steps Towards Predicting the Readability of Programming Error Messages - James Prather; Paul Denny; Brett A. Becker; Robert Nix; Brent N. Reeves; Arisoa S. Randrianasolo; Garrett B. Powell (Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023, 2023)

Foundations First: Improving C's Viability in Introductory Programming Courses with the Debugging C Compiler - Andrew Taylor; Jake Renzella; Alexandra Vassar (Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023, 2023)

Empowering First-Year Computer Science Ph.D. Students to Create a Culture that Values Community and Mental Health - Yaniv Yacoby; John Girash; David C. Parkes (Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023, 2023)

Embedding and Scaling Writing Instruction Across First- and Second-Year Computer Science Courses - Lisa Zhang; Bogdan Simion; Michael Kaler; Amna Liaqat; Daniel Dick; Andi Bergen; Michael Miljanovic; Andrew Petersen (Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023, 2023)

Extreme Points and First-Order Stochastic Dominance: Theory and Applications - Kai-Hao Yang; Alexander Zentefis (Proceedings of the 24th ACM Conference on Economics and Computation, EC 2023, London, United Kingdom, July 9-12, 2023, 2023)

Aquasia: The world's first immersive metaworld focused on the future of human habitats in the face of rising sea levels - Kay Poh Gek Vasey; Colin Seah; Race Krehel; Olivier Bos (SIGGRAPH Asia 2023 Art Gallery, Sydney, NSW, Australia, December 12-15, 2023, 2023)

[email protected] 2023: The First Workshop on Generative Information Retrieval - Gabriel Bénédict; Ruqing Zhang; Donald Metzler (Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2023, Taipei, Taiwan, July 23-27, 2023, 2023)

Introducing MBIB - The First Media Bias Identification Benchmark Task and Dataset Collection - Martin Wessel; Tomás Horych; Terry Ruas; Akiko Aizawa; Bela Gipp; Timo Spinde (Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2023, Taipei, Taiwan, July 23-27, 2023, 2023)

On the Stochastic and Asymptotic Improvement of First-Come First-Served and Nudge Scheduling - Benny Van Houdt (Abstract Proceedings of the 2023 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2023, Orlando, FL, USA, June 19-23, 2023, 2023)

A First Look at Wi-Fi 6 in Action: Throughput, Latency, Energy Efficiency, and Security - Ruofeng Liu; Nakjung Choi (Abstract Proceedings of the 2023 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2023, Orlando, FL, USA, June 19-23, 2023, 2023)

First Workshop on Verifiable Database Systems - Tien Tuan Anh Dinh; Beng Chin Ooi; Xinying Yang (Companion of the 2023 International Conference on Management of Data, SIGMOD/PODS 2023, Seattle, WA, USA, June 18-23, 2023, 2023)

Baldur: Whole-Proof Generation and Repair with Large Language Models - Emily First; Markus N. Rabe; Talia Ringer; Yuriy Brun (Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, 2023)

Fuzzy-Possibilistic Product Partition: the First Twelve Years - László Szilágyi (21st IEEE Jubilee International Symposium on Intelligent Systems and Informatics, SISY 2023, Pula, Croatia, September 21-23, 2023, 2023)

Research on the Evaluation System of the Effectiveness of the Construction of First-Class Engineering Disciplines in Chinese Universities - Fan Zong; Xiaoxiao Xie (IEEE International Conference on Systems, Man, and Cybernetics, SMC 2023, Honolulu, Oahu, HI, USA, October 1-4, 2023, 2023)

Complete Trigger Selection in Satisfiability Modulo First-Order Theories - Christopher Lynch; Stephen Miner (Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023, 2023)

Improved Exploration of the Bench Transition System in Parallel Greedy Best First Search - Takumi Shimoda; Alex Fukunaga (Sixteenth International Symposium on Combinatorial Search, SOCS 2023, Prague, Czech Republic, July 14-16, 2023, 2023)

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes - Petr A. Golovach; Giannos Stamoulis; Dimitrios M. Thilikos (Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023, 2023)

The Price of Stability for First Price Auction - Yaonan Jin; Pinyan Lu (Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023, 2023)

Testing the First Hungarian CV-QKD System on a Real Optical Line - Botond L. Márton; Zsolt Kis; László Bacsárdi (International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2023, Split, Croatia, September 21-23, 2023, 2023)

First Approach of an Intelligent Automatic System for Aircraft Flap/Slat Positioning - Elías Plaza; Matilde Santos; Jesús Enrique Sierra-García (18th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2023) - Salamanca, Spain, September 5-7, 2023, Proceedings, Volume 1, 2023)

Towards Privacy-first Manufacturing Data Exchange Platform - Thanh-Hai Nguyen; Olivier Héron; Olivier Riou (Proceedings of the 12th International Symposium on Information and Communication Technology, SOICT 2023, Ho Chi Minh, Vietnam, December 7-8, 2023, 2023)

Prolongations as Hesitation Phenomena in Spoken Speech in First and Second Language - Natalia Bogdanova-Beglarian; Kristina Zaides; Daria Stoika; Xiaoli Sun (Speech and Computer - 25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part I, 2023)

ROBO-MOLE: An Assistant Robot System for First Responders in Subterranean Scenarios - Hamid Didari; Eva Reitbauer; Christoph Schmied; Matthias Eder; Stephan Schraml; Nizar Aourik; Marius Feilhauer; Rene Kastner; Roland Hieslmayr; Gerald Steinbauer-Wagner (IEEE International Symposium on Safety, Security, and Rescue Robotics, SSRR 2023, Naraha, Fukushima, Japan, November 13-15, 2023, 2023)

Complexity of Equilibria in First-Price Auctions under General Tie-Breaking Rules - Xi Chen; Binghui Peng (Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023, 2023)

First-Order Model Checking on Structurally Sparse Graph Classes - Jan Dreier; Nikolas Mählmann; Sebastian Siebertz (Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023, 2023)

Parallel Breadth-First Search and Exact Shortest Paths and Stronger Notions for Approximate Distances - Václav Rozhon; Bernhard Haeupler; Anders Martinsson; Christoph Grunau; Goran Zuzic (Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023, 2023)

Generating and Calibrating a Microscopic Traffic Flow Simulation Network of Kyoto: First Insights from Simulating Private and Public Transport - Andreas Keler; Wenzhe Sun; Jan-Dirk Schmöcker (SUMO User Conference 2023, Berlin, Germany, May 2-4, 2023, 2023)

Real-Time Unikernels: A First Look - Luca Abeni (High Performance Computing - ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers, 2023)

Ready for the Frontier: Preparing Applications for the World's First Exascale System - Reuben D. Budiardja; Mark A. Berrill; Markus Eisenbach; Gustav R. Jansen; Wayne Joubert; Stephen Nichols; David M. Rogers; Arnold N. Tharrington; O. E. Bronson Messer (High Performance Computing - 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings, 2023)

First Steps Towards the FAIRification of the DZD CORE DATASET at the German Center for Diabetes Research - Esther Thea Inau; Angela Dedie; Ivona Anastasova; Andreas Birkenfeld; Brigitte Fröhlich; Martin Hrabe de Angelis; Michael Roden; Renate Schick; Yaroslav Zdravomyslov; Atinkut Zeleke; Dagmar Waltemath; Martin Preusse (14th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences (SWAT4HCLS 2023), Basel, Switzerland, February 13-16, 2023, 2023)

A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness - Asta Halkjær From; Jørgen Villadsen (Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings, 2023)

Explicitly Introducing ChatGPT into First-year Programming Practice: Challenges and Impact - Minjie Hu; Tony Assadi; Hamid Mahroeian (IEEE International Conference on Teaching, Assessment and Learning for Engineering, TALE 2023, Auckland, New Zealand, November 28 - Dec. 1, 2023, 2023)

Product Competitor Analysis for First-Year Engineering Students - Kuntinee Maneeratana; Peerapat Thongnuek; Danupol Hoonsopon; Suvanchai Pongsugitwat; Charasphat Preuksarattanawut; Nattaporn Tonanon; Sirikanya Phongtongjalearn (IEEE International Conference on Teaching, Assessment and Learning for Engineering, TALE 2023, Auckland, New Zealand, November 28 - Dec. 1, 2023, 2023)

The Restoration of the Main Theatre of the First Ancient Theatre of Larissa, Greece, Assisted by 3D Technologies - Dimitrios L. Karagkounis; Sofia D. Tsanaktsidou (Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage - Third International Conference, TMM_CH 2023, Athens, Greece, March 20-23, 2023, Revised Selected Papers, 2023)

Towards a Context-based Mobility Prediction in Smart Cities: First Experimentations - Hocine Boukhedouma; Abdelkrim Meziane; Slimane Hammoudi; Amel Benna; Allel Hadjali (22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2024, Exeter, UK, November 1-3, 2023, 2023)

A Mobile-First Disconnected Data Distribution Network - Shashank Hegde; Deepak Munagala; Aditya Singhania; Benjamin Reed (22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2024, Exeter, UK, November 1-3, 2023, 2023)

A First Look at Digital Rights Management Systems for Secure Mobile Content Delivery - Amir Rafi; Carlton Shepherd; Konstantinos Markantonakis (22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2024, Exeter, UK, November 1-3, 2023, 2023)

CCII-Based Voltage-Mode First-Order All-Pass Filters with Grounded Passive Components - Tolga Yucehan; Tayfun Unuk; Erkan Yüce (46th International Conference on Telecommunications and Signal Processing, TSP 2023, Prague, Czech Republic, July 12-14, 2023, 2023)

A First Approach to the Generation of Linguistic Summaries from Glucose Sensors Using GPT-4 - Carmen Martínez-Cruz; Juan F. Gaitán Guerrero; José Luis López Ruiz; Antonio Jesús Rueda; Macarena Espinilla (Proceedings of the 15th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2023) - Volume 2, Riviera Maya, Mexico, 28-29 November, 2023, 2023)

Designing Learning Tasks and Scenarios on Digital History for a Research Lab for Pupils - Trends, First Implications and Perspectives - Dora Luise Münster; Sander Münster (Research and Education in Urban History in the Age of Digital Libraries - Third International Workshop, UHDL 2023, Munich, Germany, March 27-28, 2023, Revised Selected Papers, 2023)

Riffle: Reactive Relational State for Local-First Applications - Geoffrey Litt; Nicholas Schiefer; Johannes Schickling; Daniel Jackson (Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, UIST 2023, San Francisco, CA, USA, 29 October 2023- 1 November 2023, 2023)

Critical Reflections on the First Year of Computer Science in the New Curriculum for Wales - Tom Crick (Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, Swansea, Wales, UK, September 7-8, 2023, 2023)

Preface of UniReps: the First Workshop on Unifying Representations in Neural Models - Marco Fumero; Emanuele Rodolà; Clémentine Dominé; Francesco Locatello; Karolina Dziugaite; Mathilde Caron (Proceedings of UniReps: the First Workshop on Unifying Representations in Neural Models, 15 December 2023, Ernest N. Morial Convention Center, New Orleans, USA, 2023)

"It's the Equivalent of Feeling Like You're in Jail": Lessons from Firsthand and Secondhand Accounts of IoT-Enabled Intimate Partner Abuse - Sophie Stephenson; Majed Almansoori; Pardis Emami Naeini; Rahul Chatterjee (32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, 2023)

Egg Hunt in Tesla Infotainment: A First Look at Reverse Engineering of Qt Binaries - Haohuang Wen; Zhiqiang Lin (32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, 2023)

Recursively Adaptive Randomized MultiTree Coding for First Responder Voice Communications - Hoontaek Oh; Jerry D. Gibson (2023 IEEE Virtual Conference on Communications (VCC), NY, USA, November 28-30, 2023, 2023)

Trajectory Prediction in First-Person Video: Utilizing a Pre-Trained Bird's-Eye View Model - Masashi Hatano; Ryo Hachiuma; Hideo Saito (Proceedings of the 18th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2023, Volume 4: VISAPP, Lisbon, Portugal, February 19-21, 2023, 2023)

First Stacked Nanosheet FeFET Featuring Memory Window of 1.8V at Record Low Write Voltage of 2V and Endurance >1E11 Cycles - Yu-Rui Chen; Yi-Chun Liu; Zefu Zhao; Wan-Hsuan Hsieh; Jia-Yang Lee; Chien-Te Tu; Bo-Wei Huang; Jer-Fu Wang; Shee-Jier Chueh; Yifan Xing; Guan-Hua Chen; Hung-Chun Chou; et al. (2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, 2023)

First Demonstration of a-IGZO GAA Nanosheet FETs Featuring Achievable SS=61mV/dec, Ioff<10\(^-7\) \(μ\)A/\(μ\)m, DIBL =44mV/V, Positive VT, and Process Temp. of 300 °C - Jih-Chao Chiu; Eknath Sarkar; Yuan-Ming Liu; Yu-Ciao Chen; Yu-Cheng Fan; C. W. Liu (2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, 2023)

First Demonstration of a Design Methodology for Highly Reliable Operation at High Temperature on 128kb 1T1C FeRAM Chip - Tiancheng Gong; Lihua Xu; Wei Wei; Pengfei Jiang; Peng Yuan; Bowen Nie; Yuanquan Huang; Yuan Wang; Yang Yang; Jianfeng Gao; Junfeng Li; Jun Luo; et al. (2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, 2023)

First Observation of Ultra-high Polarization (~ 108 \(μ\)C/cm\(^2\)) in Nanometer Scaled High Performance Ferroelectric HZO Capacitors with Mo Electrodes - F. Huang; B. Saini; L. Wan; H. Lu; X. He; S. Qin; Wilman Tsai; A. Gruverman; Andrew C. Meng; H.-S. Philip Wong; Paul C. McIntyre; Simon S. Wong (2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, 2023)

World's First GAA 3nm Foundry platform Technology (SF3) with Novel Multi-Bridge-Channel-FET (MBCFET™) Process - Jaehun Jeong; Sanghyeon Lee; Sada-Aki Masuoka; Shincheol Min; Sanghoon Lee; Seungkwon Kim; Taehun Myung; Byungha Choi; Chang-Woo Sohn; Sung Won Kim; Jeongmin Choi; Jungmin Park; et al. (2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, 2023)

First Demonstration of BEOL-Compatible Write-Enhanced Ferroelectric-Modulated Diode (FMD): New Possibility for Oxide Semiconductor Memory Devices - Leming Jiao; Kaizhen Han; Zuopu Zhou; Zijie Zheng; Xiaolin Wang; Qiwen Kong; Yuye Kang; Jishen Zhang; Long Liu; Xiao Gong (2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, 2023)

First Demonstration of BEOL-Compatible MFMIS Fe-FETs with 3D Multi-Fin Floating Gate: In-situ ALD-deposited MFM, LCH of 50 nm, > 2 exttimes10\(^9\) Endurance, and 58.3% Area Saving - Xiaolin Wang; Zijie Zheng; Qiwen Kong; Leming Jiao; Kaizhen Han; Chen Sun; Zuopu Zhou; Long Liu; Yuye Kang; Gan Liu; Dong Zhang; Xiao Gong (2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, 2023)

First Demonstration of BEOL-Compatible Atomic-Layer-Deposited InGaZnO TFTs with 1.5 nm Channel Thickness and 60 nm Channel Length Achieving ON/OFF Ratio Exceeding 10\(^11\), SS of 68 mV/dec, Normal-off Operation and High Positive Gate Bias Stability - Jie Zhang; Zhuocheng Zhang; Zehao Lin; Ke Xu; Hongyi Dou; Bo Yang; Xinghang Zhang; Haiyan Wang; Peide D. Ye (2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, 2023)

First Demonstration of Work Function-Engineered BEOL-Compatible IGZO Non-Volatile MFMIS AFeFETs and Their Co-Integration with Volatile-AFeFETs - Zijie Zheng; Leming Jiao; Zuopu Zhou; Yuxuan Wang; Long Liu; Kaizhen Han; Chen Sun; Qiwen Kong; Dong Zhang; Xiaolin Wang; Kai Ni; Xiao Gong (2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, 2023)

First Study of the Charge Trapping Aggravation Induced by Anti-Ferroelectric Switching in the MFIS Stack - Zuopu Zhou; Leming Jiao; Zijie Zheng; Xiaolin Wang; Dong Zhang; Kai Ni; Xiao Gong (2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, 2023)

Real-Time Data Monitoring of an Industry 4.0 Assembly Line using Pervasive Augmented Reality: First Impressions - Rafael Maio; Bernardo Marques; André Santos; Pedro Ramalho; Duarte Almeida; Paulo Dias; Beatriz Sousa Santos (IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VR Workshops 2023, Shanghai, China, March 25-29, 2023, 2023)

Creating Informal Learning and First Responder Training XR Experiences with the ImmersiveDeck - Christian Schönauer; Maria Roussou; Julien Rüggeberg; Jim Rüggeberg; Lucas Katsikaris; Sakis Rogkas; Dimitris Christopoulos (IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VR Workshops 2023, Shanghai, China, March 25-29, 2023, 2023)

Dangerously Driven Cars Need to Go First - Zachary Reyes; Seungmo Kim; Dhruba Sunuwar (98th IEEE Vehicular Technology Conference, VTC Fall 2023, Hong Kong, SAR, China, October 10-13, 2023, 2023)

First Demonstration of Predictive Equalization for UWOCC in Seawater - Asako Shigenawa; Yuika Yasui; Yu Nakayama (97th IEEE Vehicular Technology Conference, VTC Spring 2023, Florence, Italy, June 20-23, 2023, 2023)

A First Study on the Spectrum Needs for Release 2 V2X Services - Edmir Xhoxhi; Florian Alexander Schiegg (98th IEEE Vehicular Technology Conference, VTC Fall 2023, Hong Kong, SAR, China, October 10-13, 2023, 2023)

Parallelizable First-Order Fast Algorithm for Symbol-Level Precoding in Lage-Scale Systems - Junwen Yang; Ang Li; Xuewen Liao; Christos Masouros (97th IEEE Vehicular Technology Conference, VTC Spring 2023, Florence, Italy, June 20-23, 2023, 2023)

WojoodNER 2023: The First Arabic Named Entity Recognition Shared Task - Mustafa Jarrar; Muhammad Abdul-Mageed; Mohammed Khalilia; Bashar Talafha; AbdelRahim A. Elmadany; Nagham Hamad; Alaa Omar (Proceedings of ArabicNLP 2023, Singapore (Hybrid), December 7, 2023, 2023)

Building First-Order Energy Modeling Intuition in Computer Architecture Lectures - Christopher Torng (Proceedings of the Workshop on Computer Architecture Education, WCAE 2023, Orlando, FL, USA, June 17-21, 2023, 2023)

Efficient Collaborative Tree Exploration with Breadth-First Depth-Next - Romain Cosson; Laurent Massoulié; Laurent Viennot (37th International Symposium on Distributed Computing, DISC 2023, October 10-12, 2023, L'Aquila, Italy, 2023)

A Summery of the First Workshop on Backscatter Communication Security in Internet of Things Environment - Masoud Kaveh; Zhao Li; Zheng Yan; Riku Jäntti (9th IEEE World Forum on Internet of Things, WF-IoT 2023, Aveiro, Portugal, October 12-27, 2023, 2023)

Understanding First-Aid Learning Intention Through Using Social Media: Perceptions from External Emergency Events and Individual Internal Changes - Huijing Guo; Xifu Wang; Xiaoxiao Liu; Xiaofeng Ju (E-Business. Digital Empowerment for an Intelligent Future - 22nd Wuhan International Conference, WHICEB 2023, Wuhan, China, May 26-28, 2023, Proceedings, Part I, 2023)

Universal First-Order Quantification over Automata - Bernard Boigelot; Pascal Fontaine; Baptiste Vergain (Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, 2023)

A First Look at Shill Looping in NFT Ecosystem - Ankit Gangwal; Apoorva Thirupathi; Alessandro Brighente; Mauro Conti (IEEE International Workshop on Information Forensics and Security, WIFS 2023, Nürnberg, Germany, December 4-7, 2023, 2023)

Navigating within the Digitalization Journey: Results and Implications of the First Maturity Assessment of German Public Health Agencies - Anna Lina Kauffmann; Maria Neubauer; Felix Reinsch; Melina Reuther; Doreen Schick; Jeannette Stark; Katja Bley; Nick Heidmann; Torsten Eymann (Digital Responsibility: Social, Ethical, Ecological Implications of IS, 18. Internationale Tagung Wirtschaftsinformatik (WI 2023), September 18-21, 2023, Paderborn, Germany, 2023)

Treating the End of the Data Life Cycle as a First-Class Citizen in Data Engineering - Daniel Tebernum; Falk Howar (Digital Responsibility: Social, Ethical, Ecological Implications of IS, 18. Internationale Tagung Wirtschaftsinformatik (WI 2023), September 18-21, 2023, Paderborn, Germany, 2023)

A First Look at Generating Website Fingerprinting Attacks via Neural Architecture Search - Prabhjot Singh; Shreya Arun Naik; Navid Malekghaini; Diogo Barradas; Noura Limam (Proceedings of the 22nd Workshop on Privacy in the Electronic Society, WPES 2023, Copenhagen, Denmark, 26 November 2023, 2023)

Learning to Bid in Contextual First Price Auctions10033 - Ashwinkumar Badanidiyuru; Zhe Feng; Guru Guruganesh (Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, 2023)

The First International Workshop on Knowledge Graphs for Sustainability - KG4S Foreword - Eva Blomqvist; María Poveda-Villalón; Raúl García-Castro; Pascal Hitzler; Mikael Lindecrantz (Companion Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, 2023)

A First Look at Public Service Websites from the Affordability Lens - Rumaisa Habib; Aimen Inam; Ayesha Ali; Ihsan Ayyub Qazi; Zafar Ayyub Qazi (Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, 2023)

The First International Workshop on Semantics in Dataspaces - Johannes Theissen-Lipp; Stefan Decker; Edward Curry (Companion Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, 2023)

Do NFTs' Owners Really Possess their Assets? A First Look at the NFT-to-Asset Connection Fragility - Ziwei Wang; Jiashi Gao; Xuetao Wei (Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, 2023)

China's First Natural Language-based AI ChatBot Trader - James Y. Zhang; Zhi Li; Hao Fang; Jun Wu; Zhongnan Shen; Jing Zheng; Wei Chu; Weiping Duan; Peng Xu (Companion Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, 2023)

Epistemic Syllogistic: First Steps - Yipu Li; Yanjing Wang (Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023, 2023)

Nemo: First Glimpse of a New Rule Engine - Alex Ivliev; Stefan Ellmauthaler; Lukas Gerlach; Maximilian Marx; Matthias Meißner; Simon Meusel; Markus Krötzsch (Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023, 2023)

Digital Sovereignty in Cyber Security: New Challenges in Future Vision - First International Workshop, CyberSec4Europe 2022, Venice, Italy, April 17-21, 2022, Revised Selected Papers - Antonio F. Skarmeta; Daniele Canavese; Antonio Lioy; Sara Nieves Matheu (Springer, 2023)

Deep Learning Theory and Applications - First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers - Ana Fred; Carlo Sansone; Kurosh Madani (Springer, 2023)

Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020-2030 - First Forum, GranDGamesBR 2020, Recife, Brazil, November 7-10, 2020, and Second Forum, GranDGamesBR 2021, Gramado, Brazil, October 18-21, 2021, Revised Selected Papers - Rodrigo Pereira dos Santos; Marcelo da Silva Hounsell (Springer, 2023)

Advanced Communication and Intelligent Systems - First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers - Rabindra Nath Shaw; Marcin Paprzycki; Ankush Ghosh (Springer, 2023)

Artificial Intelligence: Theories and Applications - First International Conference, ICAITA 2022, Mascara, Algeria, November 7-8, 2022, Revised Selected Papers - Mohammed Salem; Juan Julián Merelo; Patrick Siarry; Rochdi Bachir Bouiadjra; Mohamed Debakla; Fatima Debbat (Springer, 2023)

The First Tiny Papers Track at ICLR 2023, Tiny Papers @ ICLR 2023, Kigali, Rwanda, May 5, 2023 - Krystal Maughan; Rosanne Liu; Thomas F. Burns (OpenReview.net, 2023)

Trustworthy Federated Learning - First International Workshop, FL 2022, Held in Conjunction with IJCAI 2022, Vienna, Austria, July 23, 2022, Revised Selected Papers - Randy Goebel; Han Yu; Boi Faltings; Lixin Fan; Zehui Xiong (Springer, 2023)

Innovative Intelligent Industrial Production and Logistics - First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers - Alexander V. Smirnov; Hervé Panetto; Kurosh Madani (Springer, 2023)

Pan-African Conference on Artificial Intelligence - First Conference, PanAfriCon AI 2022, Addis Ababa, Ethiopia, October 4-5, 2022, Revised Selected Papers - Taye Girma Debelee; Achim Ibenthal; Friedhelm Schwenker (Springer, 2023)

Positional Paper: Schema-First Application Telemetry - Yuri Shkuro; Benjamin Renard; Atul Singh (ACM SIGOPS Oper. Syst. Rev., 2022)

Computationally augmenting traditional embroidery practices: an autobiographical design process with first-person patient experience for amblyopia follow up treatment activity - Yidan Cao; Karen Anne Cochrane; Lian Loke (DIS '22: Designing Interactive Systems Conference, Virtual Event, Australia, June 13 - 17, 2022, 2022)

VALKYRIES: Harmonization and Pre-Standardization of Technology, Training and Tactical Coordinated Operations for First Responders on EU MCI - Yantsislav Yanakiev; Marta Irene García Cid; Jorge Maestre Vidal; Nikolai Stoianov; Marco Antonio Sotelo Monge (ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23 - 26, 2022, 2022)

Backup Overcurrent Relays Coordination with First and Second Zones Distance Relays in Power Systems - Asma Assouak; Rabah Benabid (19th International Multi-Conference on Systems, Signals & Devices, SSD 2022, Sétif, Algeria, May 6-10, 2022, 2022)

Electrical and optical properties of Black Phosphorus under Strain effects: A First-principles Study - S. E. Farah; Fayçal Dieffal; Z. Dibi; Hichem Ferhati (19th International Multi-Conference on Systems, Signals & Devices, SSD 2022, Sétif, Algeria, May 6-10, 2022, 2022)

A First Mathematical Runtime Analysis of the Non-dominated Sorting Genetic Algorithm II (NSGA-II) - Weijie Zheng; Yufei Liu; Benjamin Doerr (Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, 2022)

Extended Goal Recognition Design with First-Order Computation Tree Logic - Tsz-Chiu Au (Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, 2022)

First-Order Convex Fitting and Its Application to Economics and Optimization - Quinlan Dawkins; Minbiao Han; Haifeng Xu (Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, 2022)

Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis - Patrick Rodler (Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, 2022)

First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics - David Toman; Grant E. Weddell (Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, 2022)

An Implementation of Depth-First and Breadth-First Search Algorithms for Tip Selection in IOTA Distributed Ledger - Andras Ferenczi; Costin Badica (Intelligent Information and Database Systems - 14th Asian Conference, ACIIDS 2022, Ho Chi Minh City, Vietnam, November 28-30, 2022, Proceedings, Part I, 2022)

API Integrator: A UI Design and Code Automation Application Supporting API-First Design - Nicole Beaulieu; Sergiu Dascalu; Emily M. Hand (Proceedings of the 9th International Conference on Applied Computing & Information Technology, Virtual Event, USA, May 25-26, 2022, 2022)

Social Media Usage Amongst University of Botswana First Year Undergraduate Students - Tsholofetso Taukobong; Oduronke T. Eyitayo; Bontle Gopolang (Proceedings of the 9th International Conference on Applied Computing & Information Technology, Virtual Event, USA, May 25-26, 2022, 2022)

SafetyKit: First Aid for Measuring Safety in Open-domain Conversational Systems - Emily Dinan; Gavin Abercrombie; A. Stevie Bergman; Shannon L. Spruit; Dirk Hovy; Y-Lan Boureau; Verena Rieser (Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2022, Dublin, Ireland, May 22-27, 2022, 2022)

RFBFN: A Relation-First Blank Filling Network for Joint Relational Triple Extraction - Zhe Li; Luoyi Fu; Xinbing Wang; Haisong Zhang; Chenghu Zhou (Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop, ACL 2022, Dublin, Ireland, May 22-27, 2022, 2022)

First the Worst: Finding Better Gender Translations During Beam Search - Danielle Saunders; Rosie Sallis; Bill Byrne (Findings of the Association for Computational Linguistics: ACL 2022, Dublin, Ireland, May 22-27, 2022, 2022)

Read Top News First: A Document Reordering Approach for Multi-Document News Summarization - Chao Zhao; Tenghao Huang; Somnath Basu Roy Chowdhury; Muthu Kumar Chandrasekaran; Kathleen R. McKeown; Snigdha Chaturvedi (Findings of the Association for Computational Linguistics: ACL 2022, Dublin, Ireland, May 22-27, 2022, 2022)

Recovering Rainbow's Secret Key with a First-Order Fault Attack - Thomas Aulbach; Tobias Kovats; Juliane Krämer; Soundes Marzougui (Progress in Cryptology - AFRICACRYPT 2022: 13th International Conference on Cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18-20, 2022, Proceedings, 2022)

First Steps Towards Automatic Question Generation and Assessment of LL(1) Grammars - Ricardo Conejo; José del Campo-Ávila; Beatriz Barros (Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners' and Doctoral Consortium - 23rd International Conference, AIED 2022, Durham, UK, July 27-31, 2022, Proceedings, Part II, 2022)

A Causal Inference Study on the Effects of First Year Workload on the Dropout Rate of Undergraduates - Marzieh Karimi-Haghighi; Carlos Castillo; Davinia Hernández-Leo (Artificial Intelligence in Education - 23rd International Conference, AIED 2022, Durham, UK, July 27-31, 2022, Proceedings, Part I, 2022)

Identification of Crown and Rump in First-Trimester Ultrasound Images Using Deep Convolutional Neural Network - Samuel Sutton; Mufti Mahmud; Rishi Singh; Luis Yovera (AII, 2022)

Exploiting Neuro-Symbolic Graph Embeddings based on First-Order Logical Rules for Knowledge-aware Recommendations - Giuseppe Spillo; Cataldo Musto; Marco de Gemmis; Pasquale Lops; Giovanni Semeraro (Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28 - December 2, 2022, 2022)

Robinson consistency in many-sorted hybrid first-order logics - Guillermo Badia; Tomasz Kowalski; Daniel Gaina (Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022, 2022)

First Describe, Then Depict: Generating Covers for Music and Books via Extracting Keywords: This paper presents two methods to generate high resolution uncopyrighted book covers or music album covers - Valeria Efimova; Viacheslav Shalamov; Andrey Filchenkov (Proceedings of the 5th International Conference on Artificial Intelligence and Pattern Recognition, AIPR 2022, Xiamen, China, September 23-25, 2022, 2022)

Best-First Width Search for Lifted Classical Planning - Augusto B. Corrêa; Jendrik Seipp (Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022, 2022)

Iterative Depth-First Search for FOND Planning - Ramon Fraga Pereira; André Grahl Pereira; Frederico Messa; Giuseppe De Giacomo (Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022, 2022)

Learning Multi-Agent Action Coordination via Electing First-Move Agent - Jingqing Ruan; Linghui Meng; Xuantang Xiong; Dengpeng Xing; Bo Xu (Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022, 2022)

On Structured Filtering-Clustering: Global Error Bound and Optimal First-Order Algorithms - Nhat Ho; Tianyi Lin; Michael I. Jordan (International Conference on Artificial Intelligence and Statistics, AISTATS 2022, 28-30 March 2022, Virtual Event, 2022)

Lessons Learned from the First 1, 000: Building the Base to Reach a Diverse Cohort of 100, 000 Participants in a Population Wide Genomic Screening Program - Caitlin G. Allen; Daniel Judge; Elissa Levin; Katherine Sterba; Kelly J. Hunt; Paula S. Ramos; Sam Gallegos; Cathy Melvin; Karen Wager; Ken Catchpole; Catherine Clinton; Marvella E. Ford; et al. (AMIA 2022, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 5-9, 2022, 2022)

A First Step to Uncovering Hidden Symptoms and in Patients with Acute Myeloid Leukemia using Natural Language Processing - Sena Chae; Karen Dunn Lopez; Barbara Rakel (AMIA 2022, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 5-9, 2022, 2022)

Predicting Body Mass Index in Early Childhood Using Data from the First 1, 000 Days - Erika R. Cheng; Ahmet Cengiz; Zina Ben-Miled (AMIA 2022, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 5-9, 2022, 2022)

Comparison of the digital health strategies of Tanzania and Germany: First results of a comparative policy analysis - Felix Holl; Jennifer Kircher; Felix Sukums; Walter Swoboda (AMIA 2022, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 5-9, 2022, 2022)

Dog emotion recognition from images in the wild: DEBIw dataset and first results - Fernanda Hernández-Luquin; Hugo Jair Escalante; Benjamín Gutiérrez-Serafín; Humberto Pérez Espinosa; Luis Villaseñor Pineda; Verónica Reyes-Meza (Proceedings of the Ninth International Conference on Animal-Computer Interaction, ACI 2022, Newcastle-upon-Tyne, United Kingdom, December 5-8, 2022, 2022)

Depth-First Search Performance in a Random Digraph with Geometric Degree Distribution - Philippe Jacquet; Svante Janson (33rd International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2022, June 20-24, 2022, Philadelphia, PA, USA, 2022)

A First Glimpse at Petri Net Regions - Robin Bergenthum; Jakub Kovár (Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Bergen, Norway, June 19-24, 2022, 2022)