Results

Forecasting of the Traffic Situation in the Hannover Region

The main requirement of road traffic participants is to know the current traffic situation. Such data is typically obtained from routing services where the time of many different individual trips is taken into account.

In the context of Data4UrbanMobility tools were developed that allow to predict the traffic situation based on such time series data. The following figure presents an interface to visualize typical time series patterns as well as outliers present in the data:

The prediction of the traffic situation is made available in the form of a map based interface for the end user:

Data4UrbanMobility Data Protection Regulation

The work on the Data4UrbanMobility data protection regulation is completed. The document is publicly available and can be found here.

First Version of MiC-App Available

A first version of the novel MiC-App (Move in the City) App is now available for D4UM-associates as well as a protected group of public users. The mobile MiC-App is a tool to gather data.

MiC was developed by the Institute for Sustainable Urbanism at the University of Braunschweig and the Projektionisten GmbH. MiC links the growing awareness of digital citizen rights with the potential of evaluation big datasets. Therefore MiC gives the opportunity to citizen to actively participate in a citizen science project to take part in the development of the mobility of the feature.

MiC gathers data of the users movement, where the user has the about which data should be recorded. All data is pseudonymised such that the privacy of the contributing citizen is ensured.

Current Status:

In the first version of the app, the user can easily start and end the tracking of his/her movement. It is worth to point out, that the user decides when he is tracked and when not. A summary of his/her activity is available for the user as well as the opportunity to issue feedback or even delete all of his contributed data.

Updated System with Dashboard V2

With the new version of our system, the dashboard will provide even more insights into the impact of public events on the traffic situation.

The coloring and labels let us easily distinguish between the different type of events. By clicking on the label we show the typically affected subgraph for that event type. This allows the user to check what specific routes are typically affected by an event at that location.

Examples: Visualisation of a concert and a football game.

In addition, the graph at the top right gives additional information on how big the impact around the events start time tends to be.

{API}
We enriched the api endpoints with additional information from the data models that were developed as part of the research efforts.

D4UM App Version 1.0

We just released the first Version of the D4UM App. Every project member now has access to the application and can try out its features. Let’s quickly go over some of its main features.
The EFA integration (EFA is a routing engine covering Lower Saxony and Bremen ) allows for quick access to tip information using all available public transport options. Our focus, when designing the application, was on quick and easy navigation to provide a simple and easy to use trip planning tool.

Departures and Connections

On the departure screen we show the user the closes stops for public transportation in his immediate vicinity. On the connection screen the user can fill in his desired starting location( either an address or an existing stop ) and destination and query for what connections are available to him. The provided information contains real time data , meaning we are able to visualized delays for any given connection.

Map

On the map screen you can see and or find all available stops of public transportation. This allows for providing the user with a great way to find out what stops are available in their city. By clicking on any of the shown stops will open the departure screen and provide you with the information mentioned above. To better visualize a selected connection, we show the route you plan to travel on the map.

Menu / Settings

Additional features can be found in the settings menu of the application. Here you can find settings that allow you to customize your routing results for both the departures and connection screen. The best way to let us know what you think about the application is to use the feedback module. This can be found here as well. First click on the emoji that best describe how you feel about the app. And then put in any additional information or ideas or thoughts you may have. Now what is left is just to press send and you will send us an email.

We look forward to hearing from you.

Quantification and Prediction of Impact of Public Events

Current Data4UrbanMobility research results allow for measuring and prediction of spatial impact on road traffic of public events. Connected, affected street segments nearby public events are identified to measure the spatial impact. The approach is depicted in the following figure:

(Karte von https://www.openstreetmap.org)

An event is marked as yellow dot, affected streets in red and the measured impact in dark blue. Moreover, an approach making use of machine learning algorithms was developed to predict the impact determined in this way, resulting an error-reduction of up to 40% when compared to existing state-of-the-art approaches.

D4UM – Platform V1 Released

The first version of the Data4UrbanMobiltiy platform has been released. The platform was designed and implemented following a 3-tier-architecture. The platform provides RESTfull Web services for mobility applications like dashboards or mobile apps. As a demonstration, an interactive map application has been developed that visualizes the spatial impact of public events. The following figure shows a screenshot of the application.

The figure shows 4 public events in the city of Hannover. The colors represent different types of public events (e.g. concerts, fairs, sport events). The circles visualize the spatial impact on road traffic caused by the public events.

Comprehensive Set of Requirements

The Data4UrbanMobility analysis of requirements includes requirements of the application partners Region Hannover (RH) and Wolfsburg AG (WAG) as well as non functional requirements. The requirements were collected by MOMA. The L3S derived research question for data analysis which are based on the requirements of RH and WAG. The research question address especially the information needs of end-users.

The current research questions particularly include

Automated verification of traffic warnings and prediction of their impact
Identification of events and prediction of their impact
Investigation of correlation of road traffic data, public transportation query logs, traffic warnings and twitterfeeds
Determination of optimal traveling timepoints

Growing Data Collection

ISU create a comprehensive data matrix containing potential source of mobility related data. The Data4UrbanMobility data model describes all project relevant data sets and sets them into context. This makes the data available in a unified manor for both analysis and applications. The selected data sources were transformed according to the Data4UrbanMobility data model by L3S. The data quality of selected data sources (i.e. public transportation query logs and road traffic data) was examined.

Tools for extracting the relevant information from the datasets were developed to enable the integration of the datasets.

Street and graph extraction from OpenStreetMap
Bulkloader for public transportation queries
Integration of “Zentrales Haltestellen Verzeichniss” (central registry of public transportation stops)

The current collection (December 12th 2017) contians

EFA-Logs: 17 million public transportation queries
Road traffic data: 174 thousand street sements with a frequency of 15 minutes
GTFS-data: 90 thousand. public transportation stops, 2.6 thousand routes
Weather: Radolan “Regenraster” (rain grid)
Twitter: 2,5 Mio. Tweets starting at June 2017

OSM: 440 thousand streets
Events: 21 thousand public events (August 14th 2016-July 17th 2018)

Traffic warnings: 13 thousand warning (since June 2017)

Visualization of Public Transportation Information

In order to allow intuitive analytics of public transportation information, the PROJEKTIONISTEN (PROJ) developed a dashboard web application. First prototypes visualize queries addressed to the regional timetable information system EFA (www.efa.de). The prototypes serve as foundations for exploration analyses as well as the implementation of future versions of the dashboard. The following figure shows an integrated visualization of the most frequent origins and destinations of the queries.

Analysen der EFA-Logs

Analysis of EFA Public Transportation Query Logs

Analyses regarding the impact of public events on public transportation are currently conducted to address early research questions. To this extend, explorative data analyses of the impact of major public events such as football games and medium sized events such as concerts were conducted. Visual analytics were used as a first step towards comprehensive analyses, which show start-like patterns for city center which identify mobility hubs of central importance.

The figure shows the direct connection between origin and destination of public transportation queries. Darker colors correspond to more frequent queried trips. Star-like pattern identify the central train station and the central metro station.

Analyses of single stations reveal weekday dependent patterns.

The figure depicts the average number of queries with the destination “Hannover Stadionbrücke”. Differences emerge between Weekends and workdays.

The impact of public events on the queries can be visualized as well.

The figure shows the number of queries with the Destination “Hannover Stadionbrücke” for Wednesday, April 26th 2017 (orange) as well as the average number of queries on a Wednesday for the same destination. On this day a concert took place in venue nearby. The concert start at 8 pm. The significant deviations between 5 pm and 7 pm is highly likely to be caused by visitors of the concert. This shows that public transportation queries are a valuable information source to investigate the impact of public events on mobility infrastructure.

Robotics, Computer Vision and Intelligent Systems - 5th International Conference, ROBOVIS 2025, Porto, Portugal, February 25-27, 2025, Proceedings Röning, Juha; Filipe, Joaquim in Communications in Computer and Information Science (2026). (Vol. 2629) Springer.
Want to Learn DSA from Scratch? Here’s Why It Matters for Your Coding Career. Gradus (2026).
Why Should You Enroll in a Data Structures and Algorithms Course to Become a Better Programmer?. Gradus (Gradus, ed.) (2026).
Limited thermal tolerance in tropical insects and its genomic signature. Holzmann, Kim L.; Schmitzer, Thomas; Abels, Antonia; vCorkalo, Marko; Mitesser, Oliver; Kortmann, Mareike; Alonso-Alonso, Pedro; Correa-Carmona, Yenny; Pinos, Andrea; Yon, Felipe; Alvarado, Mabel; Forsyth, Adrian; Lopera-Toro, Alejandro; Brehm, Gunnar; Keller, Alexander; Otieno, Mark; Steffan-Dewenter, Ingolf; Peters, Marcell K. (2026).

Insects make up the majority of all animal species, with 70% occurring in the tropics1, yet the impacts of warming on tropical insects remain highly uncertain2. This stems from sparse, taxonomically biased data on thermal tolerance of tropical insects and an incomplete understanding of the underlying physiological mechanisms3. Here we compared environmental temperatures with field-measured upper and lower thermal tolerance limits of around 2,300 insect species along Afrotropical and Neotropical elevational gradients and identified genomic signatures of thermal tolerance across the insect tree of life. We show that thermal tolerances do not proportionally track environmental temperatures but approach an asymptote in tropical lowlands. Insects at high elevations utilize plasticity to cope with rising temperatures, whereas lowland species have limited plastic abilities. Heat tolerance showed strong differences among insect orders and families, reflected in the thermal stability of proteins, suggesting that variation in thermal tolerance is founded in the fundamental protein architecture. Up to 52% of future surface temperatures and 38% of air temperatures in the Amazonian lowlands can cause heat mortality in half of the studied community. Our data suggest a limited capacity of insects in the Earth's most biodiverse regions to buffer future warming.
Frames of Participation: Design as Enquiry in Exploring Technological Futures of Emergency Care. Ambe, Aloha Hufana; Salisbury, Isaac; Grundgeiger, Tobias; Bodnar, Daniel; Rothwell, Sean; Brown, Nathan; Matthews, Ben (2026).
High-throughput phenomics of global ant biodiversity. Katzke, Julian; Hita Garcia, Francisco; Lösel, Philipp D.; Azuma, Fumika; Faragó, T; Aibekova, Lazzat; Casadei-Ferreira, Alexandre; Gautam, Shubham; Richter, Adrian; Toulkeridou, Evropi; Bremer, Sabine; Hamann, Elias; Hein, Jenny; Odar, Janes; Sarkar, Chandan; Zuber, Marcus; Boomsma, Jacobus J.; Feitosa, Rodrigo M.; Schrader, Lukas; Zhang, Guojie; Csosz, S; Dong, Minsoo; Evangelista, Olivia; Fischer, Georg; Fisher, Brian L.; Florez-Fernandez, Jaime A.; The_Antscan_GAGA_Consortium; Aron, Serge; Bernadou, Abel; Bollazzi, Martin; Boulay, Raphaél; Cremer, Sylvia; Feldhaar, Heike; Foitzik, Susanne; Frank, Erik T.; Gadau, Jürgen; Giannetti, Daniele; de Greef, Stephane; Helanterä, Heikki; Jesovnik, Ana; Larabee, Fredrick; Markó, Bálint; Nash, David; Orivel, Jérome; Pedersen, Jes Soe; Petitclerc, Frédéric; Rehner, Stephen; Schiott, Morten; Tartally, András; Tsuji, Kazuki; Villalta, Irene; Wagner, Herbert C.; García, Fede; Gómez, Kiko; Grasso, Donato A.; de Greef, Stephane; Guénard, Benoit; Hawkes, Peter G.; Johnson, Robert A.; Keller, Roberto A.; Larsen, Rasmus S.; Linksvayer, Timothy A.; Liu, Cong; Matte, Arthur; Ogasawara, Masako; Ran, Hao; Rodriguez, Juanita; Schifani, Enrico; Schultz, Ted R.; Shik, Jonathan Z.; Sosa-Calvo, Jeffrey; Tong, Chao; Tozetto, Leonardo; Yoon, Seonwoo; Yoshimura, Masashi; Zhao, Jie; Baumbach, Tilo; Economo, Evan P.; van de Kamp, Thomas (2026).

The big data era in biology is underway, but the study of organismal form has been slow to capitalize on advances in imaging and computation. Imaging approaches can digitize whole organisms, but low throughput has limited the effort to document morphological diversity. Here, within the open science initiative `Antscan', we applied high-throughput synchrotron X-ray microtomography to capture phenotypes across a diverse and ecologically dominant insect group: ants. At https://www.antscan.info, we provide 2,193 whole-body three-dimensional ant datasets from 212 genera and 792 species to broadly cover the ant phylogeny with a global scope, also pairing phenomic data with genome sequencing projects. Scans acquired with standardized parameters facilitate automated analysis, and free access to data can broaden the audience and incentivize methods development. Antscan presents a scalable approach to create libraries of diverse anatomies, heralding an era of studies on the evolution, structure and function of organismal phenotypes.
Grundkurs Wissenschaftliches Arbeiten 3.0 – Der Praxis-Guide für das Studieren mit KI Gertler, Martin (2026).

Lerne, wie du ChatGPT, DeepL & Co. als mächtige Werkzeuge nutzt, ohne dabei deinen eigenen Kopf auszuschalten. Werde zum "hybriden Forscher", der schneller arbeitet, präziser denkt und sicherer besteht. Das Upgrade für deine Haus-, Bachelor- oder Masterarbeit: Ein Turbo für jede Phase, von der smarten Themenfindung über die sekundenschnelle Literaturanalyse bis zum Schreib-Flow. Nutze die KI als deinen Motor, aber bleibe selbst der Pilot und sichere dir eine Bestnote.
Detection of Weight Distribution With an Electronically Augmented Bareback Pad During Therapy Using Equine Movement. Chan, Thomas; Dang, Rossy; Shastri, Vijay; Mastali, Arianna; Clyde, Sophie; Zhang, Annie; Prather, Caden; Ramey, Charles; Nugent, Bethany; Starner, Thad; Jackson, Melody M. (2025). 20:1–20:10.
Evaluating Data Preprocessing Strategies for Canine Activity Recognition Using IMUs. Tironi, Gustavo; de Pinho André, Rafael (2025). 8:1–8:11.
Design Fiction for Animal-Robot Interaction: In the New Era of Artificial Intelligence. Kasuga, Haruka; Takeshita, Masashi; Kasuga, Yuichiro (2025). 21:1–21:4.
Ape Jam: Exploring Cognitive Enrichment: Exploring Cognitive Enrichment. French, Fiona; Martin, Christopher Flynn; Clark, Fay; Yamanashi, Yumi; Kenworthy, Simon (2025). 22:1–22:4.
Exploring the Cockatoo’s Engagement with Audiovisual Stimuli: An Inclusive Avian-IoT Interaction Design. Hong, Haoran; Sui, Zhuoneng; Uesaka, Leo; Kudo, Hiromi; Kobayashi, Hill Hiroki (2025). 12:1–12:9.
Weeds or Careful Cultivars? On the Growth of Social Media in Urban Wildlife Research and Relations. Gowland, Sam; van der Linden, Dirk (2025). 3:1–3:13.
A Computer Vision Pipeline to Augment Touchscreen Tasks for Chimpanzees. Lubetkin, William; Martin, Christopher Flynn; Walker, Isabella; Peacock, Jake; Eller, Ryan J. (2025). 17:1–17:8.
What is An "Animal" Anyways?: From Essentialism to Social Construction Through Research on ACI. Ashooh, Lena; Kleinberger, Rébecca (2025). 13:1–13:6.
’Choice’ and ’Control’ in ACI Publications: A Systematic Review of Language Use Across Relational Contexts. McGraw, Eli B.; McNames, Megan; Wagoner, Isabelle; Brey, Lisa; Nippert-Eng, Christena (2025). 5:1–5:15.
Ewe’ve Got Nerve: Electronic Headwear System for Sheep Group Behavior Dynamics. Crim, Grace; Cabral, Alex; Hester, Josiah D.; Kemere, Caleb (2025). 19:1–19:6.
Keeping it Trunky: Engineering Improvements for Enabling Long Term Interactive Enrichment for Elephants. Mastali, Arianna; Prather, Caden; Ramey, Charles; Miller, Kirby; Elgart, Nathan; Starner, Thad; Jackson, Melody M. (2025). 18:1–18:8.
Providing choice and control at the zoo: a preliminary review of contextual factors based on expert interviews. Brey, Lisa; McNames, Megan; McGraw, Eli B.; Hassinger, Lilliana; Wagoner, Isabelle; Nippert-Eng, Christena (2025). 15:1–15:11.
Colobus Curio Cabinet: A Modular, Mirror-Based, Co-Designed Enrichment Proposal for Colobus guereza. Johnson, Omi; Klimkowski, Victoria; Haley, Shannon; MacDonald, Cailigh; Woodruff, Sarah; Kleinberger, Rébecca (2025). 14:1–14:12.
Parallel Animal-Centered Ethics: An Investigatory Review of Lab Rat Welfare Literature. Peacock, Jake; Brey, Lisa; Levinson, Leigh (2025). 16:1–16:20.
Using Community Notes to Enact Attitudinal Change towards Urban Wildlife. Gowland, Sam; Davidson, Brittany I.; van der Linden, Dirk (2025). 1:1–1:14.
Swing it On: Design of Responsive Acoustic Environments for Zoo-housed Colobus Monkeys. Habboosh, David; Nayal, Mohamed El; Guiru, Sean; Syed, Aamer; Hirskyj-Douglas, Ilyena; Woodruff, Sarah; Kleinberger, Rébecca (2025). 10:1–10:8.
Toward Automated Pain Evaluation in Osteoarthritic Dogs Through Inertial Data and Machine Learning. Wu, Yifan; Wang, Jianxun; Lascelles, B. Duncan X.; Enomoto, Masataka; Bozkurt, Alper; Roberts, David L. (2025). 6:1–6:13.
Look What the Cat Tapped In: Exploring Digital Interactive Systems Designed for the Cat Cafe Experience. Payne, Florence P. E.; Kleinberger, Rébecca; Hirskyj-Douglas, Ilyena (2025). 2:1–2:16.
Driving out the Bears from the Suburbs by Means of Location Theory and Intelligent Agents. Dünnweber, Jan; Lorenz, Marcel; Bräu, Fabian; Saito, Hiroshi; Melzer, Matthias (2025). 7:1–7:9.
An Integrated Wearable Sensor System for Simultaneous Pull and Pace Characterization in Guide Dogs. Nichols, Colt; Wu, Yifan; McNamee, Eleanor; Greene, Curtis; Gruen, Margaret; Russenberger, Jane; Brenninkmeyer, Gerald; Roberts, David L.; Bozkurt, Alper (2025). 9:1–9:8.
Listening with the Fishes: Aquatic Audio Interfaces to Experience Acoustic Underwater Worlds. Lu, Karen; Hirskyj-Douglas, Ilyena; MacDonald, Cailigh; Kleinberger, Rébecca (2025). 11:1–11:9.
Predictive inference is really free with in-context learning. Mukherjee, Sohom; Antonov, Ivane; Günder, Kai; Maichle, Magnus Josef (2025).
DiabetiCAT: Animal Biosensing Computing with Feline Urine Glucose Biosensing and Hydration Monitoring. Sun, Shuyi; Yon, Jinho; Chen, Xingda; Reagan, Krystle L.; Vega, Katia (2025). 4:1–4:14.
Platform for Introducing Logic Programming in Bulgarian Secondary Schools - IDEAS (Intelligent Data Educational Analysis System). Tabakova-Komsalova, Veneta; Maglizhanova, Magdalena; Stoyanova-Doycheva, Asya; Stoyanov, Stanimir in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 12.
ASP and PDDL+ Applications in Urban Traffic Distribution and Control. Vallati, Mauro; Dodaro, Carmine; Doria, Francesco; Fiorentino, Salvatore; Maratea, Marco; Percassi, Francesco; Tarzariol, Alice in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 8.
Constructionist Co-Design for the Learning Experience: A Work-in-Progress on Engaging Teachers to Integrate Logic Programming in Primary School. Rodríguez, Jorge P.; Cecchi, Laura Andrea in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 10.
Precise Exponential-Time Complexity of Non-Monotonic Reasoning. Maizia, Mohamed in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 6.
On the Translation of ASP Rules to (Controlled) Natural Language Sentences. Caruso, Simone; Dodaro, Carmine; Scudo, Fabrizio Lo; Maratea, Marco; Reale, Kristian in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 12.
Scalable and Ethical Medical Scheduling: An ASP-Based Framework with Patient-Centered Experimental Validation. Vozna, Alina; Monaldini, Andrea; Costantini, Stefania; Pado, Dawid; Pitoni, Valentina in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 8.
Knowledge-Based Stable Roommates Problems. Fidan, Müge in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 6.
Teaching Prolog and Logic Programming with Jupyter Notebooks. Sartor, Galileo; Wyner, Adam Z. in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 6.
Towards Incorporating Normative Requirements In Autonomous Systems Using Datalog. Mirani, Mahrokh in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 6.
The Simple Generative Logic Grammar: A Tool for Teaching Logical Thinking Through Visual Research in Art and Design. Jendreiko, Christian in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 11.
A Neurosymbolic Approach to Fraud Detection on Financial Data in the Public Administration. Vitale, Michele in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 5.
Visualizing Kripke Models in LogiKEy: the Case of SDL. Pasetto, Luca; Benzmüller, Christoph in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 9.
Global Type Inference for Java using Answer Set Programming. Stadelmeier, Andreas; Plümicke, Martin in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 13.
Temporal Conditional Reasoning with Weighted Knowledge Bases. Alviano, Mario; Giordano, Laura; Dupré, Daniele Theseider in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 8.
Representing and Evaluating SBVR Specification via ASP. Caruso, Simone; Dodaro, Carmine; Maratea, Marco in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 17.
Tackling the Air Traffic Flow and Capacity Management Problem with Explainable Answer Set Programming. Beiser, Alexander in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 7.
Answer Set Counting and its Applications to Network Reliability and System Biology. Kabir, Mohimenul in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 8.
Search-Guided Generation of Properties for Program Analyzers. Ferreiro, Daniela in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 9.
Toward Executing Datalog on Big Data Platforms - Extended Abstract. Cuteri, Andrea; Mazzotta, Giuseppe; Ricca, Francesco in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 1.
Learn Where I Can Walk: Auto-labeling of Walked Areas Using Monocular Camera Trajectory. Engelhardt, Helmut; Kalenberg, Matthias; Franke, Jörg; Martin, Sina in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 348–363.
Enhancing Compilation-based ASP Solving. Cuteri, Andrea in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 9.
Formal Verification of Answer Set Programs Containing Advanced Language Constructs. Hansen, Zachary in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 9.
Silent Speech Interface Based on Surface Electromyography Using Arduino and Ensemble Learning. Deveza, William Kyle; Ibarra, Joseph Bryan G.; Sejera, Marloun in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 228–249.
Norm-Based Stability Conditions for Neutral Systems with Discrete Delays. Faydasicok, Ozlem; Arik, Sabri in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 265–274.
Towards a Reliable Multimodal AI Monitoring System for Pain Detection and Quantification. Wang, Huibin; Nienaber, Sören; Dinges, Laslo; Jung, Magnus; Al-Hamadi, Ayoub in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 164–181.
Active Closure: Symbolic Active Contour for Spatial Automated Reasoning. Olszewska, Joanna I. in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 397–413.
Improving Stability and Precision of Bird Tracking in Stereo Vision Systems. Madejski, Grzegorz; Stocki, Aleksy; Gradolewski, Dawid; Kaoka, Wlodzimierz; Kulesza, Wlodek J. in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 535–556.
Is an Object-Centric Representation Beneficial for Robotic Manipulation?. Chapin, Alexandre; Dellandréa, Emmanuel; Chen, Liming in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 510–523.
Deep Learning-Based Object Recognition for Automated Dissolution Monitoring. Burgdorf, Simon-Johannes; Karim, Md Rezwanul; Thurow, Kerstin in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 15–27.
Statistically Consistent Total Least-Squares Estimation of Object Scales. Hasselbring, Arne; Frese, Udo in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 208–227.
Material Classification Using Visio-Tactile Sensor for Haptic Feedback Generation. Shuvo, Md Golam Rabby; Coleman, Sonya; Kerr, Dermot; Quinn, Justin in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 364–382.
Automating 3D Dataset Generation with Neural Radiance Fields. Schulz, Paul; Hempel, Thorsten; Al-Hamadi, Ayoub in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 28–43.
Robot Vision System for Retail Shelf Monitoring. Latha, Abhishek V.; Rahimipour, Mohammad; Merabet, Adel in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 92–102.
Synth it Like KITTI: Synthetic Data Generation for Object Detection in Driving Scenarios. Marcus, Richard; Vogel, Christian; Jatzkowski, Inga; Knoop, Niklas; Stamminger, Marc in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 414–432.
A Flexible Output Distribution for Regression-Based Probabilistic Long-Term Human Trajectory Prediction. Hug, Ronny; Becker, Stefan; Hübner, Wolfgang; Arens, Michael; Beyerer, Jürgen in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 488–509.
PENet: A Joint Panoptic Edge Detection Network. Zhou, Yang; Loianno, Giuseppe in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 250–264.
Error Modification of Robot Motion Generation by LLM Based on Parts Function and Physical Features of Robot. Suzuki, Takahiro; Hashimoto, Manabu in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 130–147.
Ex Pede Herculem, Predicting Global Actionness Curve from Local Clips. Chen, Xu; Li, Yang; Han, Yahong; Shen, Jialie C. Gurrin, K. Schoeffmann, M. Zhang, L. Rossetto, S. Rudinac, D.-T. Dang-Nguyen, W.-H. Cheng, P. Chen, J. Benois-Pineau (eds.) (2025). 7239–7247.
Sustainability practices in libraries and educational institutions: Building a resilient future. Shanker, Jairaj (2025). 15(2) 49–55.

In today's dynamic world, sustainability has become paramount across many sectors, including libraries and educational institutions. These entities, as hubs of knowledge dissemination and learning, play a crucial role in promoting and practicing sustainability. By implementing sustainable measures, libraries and educational institutions not only reduce their conservational foot print but also educate and inspire future generations on responsible environmental stewardship. This article explores the significance of sustainability in these contexts, highlighting environmental responsibility, educational impact, and economic benefits. Specific sustainable practices, such as energy efficiency, waste reduction, green building standards, and sustainable collection management, are explored, with illustrative examples from institutions like Harvard University and the University of British Columbia. Furthermore, the article addresses challenges such as funding constraints and cultural shifts, proposing strategies to bolster institutional commitment and effectiveness in sustainability initiatives. By integrating sustainability in to operations and curricula, libraries and educational institutions can lead by example, fostering a sustainable future for all.
Shadow-Robust Autonomous Navigation with Traversability Judgement Using Stereo Camera. Omori, Motonobu; Hayashi, Kota; Yoshitake, Hiroshi; Shino, Motoki in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 115–129.
LiCAR: Pseudo-RGB LiDAR Image for CAR Segmentation. de Loyola Páez-Ubieta, Ignacio; Velasco-Sánchez, Edison P.; Puente, Santiago T. in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 63–73.
Automatic Comparison of Ecuadorian Facial Features with Marquardt Beauty Mask. Ormaza, Jesús; Morillo, Paulina; Vallejo-Huanga, Diego in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 182–192.
Objects Detection on the Water Surface Using Satellite Imagery, Drones and Vessel-Based Imaging Applied for Logistics. Salah, Iheb Ben; Otis, Martin J.-D.; Rahem, Remy; Ardhaoui, Mahassen in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 469–487.
Pipeline Inspection a Case Study for Human Cognition Inspired Condition Management System. Dhungana, Hariom in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 383–396.
Librarian leads reading garden project. Cockcroft, Marlaina (2025). 71(Aug 07)

Third-graders at Liberty Oaks Elementary in Kansas City, MO, are literally planting the seeds of sustainability and generosity. As part of the school's Garden Project, they're creating a seed library for home gardeners and developing a reading garden for their school. A few years ago, when the school's garden was restarted after COVID-19 shut it down, students chose seeds for the five raised beds that sit in a quiet area between the two wings of the school building. Bogaards bought the seeds from Kansas City Community Gardens, which partners with schools starting gardens.
Outdoor Robot Geo-Localization Using Vision Technics. Ramanana, Hasinarivo Marie Berthis; Jessel, Jean-Pierre; Andriamarozakaniaina, Tahiry Filamatra; Bernardin, Hagamalala Santatra in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 524–534.
Entropy-Guided Self-regulated Learning Without Forgetting for Distribution-Shift Continual Learning with Blurred Task Boundaries. Yang, Rui; Grard, Matthieu; Dellandréa, Emmanuel; Chen, Liming in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 454–468.
NAUTICAL: Navigation Aid Using U-Net and Theta* with Integrated Collision Avoidance and Landmarking. Deshmukh, Yashwardhan; Otis, Martin J.-D.; Diagne, Salick in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 433–453.
Online Collaborative UAV Path Planning for Mapping and Spraying Missions. Farid, Ali Moltajaei; Mouhoub, Malek in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 193–207.
Cut-and-Splat: Leveraging Gaussian Splatting for Synthetic Data Generation. Vanherle, Bram; Zoomers, Brent; Put, Jeroen; Reeth, Frank Van; Michiels, Nick in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 44–62.
Evaluating Pose Awareness and 3D Consistency in Semantic Matching. Sebeto, Paolo; Weibel, Jean-Baptiste; Hartl-Nesic, Christian; Vincze, Markus in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 275–293.
Scene-Aware Prediction of Diverse Human Movement Goals. Yang, Qiaoyue; Weber, Amadeus; Jung, Magnus; Al-Hamadi, Ayoub; Wachsmuth, Sven in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 312–327.
Predicting Sources of High Vertical Acceleration on the Road by Preceding Vehicle Observation. Jahoda, Petr; Cech, Jan; Svancar, Jan; Hanis, Tomás in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 1–14.
Toward Truly Intelligent Autonomous Systems: A Taxonomy of LLM Integration for Everyday Automation. Jung, Magnus; Hempel, Thorsten; Al-Tawil, Basheer; Yang, Qiaoyue; Wachsmuth, Sven; Al-Hamadi, Ayoub in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 74–91.
Knowledge Graphs & Reasoning in Concert: Automating Regulation in Corporate Economics. Bellomarini, Luigi; Brandetti, Matteo; Gentili, Andrea; Laurendi, Rosario; Magnanimi, Davide in CEUR Workshop Proceedings, D. Azzolini, S. Batsakis, M. A. B. Santana, P. Bruno, L. A. Cecchi, J. Fandinno, M. Hecher, M. Maratea, J. F. Morales, B. Muñiz, E. Papadakis, L. Robaldo, L. Serafini, F. L. Scudo, I. Tachmazidis, A. Tarzariol, M. Vallati, A. Wyner (eds.) (2025). (Vol. 4117) 14.
Hybrid Neural Network-Based Indoor Localisation System for Mobile Robots Using CSI Data in a Robotics Simulator. Ballesteros-Jerez, Javier; Martínez-Gómez, Jesus; García-Varea, Ismael; Orozco-Barbosa, Luis; Castillo-Cara, Manuel in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 148–163.
Integrating Vision-Based AI and Large Language Models for Real-Time Aquaculture Net Pens Inspection. Akram, Waseem; Din, Muhayy Ud; Seneviratne, Lakmal D.; Hussain, Irfan in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 103–114.
Explainable Detection of Logical and Structural Anomalies Based on Multimodal Large Language Models. Fujii, Noeko; Sakai, Tetsuya in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 328–347.
Detection, Characterization, and Localization of Oranges and Their Stems Using RGB-D Camera and Image Processing. Milhim, Alaeddin Bani; Cunningham, Colton; Nguyen, The Leo in Communications in Computer and Information Science, J. Röning, J. Filipe (eds.) (2025). (Vol. 2629) 294–311.
AFSNet: Adaptive Feature Suppression Network for Remote Sensing Image Change Detection. Li, Yang; Wang, Liejun in Lecture Notes in Computer Science, Z. Lin, M.-M. Cheng, R. He, K. Ubul, W. Silamu, H. Zha, J. Zhou, C.-L. Liu (eds.) (2024). (Vol. 15033) 467–480.
VA-OCC : Enhancing Occupancy Dataset Based on Visible Area for Autonomous Driving. Li, Yang; Feng, Weng; Gao, Ge; Chang, Jun; Li, Ming in Lecture Notes in Computer Science, A. Antonacopoulos, S. Chaudhuri, R. Chellappa, C.-L. Liu, S. Bhattacharya, U. Pal (eds.) (2024). (Vol. 15317) 362–370.
CurtainNet: Enabling precise beamforming with a deformable antenna array on a fabric substrate. Chen, Xingda; Aditya, Ankur; Lei, Zhenyu; Ganesan, Deepak M. R. Eskicioglu, P. Huang, N. Patwari (eds.) (2023). 349–361.
The Diffraction of Light-Emitting Diodes Simulated by Matlab. Xing, Qiongyong; Li, Yang (2023). 87:1–87:3.
Research on the Construction of Sensitive Energy Data Identification Model and Technologies for Active Distribution Network. Meng, Weixuan; Chen, Chunsheng; Yang, Yang; Yang, Lei; Han, Xiaona; Zhang, Dongfang (2023). 992–995.
Forest fire emergency rescue and evacuation path planning based on improved APF. Wu, Yang; Lin, Kaiyi; Li, Weihong; Xiang, Tuoyu; Zhang, Yanqiao; Yang, Yang; Chen, Yingchun; Zhou, Rui Y. Huang, J.-C. Thill, H. Zhang, D. Guo, Y. Liu, W. Xu, B. Chen (eds.) (2023). 1–6.
Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*. Demri, Stéphane; Quaas, Karin (2023).
Intelligent Penetration Testing in Dynamic Defense Environment. Yao, Qian; Wang, Yongjie; Xiong, Xinli; Li, Yang (2022). 10–15.
Improved Algorithm for YOLOX-S Object Detection Based on Diverse Branch Block (DBB). Zhang, Li; Zou, Fengshan; Wang, Xiaofeng; Wei, Zizhong; Li, Yang (2022). 1624–1630.
A Real-Time Voice Conversion Method Based on A Non-Parallel Corpus for Training. Li, Yang; Nie, Tong; Shao, Yucheng; Zhu, Zesheng; Yang, Tian; Zhang, Shengnan; Zhu, Ze; Zhang, Fang (2022). 313–320.
A Fast Session Key Generation Scheme for LoRaWAN. Chen, Xingda; Wang, Jidong; Wang, Liuping (2019). 63–66.