Buchumschlag

Advancing Employee Behavior Analysis through Synthetic Data: Leveraging ABMs, GANs, and Statistical Models for Enhanced Organizational Efficiency

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jayashankar, Rakshitha, Balan, Mahesh
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Formal Languages and Automata Theory Other Statistics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Unveiling the Dynamics of Employee Behavior Through Wolframs Cellular Automata
von: Jayashankar, Rakshitha, et al.
Veröffentlicht: (2024)

Statistical process discovery
von: Cry, Pierre, et al.
Veröffentlicht: (2025)

Behaviorally Correct Learning from Informants
von: Mohrin, Niklas
Veröffentlicht: (2025)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
von: Ise, Daihei, et al.
Veröffentlicht: (2024)

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
von: Henkel, Christian, et al.
Veröffentlicht: (2025)

A Close Analysis of the Subset Construction
von: Baburin, Ivan, et al.
Veröffentlicht: (2024)

Efficient Analysis of Polynomial Asymptotic Estimates for VASS MDPs
von: Ajdarów, Michal
Veröffentlicht: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
von: Kan, Shuanglong, et al.
Veröffentlicht: (2025)

Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
von: Kiefer, Stefan, et al.
Veröffentlicht: (2019)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
von: Wißmann, Thorsten
Veröffentlicht: (2026)

Static Analysis Framework for Detecting Use-After-Free Bugs in C++
von: Teodorescu, Vlad-Alexandru, et al.
Veröffentlicht: (2024)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
von: Bergsträßer, Pascal, et al.
Veröffentlicht: (2024)

Temporal Causal Models as a Model of Computation
von: Gladyshev, Maksim, et al.
Veröffentlicht: (2026)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
von: Yang, Dong, et al.
Veröffentlicht: (2024)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
von: Latif, Saba, et al.
Veröffentlicht: (2025)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
von: Yu, Qixian, et al.
Veröffentlicht: (2025)

Polyregular Model Checking
von: Lopez, Aliaume, et al.
Veröffentlicht: (2025)

Learning EFSM Models with Registers in Guards
von: Vega, Germán, et al.
Veröffentlicht: (2024)

Computational Model for Parsing Expression Grammars
von: Rubtsov, Alexander, et al.
Veröffentlicht: (2024)

Conservative Perception Models for Probabilistic Verification
von: Cleaveland, Matthew, et al.
Veröffentlicht: (2025)

Regular Languages in the Sliding Window Model
von: Ganardi, Moses, et al.
Veröffentlicht: (2024)

Unambiguisability and Register Minimisation of Min-Plus Models
von: Almagor, Shaull, et al.
Veröffentlicht: (2025)

The rIC3 Hardware Model Checker
von: Su, Yuheng, et al.
Veröffentlicht: (2025)

Spatio-Temporal view on the Topological Functioning Model
von: Spichkova, Maria
Veröffentlicht: (2025)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
von: Principato, Flavio T., et al.
Veröffentlicht: (2025)

A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
von: De Maria, Elisabetta, et al.
Veröffentlicht: (2026)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines
von: Leys, Tim, et al.
Veröffentlicht: (2024)

Passive Model Learning of Visibly Deterministic Context-free Grammars
von: Muškardin, Edi, et al.
Veröffentlicht: (2025)

Active Inference of Extended Finite State Machine Models with Registers and Guards
von: Groz, Roland, et al.
Veröffentlicht: (2026)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
von: Manini, Andrea, et al.
Veröffentlicht: (2025)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
von: Akshay, S, et al.
Veröffentlicht: (2023)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
von: Akshay, S., et al.
Veröffentlicht: (2024)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
von: Briones, Laura Brandán, et al.
Veröffentlicht: (2025)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
von: Schalk, Patrizia, et al.
Veröffentlicht: (2025)

Temporally Non-Uniform Cellular Automata: Surjectivity, Reversibility and Cyclic Behavior
von: Paul, Subrata, et al.
Veröffentlicht: (2024)

Hallucinations are inevitable but can be made statistically negligible
von: Suzuki, Atsushi, et al.
Veröffentlicht: (2025)

WEX: Formal Specifications for Windows in Stream Processing
von: Hitarth, S, et al.
Veröffentlicht: (2022)

The Expansion Problem for Infinite Trees
von: Blumensath, Achim
Veröffentlicht: (2023)

A General Information Extraction Framework Based on Formal Languages
von: Schmid, Markus L.
Veröffentlicht: (2025)