First Steps Towards Game and Activity Inference on Encrypted VR Datastreams - Yushan Yang; Simon Hanisch; Mingyu Ma; Stefanie Roos; Thorsten Strufe; Giang T. Nguyen (25th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2024, Perth, Australia, June 4-7, 2024, 2025)

Integrity verification for scientific papers: The first exploration of the text - Xiang Shi; Yinpeng Liu; Jiawei Liu; Qikai Cheng; Wei Lu (Expert Syst. Appl., 2024)

Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA - Aikaterini-Lida Kalouli; Lasha Abzianidze; Stergios Chatzikyriakidis (J. Log. Lang. Inf., 2024)

Zero-BEV: Zero-shot Projection of Any First-Person Modality to BEV Maps - Gianluca Monaci; Leonid Antsfeld; Boris Chidlovskii; Christian Wolf (International Conference on 3D Vision, 3DV 2024, Davos, Switzerland, March 18-21, 2024, 2024)

"Shotitwo First!": Unraveling Global South Women's Challenges in Public Transport to Inform Autonomous Vehicle Design - Ashratuz Zavin Asha; Sharifa Sultana; Helen Ai He; Ehud Sharlin (Designing Interactive Systems Conference, DIS 2024, IT University of Copenhagen, Denmark, July 1-5, 2024, 2024)

More Samples of One: Weaving First-Person Perspectives into Mainstream HCI Research - Mafalda Gamboa; Claudia Núñez-Pacheco; Sarah Homewood; Andrés Lucero; Janne Mascha Beuthel; Audrey Desjardins; Karey Helms; William W. Gaver; Kristina Höök; Laura Forlano (Companion Publication of the 2024 ACM Designing Interactive Systems Conference, DIS 2024, IT University of Copenhagen, Denmark, July 1-5, 2024, 2024)

Tuning In to Intangibility : Reflections from My First 3 Years of Theremin Learning - Xiao Xiao; Sarah Fdili Alaoui (Designing Interactive Systems Conference, DIS 2024, IT University of Copenhagen, Denmark, July 1-5, 2024, 2024)

An Analysis of Security Concerns in Transitioning Battery Management Systems from First to Second Life - Julian Blümke; Kevin Mayer; Hans-Joachim Hof (Proceedings of the 19th International Conference on Availability, Reliability and Security, ARES 2024, Vienna, Austria, 30 July 2024 - 2 August 2024, 2024)

Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint) - Saqib Ameen; Levi H. S. Lelis (Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, 2024)

Batch Normalization Is Blind to the First and Second Derivatives of the Loss - Zhanpeng Zhou; Wen Shen; Huixin Chen; Ling Tang; Yuefeng Chen; Quanshi Zhang (Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, 2024)

"My Answer is C": First-Token Probabilities Do Not Match Text Answers in Instruction-Tuned Language Models - Xinpeng Wang; Bolei Ma; Chengzhi Hu; Leon Weber-Genzel; Paul Röttger; Frauke Kreuter; Dirk Hovy; Barbara Plank (Findings of the Association for Computational Linguistics, ACL 2024, Bangkok, Thailand and virtual meeting, August 11-16, 2024, 2024)

Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving - Chenyang An; Zhibo Chen; Qihao Ye; Emily First; Letian Peng; Jiayun Zhang; Zihan Wang; Sorin Lerner; Jingbo Shang (Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2024, Bangkok, Thailand, August 11-16, 2024, 2024)

Generalisation First, Memorisation Second? Memorisation Localisation for Natural Language Classification Tasks - Verna Dankers; Ivan Titov (Findings of the Association for Computational Linguistics, ACL 2024, Bangkok, Thailand and virtual meeting, August 11-16, 2024, 2024)

Planning First, Question Second: An LLM-Guided Method for Controllable Question Generation - Kunze Li; Yu Zhang (Findings of the Association for Computational Linguistics, ACL 2024, Bangkok, Thailand and virtual meeting, August 11-16, 2024, 2024)

A Novel Cartography-Based Curriculum Learning Method Applied on RoNLI: The First Romanian Natural Language Inference Corpus - Eduard Poesina; Cornelia Caragea; Radu Tudor Ionescu (Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2024, Bangkok, Thailand, August 11-16, 2024, 2024)

Attribute First, then Generate: Locally-attributable Grounded Text Generation - Aviv Slobodkin; Eran Hirsch; Arie Cattan; Tal Schuster; Ido Dagan (Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2024, Bangkok, Thailand, August 11-16, 2024, 2024)

Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation - Yuan Yang; Siheng Xiong; Ali Payani; Ehsan Shareghi; Faramarz Fekri (Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2024, Bangkok, Thailand, August 11-16, 2024, 2024)

Reversible Decimal First Degree Cellular Automata for Data Classification - C. J. Baby; Kamalika Bhattacharjee (Cellular Automata - 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024, Proceedings, 2024)

Active Dendrites Enable Efficient Continual Learning in Time-To-First-Spike Neural Networks - Lorenzo Pes; Rick Luiken; Federico Corradi; Charlotte Frenkel (6th IEEE International Conference on AI Circuits and Systems, AICAS 2024, Abu Dhabi, United Arab Emirates, April 22-25, 2024, 2024)

A First Step in Using Machine Learning Methods to Enhance Interaction Analysis for Embodied Learning Environments - Joyce Horn Fonteles; Eduardo Davalos; T. S. Ashwin; Yike Zhang; Mengxi Zhou; Efrat Ayalon; Alicia Lane; Selena Steinberg; Gabriella Anton; Joshua A. Danish; Noel Enyedy; Gautam Biswas (Artificial Intelligence in Education - 25th International Conference, AIED 2024, Recife, Brazil, July 8-12, 2024, Proceedings, Part II, 2024)

The Role of First Language in Automated Essay Grading for Second Language Writing - Haerim Hwang (Artificial Intelligence in Education - 25th International Conference, AIED 2024, Recife, Brazil, July 8-12, 2024, Proceedings, Part II, 2024)

First Passage Percolation with Queried Hints - Kritkorn Karntikoon; Yiheng Shen; Sreenivas Gollapudi; Kostas Kollias; Aaron Schild; Ali Kemal Sinop (International Conference on Artificial Intelligence and Statistics, 2-4 May 2024, Palau de Congressos, Valencia, Spain, 2024)

Minimax Excess Risk of First-Order Methods for Statistical Learning with Data-Dependent Oracles - Kevin Scaman; Mathieu Even; Batiste Le Bars; Laurent Massoulié (International Conference on Artificial Intelligence and Statistics, 2-4 May 2024, Palau de Congressos, Valencia, Spain, 2024)

Distributed Dynamic Encirclement Control for First-Order Multi-Agent Systems with Communication Delay - Milad Hasanzadeh; Shuxia Tang (American Control Conference, ACC 2024, Toronto, ON, Canada, July 10-12, 2024, 2024)

Safe Online Convex Optimization with First-Order Feedback - Spencer Hutchinson; Mahnoosh Alizadeh (American Control Conference, ACC 2024, Toronto, ON, Canada, July 10-12, 2024, 2024)

Adaptive Control for Lignin-First Biomass Fractionation: An Experimentally Verified Multiscale kMC Approach - Juhyeon Kim; Silabrata Pahari; Jiae Ryu; Mairui Zhang; Chang Geun Yoo; Joseph Sang-Il Kwon (American Control Conference, ACC 2024, Toronto, ON, Canada, July 10-12, 2024, 2024)

Optimal Impact Angle Guidance via First-Order Optimization Under Nonconvex Constraints - Gyubin Park; Jiwoo Choi; Da Hoon Jeong; Jong-Han Kim (American Control Conference, ACC 2024, Toronto, ON, Canada, July 10-12, 2024, 2024)

First-Order Dynamic Optimization for Streaming Convex Costs - Mohammadreza Rostami; Hossein Moradian; Solmaz S. Kia (American Control Conference, ACC 2024, Toronto, ON, Canada, July 10-12, 2024, 2024)

Tradeoffs Between Convergence Speed and Noise Amplification in First-Order Optimization: The Role of Averaging - Samantha Samuelson; Mihailo R. Jovanovic (American Control Conference, ACC 2024, Toronto, ON, Canada, July 10-12, 2024, 2024)

Depth-First Search Performance in Random Digraphs - Philippe Jacquet; Svante Janson (35th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2024, June 17-21, 2024, University of Bath, UK, 2024)

TQ-TTFS: High-Accuracy and Energy-Efficient Spiking Neural Networks Using Temporal Quantization Time-to-First-Spike Neuron - Yuxuan Yang; Zihao Xuan; Yi Kang (Proceedings of the 29th Asia and South Pacific Design Automation Conference, ASPDAC 2024, Incheon, Korea, January 22-25, 2024, 2024)

ConvFIFO: A Crossbar Memory PIM Architecture for ConvNets Featuring First-In-First-Out Dataflow - Liang Zhao; Yu Qian; Fanzi Meng; Xiapeng Xu; Xunzhao Yin; Cheng Zhuo (Proceedings of the 29th Asia and South Pacific Design Automation Conference, ASPDAC 2024, Incheon, Korea, January 22-25, 2024, 2024)

FOCAL: A First-Order Carbon Model to Assess Processor Sustainability - Lieven Eeckhout (Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, 2024)

First 100 days of Pandemic: An Interplay of Pharmaceutical, Behavioral and Digital Interventions - A Study using Agent Based Modeling - Gauri Gupta; Ritvik Kapila; Ayush Chopra; Ramesh Raskar (Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, 2024)

Prototyping a collaborative game tool to include ADHD learners in the smart thing design process: First steps - Elena Cicuto (Proceedings of the 2024 International Conference on Advanced Visual Interfaces, AVI 2024, Arenzano, Genoa, Italy, June 3-7, 2024, 2024)

Indoor Environmental Quality Data Measurement, Management and Analysis: First Draft of the Conceptual Model - Guntis Arnicans; Laila Niedrite (Digital Business and Intelligent Systems - 16th International Baltic Conference, Baltic DB&IS 2024, Vilnius, Lithuania, June 30 - July 3, 2024, Proceedings, 2024)

Findings from the First Shared Task on Automated Prediction of Difficulty and Response Time for Multiple-Choice Questions - Victoria Yaneva; Kai North; Peter Baldwin; Le An Ha; Saed Rezayi; Yiyun Zhou; Sagnik Ray Choudhury; Polina Harik; Brian Clauser (Proceedings of the 19th Workshop on Innovative Use of NLP for Building Educational Applications, BEA 2024, Mexico City, Mexico, June 20, 2024, 2024)

Overview of the First Shared Task on Clinical Text Generation: RRG24 and "Discharge Me!" - Justin Xu; Zhihong Chen; Andrew Johnston; Louis Blankemeier; Maya Varma; Jason Hom; William J. Collins; Ankit Modi; Robert Lloyd; Benjamin Hopkins; Curtis P. Langlotz; Jean-Benoit Delbrouck (Proceedings of the 23rd Workshop on Biomedical Natural Language Processing, BioNLP@ACL 2024, Bangkok, Thailand, August 16, 2024, 2024)

The Weak-Toll Function of a Graph: Axiomatic Characterizations and First-Order Non-definability - Lekshmi Kamal K. Sheela; Manoj Changat; Jeny Jacob (Algorithms and Discrete Applied Mathematics - 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings, 2024)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas - Eden Frenkel; Tej Chajed; Oded Padon; Sharon Shoham (Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II, 2024)

Proactive Real-Time First-Order Enforcement - François Hublet; Leonardo Lima; David A. Basin; Srdan Krstic; Dmitriy Traytel (Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II, 2024)

mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic - James R. Wilcox; Yotam M. Y. Feldman; Oded Padon; Sharon Shoham (Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II, 2024)

Objective QoE Models for Cloud-Based First Person Shooter Game over Mobile Networks - Henrique Souza Rossi; Karan Mitra; Christer Åhlund; Irina Cotanis; Niclas Örgen; Per Johansson (21st IEEE Consumer Communications & Networking Conference, CCNC 2024, Las Vegas, NV, USA, January 6-9, 2024, 2024)

State-Based Dynamic Graph with Breadth First Progression For Autonomous Robots - Tushar Chugh; Kanishka Tyagi; Pranesh Srinivasan; Jeshwanth Challagundla (14th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2024, Las Vegas, NV, USA, January 8-10, 2024, 2024)

Energy and Quality of Surrogate-Assisted Search Algorithms: a First Analysis - Tomohiro Harada; Enrique Alba; Gabriel Luque (IEEE Congress on Evolutionary Computation, CEC 2024, Yokohama, Japan, June 30 - July 5, 2024, 2024)

First Exascale Flow Simulations of Fission and Fusion Energy Systems - Elia Merzari (Proceedings of the 21st ACM International Conference on Computing Frontiers, CF 2024, Ischia, Italy, May 7-9, 2024, 2024)

ChunkyEdit: Text-first video interview editing via chunking - Mackenzie Leake; Wilmot Li (Proceedings of the CHI Conference on Human Factors in Computing Systems, CHI 2024, Honolulu, HI, USA, May 11-16, 2024, 2024)

A First Look into Targeted Clickbait and its Countermeasures: The Power of Storytelling - Ankit Shrestha; Audrey Flood; Saniat Javid Sohrawardi; Matthew Wright; Mahdi Nasrullah Al-Ameen (Proceedings of the CHI Conference on Human Factors in Computing Systems, CHI 2024, Honolulu, HI, USA, May 11-16, 2024, 2024)

Ecological In/Congruence: Becoming Sensitised to Nature in Video Games through Humanistic First-Person Research - Velvet Spors; Oguz 'Oz' Buruk; Juho Hamari (Proceedings of the CHI Conference on Human Factors in Computing Systems, CHI 2024, Honolulu, HI, USA, May 11-16, 2024, 2024)

Exploring the Design Space of Optical See-through AR Head-Mounted Displays to Support First Responders in the Field - Kexin Zhang; Brianna R. Cochran; Ruijia Chen; Lance Hartung; Bryce Sprecher; Ross Tredinnick; Kevin Ponto; Suman Banerjee; Yuhang Zhao (Proceedings of the CHI Conference on Human Factors in Computing Systems, CHI 2024, Honolulu, HI, USA, May 11-16, 2024, 2024)

A mm-Wave Blocker-Tolerant Harmonic-Resilient N-Path Mixer-First Receiver with 6.2 dB NF and 5 dBm OOB-B1dB - Shimin Huang; Jamie C. Ye; Shahaboddin Ghajari; Alyosha C. Molnar (IEEE Custom Integrated Circuits Conference, CICC 2024, Denver, CO, USA, April 21-24, 2024, 2024)

A Weak First-Order Theory of Sequences - Lars Kristiansen; Juvenal Murwanashyaka (Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings, 2024)

Sequential Discontinuity and First-Order Problems - Arno Pauly; Giovanni Soldà (Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings, 2024)

Quantum First-Order Logics that Capture Logarithmic-Time/Space Quantum Computability - Tomoyuki Yamakami (Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings, 2024)

Variable Frame Timing Affects Perception of Smoothness in First-Person Gaming - Devi Klein; Josef B. Spjut; Ben Boudaoud; Joohwan Kim (IEEE Conference on Games, CoG 2024, Milan, Italy, August 5-8, 2024, 2024)

On Two-variable First-order Logic with a Partial Order - Dariusz Marzec; Lidia Tendera (Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024, 2024)

Design of First Order Cascadable Universal Filter Using FDCCII - Ashok Kumar; Ajay Kumar Kushwaha (Proceedings of the International Conference on Computing, Machine Learning and Data Science, CMLDS 2024, Singapore, April 12-14, 2024, 2024)

Detecting Sexual Content at the Sentence Level in First Millennium Latin Texts - Thibault Clérice (Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, 2024)

PSE v1.0: The First Open Access Corpus of Public Service Encounters - Ingrid Espinoza; Steffen Frenzel; Laurin Friedrich; Wassiliki Siskou; Steffen Eckhard; Annette Hautli-Janisz (Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, 2024)

GreekBART: The First Pretrained Greek Sequence-to-Sequence Model - Iakovos Evdaimon; Hadi Abdine; Christos Xypolopoulos; Stamatis Outsios; Michalis Vazirgiannis; Giorgos Stamou (Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, 2024)

Lessons from Deploying the First Bilingual Peruvian Sign Language - Spanish Online Dictionary - Joe Huamani-Malca; Miguel Rodriguez Mondoñedo; Francisco Cerna-Herrera; Gissella Bejarano; Carlos Vásquez Roque; Cesar Augusto Ramos Cantu; Sabina Oporto Pérez (Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, 2024)

EFTNAS: Searching for Efficient Language Models in First-Order Weight-Reordered Super-Networks - Juan Pablo Muñoz; Yi Zheng; Nilesh Jain (Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, 2024)

Effective Integration of Text Diffusion and Pre-Trained Language Models with Linguistic Easy-First Schedule - Yimin Ou; Ping Jian (Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, 2024)

Universal Anaphora: The First Three Years - Massimo Poesio; Maciej Ogrodniczuk; Vincent Ng; Sameer Pradhan; Juntao Yu; Nafise Sadat Moosavi; Silviu Paun; Amir Zeldes; Anna Nedoluzhko; Michal Novák; Martin Popel; Zdenek Zabokrtský; et al. (Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, 2024)

First Steps Towards the Integration of Resources on Historical Glossing Traditions in the History of Chinese: A Collection of Standardized F462nqiè Spellings from the Gu462ngyùn - Michele Pulini; Johann-Mattis List (Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, 2024)

SM-FEEL-BG - the First Bulgarian Datasets and Classifiers for Detecting Feelings, Emotions, and Sentiments of Bulgarian Social Media Text - Irina Temnikova; Iva Marinova; Silvia Gargova; Ruslana Margova; Alexander Komarov; Tsvetelina Stefanova; Veneta Kireva; Dimana Vyatrova; Nevena Grigorova; Yordan Mandevski; Stefan Minkov (Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, 2024)

Breadth-First Search Approach for Mining Serial Episodes with Simultaneous Events - Santhosh B. Gandreti; Ibrahim A.; P. S. Sastry (Proceedings of the 7th Joint International Conference on Data Science & Management of Data (11th ACM IKDD CODS and 29th COMAD), Bangalore, India, January 4-7, 2024, 2024)

Practical First-Order Bayesian Optimization Algorithms - Utkarsh Prakash; Aryan Chollera; Kushagra Khatwani; Prabuchandran K. J.; Tejas Bodas (Proceedings of the 7th Joint International Conference on Data Science & Management of Data (11th ACM IKDD CODS and 29th COMAD), Bangalore, India, January 4-7, 2024, 2024)

ChemGen: Towards Understanding First-Principles Calculation Code Generation Based on Large Language Models - Peng Gao; Feng Qiu; Baojian Hua (Proceedings of the 2024 3rd International Conference on Cyber Security, Artificial Intelligence and Digital Economy, CSAIDE 2024, Nanjing, China, March 1-3, 2024, 2024)

QFINCH: Quick hierarchical clustering using k-means and first neighbor relations - Jiajun Zhang; Geping Yang; Yiyang Yang; Juan Lu (27th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2024, Tianjin, China, May 8-10, 2024, 2024)

The Perceived Learning Behaviors and Assessment Techniques of First-Year Students in Computer Science: An Empirical Study - Manuela Andreea Petrescu; Tudor Dan Mihoc (Proceedings of the 16th International Conference on Computer Supported Education, CSEDU 2024, Angers, France, May 2-4, 2024, Volume 2, 2024)

Position Paper: Foster Academic Integration for Improved Pass Rates in First-Year Units - Charanya Ramakrishnan (Proceedings of the 16th International Conference on Computer Supported Education, CSEDU 2024, Angers, France, May 2-4, 2024, Volume 2, 2024)

Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk) - Balder ten Cate (32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy, 2024)

A First Order Theory of Diagram Chasing - Assia Mahboubi; Matthieu Piquerez (32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy, 2024)

A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic - Thomas Place; Marc Zeitoun (32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy, 2024)

A Method for Generating Random Process Having Given First - and Second-Order Statistics Over FSO Channel - Goran T. Djordjevic; Predrag Ivanis; Jaroslaw Makal; Dejan N. Milic; Venceslav Kafedziski (14th International Symposium on Communication Systems, Networks and Digital Signal Processing, CSNDSP 2024, Rome, Italy, July 17-19, 2024, 2024)

EduCUI: The First International Workshop for Conversational User Interfaces in Education - Justin Edwards; Adelson de Araujo; Smit Desai; Jan de Wit; Heloisa Candello; Daniel J. Rough; Leigh Clark; Anni-Sofia Roberts; Benjamin R. Cowan (ACM Conversational User Interfaces 2024, CUI 2024, Luxembourg, July 8-10, 2024, 2024)

A Not So Chatty "Chatbot": Co-designing to support First-Time Parents in South Africa and Portugal - Leina Meoli; Francisco Nunes; Beatriz Félix; Joana Couto da Silva; Xolani Ntinga; Melissa Densmore (ACM Conversational User Interfaces 2024, CUI 2024, Luxembourg, July 8-10, 2024, 2024)

Gain-first or Exposure-first: Benchmark for Better Low-light Video Photography and Enhancement - Haiyang Jiang; Zhihang Zhong; Yinqiang Zheng (IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2024 - Workshops, Seattle, WA, USA, June 17-18, 2024, 2024)

Fusing Personal and Environmental Cues for Identification and Segmentation of First-Person Camera Wearers in Third-Person Views - Ziwei Zhao; Yuchen Wang; Chuhua Wang (IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2024, Seattle, WA, USA, June 16-22, 2024, 2024)

SketchINR: A First Look into Sketches as Implicit Neural Representations - Hmrishav Bandyopadhyay; Ayan Kumar Bhunia; Pinaki Nath Chowdhury; Aneeshan Sain; Tao Xiang; Timothy M. Hospedales; Yi-Zhe Song (IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2024, Seattle, WA, USA, June 16-22, 2024, 2024)

EgoThink: Evaluating First-Person Perspective Thinking Capability of Vision-Language Models - Sijie Cheng; Zhicheng Guo; Jingwen Wu; Kechen Fang; Peng Li; Huaping Liu; Yang Liu (IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2024, Seattle, WA, USA, June 16-22, 2024, 2024)

Ego-Exo4D: Understanding Skilled Human Activity from First- and Third-Person Perspectives - Kristen Grauman; Andrew Westbury; Lorenzo Torresani; Kris Kitani; Jitendra Malik; Triantafyllos Afouras; Kumar Ashutosh; Vijay Baiyya; Siddhant Bansal; Bikram Boote; Eugene Byrne; Zachary Chavis; et al. (IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2024, Seattle, WA, USA, June 16-22, 2024, 2024)

SkipPLUS: Skip the First Few Layers to Better Explain Vision Transformers - Faridoun Mehri; Mohsen Fayyaz; Mahdieh Soleymani Baghshah; Mohammad Taher Pilehvar (IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2024 - Workshops, Seattle, WA, USA, June 17-18, 2024, 2024)

A Simple Recipe for Contrastively Pre-Training Video-First Encoders Beyond 16 Frames - Pinelopi Papalampidi; Skanda Koppula; Shreya Pathak; Justin Chiu; Joe Heyward; Viorica Patraucean; Jiajun Shen; Antoine Miech; Andrew Zisserman; Aida Nematzadeh (IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2024, Seattle, WA, USA, June 16-22, 2024, 2024)

Beyond First-Order Tweedie: Solving Inverse Problems using Latent Diffusion - Litu Rout; Yujia Chen; Abhishek Kumar; Constantine Caramanis; Sanjay Shakkottai; Wen-Sheng Chu (IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2024, Seattle, WA, USA, June 16-22, 2024, 2024)

A novel project assignment fostering self-competence and reflection using robotics for first-year CS students - Melanie Baur; Johanna Sedlmair; Sebastian Speiser (DELFI 2024 - Die 22. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V., DELFI 2024, Fulda, Germany, September 9-11, 2024, 2024)

KIELER: A Text-First Framework for Automatic Diagramming of Complex Systems - Maximilian Kasperowski; Niklas Rentz; Sören Domrös; Reinhard von Hanxleden (Diagrammatic Representation and Inference - 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings, 2024)

On the Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract) - Bartosz Bednarczyk; Daumantas Kojelis; Ian Pratt-Hartmann (Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024)

Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract) - Louwe Kuijer; Tony Tan; Frank Wolter; Michael Zakharyaschev (Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024)

Model Counting and Sampling in First-Order Logic (Abstract of Invited Talk) - Ondrej Kuzelka (Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024)

Actively Learning Ontologies from LLMs: First Results (Extended Abstract) - Matteo Magnini; Ana Ozaki; Riccardo Squarcialupi (Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations - Frank Wolter; Michael Zakharyaschev (Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024)

First Experimental Demonstration of Monolithic Bidirectional Switch Using GaN Current Aperture Vertical Electron Transistor (CAVET) - X. Wen; H. Kasai; K. Lee; M. Noshin; J. Chun; S. Chowdhury (Device Research Conference, DRC 2024, College Park, MD, USA, June 24-26, 2024, 2024)

HPLT's First Release of Data and Models - Nikolay Arefyev; Mikko Aulamo; Pinzhen Chen; Ona De Gibert Bonet; Barry Haddow; Jindrich Helcl; Bhavitvya Malik; Gema Ramírez-Sánchez; Pavel Stepachev; Jörg Tiedemann; Dusan Varis; Jaume Zaragoza-Bernabeu (Proceedings of the 25th Annual Conference of the European Association for Machine Translation (Volume 2), EAMT 2024, Sheffield, UK, June 24-27, 2024, 2024)

The Impact of Low-tech Systems on User Experience: First Methodological Reflections around the Urban Biosphere Experiment - Rémi Duhamel; Carine Lallemand; Jérémy Legardeur (Proceedings of the European Conference on Cognitive Ergonomics 2024, ECCE 2024, Paris, France, October 8-11, 2024, 2024)

A framework to study cyber expert's activities. First steps - Alma Lelievre; Cecilia De la Garza; Tahar-Hakim Benchekroun (Proceedings of the European Conference on Cognitive Ergonomics 2024, ECCE 2024, Paris, France, October 8-11, 2024, 2024)

First International Workshop on Graph-Based Approaches in Information Retrieval (IRonGraphs 2024) - Ludovico Boratto; Daniele Malitesta; Mirko Marras; Giacomo Medda; Cataldo Musto; Erasmo Purificato (Advances in Information Retrieval - 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, Part V, 2024)

The First International Workshop on Open Web Search (WOWS) - Sheikh Mastura Farzana; Maik Fröbe; Michael Granitzer; Gijs Hendriksen; Djoerd Hiemstra; Martin Potthast; Saber Zerhoudi (Advances in Information Retrieval - 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, Part V, 2024)

KEIR @ ECIR 2024: The First Workshop on Knowledge-Enhanced Information Retrieval - Zaiqiao Meng; Shangsong Liang; Xin Xin; Gianluca Moro; Evangelos Kanoulas; Emine Yilmaz (Advances in Information Retrieval - 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, Part V, 2024)

OAS2Tree: Visual API-First Design - Souhaila Serbout; Cesare Pautasso (Software Architecture. ECSA 2024 Tracks and Workshops - Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings, 2024)

Play My Math: First Development Cycle of an EdTech Tool Supporting the Teaching and Learning of Fractions Through Music in Algebraic Notation - Eric Roldán Roa; Erika Berenice Roldan-Roa; Doris Kristina Raave; Jo Van Herwegen; Nina Politimou; Sayan Mukherjee; Tyler Colasante; Tina Malti; Julia Mori; Marcus Specht (Technology Enhanced Learning for Inclusive and Equitable Quality Education - 19th European Conference on Technology Enhanced Learning, EC-TEL 2024, Krems, Austria, September 16-20, 2024, Proceedings, Part II, 2024)

First Results of Students Attending a STEM Program in the Context of Digitisation - Tobias Bahr; Marcus Brändle (IEEE Global Engineering Education Conference, EDUCON 2024, Kos Island, Greece, May 8-11, 2024, 2024)

Integrating ATLAS.ti Usage and Certification as an Educational Innovation to Elevate Engagement, Perception, and Scientific Research Competencies in the Creative Studies Track for First-Year Higher Education Students - Jorge Antonio Contreras (IEEE Global Engineering Education Conference, EDUCON 2024, Kos Island, Greece, May 8-11, 2024, 2024)

Revisiting Tech Battles Using Science Fiction: Methodological Implications and First Impressions - Jessica Lucchetta; Tommaso Carraro; Milena Stoycheva; Lorenzo Angeli (IEEE Global Engineering Education Conference, EDUCON 2024, Kos Island, Greece, May 8-11, 2024, 2024)

Exploration of the Variables That Define the Academic Success of Undergraduate Students in the First Course of Mathematics - María Guadalupe Lomelí Plascencia; Gilberto Huesca Juárez; Iliana Enid López Flores (IEEE Global Engineering Education Conference, EDUCON 2024, Kos Island, Greece, May 8-11, 2024, 2024)

Perceptions of the First Generation of Graduate Engineers in Sustainable Development, Mexico City Campus, on the Tec21 Educational Model - Juan Manuel Reyna-González (IEEE Global Engineering Education Conference, EDUCON 2024, Kos Island, Greece, May 8-11, 2024, 2024)

An Online CAD Workshop for First-Year Industrial Engineering Students - Igor M. Verner; Laura Levin; Alex Polishuk; Sergei Gamer (IEEE Global Engineering Education Conference, EDUCON 2024, Kos Island, Greece, May 8-11, 2024, 2024)

Beyond Radar Waves: The First Workshop on Radar-Based Human-Computer Interaction - Klen Copic Pucihar; Francesca Meneghello; Dariush Salami; Arthur Sluÿters; Radu-Daniel Vatavu (Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS Companion 2024, Cagliari, Italy, June 24-28, 2024, 2024)

A Deep Learning Model to Predict First to Second Year Student Retention - Matthew Beech; Kumar Yelamarthi (IEEE International Conference on Electro Information Technology, eIT 2024, Eau Claire, WI, USA, May 30 - June 1, 2024, 2024)

Longest Prefix Matching Using Longest-First Search in a Leaf-Pushing Trie - Jinsol Lee; Hyesook Lim (International Conference on Electronics, Information, and Communication, ICEIC 2024, Taipei, Taiwan, January 28-31, 2024, 2024)

A 11.4-ENOB First-Order Noise-Shaping SAR ADC With PVT-Insensitive Closed-Loop Dynamic Amplifier and Two CDACs - Jae-Hyeon Nam; Sang-Gyu Park (International Conference on Electronics, Information, and Communication, ICEIC 2024, Taipei, Taiwan, January 28-31, 2024, 2024)

Automatic Library Migration Using Large Language Models: First Results - Aylton Almeida; Laerte Xavier; Marco Túlio Valente (Proceedings of the 18th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2024, Barcelona, Spain, October 24-25, 2024, 2024)

Netfuzzlib: Adding First-Class Fuzzing Support to Network Protocol Implementations - Jeroen Robben; Mathy Vanhoef (Computer Security - ESORICS 2024 - 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part II, 2024)

First International Workshop on Generative Neuro-Symbolic AI (GeNeSy 2024) - Filip Ilievski; Jacopo de Berardinis; Jongmo Kim; Nitisha Jain (Joint Proceedings of the ESWC 2024 Workshops and Tutorials co-located with 21th European Semantic Web Conference (ESWC 2024), Hersonissos, Greece, May 26-27, 2024, 2024)

First Order Online Optimisation Using Forward Gradients in Over-Parameterised Systems - Behnam Mafakheri; Jonathan H. Manton; Iman Shames (European Control Conference, ECC 2024, Stockholm, Sweden, June 25-28, 2024, 2024)

A First Look into Utiq: Next-Generation Cookies at the ISP Level - Ismael Castell-Uroz; Pere Barlet-Ros (IEEE European Symposium on Security and Privacy Workshops, EuroS&PW 2024, Vienna, Austria, July 8-12, 2024, 2024)

First Steps towards Deductive Verification of LLVM IR - Dré van Oorschot; Marieke Huisman; Ömer Sakar (Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, 2024)

Effects of Adaptive Time Delay on Quality of Experience in First Person Shooter Games - Samin Shahriar Tokey; James Cannon; Saketh Dinasarapu; Ao Jiang; Hanzalah Qamar; Mark Claypool (Proceedings of the 19th International Conference on the Foundations of Digital Games, FDG 2024, Worcester, MA, USA, May 21-24, 2024, 2024)

The Effects of Network Latency on the Peeker's Advantage in First-person Shooter Games - Samin Shahriar Tokey; Zesheng Chen; Colin Mettler; Dexuan Tang; Ben Boudaoud; Joohwan Kim; Josef B. Spjut; Mark Claypool (Proceedings of the 19th International Conference on the Foundations of Digital Games, FDG 2024, Worcester, MA, USA, May 21-24, 2024, 2024)

Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement - Koko Muroya; Makoto Hamana (Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings, 2024)

The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks - Ashwin Prasad Shivarpatna Venkatesh; Samkutty Sabu; Amir M. Mir; Sofia Reis; Eric Bodden (Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, FORGE 2024, Lisbon, Portugal, 14 April 2024, 2024)

Synthesis for Prefix First-Order Logic on Data Words - Julien Grange; Mathieu Lehaut (Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings, 2024)

Leaf-First Zipper Semantics - Sergueï Lenglet; Alan Schmitt (Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings, 2024)

Craig Interpolation for Decidable First-Order Fragments - Balder ten Cate; Jesse Comer (Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, 2024)

Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics - Ambrus Kaposi; Szumi Xie (9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia, 2024)

A Framework for Individual-First and Public-First Planning Considering Individual Preferences in Theme Park Problem - Atsushi Ueno; Sho Yoshioka; Tomohito Takubo (IEEE Gaming, Entertainment, and Media Conference, GEM 2024, Turin, Italy, June 5-7, 2024, 2024)

Late Bloomers, First Glances, Second Chances: Exploration of the Mechanisms Behind Fitness Diversity - Sofya Aksenyuk; Szymon Bujowski; Maciej Komosinski; Konrad Miazga (Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2024, Melbourne, VIC, Australia, July 14-18, 2024, 2024)

Hot off the Press: The First Proven Performance Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) on a Combinatorial Optimization Problem - Sacha Cerf; Benjamin Doerr; Benjamin Hebras; Yakob Kahane; Simon Wietheger (Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2024, Melbourne, VIC, Australia, July 14-18, 2024, 2024)

Improving Block Management in 3D NAND Flash SSDs with Sub-Block First Write Sequencing - Matchima Buddhanoy; Kamil Khan; Aleksandar Milenkovic; Sudeep Pasricha; Biswajit Ray (Proceedings of the Great Lakes Symposium on VLSI 2024, GLSVLSI 2024, Clearwater, FL, USA, June 12-14, 2024, 2024)

E-Cube: Towards a First Benchmarking Facility for Battery-Free Systems - Markus Schuß; Carlo Alberto Boano (Proceedings of the 2024 International Conference on Information Technology for Social Good, GoodIT 2024, Bremen, Germany, September 4-6, 2024, 2024)

First Experiences on the Application of Lakehouses in Industrial Practice - Jan Schneider; Arnold Lutsch; Christoph Gröger; Holger Schwarz; Bernhard Mitschang (Proceedings of the 35th GI-Workshop Grundlagen von Datenbanken, Herdecke, Germany, May 22-24, 2024, 2024)

Analysis of the Impact on Immersive Experience: Narrative Effects in First and Third Person Perspectives - Lin Liu; Shizhu Lu; Yuqing Guo; Qiuyu Huang; Xiaolie Yi; Jifa Zhang (Design, User Experience, and Usability - 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV, 2024)

Z3VR - An Interactive VR Learning Environment for One of the First Computers (Konrad Zuse's Z3) - Lukas Moersler; David A. Plecher; Christian Eichhorn; Gudrun Klinker (Virtual, Augmented and Mixed Reality - 16th International Conference, VAMR 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III, 2024)

Bootstrapping Assessments for Team Simulations: Transfer Learning Between First-Person-Shooter Game Maps - Benjamin D. Nye; Mark G. Core; Sai V. R. Chereddy; Vivian Young; Daniel Auerbach (Adaptive Instructional Systems - 6th International Conference, AIS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, 2024)

Visual or Auditory First? The Modality Shift Effect in Two-Stage Takeover Warning - Yang Wang; Chu Zhou; Xuesong Wang; Shuo Yang (Design, User Experience, and Usability - 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II, 2024)

All is Fair in Love and War: Moral Foundations in English-Language Tweets during the First 36 Weeks of Conflict Between Ukraine and Russia - Eimon Amjadi; Richard John (57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, 2024)

Going Digital First as an Incumbent: Reaching Outwards and Anchoring Inwards to Safeguard the Incumbent Physical Core - Shiyuan (Eric) Liu; Anna Essén; Magnus Mähring (57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, 2024)

Collaborative Robots (Cobots) for Emergency Situations: a Snake Robots as a Team Member for Delivering First Aid in Emergency Situations - Syed Kumayl Raza Moosavi; Muhammad Hamza Zafar; Filippo Sanfilippo (57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, 2024)

First Impressions of the NVIDIA Grace CPU Superchip and NVIDIA Grace Hopper Superchip for Scientific Workloads - Nikolay A. Simakov; Matthew D. Jones; Thomas R. Furlani; Eva Siegmann; Robert J. Harrison (Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region Workshops, HPCAsia 2024, Nagoya, Japan, January 25-27, 2024, 2024)

First International Workshop on Worker-Robot Relationships: Exploring Transdisciplinarity for the Future of Work with Robots - Cristina Zaga; Maria Luce Lupetti; Deborah Forster; Dave Murray-Rust; Micah Prendergast; David A. Abbink (Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024, Boulder, CO, USA, March 11-15, 2024, 2024)

First International Workshop on Scaling Knowledge Graphs for Industry: Summary - Michael Cochez; Evgeny Kharlamov; Radu Prodan (Joint Proceedings of Posters, Demos, Workshops, and Tutorials of the 20th International Conference on Semantic Systems co-located with 20th International Conference on Semantic Systems (SEMANTiCS 2024), Amsterdam, The Netherlands, September 17-19, 2024, 2024)

Measurable quantities in a synchronization system under attack: A first step to implement a detection system - Giada Giorgi (IEEE International Instrumentation and Measurement Technology Conference, I2MTC 2024, Glasgow, United Kingdom, May 20-23, 2024, 2024)

Customers First vs Employees First: Effective Organizational Culture Contributing to Empathy - Takumi Kato; Masaki Koizumi (International Conference on Artificial Intelligence in Information and Communication , ICAIIC 2024, Osaka, Japan, February 19-22, 2024, 2024)

Novel First Person View for Human 3D Pose Estimation in Robotic Applications Using Fisheye Cameras - Kapil Deshpande; Christoph Heindl; Gernot Stübl; Martin J. Kollingbaum; Andreas Pichler (10th International Conference on Automation, Robotics and Applications, ICARA 2024, Athens, Greece, February 22-24, 2024, 2024)

First Order Logic for Command Understanding - Adrian Groza (10th International Conference on Automation, Robotics and Applications, ICARA 2024, Athens, Greece, February 22-24, 2024, 2024)

Integrating Language Models with Symbolic Formulas for First-Order Logic Reasoning - Yu Sheng; Linjing Li; Yifei Wang; Daniel Zeng (IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2024, Seoul, Republic of Korea, April 14-19, 2024, 2024)

First-Shot Unsupervised Anomalous Sound Detection with Unknown Anomalies Estimated by Metadata-Assisted Audio Generation - Hejing Zhang; Qiaoxi Zhu; Jian Guan; Haohe Liu; Feiyang Xiao; Jiantong Tian; Xinhao Mei; Xubo Liu; Wenwu Wang (IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2024, Seoul, Republic of Korea, April 14-19, 2024, 2024)

Playing the MEV Game on a First-Come-First-Served Blockchain - Burak Öz; Jonas Gebele; Parshant Singh; Filip Rezabek; Florian Matthes (IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2024, Dublin, Ireland, May 27-31, 2024, 2024)

A Stability-First Approach to Running TCP Over Starlink - Gregory Stock; Juan A. Fraire; Santiago Henn; Holger Hermanns; Andreas Schmidt (IEEE International Conference on Communications Workshops, ICC 2024 Workshops, Denver, CO, USA, June 9-13, 2024, 2024)

On the Capacity of Zero-Drift First Arrival Position Channels in Diffusive Molecular Communication - Yen-Chi Lee; Min-Hsiu Hsieh (IEEE International Conference on Communications, ICC 2024, Denver, CO, USA, June 9-13, 2024, 2024)

Subjective QoE Assessment for Virtual Reality Cloud-based First-Person Shooter Game - Henrique Souza Rossi; Karan Mitra; Samuel Larsson; Christer Åhlund; Irina Cotanis (IEEE International Conference on Communications, ICC 2024, Denver, CO, USA, June 9-13, 2024, 2024)

Network-first Separate Training with Raw Dataset Sharing: A Training Approach for AI/ML-Driven CSI Feedback - Aakash Saini; Jee Hyun Kim; Amir Ahmadian Tehrani; Yunchou Xing; Wolfgang H. Gerstacker (IEEE International Conference on Communications Workshops, ICC 2024 Workshops, Denver, CO, USA, June 9-13, 2024, 2024)

First Principle Modeling of a Morphable Unmanned Aerial-Aquatic Vehicle: Mirs-Alioth - Dongyue Huang; Minghao Dou; Xuchen Liu; Ruixin Yan; Songqun Gao; Zixuan Liu; Biao Wang; Lihua Dou; Ben M. Chen (18th IEEE International Conference on Control & Automation, ICCA 2024, Reykjavík, Iceland, June 18-21, 2024, 2024)

Towards the Construction of a Hypothetical Map of Santa Maria de la Antigua del Darién (Colombia), The First Spanish City in the American Mainland. An Overview of Ten years of a Communitarian and Multidisciplinary Archaeological Project - Marilena Cozzolino; Vincenzo Gentile; Paolo Mauriello; Alberto Sarcina (Computational Science and Its Applications - ICCSA 2024 Workshops - Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X, 2024)

Willingness to Subscribe to a Meal Kit Delivery Service: A First Investigation on Its Generated Impact in Italy - Lupini Pagliara Luca; Marialisa Nigro; Stimilli Arianna (Computational Science and Its Applications - ICCSA 2024 Workshops - Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII, 2024)

The First Swahili Language Scene Text Detection and Recognition Dataset - Fadila Wendigoundi Douamba; Jianjun Song; Ling Fu; Yuliang Liu; Xiang Bai (Document Analysis and Recognition - ICDAR 2024 - 18th International Conference, Athens, Greece, August 30 - September 4, 2024, Proceedings, Part V, 2024)

On Image Processing and Pattern Recognition for Thermograms of Watermarks in Manuscripts - A First Proof-of-Concept - Dominik Hauser; Matthias Beckmann; Günther Koliander; H. Siegfried Stiehl (Document Analysis and Recognition - ICDAR 2024 - 18th International Conference, Athens, Greece, August 30 - September 4, 2024, Proceedings, Part III, 2024)

Renting Servers in the Cloud: Parameterized Analysis of FirstFit - Mahtab Masoori; Lata Narayanan; Denis Pankratov (Proceedings of the 25th International Conference on Distributed Computing and Networking, ICDCN 2024, Chennai, India, January 4-7, 2024, 2024)

Reducing First-Frame Delay of Live Streaming by Simultaneously Initializing Window and Rate - Bo Wu; Tong Li; Cheng Luo; Xu Yan; Fuyu Wang; Changkui Ouyang; Linfeng Guo; Haiyang Wang; Ke Xu (44th IEEE International Conference on Distributed Computing Systems, ICDCS 2024, Jersey City, NJ, USA, July 23-26, 2024, 2024)

LakeHarbor: Making Structures First-Class Citizens in Data Lakes - Hiroyuki Yamada; Masaru Kitsuregawa; Kazuo Goda (40th IEEE International Conference on Data Engineering, ICDE 2024, Utrecht, The Netherlands, May 13-16, 2024, 2024)

Faster Depth-First Subgraph Matching on GPUs - Lyuheng Yuan; Da Yan; Jiao Han; Akhlaque Ahmad; Yang Zhou; Zhe Jiang (40th IEEE International Conference on Data Engineering, ICDE 2024, Utrecht, The Netherlands, May 13-16, 2024, 2024)

Automated Detection of Faces in Infant and Parent First-Person Views During Play - Julia Yurkovic-Harding; Jessica Bradshaw (IEEE International Conference on Development and Learning, ICDL 2024, Austin, TX, USA, May 20-23, 2024, 2024)

The Traveling Tournament Problem: Rows-First versus Columns-First - Kristian Verduin; Ruben Horn; Okke van Eck; Reitze Jansen; Thomas Weise; Daan van den Berg (Proceedings of the 26th International Conference on Enterprise Information Systems, ICEIS 2024, Angers, France, April 28-30, 2024, Volume 1, 2024)

All You Need Is Context: Clinician Evaluations of various iterations of a Large Language Model-Based First Aid Decision Support Tool in Ghana - Paulina Boadiwaa Mensah; Nana Serwaa Quao; Sesinam Dagadu; James Kwabena Mensah; Jude Domfeh Darkwah; Proj ect Genie Clinician (12th IEEE International Conference on Healthcare Informatics, ICHI 2024, Orlando, FL, USA, June 3-6, 2024, 2024)

Dilemma Model of Cooperative Guidance and Control to solve the speed-certainty-dilemma in Human-Autonomy Teaming: First Sketch - Frank Flemisch; Michael Preutenborbeck; Laurenz Burlage; Alexander Ripkens (4th IEEE International Conference on Human-Machine Systems, ICHMS 2024, Toronto, ON, Canada, May 15-17, 2024, 2024)

Takeover time: Requirements for highly automated inland vessels - First experimental-based results - Olena Shyshova; Pooja Gadhavi; Matthias Tenzer; Foghor Tanshi; Dirk Söffker (4th IEEE International Conference on Human-Machine Systems, ICHMS 2024, Toronto, ON, Canada, May 15-17, 2024, 2024)

Rethinking Branching on Exact Combinatorial Optimization Solver: The First Deep Symbolic Discovery Framework - Yufei Kuang; Jie Wang; Haoyang Liu; Fangzhou Zhu; Xijun Li; Jia Zeng; Jianye Hao; Bin Li; Feng Wu (The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024, 2024)

On Penalty Methods for Nonconvex Bilevel Optimization and First-Order Stochastic Approximation - Jeongyeol Kwon; Dohyun Kwon; Stephen Wright; Robert D. Nowak (The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024, 2024)

Grokking as a First Order Phase Transition in Two Layer Networks - Noa Rubin; Inbar Seroussi; Zohar Ringel (The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024, 2024)

FOSI: Hybrid First and Second Order Optimization - Hadar Sivan; Moshe Gabel; Assaf Schuster (The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024, 2024)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints - Weidi Xu; Jingwei Wang; Lele Xie; Jianshan He; Hongting Zhou; Taifeng Wang; Xiaopei Wan; Jingdong Chen; Chao Qu; Wei Chu (The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024, 2024)

First-order ANIL provably learns representations despite overparametrisation - Oguz Kaan Yüksel; Etienne Boursier; Nicolas Flammarion (The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024, 2024)

Hard Tasks First: Multi-Task Reinforcement Learning Through Task Scheduling - Myungsik Cho; Jongeui Park; Suyoung Lee; Youngchul Sung (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

Double Variance Reduction: A Smoothing Trick for Composite Optimization Problems without First-Order Gradient - Hao Di; Haishan Ye; Yueling Zhang; Xiangyu Chang; Guang Dai; Ivor W. Tsang (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

Decoupling Learning and Decision-Making: Breaking the O(T) Barrier in Online Resource Allocation with First-Order Methods - Wenzhi Gao; Chunlin Sun; Chenyu Xue; Yinyu Ye (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

A Study of First-Order Methods with a Deterministic Relative-Error Gradient Oracle - Nadav Hallak; Kfir Yehuda Levy (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

First-Order Manifold Data Augmentation for Regression Learning - Ilya Kaufman; Omri Azencot (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

A Universal Transfer Theorem for Convex Optimization Algorithms Using Inexact First-order Oracles - Phillip A. Kerger; Marco Molinaro; Hongyi Jiang; Amitabh Basu (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

On The Complexity of First-Order Methods in Stochastic Bilevel Optimization - Jeongyeol Kwon; Dohyun Kwon; Hanbaek Lyu (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

Convergence and Complexity Guarantee for Inexact First-order Riemannian Optimization Algorithms - Yuchen Li; Laura Balzano; Deanna Needell; Hanbaek Lyu (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

Bootstrapping Fisher Market Equilibrium and First-Price Pacing Equilibrium - Luofeng Liao; Christian Kroer (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

Enhancing Value Function Estimation through First-Order State-Action Dynamics in Offline Reinforcement Learning - Yun-Hsuan Lien; Ping-Chun Hsieh; Tzu-Mao Li; Yu-Shuen Wang (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

An Online Optimization Perspective on First-Order and Zero-Order Decentralized Nonsmooth Nonconvex Stochastic Optimization - Emre Sahinoglu; Shahin Shahrampour (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

Breadth-First Exploration on Adaptive Grid for Reinforcement Learning - Youngsik Yoon; Gangbok Lee; Sungsoo Ahn; Jungseul Ok (Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, 2024)

Key Factors of Government Knowledge Base Adoption in First-, Second- and Third-Tier Cities in China - Jing Zhou; Li Si (Wisdom, Well-Being, Win-Win - 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part III, 2024)

Harnessing Integrated CPU-GPU System Memory for HPC: a first look into Grace Hopper - Gabin Schieffer; Jacob Wahlgren; Jie Ren; Jennifer Faj; Ivy Peng (Proceedings of the 53rd International Conference on Parallel Processing, ICPP 2024, Gotland, Sweden, August 12-15, 2024, 2024)

ARJA-e for the First International Competition on Automated Program Repair - Yuan Yuan (IEEE/ACM International Workshop on Automated Program Repair, APR@ICSE 2024, Lisbon, Portugal, April 20, 2024, 2024)

A First Look at the General Data Protection Regulation (GDPR) in Open-Source Software - Lucas Franke; Huayu Liang; Aaron Brantly; James C. Davis; Chris Brown (Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024, 2024)

A First Look at the Inheritance-Induced Redundant Test Execution - Dong Jae Kim; Jinqiu Yang; Tse-Hsun Chen (Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024, 2024)

On the impact of VR/AR applications on optical transport networks: First experiments with Meta Quest 3 gaming and conferencing applications - C. De Quinto; A. Navarro; G. Otero; Nataliia Koneva; José Alberto Hernández; Marco Quagliotti; Alfonso Sánchez-Macián; Farhad Arpanaei; Pedro Reviriego; Óscar González de Dios; José Manuel Rivas-Moscoso; Emilio Riccardi; et al. (24th International Conference on Transparent Optical Networks, ICTON 2024, Bari, Italy, July 14-18, 2024, 2024)

Which Came First, Price or Activity? A Vicious Circle of a Blockchain-Based Social Media in the Bear Market (Extended Abstract) - Jingyu Jeong; Seungwon (Eugene) Jeong; Michael Seo (Proceedings of the Eighteenth International AAAI Conference on Web and Social Media, ICWSM 2024, Buffalo, New York, USA, June 3-6, 2024, 2024)

Spaceborne L-Band Forest Tomosar: A First Case Study - Francesco Banda; Naomi Petrushevsky; Stefano Tebaldini; Andrea Monti Guarnieri (IGARSS 2024 - 2024 IEEE International Geoscience and Remote Sensing Symposium, Athens, Greece, July 7-12, 2024, 2024)

Integration of Remote Sensing, Ground Data and Meteo-Climatic Variables for Agricultural Drought Monitoring: First Results of a Data-Driven Approach - Filippo Bocchino; Riccardo Contu; Lorenza Ranaldi; Antonio Denaro; Laura Rosatelli; Camillo Zaccarini; Deodato Tapete; Alessandro Ursi; Maria Virelli; Patrizia Sacco; Valeria Belloni; Roberta Ravanelli; et al. (IGARSS 2024 - 2024 IEEE International Geoscience and Remote Sensing Symposium, Athens, Greece, July 7-12, 2024, 2024)

A first Evaluation of the Prisma Hyperspectral Data Potentialities for Civil Protection Applications. Case Study: Burned Area Mapping - Luca Cenci; Giuseppe Squicciarino; Luca Pulvirenti (IGARSS 2024 - 2024 IEEE International Geoscience and Remote Sensing Symposium, Athens, Greece, July 7-12, 2024, 2024)

A Global Forest Cover Map for Year 2020: Purpose, Methodology and First Assessment - René R. Colditz; Clément Bourgoin; Iban Ameztoy; Astrid Verhegghen; Silvia Carboni; Baudouin Desclée; Frédéric Achard (IGARSS 2024 - 2024 IEEE International Geoscience and Remote Sensing Symposium, Athens, Greece, July 7-12, 2024, 2024)

First Wide-Area Dutch Peatland Subsidence Estimates Based on InSAR - Philip Conroy; Yustisi A. Lumban-Gaol; Simon A. N. van Diepen; Freek J. van Leijen; Ramon F. Hanssen (IGARSS 2024 - 2024 IEEE International Geoscience and Remote Sensing Symposium, Athens, Greece, July 7-12, 2024, 2024)

AVIRIS-3: Next-Generation Imaging Spectroscopy Calibration and First Results - Regina Eckert; Michael Bernas; Philip G. Brodrick; John W. Chapman; Adam Chlus; Michael L. Eastwood; Sven Geier; Mark Helmlinger; Didier Keymeulen; Elliott Liggett; Shriya Nadgauda; Luis Ríos; et al. (IGARSS 2024 - 2024 IEEE International Geoscience and Remote Sensing Symposium, Athens, Greece, July 7-12, 2024, 2024)

First Experimental Results of a K-Band RFI Detection Payload for Pocketqubes - Guillem Gracia-Sola; Youssef El-Kaisi; Roger Almirall-Jou; Luis Contreras-Benito; Stefan Podaru; Adriano Camps (IGARSS 2024 - 2024 IEEE International Geoscience and Remote Sensing Symposium, Athens, Greece, July 7-12, 2024, 2024)

Activities and Development of a GIS Information Tool to Support Public Administrations to Counteract the Urban Heat Island Phenomenon: The First Year of Activity of the Mirificus Project - Giulia Guerri; Gennaro Albini; Alessandra Casali; Angela Cimini; Luca Congedo; Alfonso Crisci; Arnaldo A. De Benedetti; Stefano De Corso; Pasquale Dichicco; Michele Munafò; Marco Morabito (IGARSS 2024 - 2024 IEEE International Geoscience and Remote Sensing Symposium, Athens, Greece, July 7-12, 2024, 2024)