M. F Hocaoglu's Projects
Home
AdSiF: Simulation Language
AdSiF.DIS
AdSiF.IDE
AdSiF
>
Papers
Presentations
Simulation
TEWA Optimization
NTES
Stealth analysis and optimization
SEAL-YAZ
SAMMOS-1 PROJECT
DATAS
SGKS C4ISR-MOS
AI & Reasoning
QUANTIZED ARTIFICIAL NEURAL NETWORK TRAINING
TEMPORAL VERIFICATION FRAMEWORK
BEHAVIORAL MODEL GENERATION
DEVS-RAP
FLEXIBLE TRAINING COMPOSITION
C2
CCIS
G-CLASS MODERNIZATION
Write me
Forum
Mail
Project Areas-AI & Reasoning
Quantized ANN Training
*
Artificial Intelligence
Temporal Verification Framework for HLA Federations
*
Temporal Reasoning
Verification
Logic Programming
Behavioral Model Generation based on Temporal Reasoning
*
Temporal Reasoning
Verification
Reasoning
Logic Programming
DEVS-RAP
*
Agent Technologies
Logic Programming
RTP 11.14: Flexible Training Composition
*
Agent Technologies
Logic Programming
Submit
Home
AdSiF: Simulation Language
AdSiF.DIS
AdSiF.IDE
AdSiF
>
Papers
Presentations
Simulation
TEWA Optimization
NTES
Stealth analysis and optimization
SEAL-YAZ
SAMMOS-1 PROJECT
DATAS
SGKS C4ISR-MOS
AI & Reasoning
QUANTIZED ARTIFICIAL NEURAL NETWORK TRAINING
TEMPORAL VERIFICATION FRAMEWORK
BEHAVIORAL MODEL GENERATION
DEVS-RAP
FLEXIBLE TRAINING COMPOSITION
C2
CCIS
G-CLASS MODERNIZATION
Write me
Forum
Mail