Kaile Su

166 papers A* 30A 10B 15C 3Misc 6Journal 74Unranked 27
YearRankTypeTitle / Venue / Authors
2026 J jnl
HGS-3DSeg: Identity-Encoding Half-Gaussian Splatting for Memory-Efficient 3D Reconstruction and Segmentation.
IEEE Trans Autom. Sci. Eng.
Weiqing Yan, Jiahao Li, Liang Liao, Kaile Su, Chang Tang
2026 J jnl
Hybrid explicit and implicit encoding for multi-view representation learning.
Pattern Recognit.
Shuochen Yao, Yusheng Zhang, Weiqing Yan, Chang Tang, Guanghui Yue, Kaile Su, Jian Jin
2025 J jnl
AECT-GAN: reconstructing CT from biplane radiographs using auto-encoding generative adversarial networks.
Neural Comput. Appl.
Shuangqin Cheng, Qingliang Chen, Qiyi Zhang, Ming Li, Yamuhanmode Alike, Kaile Su, Pengcheng Wen
2025 A conf
Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF.
AAMAS
Liangda Fang, Shikang Chen, Xiaoman Wang, Xiaoyou Lin, Chenyi Zhang, Qingliang Chen, Quanlong Guan, Kaile Su
2025 J jnl
DDP-Unet: A mapping neural network for single-channel speech enhancement.
Comput. Speech Lang.
Haoxiang Chen, Yanyan Xu, Dengfeng Ke, Kaile Su
2025 J jnl
Multi-agent neighborhood coordinated and holistic optimized actor-critic framework for adaptive traffic signal control.
Appl. Intell.
Qi Deng, Lijun Wu, Zhiyuan Li, Kaile Su, Wei Wu, Weiwei Duan
2025 J jnl
Synergistic integration of metaheuristics and machine learning: latest advances and emerging trends.
Artif. Intell. Rev.
Ruining Zhang, Jian Wang, Chanjuan Liu, Kaile Su, Hisao Ishibuchi, Yaochu Jin
2024 J jnl
Call-Graph-Based Context-Sensitive Points-to Analysis for Java.
IEEE Trans. Reliab.
Yulin Bao, Chenyi Zhang, Kaile Su
2024 J jnl
Coordination as inference in multi-agent reinforcement learning.
Neural Networks
Zhiyuan Li, Lijun Wu, Kaile Su, Wei Wu, Yulin Jing, Tong Wu, Weiwei Duan, Xiaofeng Yue, Xiyi Tong, Yizhou Han
2024 B conf
Hierarchical Fusion Framework for Multimodal Dialogue Response Generation.
IJCNN
Qi Deng, Lijun Wu, Kaile Su, Wei Wu, Zhiyuan Li, Weiwei Duan
2024 J jnl
PLDE: A lightweight pooling layer for spoken language recognition.
Speech Commun.
Zimu Li, Yanyan Xu, Dengfeng Ke, Kaile Su
2023 J jnl
A lattice-transformer-graph deep learning model for Chinese named entity recognition.
J. Intell. Syst.
Min Lin, Yanyan Xu, Chenghao Cai, Dengfeng Ke, Kaile Su
2023 J jnl
Iterated Clique Reductions in Vertex Weighted Coloring for Large Sparse Graphs.
Entropy
Yi Fan, Zaijun Zhang, Quan Yu, Yongxuan Lai, Kaile Su, Yiyuan Wang, Shiwei Pan, Longin Jan Latecki
2023 J jnl
Multi-domain Attention Fusion Network For Language Recognition.
SN Comput. Sci.
Minghang Ju, Yanyan Xu, Dengfeng Ke, Kaile Su
2023 J jnl
Online Coordinated NFV Resource Allocation via Novel Machine Learning Techniques.
IEEE Trans. Netw. Serv. Manag.
Zhiyuan Li, Lijun Wu, Xiangyun Zeng, Xiaofeng Yue, Yulin Jing, Wei Wu, Kaile Su
2023 J jnl
SdCT-GAN: Reconstructing CT from Biplanar X-Rays with Self-driven Generative Adversarial Networks.
CoRR
Shuangqin Cheng, Qingliang Chen, Qiyi Zhang, Ming Li, Yamuhanmode Alike, Kaile Su, Pengcheng Wen
2023 J jnl
Three-stage training and orthogonality regularization for spoken language recognition.
EURASIP J. Audio Speech Music. Process.
Zimu Li, Yanyan Xu, Dengfeng Ke, Kaile Su
2022 — conf
CM-CIF: Cross-Modal for Unaligned Modality Fusion with Continuous Integrate-and-Fire.
ICCCS
Zheng Jiang, Yang Xu, Yanyan Xu, Dengfeng Ke, Kaile Su
2022 A* conf
Generalized Linear Integer Numeric Planning.
ICAPS
Xiaoyou Lin, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo, Kaile Su
2022 J jnl
Hippocampus-heuristic character recognition network for zero-shot learning in Chinese character recognition.
Pattern Recognit.
Guanjie Huang, Xiangyu Luo, Shaowei Wang, Tianlong Gu, Kaile Su
2022 J jnl
Masked multi-center angular margin loss for language recognition.
EURASIP J. Audio Speech Music. Process.
Minghang Ju, Yanyan Xu, Dengfeng Ke, Kaile Su
2022 — conf
Research on Multi-round Dialogue Tasks Based on Sequicity.
ICCCS
Yingrui Pang, Zhenni Gong, Zixuan Zhao, Yanyan Xu, Dengfeng Ke, Kaile Su
2021 J jnl
Anomaly Detection With Kernel Preserving Embedding.
ACM Trans. Knowl. Discov. Data
Huawen Liu, Enhui Li, Xinwang Liu, Kaile Su, Shichao Zhang
2021 J jnl
Evaluating logic gate constraints in local search for structured satisfiability problems.
Artif. Intell. Rev.
M. A. Hakim Newton, Md. Masbaul Alam, Duc Nghia Pham, John Thornton, Kaile Su, Abdul Sattar
2021 J jnl
μ-law SGAN for generating spectra with more details in speech enhancement.
Neural Networks
Hongfeng Li, Yanyan Xu, Dengfeng Ke, Kaile Su
2020 — conf
A Generalized Denoising Method with an Optimized Loss Function for Automated Bird Sound Recognition.
ICCCS
Huangqiang Fang, Yulin He, Wanyang Xu, Yanyan Xu, Dengfeng Ke, Kaile Su
2020 J jnl
Dropout with Tabu Strategy for Regularizing Deep Neural Networks.
Comput. J.
Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su
2020 A conf
Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams.
ICCAD
Xuanxiang Huang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su
2020 J jnl
Improving speech enhancement by focusing on smaller values using relative loss.
IET Signal Process.
Hongfeng Li, Yanyan Xu, Dengfeng Ke, Kaile Su
2020 — conf
Outlier Detection via Kernel Preserving Embedding and Random Walk.
ICKG
Enhui Li, Huawen Liu, Kaile Su, Shichao Zhang
2019 — conf
Common Object Discovery as Local Search for Maximum Weight Cliques in a Global Object Similarity Graph.
DGCI
Cong Rao, Yi Fan, Kaile Su, Longin Jan Latecki
2019 J jnl
Constraint guided accelerated search for mixed blocking permutation flowshop scheduling.
Comput. Oper. Res.
Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar
2019 J jnl
Constraint guided search for aircraft sequencing.
Expert Syst. Appl.
Vahid Riahi, M. A. Hakim Newton, Md. Masbaul Alam, Kaile Su, Abdul Sattar
2019 — conf
Efficient Local Search for Minimum Dominating Sets in Large Graphs.
DASFAA (2)
Yi Fan, Yongxuan Lai, Chengqian Li, Nan Li, Zongjie Ma, Jun Zhou, Longin Jan Latecki, Kaile Su
2019 J jnl
Scheduling blocking flowshops with setup times via constraint guided and accelerated local search.
Comput. Oper. Res.
M. A. Hakim Newton, Vahid Riahi, Kaile Su, Abdul Sattar
2019 J jnl
Trainable back-propagated functional transfer matrices.
Appl. Intell.
Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun
2018 J jnl
A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games.
Fundam. Informaticae
Chanjuan Liu, Fenrong Liu, Kaile Su
2018 J jnl
Advancing Tabu and Restart in Local Search for Maximum Weight Cliques.
CoRR
Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su
2018 J jnl
Dropout with Tabu Strategy for Regularizing Deep Neural Networks.
CoRR
Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su
2018 B conf
Fine-Grained Air Quality Prediction using Attention Based Neural Network.
IJCNN
Tianyu Liu, Yongzhi Ying, Yanyan Xu, Dengfeng Ke, Kaile Su
2018 A* conf
Local Search for Flowshops with Setup Times and Blocking Constraints.
ICAPS
Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar
2018 B conf
Mutual-optimization Towards Generative Adversarial Networks For Robust Speech Recognition.
ICPR
Ke Ding, Ne Luo, Yanyan Xu, Dengfeng Ke, Kaile Su
2018 J jnl
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond.
J. Log. Comput.
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
2017 A* conf
A Reduction based Method for Coloring Very Large Graphs.
IJCAI
Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su
2017 A* conf
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract).
IJCAI
Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
2017 J jnl
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.
Artif. Intell.
Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
2017 J jnl
Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring.
J. Intell. Syst.
Yanyan Xu, Dengfeng Ke, Kaile Su
2017 B conf
Deep neural network bottleneck features for bird species verification.
IJCNN
Jinming Zhao, Yanyan Xu, Dengfeng Ke, Kaile Su
2017 — conf
Deterministic Tournament Selection in Local Search for Maximum Edge Weight Clique on Large Sparse Graphs.
Australasian Conference on Artificial Intelligence
Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar
2017 B conf
Efficient Local Search for Maximum Weight Cliques in Large Graphs.
ICTAI
Yi Fan, Zongjie Ma, Kaile Su, Chengqian Li, Cong Rao, Ren-Hau Liu, Longin Jan Latecki
2017 J jnl
Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks.
CoRR
Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su
2017 J jnl
Long Short-Term Memory Projection Recurrent Neural Network Architectures for Piano's Continuous Note Recognition.
J. Robotics
Yukang Jia, Zhicheng Wu, Yanyan Xu, Dengfeng Ke, Kaile Su
2017 — conf
Quantified Coalition Logic of Knowledge, Belief and Certainty.
Canadian AI
Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar
2017 J jnl
Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems.
Frontiers Comput. Sci.
Lijun Wu, Kaile Su, Yabiao Han, Jingyu Chen, Xiangyu Lu
2017 A* conf
Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation.
IJCAI
Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su
2017 B conf
Symbolic manipulation based on deep neural networks and its application to axiom discovery.
IJCNN
Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su
2017 J jnl
Trainable back-propagated functional transfer matrices.
CoRR
Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun
2016 J jnl
A first-order coalition logic for BDI-agents.
Frontiers Comput. Sci.
Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen
2016 J jnl
A logical characterization of extensive games with short sight.
Theor. Comput. Sci.
Chanjuan Liu, Fenrong Liu, Kaile Su, Enqiang Zhu
2016 J jnl
Formal Security Analysis of EAP-ERP Using Casper.
IEEE Access
Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su
2016 J jnl
Functional Analysis of EAP-CRA.
J. Networks
Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su
2016 — conf
Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures.
Australasian Conference on Artificial Intelligence
Yi Fan, Chengqian Li, Zongjie Ma, Lian Wen, Abdul Sattar, Kaile Su
2016 B conf
Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs.
PRICAI
Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar
2016 J jnl
New local search methods for partial MaxSAT.
Artif. Intell.
Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su
2016 J jnl
Normative Multiagent Systems: A Dynamic Generalization.
CoRR
Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su
2016 A* conf
Normative Multiagent Systems: The Dynamic Generalization.
IJCAI
Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su
2016 B conf
Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover.
ICTAI
Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar
2016 A* conf
Reconfigurability in Reactive Multiagent Systems.
IJCAI
Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su
2016 — conf
Robust Object Tracking Based on Collaborative Model via L2-Norm Minimization.
CCPR (1)
Xiaokang Qiao, Kaile Su, Zhonglong Zheng, Huawen Liu, Xiaowei He
2016 J jnl
SCESS: a WFSA-based automated simplified chinese essay scoring system with incremental latent semantic analysis.
Nat. Lang. Eng.
Shudong Hao, Yanyan Xu, Dengfeng Ke, Kaile Su, Hengli Peng
2016 A* conf
Strengthening Agents Strategic Ability with Communication.
AAAI
Xiaowei Huang, Qingliang Chen, Kaile Su
2015 B conf
A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks.
IJCNN
Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su
2015 B conf
A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games.
PRIMA
Chanjuan Liu, Fenrong Liu, Kaile Su
2015 J jnl
A Fast Learning Method for Multilayer Perceptrons in Automatic Speech Recognition Systems.
J. Robotics
Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su
2015 J jnl
A complete coalition logic of temporal knowledge for multi-agent systems.
Frontiers Comput. Sci.
Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu
2015 J jnl
An I/O Efficient Approach for Detecting All Accepting Cycles.
IEEE Trans. Software Eng.
Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang
2015 J jnl
An I/O Efficient Model Checking Algorithm for Large-Scale Systems.
IEEE Trans. Very Large Scale Integr. Syst.
Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang
2015 J jnl
An effective variable selection heuristic in SLS for weighted Max-2-SAT.
J. Heuristics
Shaowei Cai, Zhong Jie, Kaile Su
2015 A conf
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability.
SAT
Shaowei Cai, Chuan Luo, Kaile Su
2015 J jnl
CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability.
IEEE Trans. Computers
Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su
2015 J jnl
Clause States Based Configuration Checking in Local Search for Satisfiability.
IEEE Trans. Cybern.
Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu
2015 J jnl
Deep Neural Networks with Multistate Activation Functions.
Comput. Intell. Neurosci.
Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su
2015 J jnl
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation.
Comput. J.
Shaowei Cai, Chuan Luo, Kaile Su
2015 Misc conf
Lower and Upper Bounds for Random Mimimum Satisfiability Problem.
FAW
Ping Huang, Kaile Su
2015 A conf
Multi-task learning deep neural networks for speech feature denoising.
INTERSPEECH
Bin Huang, Dengfeng Ke, Hao Zheng, Bo Xu, Yanyan Xu, Kaile Su
2015 — conf
Symbolic Model Checking for Dynamic Epistemic Logic.
LORI
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
2015 A* conf
TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T).
ASE
Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang
2015 A* conf
The Complexity of Model Checking Succinct Multiagent Systems.
IJCAI
Xiaowei Huang, Qingliang Chen, Kaile Su
2015 A* conf
Two Weighting Local Search for Minimum Vertex Cover.
AAAI
Shaowei Cai, Jinkun Lin, Kaile Su
2014 B conf
Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing.
ICPR
Shudong Hao, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke
2014 — conf
Beam-Width Adaptation for Hierarchical Phrase-Based Translation.
CICLing (2)
Fei Su, Gang Chen, Xinyan Xiao, Kaile Su
2014 — conf
Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems.
Canadian AI
Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu
2014 A* conf
Double Configuration Checking in Stochastic Local Search for Satisfiability.
AAAI
Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
2014 B conf
Fast Learning of Deep Neural Networks via Singular Value Decomposition.
PRICAI
Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su
2014 J jnl
More efficient two-mode stochastic local search for random 3-satisfiability.
Appl. Intell.
Chuan Luo, Kaile Su, Shaowei Cai
2014 J jnl
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.
CoRR
Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
2014 — conf
PPML: Penalized Partial Least Squares Discriminant Analysis for Multi-Label Learning.
WAIM
Zongjie Ma, Huawen Liu, Kaile Su, Zhonglong Zheng
2014 J jnl
Preference dynamics in games with short sight.
Appl. Math. Comput.
Chanjuan Liu, Enqiang Zhu, Fenrong Liu, Kaile Su
2014 B conf
Quantified Coalition Logic for BDI-Agents: Completeness and Complexity.
PRICAI
Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo
2014 J jnl
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses.
J. Artif. Intell. Res.
Shaowei Cai, Chuan Luo, Kaile Su
2014 A* conf
Tailoring Local Search for Partial MaxSAT.
AAAI
Shaowei Cai, Chuan Luo, John Thornton, Kaile Su
2014 J jnl
Variable Forgetting in Reasoning about Knowledge.
CoRR
Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
2013 — conf
A Customized Lexicalized Reordering Model for Machine Translation between Chinese and English.
CLSW
Fei Su, Jin Huang, Kaile Su
2013 — conf
A Logic for Extensive Games with Short Sight.
LORI
Chanjuan Liu, Fenrong Liu, Kaile Su
2013 A conf
Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer.
ICDAR
Shudong Hao, Zongtian Gao, Mingqing Zhang, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke
2013 A* conf
CacBDD: A BDD Package with Dynamic Cache Management.
CAV
Guanfeng Lv, Kaile Su, Yanyan Xu
2013 A* conf
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses.
IJCAI
Shaowei Cai, Kaile Su
2013 — conf
FWLS: A Local Search for Graph Coloring.
FAW-AAIM
Wei Wu, Chuan Luo, Kaile Su
2013 A conf
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.
CP
Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
2013 A* conf
Improving WalkSAT for Random k-Satisfiability Problem with k > 3.
AAAI
Shaowei Cai, Kaile Su, Chuan Luo
2013 J jnl
Local search for Boolean Satisfiability with configuration checking and subscore.
Artif. Intell.
Shaowei Cai, Kaile Su
2013 J jnl
Logic and AI in China: An Introduction.
Minds Mach.
Fenrong Liu, Kaile Su
2013 J jnl
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.
J. Artif. Intell. Res.
Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
2012 Misc conf
A Succinct and Efficient Implementation of a 2^32 BDD Package.
TASE
Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su
2012 J jnl
A complete first-order temporal BDI logic for forest multi-agent systems.
Knowl. Based Syst.
Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu
2012 A* conf
Configuration Checking with Aspiration in Local Search for SAT.
AAAI
Shaowei Cai, Kaile Su
2012 — ed.
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings
FAW-AAIM
Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang
2012 A conf
Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking.
ECAI
Chuan Luo, Kaile Su, Shaowei Cai
2012 A* conf
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall.
AAAI
Xiaowei Huang, Kaile Su, Chenyi Zhang
2012 — conf
Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition.
FAW-AAIM
Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang
2012 A* conf
Two New Local Search Strategies for Minimum Vertex Cover.
AAAI
Shaowei Cai, Kaile Su, Abdul Sattar
2011 A* conf
Large Hinge Width on Sparse Random Hypergraphs.
IJCAI
Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu
2011 B conf
Local Search with Configuration Checking for SAT.
ICTAI
Shaowei Cai, Kaile Su
2011 J jnl
Local search with edge weighting and configuration checking heuristics for minimum vertex cover.
Artif. Intell.
Shaowei Cai, Kaile Su, Abdul Sattar
2010 J jnl
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems.
Knowl. Based Syst.
Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang
2010 — conf
Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model.
ICSS
Qingliang Chen, Kaile Su, Chanjuan Liu, Yinyin Xiao
2010 A* conf
EWLS: A New Local Search for Minimum Vertex Cover.
AAAI
Shaowei Cai, Kaile Su, Qingliang Chen
2010 — conf
Symbolic Model Checking the Knowledge in Herbivore Protocol.
MoChArt
Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang
2009 C conf
Knowware: The Third Star after Hardware and Software.
KSEM
David A. Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang
2009 Misc conf
The BDD-Based Dynamic A* Algorithm for Real-Time Replanning.
FAW
Yanyan Xu, Weiya Yue, Kaile Su
2009 J jnl
Variable Forgetting in Reasoning about Knowledge.
J. Artif. Intell. Res.
Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
2008 A* conf
An Extended Interpreted System Model for Epistemic Logics.
AAAI
Kaile Su, Abdul Sattar
2008 Misc conf
Improving Encoding Efficiency for Bounded Model Checking.
TASE
Jinji Yang, Kaile Su, Qingliang Chen
2008 — conf
Solving Sum and Product Riddle via BDD-Based Model Checking.
Web Intelligence/IAT Workshops
Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen
2008 A* conf
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
AAAI
Han Lin, Kaile Su, Chu Min Li
2007 A* conf
A Modal Logic for Beliefs and Pro Attitudes.
AAAI
Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
2007 A* conf
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.
IJCAI
Han Lin, Kaile Su
2007 J jnl
Model Checking Temporal Logics of Knowledge Via OBDDs.
Comput. J.
Kaile Su, Abdul Sattar, Xiangyu Luo
2007 J jnl
Primitive recursive real numbers.
Math. Log. Q.
Qingliang Chen, Kaile Su, Xizhong Zheng
2007 J jnl
Semantic interpretation of compositional logic in instantiation space.
Frontiers Comput. Sci. China
Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin
2006 J jnl
A logical framework for identifying quality knowledge from different data sources.
Decis. Support Syst.
Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang
2006 — conf
BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning.
Australian Conference on Artificial Intelligence
Weiya Yue, Yanyan Xu, Kaile Su
2006 C conf
Observation-Based Logic of Knowledge, Belief, Desire and Intention.
KSEM
Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
2006 C conf
Primitive Recursiveness of Real Numbers under Different Representations.
CCA
Qingliang Chen, Kaile Su, Xizhong Zheng
2006 A conf
The interpreted system model of knowledge, belief, desire and intention.
AAMAS
Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun
2006 J jnl
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.
J. Comput. Sci. Technol.
Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng
2006 — conf
Verification of Multi-agent Systems Via Bounded Model Checking.
Australian Conference on Artificial Intelligence
Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
2005 A* conf
A Theory of Forgetting in Logic Programming.
AAAI
Kewen Wang, Abdul Sattar, Kaile Su
2005 A conf
A computationally grounded logic of knowledge, belief and certainty.
AAMAS
Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen
2005 A conf
Bounded model checking knowledge and branching time in synchronous multi-agent systems.
AAMAS
Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
2005 A* conf
Computationally Grounded Model of BDI-Agents.
IJCAI
Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori
2005 — conf
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.
WINE
Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen
2005 J jnl
Knowledge structure approach to verification of authentication protocols.
Sci. China Ser. F Inf. Sci.
Kaile Su, Guanfeng Lv, Qingliang Chen
2005 — conf
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.
CIS (1)
Lijun Wu, Kaile Su, Qingliang Chen
2005 A* conf
Observation-based Model for BDI-Agents.
AAAI
Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan
2004 A* conf
Model Checking Temporal Logics of Knowledge in Distributed Systems.
AAAI
Kaile Su
2004 A* conf
Reasoning about Knowledge by Variable Forgetting.
KR
Kaile Su, Guanfeng Lv, Yan Zhang
2004 — conf
Symbolic Model Checking the Knowledge of the Dining Cryptographers.
CSFW
Ron van der Meyden, Kaile Su
2002 — conf
Intelligent Student Profiling with Fuzzy Models.
HICSS
Dongming Xu, Huaiqing Wang, Kaile Su
2002 B conf
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.
Advances in Modal Logic
Kai Engelhardt, Ron van der Meyden, Kaile Su
2001 Misc conf
A Logical Framework for Knowledge Sharing in Multi-agent Systems.
COCOON
Kaile Su, Xudong Luo, Huaiqing Wang, Chengqi Zhang, Shichao Zhang, Qingfeng Chen
2001 J jnl
Constraints on Extensions of a Default Theory.
J. Comput. Sci. Technol.
Kaile Su
2001 J jnl
More on Representation Theory for Default Logic.
Inf. Comput.
Kaile Su
2000 J jnl
Two alternative notions of 'possibility' satisfying Halpern's conditions.
J. Log. Comput.
Kaile Su, Huowang Chen, Decheng Ding
1999 J jnl
Computation of Extensions of Seminormal Default Theories.
Fundam. Informaticae
Kaile Su, Wei Li
1997 Misc conf
A Three-Valued Quantificational Logic of Context.
COCOON
Kaile Su, Decheng Ding, Huowang Chen
test_files/hello_advanced
← Index test_files/hello_advanced binary
Binary file: 16024 bytes total. Showing the first 4096 bytes as hex.
00000000  7f 45 4c 46 02 01 01 00  00 00 00 00 00 00 00 00  |.ELF............|
00000010  03 00 3e 00 01 00 00 00  60 10 00 00 00 00 00 00  |..>.....`.......|
00000020  40 00 00 00 00 00 00 00  d8 36 00 00 00 00 00 00  |@........6......|
00000030  00 00 00 00 40 00 38 00  0d 00 40 00 1f 00 1e 00  |[email protected]...@.....|
00000040  06 00 00 00 04 00 00 00  40 00 00 00 00 00 00 00  |........@.......|
00000050  40 00 00 00 00 00 00 00  40 00 00 00 00 00 00 00  |@.......@.......|
00000060  d8 02 00 00 00 00 00 00  d8 02 00 00 00 00 00 00  |................|
00000070  08 00 00 00 00 00 00 00  03 00 00 00 04 00 00 00  |................|
00000080  18 03 00 00 00 00 00 00  18 03 00 00 00 00 00 00  |................|
00000090  18 03 00 00 00 00 00 00  1c 00 00 00 00 00 00 00  |................|
000000a0  1c 00 00 00 00 00 00 00  01 00 00 00 00 00 00 00  |................|
000000b0  01 00 00 00 04 00 00 00  00 00 00 00 00 00 00 00  |................|
000000c0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000000d0  28 06 00 00 00 00 00 00  28 06 00 00 00 00 00 00  |(.......(.......|
000000e0  00 10 00 00 00 00 00 00  01 00 00 00 05 00 00 00  |................|
000000f0  00 10 00 00 00 00 00 00  00 10 00 00 00 00 00 00  |................|
00000100  00 10 00 00 00 00 00 00  e9 01 00 00 00 00 00 00  |................|
00000110  e9 01 00 00 00 00 00 00  00 10 00 00 00 00 00 00  |................|
00000120  01 00 00 00 04 00 00 00  00 20 00 00 00 00 00 00  |......... ......|
00000130  00 20 00 00 00 00 00 00  00 20 00 00 00 00 00 00  |. ....... ......|
00000140  54 01 00 00 00 00 00 00  54 01 00 00 00 00 00 00  |T.......T.......|
00000150  00 10 00 00 00 00 00 00  01 00 00 00 06 00 00 00  |................|
00000160  b8 2d 00 00 00 00 00 00  b8 3d 00 00 00 00 00 00  |.-.......=......|
00000170  b8 3d 00 00 00 00 00 00  58 02 00 00 00 00 00 00  |.=......X.......|
00000180  60 02 00 00 00 00 00 00  00 10 00 00 00 00 00 00  |`...............|
00000190  02 00 00 00 06 00 00 00  c8 2d 00 00 00 00 00 00  |.........-......|
000001a0  c8 3d 00 00 00 00 00 00  c8 3d 00 00 00 00 00 00  |.=.......=......|
000001b0  f0 01 00 00 00 00 00 00  f0 01 00 00 00 00 00 00  |................|
000001c0  08 00 00 00 00 00 00 00  04 00 00 00 04 00 00 00  |................|
000001d0  38 03 00 00 00 00 00 00  38 03 00 00 00 00 00 00  |8.......8.......|
000001e0  38 03 00 00 00 00 00 00  30 00 00 00 00 00 00 00  |8.......0.......|
000001f0  30 00 00 00 00 00 00 00  08 00 00 00 00 00 00 00  |0...............|
00000200  04 00 00 00 04 00 00 00  68 03 00 00 00 00 00 00  |........h.......|
00000210  68 03 00 00 00 00 00 00  68 03 00 00 00 00 00 00  |h.......h.......|
00000220  44 00 00 00 00 00 00 00  44 00 00 00 00 00 00 00  |D.......D.......|
00000230  04 00 00 00 00 00 00 00  53 e5 74 64 04 00 00 00  |........S.td....|
00000240  38 03 00 00 00 00 00 00  38 03 00 00 00 00 00 00  |8.......8.......|
00000250  38 03 00 00 00 00 00 00  30 00 00 00 00 00 00 00  |8.......0.......|
00000260  30 00 00 00 00 00 00 00  08 00 00 00 00 00 00 00  |0...............|
00000270  50 e5 74 64 04 00 00 00  24 20 00 00 00 00 00 00  |P.td....$ ......|
00000280  24 20 00 00 00 00 00 00  24 20 00 00 00 00 00 00  |$ ......$ ......|
00000290  44 00 00 00 00 00 00 00  44 00 00 00 00 00 00 00  |D.......D.......|
000002a0  04 00 00 00 00 00 00 00  51 e5 74 64 06 00 00 00  |........Q.td....|
000002b0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000002c0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000002d0  00 00 00 00 00 00 00 00  10 00 00 00 00 00 00 00  |................|
000002e0  52 e5 74 64 04 00 00 00  b8 2d 00 00 00 00 00 00  |R.td.....-......|
000002f0  b8 3d 00 00 00 00 00 00  b8 3d 00 00 00 00 00 00  |.=.......=......|
00000300  48 02 00 00 00 00 00 00  48 02 00 00 00 00 00 00  |H.......H.......|
00000310  01 00 00 00 00 00 00 00  2f 6c 69 62 36 34 2f 6c  |......../lib64/l|
00000320  64 2d 6c 69 6e 75 78 2d  78 38 36 2d 36 34 2e 73  |d-linux-x86-64.s|
00000330  6f 2e 32 00 00 00 00 00  04 00 00 00 20 00 00 00  |o.2......... ...|
00000340  05 00 00 00 47 4e 55 00  02 00 00 c0 04 00 00 00  |....GNU.........|
00000350  03 00 00 00 00 00 00 00  02 80 00 c0 04 00 00 00  |................|
00000360  01 00 00 00 00 00 00 00  04 00 00 00 14 00 00 00  |................|
00000370  03 00 00 00 47 4e 55 00  f1 fc 7c e5 de 4b cf b8  |....GNU...|..K..|
00000380  1e 11 df 52 39 ed 51 99  86 3b 31 de 04 00 00 00  |...R9.Q..;1.....|
00000390  10 00 00 00 01 00 00 00  47 4e 55 00 00 00 00 00  |........GNU.....|
000003a0  03 00 00 00 02 00 00 00  00 00 00 00 00 00 00 00  |................|
000003b0  02 00 00 00 06 00 00 00  01 00 00 00 06 00 00 00  |................|
000003c0  00 00 81 00 00 00 00 00  06 00 00 00 00 00 00 00  |................|
000003d0  d1 65 ce 6d 00 00 00 00  00 00 00 00 00 00 00 00  |.e.m............|
000003e0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000003f0  10 00 00 00 12 00 00 00  00 00 00 00 00 00 00 00  |................|
00000400  00 00 00 00 00 00 00 00  4a 00 00 00 20 00 00 00  |........J... ...|
00000410  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000420  22 00 00 00 12 00 00 00  00 00 00 00 00 00 00 00  |"...............|
00000430  00 00 00 00 00 00 00 00  66 00 00 00 20 00 00 00  |........f... ...|
00000440  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000450  75 00 00 00 20 00 00 00  00 00 00 00 00 00 00 00  |u... ...........|
00000460  00 00 00 00 00 00 00 00  01 00 00 00 22 00 00 00  |............"...|
00000470  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000480  00 5f 5f 63 78 61 5f 66  69 6e 61 6c 69 7a 65 00  |.__cxa_finalize.|
00000490  5f 5f 6c 69 62 63 5f 73  74 61 72 74 5f 6d 61 69  |__libc_start_mai|
000004a0  6e 00 70 72 69 6e 74 66  00 6c 69 62 63 2e 73 6f  |n.printf.libc.so|
000004b0  2e 36 00 47 4c 49 42 43  5f 32 2e 32 2e 35 00 47  |.6.GLIBC_2.2.5.G|
000004c0  4c 49 42 43 5f 32 2e 33  34 00 5f 49 54 4d 5f 64  |LIBC_2.34._ITM_d|
000004d0  65 72 65 67 69 73 74 65  72 54 4d 43 6c 6f 6e 65  |eregisterTMClone|
000004e0  54 61 62 6c 65 00 5f 5f  67 6d 6f 6e 5f 73 74 61  |Table.__gmon_sta|
000004f0  72 74 5f 5f 00 5f 49 54  4d 5f 72 65 67 69 73 74  |rt__._ITM_regist|
00000500  65 72 54 4d 43 6c 6f 6e  65 54 61 62 6c 65 00 00  |erTMCloneTable..|
00000510  00 00 02 00 01 00 03 00  01 00 01 00 03 00 00 00  |................|
00000520  01 00 02 00 29 00 00 00  10 00 00 00 00 00 00 00  |....)...........|
00000530  75 1a 69 09 00 00 03 00  33 00 00 00 10 00 00 00  |u.i.....3.......|
00000540  b4 91 96 06 00 00 02 00  3f 00 00 00 00 00 00 00  |........?.......|
00000550  b8 3d 00 00 00 00 00 00  08 00 00 00 00 00 00 00  |.=..............|
00000560  40 11 00 00 00 00 00 00  c0 3d 00 00 00 00 00 00  |@........=......|
00000570  08 00 00 00 00 00 00 00  00 11 00 00 00 00 00 00  |................|
00000580  08 40 00 00 00 00 00 00  08 00 00 00 00 00 00 00  |.@..............|
00000590  08 40 00 00 00 00 00 00  d8 3f 00 00 00 00 00 00  |.@.......?......|
000005a0  06 00 00 00 01 00 00 00  00 00 00 00 00 00 00 00  |................|
000005b0  e0 3f 00 00 00 00 00 00  06 00 00 00 02 00 00 00  |.?..............|
000005c0  00 00 00 00 00 00 00 00  e8 3f 00 00 00 00 00 00  |.........?......|
000005d0  06 00 00 00 04 00 00 00  00 00 00 00 00 00 00 00  |................|
000005e0  f0 3f 00 00 00 00 00 00  06 00 00 00 05 00 00 00  |.?..............|
000005f0  00 00 00 00 00 00 00 00  f8 3f 00 00 00 00 00 00  |.........?......|
00000600  06 00 00 00 06 00 00 00  00 00 00 00 00 00 00 00  |................|
00000610  d0 3f 00 00 00 00 00 00  07 00 00 00 03 00 00 00  |.?..............|
00000620  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000630  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000640  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000650  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000660  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000670  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000680  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000690  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000006a0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000006b0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000006c0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000006d0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000006e0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000006f0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000700  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000710  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000720  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000730  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000740  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000750  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000760  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000770  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000780  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000790  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000007a0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000007b0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000007c0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000007d0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000007e0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000007f0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000800  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000810  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000820  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000830  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000840  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000850  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000860  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000870  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000880  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000890  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000008a0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000008b0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000008c0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000008d0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000008e0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000008f0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000900  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000910  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000920  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000930  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000940  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000950  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000960  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000970  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000980  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000990  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000009a0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000009b0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000009c0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000009d0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000009e0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
000009f0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000a00  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000a10  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000a20  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000a30  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000a40  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000a50  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000a60  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000a70  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000a80  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000a90  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000aa0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ab0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ac0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ad0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ae0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000af0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000b00  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000b10  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000b20  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000b30  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000b40  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000b50  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000b60  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000b70  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000b80  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000b90  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ba0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000bb0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000bc0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000bd0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000be0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000bf0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000c00  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000c10  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000c20  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000c30  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000c40  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000c50  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000c60  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000c70  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000c80  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000c90  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ca0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000cb0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000cc0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000cd0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ce0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000cf0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000d00  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000d10  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000d20  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000d30  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000d40  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000d50  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000d60  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000d70  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000d80  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000d90  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000da0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000db0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000dc0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000dd0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000de0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000df0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000e00  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000e10  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000e20  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000e30  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000e40  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000e50  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000e60  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000e70  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000e80  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000e90  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ea0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000eb0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ec0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ed0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ee0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ef0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000f00  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000f10  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000f20  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000f30  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000f40  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000f50  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000f60  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000f70  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000f80  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000f90  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000fa0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000fb0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000fc0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000fd0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000fe0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000ff0  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|