yusuke1997/dblp-id-title huggingface dataset:
Invariant Classification of Gait Types
Human Action Recognition by Fusing the Outputs of Individual Classifiers
Hierarchical Stereo with Thin Structures and Transparency
Robust PCA-Based Visual Tracking by Adaptively Maximizing the Matching Residual Likelihood
PathBench: A Benchmarking Platform for Classical and Learned Path Planning Algorithms
PEGUS: An Image-Based Robust Pose Estimation Method
Planar Segmentation of RGBD Images Using Fast Linear Fitting and Markov Chain Monte Carlo
A Multiple Hypothesis Tracking Method with Fragmentation Handling
Elastic Shape Registration Using an Incremental Free Form Deformation Approach with the ICP Algorithm
Figure-ground segmentation using a hierarchical conditional random field
Multiple View Integration and Display Using Virtual Mirrors
Structure from Infrared Stereo Images
Collaborative Filtering - A Group Profiling Algorithm for Personalisation in a Spatial Recommender System
Geoinformatik 2010 - Die Welt im Netz: Konferenzband, Kiel, Germany, March 17-19, 2010
Handling of spatial data for complex geo-scientific modelling and 3D landfill applications with DB4GeO
TransitDroid: Delivering real-time bus tracking information on mobile devices
Python scripting in GRASS GIS for hydrological routing purposes
RM-ODP for WPS Process Descriptions
DeepCity3D : Integration von 3D-Stadtmo-dellen und Untergrundinformationen
Informationsintegration für das Risikomanagement von Naturgefahren
Creating the new "new": Facilitating the growth of neo-geographers in the Global South using emergent Internet technologies
Geo-Entscheidungsunterstützung für die ABC-Gefahrenabwehr
Ein Diskussionspapier: Geoinformatik von GIS- über GDI- ins LBS-Zeitalter: Plattformen für Geoinformationen (GI) und Geoinformationstechnologien (G-IT)
Interoperable integration of high precision 3D laser data and large scale geoanalysis in a SDI for Sutra inscriptions in Sichuan (China)
Spatial assessment of early human expansions using GIS and Database techniques: Examples from Southern Africa
Berechnung hochauflösender Cd-, Pb- und N-Depositionskarten für Deutschland mittels Regression-Kriging
Mobile In-Situ Sensor Platforms in Environmental Research and Monitoring
Combining Geospatial Data and Real-time Sensor Data for Calculating an Integrated Health Index
Personalized City Tours
Interaktive Kartenanwendungen zur Bereitstellung satellitenbasierter Kriseninformation im Rahmen von DeSecure
Konzeption von akustisch unterstützten animierten Karten zur Präsentation raumzeitlicher Informationen
IGMAS+ a new 3D Gravity, FTG and Magnetic Modeling Software
Ontology-Based Modeling of Land Change Trajectories in the Brazilian Amazon
Untersuchungen zu einer GIS-gestützten Habitatmodellierung für das niedersächsische Wattenmeer
OpenFloorMap Implementation
Effiziente Verschattungsberechnung für die Solarpotenzialanalyse durchbildbasierte 3D-Analyse
Enhancing the data management and presentation capabilities of GIS in the service of a major marine infrastructure project
Unveiling the design framework behind transactional map symbols
Ein visuelles Explorationstool für den Vergleich von Modelldaten und erfassten Daten am Beispiel von Meeresspiegelindikatoren
Disambiguating Resilience
Measuring in Automatically Reconstructed 3D Models
An Event Driven Architecture for Decision Support
Towards Standards-Based, Interoperable Geo Image Processing Services
GIS-gestützte Bestimmung von Nah- und Fernzielen auf Radwanderwegen
A module in a program for 3D tunneling control using the Visualization ToolKit(VTK)
OpenLayers, GeoExt und MapFish - moderne WebGIS-Architekturen im Einsatz
Spatial analysis of metal bioaccumulation in France
Dynamische 3D-Zeitreihenvisualisierung in interaktiven Webmapping-Applikationen
Web-Based Near Real-Time Geo-Analyses of Environmental Sensor Measurements
Integrating Marine Modeling Data into a Spatial Data Infrastructure
Mobile Standortanzeige mit OpenStreetMap-Dateien
Geoprozessîerung in Erneuerbaren Energien
Towards Highly Parallel Geostatistics with R
Aligning Sketch Maps and Metric Maps
Integration of Qualitative Spatial Reasoning into GIS- An Example with SparQ
Multi Scale Vegetation and Water Body Mapping in Arctic Regions Within the Data User Element Permafrost
Anwendung von Frequent Itemset Mining auf nutzergenertierte Geodäten
Handling Positional Uncertainty in Real-Time Bus Tracking System
Freie und Open-Source-Software als kartographische Produktionsbasis
Immersive 3D stereoscopic visualization for constrained forward modeling
Adaptives Maschinenlernen zur Klassifikation von GPS-Tupel am Beispiel eines Location Based Service für das Notfall-Management
Individual Geographic Stream Processing for Driver Assistance
WebGIS-Technologien im Einsatz für den ehrenamtlichen Naturschutz
3D-Beschriftung in interaktiven, virtuellen durch Verdeckungsminimierung
Verkehrsraumanalysen mit GIS
Semantically Optimized Literature Research by aNew CSS Ontology
An Approach to Geocoding based on Volunteered Spatial Data
Geoprocessing in Hybrid Clouds
GIS und Web Map Service im Projekt "Monies, Markets, and Finance in China and East Asia 1600-1900"
Geoinformatik 2011 - Geochange: Konferenzband, Münster, Germany, June 15-17, 2011
On the way to synoptic interpretation of geoscientific data in joint CCS project CO2-MoPa
Track-based OSM Print Maps
Sketching as Interface for VGI Systems
Integration of dynamic environmental data in the process of travel planning
HIPPOLYTOS - Verbesserung der Recherche in Umwelt- und Geodäten mittels semantischen Technologien
Building Tracking Applications with Sensor Web Technology
Geoinformation for the assessment and management of urban water consumption in Mediterranean contexts
Design and implementation of a mobile client for the River Basin Information System (RBIS)
Das Towards an Easy Integration of Geosensors into the Sensor Web
An urban surface parametrization scheme and derivation of its parameters
CityGML-Toolchain - Performante Visualisierung großer 3D-Stadtmodelle im Internet zur Einbindung in 3 D-Fachanwendungen
WebGIS für Kommunales Informationsmanagement
DGPS- and INS-Based Orthophotogrammetry on Micro UAV Platforms for Precision Farming Services
On the Integration of Geospatial Data and Functionality into Business Process Models
Risikobewertung von Sichtbehinderungen durch niedrige Sonnenstände für das Verkehrswegenetz
Design With Nature 2.0 - A Geodata Infrastructure Approach to Map Overlay
Towards Linking the Digital and Real World with OpenThingMap
Thematische 3D-Stadtmodelle: empirische Wirkungsanalyse mit Hilfe von eye tracking
Spatial Decision Support System Solarthermie - Ein Baustein für die Umsetzung von DESERTEC
Einsatzmöglichkeiten Geographischer Informations- Systeme in der archäologischen Arbeit
Agricultural land use dynamics in Tenerife (Canary Islands): The development of fallow land as resettlement area for adjacent natural ecosystems
Integration von automatisiert erzeugten 3D-Modellen (Verfahren UniBwM) inCityGML
Tourenplanung als Geo-Extension in einem OpenSource Content-Management-System
Wertvolle Grabungsdokumente gehen in den wohlverdienten Ruhestand.Ungeahnte Möglichkeiten durch den Einsatz von GIS
Innovative Nutzung von OGC Web Services am Beispiel der Bodenabtragsgleichung
Matching-Based Map Generalization by Transferring Geometric Representations
Navigation through Geospatial Environments with a Multi-Touch enabled Human-Transporter Metaphor
Präsentation von Zoo-Informationen zur erweiterten Umweltbildung mit neuen Medien
XErleben - Datenmodell für ein kommunales Freizeitkataster
Baumpflege leicht gemacht - WebGIS in der Wohnungswirtschaft
A reference schema for interoperability between geo data and 3d models
Extension of Electronical Nautical Charts for 3D interactive Visualization viaCityGML
LOSM - A lightweight approach to integrate OpenStreetMap into the Web of Data
Flex-I-Geo-Web - ein dienstebasierter Softwarebaukasten zur Standortentwicklung
Interoperabilität kommunaler Geodäten in der GDI Rheinland-Pfalz
Individualized Travel Planning through the Integration of different Information Sources, including a POI Ontology
Geographical information systems for research biological resource of the World Ocean in climate fluctuation conditions
Challenges and Advantages of using GPS Data in Outdoor Advertisement
GeoURI/GeoURL: A protocol convention to connect mobile Apps and isolated Wifi cells via a distributed indoor-information-infrastructure
Reconstruction of Qing Time Landscape Dynamics Due to Historical Copper Mining in Yunnan, SW China
Leveraging standardized near ?real-time? inSitu sensor measurements in nature conservation areas
Rendering von Kartendaten mit Hilfe des Amazon EC2 Services unter Nutzung von WS-BPEL
Virtuell kuren - mit einem WebGIS
Visualisierung von Veränderungen in Katastrophengebieten mittels texturbasierter Auswerteverfahren
AeroSolar Solarpotentialanalyse in 3D Stadtmodellen
Extracting the Evolution of Land Cover Objects from Remote Sensing Image Series
Enabling User-friendly Query Interfaces for Environmental Geodata through Semantic Technologies
Practically Self-stabilizing Paxos Replicated State-Machine
Distributed Oracle for Estimating Global Network Delay with Known Error Bounds
The Out-of-core KNN Awakens: - The Light Side of Computation Force on Large Datasets
Concurrent Wait-Free Graph Snapshots Using Multi-versioning
On the Unfairness of Blockchain
Aspect-Oriented State Machines for Resolving Conflicts in XACML Policies
The Fake News Vaccine - A Content-Agnostic System for Preventing Fake News from Becoming Viral
FL-EDCA: A QoS-Aware and Energy-Efficient Mechanism for IEEE 802.11e EDCA Standard
Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems
An Executable Sequential Specification for Spark Aggregation
A Snapshot-Based Introduction to the Linearizability Hierarchy
A Fuzzy AHP Approach to Network Selection Improvement in Heterogeneous Wireless Networks
Exploiting Concurrency in Domain-Specific Data Structures: A Concurrent Order Book and Workload Generator for Online Trading
Wireless Broadcast with Short Labels
Convergence of Even Simpler Robots without Position Information
Web Services Trust Assessment Based on Probabilistic Databases
On the State Reachability Problem for Concurrent Programs Under Power
Enhanced AntNet Protocol for Wireless Multimedia Sensor Networks
The 4-Octahedron Abstract Domain
Airtime Ping-Pong Effect in IEEE 802.11s Wireless Mesh Networks
Disjoint-Access Parallelism Does Not Entail Scalability
Mutex-Based De-anonymization of an Anonymous Read/Write Memory
Virtual and Consistent Hyperbolic Tree: A New Structure for Distributed Database Management
Networked Systems - 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings
An Approach to Resolve NP-Hard Problems of Firewalls
A Dynamic Genetic Algorithm Approach to the Problem of UMTS Network Assignment
Packet Scheduling over a Wireless Channel: AQT-Based Constrained Jamming
Networked Systems - 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings
Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings
Self-stabilization Overhead: A Case Study on Coded Atomic Storage
Relaxed Reliable Broadcast for Decentralized Trust
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
Encrypted Search: Not Enough to Ensure Privacy
Towards Stronger Blockchains: Security Against Front-Running Attacks
Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory
Short Paper: IoT Context-Driven Architecture: Characterization of the Behavioral Aspect
Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models
Detection of Fake News Through Heterogeneous Graph Interactions
Checking Causal Consistency of Distributed Databases
Short: A Case Study of the Performance of an OpenFlow Controller
Verifying Reachability for TSO Programs with Dynamic Thread Creation
BFT Selection
Making CSMA Collision-Free and Stable Using Collaborative Indexing
Abort Free SemanticTM by Dependency Aware Scheduling of Transactional Instructions
Modeling and Implementation Approach to Evaluate the Intrusion Detection System
A Formal Analysis of Karn's Algorithm
Identifying the Optimal Level of Parallelism in Transactional Memory Applications
On Network Topologies and the Decidability of Reachability Problem
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
Cutoffs for Symmetric Point-to-Point Distributed Algorithms
Bird@Edge: Bird Species Recognition at the Edge
Collaborative Filtering: Comparative Study Between Matrix Factorization and Neural Network Method
Efficient State-Based CRDTs by Delta-Mutation
Short Paper: An Efficient Framework for Supporting Nested Transaction in STMs
Privacy-Preserving Distributed Collaborative Filtering
Petri Net Invariant Synthesis
On the Complexity of Linearizability
Video Encryption Based on the Permutation of the (ℤ/pℤ) Fields
Efficient Security Policy Management Using Suspicious Rules Through Access Log Analysis
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour
A Vaccination Game for Mitigation Active Worms Propagation in P2P Networks
New Forwarding Strategy for PROPHET Routing in Delay Tolerant Networks
Asynchronous Consensus with Bounded Memory
Self-stabilizing Uniform Reliable Broadcast
Short Paper: Application of Noisy Attacks on Image Steganography
Set Agreement and the Loneliness Failure Detector in Crash-Recovery Systems
Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching
A Scalable P2P RIA Crawling System with Partial Knowledge
New Competition-Based Approach for Caching Popular Content in ICN
Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery - (Extended Abstract)
Forest Fire Detection and Localization with Wireless Sensor Networks
Some New Results With k-Set Agreement
Locality and Singularity for Store-Atomic Memory Models
On Restricting Separator Problems in the OBLOT Computational Landscape
A User Centered Design Approach for Transactional Service Adaptation in Context Aware Environment
Formalizing and Implementing Distributed Ledger Objects
Leader Election in Rings with Homonyms
Pebble Guided Treasure Hunt in Plane
Understanding the Memory Consumption of the MiBench Embedded Benchmark
Short Paper: Maintenance of Strongly Connected Component in Shared-Memory Graph
Vehicular Ad-Hoc Network: Evaluation of QoS and QoE for Multimedia Application
Bitcoin Security with Post Quantum Cryptography
Towards Generating a Dataset for Failure Prediction in Microservices Applications
Improved Ant Colony Optimization Routing Protocol for Wireless Sensor Networks
Towards an Optimal Pricing for Mobile Virtual Network Operators
A Fuzzy-Based Routing Strategy to Improve Route Stability in MANET Based on AODV
Optimal Torus Exploration by Oblivious Robots
Networked Systems - First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers
Towards Synthesis of Distributed Algorithms with SMT Solvers
FStream: A Decentralized and Social Music Streamer
Comparative Analysis of Our Association Rules Based Approach and a Genetic Approach for OLAP Partitioning
Intelligent Multipath Optimized Link State Routing Protocol for QoS and QoE Enhancement of Video Transmission in MANETs
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial)
Distributed Computation of Temporal Twins in Periodic Undirected Time-Varying Graphs
Agreement Functions for Distributed Computing Models
A Formal Driving Behavior Model for Intelligent Transportation Systems
Transactional Pointers: Experiences with HTM-Based Reference Counting in C++
Self-stabilizing Reconfiguration
Traffic Lights Optimization with Distributed Ant Colony Optimization Based on Multi-agent System
Memory Efficient Self-stabilizing Distance-k Independent Dominating Set Construction
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability
Networked Systems - 13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders
Stability of Adversarial Routing with Feedback
ABAC Rule Reduction via Similarity Computation
An Anonymous Wait-Free Weak-Set Object Implementation
Toward a Resource Availability Measurement in Peer to Peer Systems
Liveness in Broadcast Networks
Separating Map Variables in a Logic-Based Intermediate Verification Language
Networked Systems - 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
Nearest Neighbors Graph Construction: Peer Sampling to the Rescue
Stateless Distributed Ledgers
Fissile Locks
A Fully Distributed Learning Algorithm for Power Allocation in Heterogeneous Networks
Weak Amnesiac Flooding of Multiple Messages
An Architecture for Automatic Scaling of Replicated Services
Incoercible Fully-Remote Electronic Voting Protocol
Fisheye Consistency: Keeping Data in Synch in a Georeplicated World
Infinite Grid Exploration by Disoriented Robots
Aspect-Based Realization of Non-functional Concerns in Business Processes
Fully Anonymous Consensus and Set Agreement Algorithms
Modeling of Human Head Interaction with Planar Antenna for Multi Standard Cellular Phones
Exploiting Crowd Sourced Reviews to Explain Movie Recommendation
Fault-Tolerant Termination Detection with Safra's Algorithm
Hardness of Firewall Analysis
Churn Possibilities and Impossibilities
BAM: Efficient Model Checking for Barriers
AdaGraph: Adaptive Graph-Based Algorithms for Spam Detection in Social Networks
Formal Verification of UML State Machine Diagrams Using Petri Nets
Mechanical Energy Minimization UAV-Mounted Base Station Path Plan for Public Safety Communication
Multithreading Approach to Process Real-Time Updates in KNN Algorithms
A Comparative Study of Software Testing Techniques
A Distributed Protocol for Privacy Preserving Aggregation
NetSheriff: Sheltering Software-Defined Networks from Rogue Switches
Byzantine k-Set Agreement
Establishing Efficient Routes between Personal Clouds
Short: Graphical Specification and Automatic Verification of Business Process
Linearizability Is Not Always a Safety Property
Fair Linking Mechanisms for Resource Allocation with Correlated Player Types
Static Data Race Detection via Lazy Sequentialization
Planning UMTS Base Station Location Using Genetic Algorithm with a Dynamic Trade-Off Parameter
BeRGeR: Byzantine-Robust Geometric Routing
Scal: A Benchmarking Suite for Concurrent Data Structures
Keynote Talk: Communication Without Repudiation: The Unanswered Question
Distributed Blockchain Price Oracle
Reachability and Verification of Assertions for IoT Applications
Securing NFC Credit Card Payments Against Malicious Retailers
Short: A Lightweight and Secure Session Management Protocol
Short: Intrusion Detection Quality Analysis for Homogeneous Wireless Sensor Networks
OSM-GKM Optimal Shared Multicast-Based Solution for Group Key Management in Mobile IPv6
Black Art: Obstruction-Free k-set Agreement with |MWMR registers| < |proccesses|
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality
Short: Blind Separation of the Multiarray Multisensor Systems Using the CP Decomposition
Case Study on the Performance of ML-Based Network Intrusion Detection Systems in SDN
Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
A Fault-Tolerant Sequentially Consistent DSM with a Compositional Correctness Proof
Enhancing Cost and Latency Efficiency Through Service Placement in Containerized Fog-Cloud Computing Environments
Anonymity in Distributed Read/Write Systems: An Introductory Survey
Comparative Performance Analysis of AODV and AOMDV to Transmit H.264 Traffic
Distance-2-Dispersion: Dispersion with Further Constraints
A Self-stabilizing Minimum Average Stretch Spanning Tree Construction
Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers
Improving Network Lifetime of Ad Hoc Network Using Energy Aodv (E-AODV) Routing Protocol in Real Radio Environments
FEBR: Expert-Based Recommendation Framework for Beneficial and Personalized Content
Accurate Optimization Method for Allocation of Heterogeneous Resources in Embedded Systems
CEP4CMA: Multi-layer Cloud Performance Monitoring and Analysis via Complex Event Processing
Plant Diseases Detection with Retrieval-Augmented Generation
Parity Games on Bounded Phase Multi-pushdown Systems
Agent-Driven BFS Tree in Anonymous Graphs with Applications
Verifying Safety of Parameterized Heard-Of Algorithms
Verifying Concurrent Data Structures Using Data-Expansion
Oh-RAM! One and a Half Round Atomic Memory
Is Youtube Popularity Prediction a Good Way to Improve Caching Efficiency?
Dynamic Resource Allocation for 5G Device-to-Device Communication Based on Expected SARSA
Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor Networks
An Automaton Model to Succinctly Represent Suffix-Based Specifications of a Concurrent System
How to Choose Its Parents in the Tangle
Large Scale 3D Shape Retrieval Based on Multi-core Architectures
Analysis of Interactions Among Infrastructure Provider Fronting Content Provider
Model Checking Dynamic Distributed Systems
Chromatic and Spatial Analysis of One-Pixel Attacks Against an Image Classifier
On Verifying TSO Robustness for Event-Driven Asynchronous Programs
Profiling and Modelling of HEVC Intra Video Encoder's Energy Consumption for Next Generation WVSNS
An Ensemble Model for 30-Minute Blood Glucose Prediction in Type 1 Diabetes: Balancing Accuracy and Simplicity
Using Fuzzy Gray Relational Analysis in the Vertical Handover Process in Wireless Networks
Hybrid Encryption Approach Using Dynamic Key Generation and Symmetric Key Algorithm for RFID Systems
An Efficient Network IDS for Cloud Environments Based on a Combination of Deep Learning and an Optimized Self-adaptive Heuristic Search Algorithm
Competitive Clustering of Stochastic Communication Patterns on a Ring
On Ensuring End-to-End Quality of Service in Inter-Domain Environment
Improving Resource Location with Locally Precomputed Partial Random Walks
On the Complexity of Fault-Tolerant Consensus
Context-Based Query Expansion Method for Short Queries Using Latent Semantic Analyses
Developing, Deploying and Evaluating Protocols with ManetLab
Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers
Networked Systems - Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers
Tool Augmented LLMs for Big Data Analysis
Automata-Based Bottom-Up Design of Conflict-Free Security Policies Specified as Policy Expressions
Concurrency in Snap-Stabilizing Local Resource Allocation
Sequential Proximity - Towards Provably Scalable Concurrent Search Algorithms
Approximation Algorithms for Drone Delivery Scheduling Problem
Source Routing in Time-Varing Lossy Networks
Secured Geographic Routing Protocol for Vehicular Ad Hoc Networks (VANETs)
Peer-to-Peer Full-Text Keyword Search of the Web
An Innovative Combinatorial Approach for the Spanning Tree Entropy in Flower Network
New Validation Approach Based on Group MADM for Network Selection
Runtime Adaptation of Component Based Systems
Recycling Memory in Recoverable Mutex Locks
Edge-Based Bird Species Recognition via Active Learning
Profiling Transactional Applications
Understanding Cloud Storage Services Usage: A Practical Case Study
FreeRec: An Anonymous and Distributed Personalization Architecture
Short: Gossip-Based Sampling in Social Overlays
Verifying and Optimizing the HMCS Lock for Arm Servers
Consensus on an Unknown Torus with Dense Byzantine Faults
Vgg-ViT: A Framework for Deepfakes Images Detection
Pattern Formation of Mobile Agents in Dynamic Grids