|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 87 occurrences of 66 keywords
|
|
|
Results
Found 177 publication records. Showing 177 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
209 | Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka |
Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
93 | Xiaohui Gu, Philip S. Yu, Klara Nahrstedt |
Optimal Component Composition for Scalable Stream Processing. |
ICDCS |
2005 |
DBLP DOI BibTeX RDF |
|
85 | Luca Aceto, Anna Ingólfsdóttir |
A Theory of Testing for ACP. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
73 | Steven Klusener |
The Silent Step in Time. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
& Phrases Real Time Process Algebra, Abstraction, ACP |
62 | Wah-Bih Liaw, Frank M. Brown, Seung S. Park |
Towards Common Sense Planning. |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
58 | Jos C. M. Baeten, Jan A. Bergstra |
Non Interleaving Process Algebra. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
non-interleaving, Petri net, interleaving, true concurrency, ACP, & Phrases process algebra |
58 | Steven Klusener |
Completeness in Real Time Process Algebra. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
& Phrases Real Time, Integration, Process Algebra, SOS, ACP |
58 | Rob J. van Glabbeek |
Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP |
57 | Mingsheng Ying, Martin Wirsing |
Approximate Bisimilarity. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
Real Time ACP, Process Algebra, Bisimulation |
54 | Abderrahmane Lakas, Khaled Shuaib, Mohammed Boulmalf |
ACP: an interactive classroom response system for active learning environment. |
IWCMC |
2006 |
DBLP DOI BibTeX RDF |
active assessment, classroom response system, WLAN |
47 | Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff |
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Márcio Eduardo Kreutz, César A. M. Marcon, Luigi Carro, Altamiro Amadeu Susin, Ney Laert Vilar Calazans |
Energy and latency evaluation of NoC topologies. |
ISCAS (6) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Sushant Goel, Hema Sharda, David Taniar |
Atomic Commitment in Grid Database Systems. |
NPC |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Nick D. Dendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitrios M. Thilikos |
Partiality and Approximation Schemes for Local Consistency in Networks of Constraints. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
47 | Jan A. Bergstra, Jan Willem Klop |
ACTtau: A Universal Axiom System for Process Specification. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
1982 CR Categories F.1.2, F.4.3, D.3.3, F.3.2 |
45 | Umut Guloglu, Sajjad Baghaee, Elif Uysal |
Evaluation of Age Control Protocol (ACP) and ACP+ on ESP32. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
45 | Umut Guloglu, Sajjad Baghaee, Elif Uysal |
Evaluation of Age Control Protocol (ACP) and ACP+ on ESP32. |
ISWCS |
2021 |
DBLP DOI BibTeX RDF |
|
41 | Errol A. Blake |
The management of access controls/biometrics in organizations. |
InfoSecCD |
2006 |
DBLP DOI BibTeX RDF |
IT spending, access control policy (ACP), cyber risk insurance, information technology (IT) information security (InfoSec), system specific policy (SSP), authentication, trust, policy, risk management, systems, return on investment (ROI) |
41 | Wan J. Fokkink |
An Elimination Theorem for Regular Behaviours with Integration. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
& Phrases ACP, relative time, regular process, Elimination Theorem, integration |
38 | Fei-Yue Wang 0001 |
Toward a Paradigm Shift in Social Computing: The ACP Approach. |
IEEE Intell. Syst. |
2007 |
DBLP DOI BibTeX RDF |
social computing, homeland security, artificial societies |
38 | Jan A. Bergstra |
ACP with Signals. |
ALP |
1988 |
DBLP DOI BibTeX RDF |
|
31 | Jos C. M. Baeten, Mohammad Reza Mousavi 0001, Michel A. Reniers |
Timing the Untimed: Terminating Successfully While Being Conservative. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Márcio Eduardo Kreutz, César A. M. Marcon, Luigi Carro, Flávio Rech Wagner, Altamiro Amadeu Susin |
Design space exploration comparing homogeneous and heterogeneous network-on-chip architectures. |
SBCCI |
2005 |
DBLP DOI BibTeX RDF |
mapping and optimization algorithms, systems-on-chip, networks-on-chip |
31 | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
Formal Modeling and Analysis of Atomic Commitment Protocols. |
ICPADS |
2000 |
DBLP DOI BibTeX RDF |
real-time, formal specification, distributed databases, PVS, fault-tolerant systems, mechanical verification, atomic commitment protocols |
31 | Maha Abdallah, Philippe Pucheral |
A Single-Phase Non-Blocking Atomic Commitment Protocol. |
DEXA |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Twan Basten, Marc Voorhoeve |
An Algebraic Semantics for Hierarchical P/T Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
Place/Transition nets, hierarchical Petri nets, verification, abstraction, process algebra, top-down design |
31 | Jos C. M. Baeten, Jan A. Bergstra |
Process Algebra with Partial Choice. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Jos C. M. Baeten, Jan A. Bergstra |
Discrete Time Process Algebra. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Sjouke Mauw, Gert J. Veltink |
A Proof Assistant for PSF. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Han Zuidweg |
Verification by Abstraction and Bisimulation. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Steven Klusener |
Abstraction in Real Time Process Algebra. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
& Phrases Real Time, Abstraction, Process Algebra, Protocol Verification, ACP |
26 | Takeiki Aizono, Katsumi Kawano, Masahiro Ohashi, Makoto Kogure |
An Object Model of Autonomous Control Processor and the Message Selection Method. |
ISADS |
1999 |
DBLP DOI BibTeX RDF |
ADS (Autonomous Decentralized System), ACP (Autonomous Control Processor), fault-tolerance, scalability, maintainability |
23 | Dexiu Ma, Mei Liu, Mingsheng Shang 0001 |
Neural dynamics solver for time-dependent infinity-norm optimization based on ACP framework with robot application. |
Neurocomputing |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Zeynep Hilal Kilimci, Mustafa Yalcin |
ACP-ESM: A novel framework for classification of anticancer peptides using protein-oriented transformer approach. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Jilong Bian, Xuan Liu, Guanghui Dong, Chang Hou, Shan Huang, Dandan Zhang |
ACP-ML: A sequence-based method for anticancer peptide prediction. |
Comput. Biol. Medicine |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Wei Xu, Chen Zhao, Xingyuan Dai, Zhiming Yuan, Tao Zhang, Tao Wang, Yuhai Ren, Yisheng Lv |
Parallel Dispatching: An ACP-Based High-Speed Railway Intelligent Dispatching System. |
IEEE Trans. Intell. Veh. |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Haoran Yu, Weiwei Zhang, Ming Ji, Chenghui Zhen |
ACP: Automatic Channel Pruning Method by Introducing Additional Loss for Deep Neural Networks. |
Neural Process. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Andrés Anzo Hernández, Uvencio José Giménez Mujica, Carlos Hernández Gracidas, José Jacobo Oliveros Oliveros |
Investigating HLB control strategies using Genetic Algorithms: A two-orchard model approach with ACP Dispersal. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
23 | O. Sugel Anandh, Tina Elizabeth Mathew, K. V. Pradeep, S. Rajarajeswari |
Novel STD-ACP for detecting energy and threshold value in the network. |
Wirel. Networks |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Hua Deng, Meng Ding, Yimeng Wang, Weihua Li 0005, Guixia Liu, Yun Tang 0001 |
ACP-MLC: A two-level prediction engine for identification of anticancer peptides and multi-label classification of their functional types. |
Comput. Biol. Medicine |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jiangong Wang, Xiao Wang 0002, Yonglin Tian, Yutong Wang, Jinglong Niu, Oliver Kwan |
Parallel Training: An ACP-Based Training Framework for Iterative Learning in Uncertain Driving Spaces. |
IEEE Trans. Intell. Veh. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jicheng Chen, Yongkang Zhang, Siyu Teng, Yuanyuan Chen, Hui Zhang 0019, Fei-Yue Wang 0001 |
ACP-Based Energy-Efficient Schemes for Sustainable Intelligent Transportation Systems. |
IEEE Trans. Intell. Veh. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Yilong Ren, Han Jiang 0003, Xiaoyuan Feng, Yanan Zhao, Runkun Liu, Haiyang Yu |
ACP-Based Modeling of the Parallel Vehicular Crowd Sensing System: Framework, Components and an Application Example. |
IEEE Trans. Intell. Veh. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Min Zhou 0003, Wei Xu, Xuan Liu, Zixuan Zhang, Hairong Dong, Ding Wen |
ACP-Based Parallel Railway Traffic Management for High-Speed Trains in Case of Emergencies. |
IEEE Trans. Intell. Veh. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jing Ma, Peng Liu, Hao Liu, Yonglin Tian, Fengyi Zhang, Yi Zhang, Zhaojie Wang |
Parallel Ships: An ACP-based Framework for Marine Equipment Testing and Training. |
DTPI |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Xinyi Lv, Yi Yu, Xinzhao Xie, Fei-Yue Wang 0001, Yilun Lin 0002, Yan Chen |
Optimize the Accessibility of Healthcare Facilities via ACP-Based Approach. |
SMC |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Yancai Xu, Linyao Yang, Fenghua Zhu, Xiao Wang, Fei-Yue Wang 0001 |
Parallel Reasoning Based on ACP Method for Power Grid Dispatching. |
SMC |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Ying Liufu, Mei Liu, Long Jin 0001, Feiyue Wang |
Gradient Projection Differential Neural Solution for Quadratic Optimization with Quadratic Constraints: An ACP Perspective. |
SMC |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Hongwei Zhao, Xuewen Li 0007, Shengchun Wang, Yidong Li |
Railway Video Inspection System based on ACP Theory. |
PAAP |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Wenbo Zheng, Lan Yan, Chao Gou, Fei-Yue Wang 0001 |
An ACP-Based Parallel Approach for Color Image Encryption Using Redundant Blocks. |
IEEE Trans. Cybern. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Long Jin 0001, Jiachang Li, Zhongbo Sun, Jingwei Lu, Fei-Yue Wang 0001 |
Neural Dynamics for Computing Perturbed Nonlinear Equations Applied to ACP-Based Lower Limb Motion Intention Recognition. |
IEEE Trans. Syst. Man Cybern. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Tanya Shreedhar, Sanjit K. Kaul, Roy D. Yates |
ACP+: An Age Control Protocol for the Internet. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Guanwen Feng, Hang Yao, Chaoneng Li, Ruyi Liu, Rungen Huang, Xiaopeng Fan, Ruiquan Ge, Qiguang Miao |
ME-ACP: Multi-view neural networks with ensemble model for identification of anticancer peptides. |
Comput. Biol. Medicine |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Lun Zhu, Chenyang Ye, Xuemei Hu, Sen Yang, Chenyang Zhu 0006 |
ACP-check: An anticancer peptide prediction model based on bidirectional long short-term memory and multi-features fusion strategy. |
Comput. Biol. Medicine |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Tianyi Huang, Min Li 0026, William Zhu 0001 |
ACP based reinforcement learning for long-term recommender system. |
Int. J. Mach. Learn. Cybern. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jiazheng Zhang, Jingkun Yan, Xiujuan Du, Long Jin 0001 |
Multi-Robot Distributed Coordination in IOT Systems: An ACP Framework. |
DTPI |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Yuan Zhang, Yuan Yuan 0001, Qi Wang 0009 |
ACP: Adaptive Channel Pruning for Efficient Neural Networks. |
ICASSP |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Guiyang Luo, Hui Zhang 0091, Xiao Wang 0002, Quan Yuan 0004, Jinglin Li, Fei-Yue Wang 0001 |
ACP Based Large-Scale Coordinated Route Planning: From Perspective of Cyber-Physical-Social Systems. |
ITSC |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Huiqing Wang, Jian Zhao 0032, Hong Zhao, Haolin Li, Juan Wang |
CL-ACP: a parallel combination of CNN and LSTM anticancer peptide recognition model. |
BMC Bioinform. |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Yong-Woon Hwang, Im-Yeong Lee |
A study on data sharing system using ACP-ABE-SE in a cloud environment. |
Int. J. Web Grid Serv. |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Jingfei Chang, Yang Lu 0015, Ping Xue 0012, Yiqun Xu, Zhen Wei |
ACP: Automatic Channel Pruning via Clustering and Swarm Intelligence Optimization for CNN. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
23 | Dong-Jin Kim 0003, Xiao Sun, Jinsoo Choi, Stephen Lin 0001, In So Kweon |
ACP++: Action Co-occurrence Priors for Human-Object Interaction Detection. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
23 | Toerless Eckert, Michael H. Behringer, Steinthor Bjarnason |
An Autonomic Control Plane (ACP). |
RFC |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Dong-Jin Kim 0003, Xiao Sun, Jinsoo Choi, Stephen Lin 0001, In So Kweon |
ACP++: Action Co-Occurrence Priors for Human-Object Interaction Detection. |
IEEE Trans. Image Process. |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Linjuan Gong, Guolian Hou, Hongqun Gu, Congzhi Huang, Xuming Lv, Lei Wang |
Parallel Control of Supercritical Thermal Power Unit based on the ACP Method. |
DTPI |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Tianyi Huang, William Zhu 0001 |
Long-term Recommender System based on ACP Framework. |
DTPI |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Yongjun Wang, Fei-Yue Wang 0001, Xiao Wang, Zhongjun Guan, Liwei Ouyang, Jiangong Wang, Lan Yan, Wenbo Zheng, Wenwen Zhang |
Parallel Hospital: ACP-Based Hospital Smart Operating System. |
DTPI |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Shimeng Li, Yutong Wang, Xiao Wang, Feiyue Wang |
Mechanical Design Paradigm based on ACP Method in Parallel Manufacturing. |
DTPI |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Tianyu Shen, Chao Gou, Jiangong Wang, Jun Huang, Yonglan He, Huadan Xue, Zhengyu Jin, Fei-Yue Wang |
Parallel Medical Imaging: An ACP-Based Approach for Intelligent Medical Image Recognition with Small Samples. |
DTPI |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Heemin Lee, Sungyeong Jang, Han-Yee Kim, Taeweon Suh |
Hardware-Based FLUSH+RELOAD Attack on Armv8 System via ACP. |
ICOIN |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Theodosia V. Livanidou, Antonis S. Billis, Evangelos T. Stamkopoulos, Gertrudis F. Romero, Sandra M. Molina, Panagiotis D. Bamidis |
Towards an accessible e-training platform for the ageing well of people with Cerebral Palsy and their caregivers: the case of CP-Ageing project: Identifying the Needs for the Accessibility of Adults with Cerebral Palsy (ACP) and their Supports to online training materials, including Assistive Technologies (ATs) to Enhance their ageing well. |
PETRA |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Bing Rao, Lichao Zhang, Guoying Zhang |
ACP-GCN: The Identification of Anticancer Peptides Based on Graph Convolution Networks. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Xiao Wang 0002, Shuangshuang Han, Linyao Yang, Tingting Yao, Lingxi Li |
Parallel Internet of Vehicles: ACP-Based System Architecture and Behavioral Modeling. |
IEEE Internet Things J. |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Slavomír Simonák, Martin Tomásek |
ACP Semantics for Petri Nets. |
Comput. Informatics |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Stéphanie Bougeard, Carole Toque |
Symbolic Covariance ACP et régression pour variables à valeurs d'intervalles. Application en épidémiologie vétérinaire. |
Monde des Util. Anal. Données |
2018 |
DBLP BibTeX RDF |
|
23 | Shuai Wang 0005, Xiao Wang 0002, Peijun Ye, Yong Yuan, Shuo Liu 0005, Fei-Yue Wang 0001 |
Parallel Crime Scene Analysis Based on ACP Approach. |
IEEE Trans. Comput. Soc. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Shuai Wang 0005, Jing Wang, Xiao Wang 0002, Tianyu Qiu, Yong Yuan, Liwei Ouyang, Yuanyuan Guo, Fei-Yue Wang 0001 |
Blockchain-Powered Parallel Healthcare Systems Based on the ACP Approach. |
IEEE Trans. Comput. Soc. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Tanya Shreedhar, Sanjit K. Kaul, Roy D. Yates |
ACP: An End-to-End Transport Protocol for Delivering Fresh Updates in the Internet-of-Things. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
23 | David Wilson, Alexey Melnikov 0001 |
Multicast Email (MULE) over Allied Communications Publication (ACP) 142. |
RFC |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Yang Xing, Chen Lv, Long Chen 0005, Huaji Wang, Hong Wang 0014, Dongpu Cao, Efstathios Velenis, Fei-Yue Wang 0001 |
Advances in Vision-Based Lane Detection: Algorithms, Integration, Assessment, and Perspectives on ACP-Based Parallel Vision. |
IEEE CAA J. Autom. Sinica |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Carlos Juiz |
Algebraic Formal Modelling for EIGRP using ACP - Formal Description Modelling on EIGRP Routing Protocol. |
SIMULTECH |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Tanya Shreedhar, Sanjit K. Kaul, Roy D. Yates |
ACP: Age Control Protocol for Minimizing Age of Information over the Internet. |
MobiCom |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Rui Huang, Yichao Lin, Bidi Ying, Amiya Nayak |
ACP: An Efficient User Location Privacy Preserving Protocol for Opportunistic Mobile Social Networks. |
COMPSAC (1) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Peter F. Neher, Bram Stieltjes, Klaus H. Maier-Hein |
Anchor-Constrained Plausibility (ACP): A Novel Concept for Assessing Tractography and Reducing False-Positives. |
MICCAI (3) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Carlos Juiz |
OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol. |
ICETE (1) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Xisong Dong, Yuetong Lin, Dayong Shen, Zhengxi Li, Fenghua Zhu, Bin Hu 0010, Dong Fan, Gang Xiong 0001 |
A Parallel Transportation Management and Control System for Bus Rapid Transit Using the ACP Approach. |
IEEE Trans. Intell. Transp. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Xiaoming Liu, Shaohu Tang, Yuetong Lin, Zhengxi Li, Zhaomeng Chen |
ACP-Based Management and Control for Urban Passenger Transportation Hubs. |
IEEE Intell. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Shuangshuang Han, Fei-Yue Wang 0001, Yingchun Wang, Dongpu Cao, Li Li 0013 |
Parallel vehicles based on the ACP theory: Safe trips via self-driving. |
Intelligent Vehicles Symposium |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Pedro Juan Roig, Salvador Alcaraz, Katja Gilly |
FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode. |
SIMULTECH |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Dayong Shen, Xiao Wang 0001, Jie Wang, Xiaoyun Guan, Peihui Yang, Lei Xu |
Parallel intermodal road-rail transportation system based on acp approach. |
SMC |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Wenbo Zheng, Fei-Yue Wang 0001, Kunfeng Wang |
An ACP-based approach to color image encryption using DNA sequence operation and hyper-chaotic system. |
SMC |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Fei-Yue Wang 0001, Jun Jason Zhang |
Transportation 5.0 in CPSS: Towards ACP-based society-centered intelligent transportation. |
ITSC |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Pedro Juan Roig, Salvador Alcaraz, Katja Gilly |
Multicast Algebraic Formal Modelling using ACP - Study on PIM Dense Mode and Sparse Mode. |
DCNET |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Pin-Chih Su, Michael E. Johnson |
Evaluating thermodynamic integration performance of the new amber molecular dynamics package and assess potential halogen bonds of enoyl-ACP reductase (FabI) benzimidazole inhibitors. |
J. Comput. Chem. |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Xiao Wang 0002, Lingxi Li, Yong Yuan, Peijun Ye, Fei-Yue Wang 0001 |
ACP-based social computing and parallel intelligence: Societies 5.0 and beyond. |
CAAI Trans. Intell. Technol. |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Yoshiyuki Morie, Hiroaki Honda, Takeshi Nanri, Taizo Kobayashi, Hidetomo Shibamura, Ryutaro Susukita, Yuichiro Ajima |
Memory Efficient One-Sided Communucation Library "ACP" in Globary Memory on Raspberry Pi 2. |
ICDCS |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Pin-Chih Su, Cheng-Chieh Tsai, Shahila Mehboob, Kirk E. Hevener, Michael E. Johnson |
Comparison of radii sets, entropy, QM methods, and sampling on MM-PBSA, MM-GBSA, and QM/MM-GBSA ligand binding energies of F. tularensis enoyl-ACP reductase (FabI). |
J. Comput. Chem. |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Steffen Lindert, Lorillee Tallorin, Quynh G. Nguyen, Michael D. Burkart, James Andrew McCammon |
In silico screening for Plasmodium falciparum enoyl-ACP reductase inhibitors. |
J. Comput. Aided Mol. Des. |
2015 |
DBLP DOI BibTeX RDF |
|
23 | André van Delft |
Some New Directions for ACP Research. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
23 | Fei-Yue Wang 0001, Xiaochen Li, Wenji Mao |
An ACP-Based Approach to Intelligence and Security Informatics. |
Intelligent Methods for Cyber Warfare |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 177 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|