Search results for "ATP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
151	Geoff Sutcliffe	CASC-J4 The 4th IJCAR ATP System Competition.	IJCAR	2008	DBLP DOI BibTeX RDF
151	Geoff Sutcliffe, Christian B. Suttner	The CADE ATP System Competition.	IJCAR	2004	DBLP DOI BibTeX RDF
151	Geoff Sutcliffe, Christian B. Suttner	The CADE-19 ATP System Competition.	CADE	2003	DBLP DOI BibTeX RDF
107	Cheng Xiang 0001, Lingling Cao, Kai-Rong Qin, Zhe Xu, Ben M. Chen	A Modified Dynamic Model for Shear Stress Induced ATP Release from Vascular Endothelial Cells.	LSMS (1)	2007	DBLP DOI BibTeX RDF
107	Christian B. Suttner, Geoff Sutcliffe	The Design of the CADE-13 ATP System Competition.	CADE	1996	DBLP DOI BibTeX RDF
88	Young M. Lee	Simulating impact of available-to-promise generation on supply chain performance.	WSC	2006	DBLP DOI BibTeX RDF
87	Josef Urban	MPTP 0.2: Design, Implementation, and Initial Experiments.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	MPTP, Mizar, ATP, MPA, re-proving, proof discovery, MML
76	Yuichi Komano, Kazuo Ohta, Hideyuki Miyake, Atsushi Shimbo	Algorithmic Tamper Proof (ATP) Counter Units for Authentication Devices Using PIN.	ACNS	2009	DBLP DOI BibTeX RDF	algorithmic tamper proof (ATP), counter unit, PIN authentication
73	Matthias Nahrendorf, Karl-Heinz Hiller, Andreas Greiser, Sascha Köhler, Thomas Neuberger, Kai Hu, Christiane Waller, Georg Ertl, Axel Haase, Wolfgang R. Bauer	Magnetic Resonance Fusion Imaging of Chronic Myocardial Ischemia.	FIMH	2003	DBLP DOI BibTeX RDF
73	Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf	Integration of Automated and Interactive Theorem Proving in ILP.	CADE	1997	DBLP DOI BibTeX RDF
72	Thomas Raths, Jens Otten, Christoph Kreitz	The ILTP Problem Library for Intuitionistic Logic.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	ILTP, problem library, ATP, benchmarking, intuitionistic logic
64	Josef Urban, Geoff Sutcliffe	ATP Cross-Verification of the Mizar MPTP Challenge Problems.	LPAR	2007	DBLP DOI BibTeX RDF
64	Geoff Sutcliffe, Christian B. Suttner	The CADE-18 ATP System Competition.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	competition, automated theorem proving
58	Christian Kandt, Eliud O. Oloo, D. Peter Tieleman	Domain coupling in the ABC transporter system BtuCD/BtuF: molecular dynamics simulation, normal mode analysis and protein-protein docking.	HPCS	2007	DBLP DOI BibTeX RDF
58	Predrag Janicic, Pedro Quaresma	Automatic Verification of Regular Constructions in Dynamic Geometry Systems.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
58	Rafael Mendes, Lauro Whately, Maria Clicia Stelling de Castro, Cristiana Bentes, Claudio Luis de Amorim	Runtime System Support for Running Applications with Dynamic and Asynchronous Task Parallelism in Software DSM Systems.	SBAC-PAD	2006	DBLP DOI BibTeX RDF
58	Geoff Sutcliffe	System Description: SystemOn TPTP.	CADE	2000	DBLP DOI BibTeX RDF
58	Bruno Fringuelli, Evelina Lamma, Paola Mello, Giovanni Santocchia	Knowledge-Based Technology for Controlling Railway Stations.	IEEE Expert	1992	DBLP DOI BibTeX RDF
57	Chien-Yu Chen 0001, Zhen-Ying Zhao, Michael O. Ball	Quantity and Due Date Quoting Available to Promise.	Inf. Syst. Frontiers	2001	DBLP DOI BibTeX RDF	available to promise (ATP), due date quoting, order promising and fulfillment, mixed integer programming
49	Joanna Golinska-Pilarek, Ángel Mora 0001, Emilio Muñoz-Velasco	An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.	PRICAI	2008	DBLP DOI BibTeX RDF
49	Shandar Ahmad, Zulfiqar Ahmad	ATP-binding site as a further application of neural networks to residue level prediction.	IJCNN	2008	DBLP DOI BibTeX RDF
49	Geoff Sutcliffe	CASC-J3 - The 3rd IJCAR ATP System Competition.	IJCAR	2006	DBLP DOI BibTeX RDF
49	Karthikeyan Sundaresan, Vaidyanathan Anantharaman, Hung-Yun Hsieh, Raghupathy Sivakumar	ATP: A Reliable Transport Protocol for Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	Ad hoc networks, reliability, rate adaptation, transport layer
49	Karthikeyan Sundaresan, Vaidyanathan Anantharaman, Hung-Yun Hsieh, Raghupathy Sivakumar	ATP: a reliable transport protocol for ad-hoc networks.	MobiHoc	2003	DBLP DOI BibTeX RDF	ad-hoc networks, reliability, rate adaptation, transport layer
49	Frank Marlowe	High Definition Television Broadcast Technology -A Nist/atp Project.	Workshop on Digital and Computational Video	2001	DBLP DOI BibTeX RDF
44	Martin Suda 0001, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo	External Sources of Axioms in Automated Theorem Proving.	KI	2009	DBLP DOI BibTeX RDF
44	Geoff Sutcliffe	TPTP, TSTP, CASC, etc.	CSR	2007	DBLP DOI BibTeX RDF
44	Yeting Ge, Clark W. Barrett, Cesare Tinelli	Solving Quantified Verification Conditions Using Satisfiability Modulo Theories.	CADE	2007	DBLP DOI BibTeX RDF
44	Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi	Zap: Automated Theorem Proving for Software Analysis.	LPAR	2005	DBLP DOI BibTeX RDF
44	Todd S. Bertulis, John O. Miller	Logistics 2: using simulation to understand Interim Brigade Combat Team (IBCT) munitions logistics.	WSC	2002	DBLP DOI BibTeX RDF
44	Johann Schumann, Bernd Fischer 0002	NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical.	ASE	1997	DBLP DOI BibTeX RDF	deduction-based software component retrieval, NORA/HAMMR, search keys, proof tasks, rejection filters, model checking techniques, confirmation filter, software reusability, signature matching, automated theorem prover
43	Josef Urban	MPTP - Motivation, Implementation, First Experiments.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	ATP, Mizar, MPA, MPTP
39	Xuesheng Bian, Cheng Wang 0003, Shuting Chen, Weiquan Liu, Sen Xu, Jinxin Zhu, Rugang Wang, Zexin Chen, Min Huang, Gang Li	Ins-ATP: Deep Estimation of ATP for Organoid Based on High Throughput Microscopic Images.	CoRR	2023	DBLP DOI BibTeX RDF
39	Hideo Doi, Tomoko Horio, Yong-Joon Choi, Kazuhiro Takahashi, Toshihiko Noda, Kazuaki Sawada	CMOS-Based Redox-Type Label-Free ATP Image Sensor for In Vitro Sensitive Imaging of Extracellular ATP.	Sensors	2022	DBLP DOI BibTeX RDF
39	Xavier Nicollin	ATP : une algebre pour la specification et l'analyse des systemes temps reel. (ATP: an algebra for the specification and analysis of real time systems).		1992	RDF
34	Alex Roederer, Yury Puzis, Geoff Sutcliffe	Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.	CADE	2009	DBLP DOI BibTeX RDF
34	Shuaiqiang Wang, Jiancheng Wan, Jinkui Hou	OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving.	SNPD (3)	2007	DBLP DOI BibTeX RDF
34	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	From ATP to Timed Graphs and Hybrid Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	specification of timed systems, real-time, hybrid systems, process algebra, timed graphs
29	Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss	Progress in the Development of Automated Theorem Proving for Higher-Order Logic.	CADE	2009	DBLP DOI BibTeX RDF
29	Yongjun Li 0002, Shanghong Zhao 0001, Jili Wu, Tian Li, Rui Hou, Lan Liu	Designing of a Novel Optical Two-Layered Satellite Network.	CSSE (4)	2008	DBLP DOI BibTeX RDF
29	Jinhui Tang 0001, Xian-Sheng Hua 0001, Guo-Jun Qi, Zhiwei Gu, Xiuqing Wu	Beyond Accuracy: Typicality Ranking for Video Annotation.	ICME	2007	DBLP DOI BibTeX RDF
29	Chen Dong, Jiandong Li 0001, Jing Ma	Multiple access protocol for WLAN based on adaptive token passing with fairness guarantee.	AINA (2)	2006	DBLP DOI BibTeX RDF
29	Pim Tuyls, Geert Jan Schrijen, Boris Skoric, Jan van Geloven, Nynke Verhaegh, Rob Wolters	Read-Proof Hardware from Protective Coatings.	CHES	2006	DBLP DOI BibTeX RDF
29	Tiaojun Xiao, Gang Yu, Zhaohan Sheng, Yusen Xia	Coordination of a Supply Chain with One-Manufacturer and Two-Retailers Under Demand Promotion and Disruption Management Decisions.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	supply chain coordination, game, contract, disruption management
29	Zhenying Zhao, Michael O. Ball, Masahiro Kotake	Optimization-Based Available-To-Promise with Multi-Stage Resource Availability.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	available-to-promise, manufacturing order, production capability, order-promising and fulfillment, mixed-integer-programming
29	Gustavo Sutter, Jean-Pierre Deschamps, Gery Bioul, Eduardo I. Boemo	Power Aware Dividers in FPGA.	PATMOS	2004	DBLP DOI BibTeX RDF
29	M. C. Tavares, J. Pissolato, C. M. Portela	New mode-domain representation of transmission line for power system studies-comparing with existing models.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
29	Gabriel Aguilera 0001, Inman P. de Guzmán, Manuel Ojeda-Aciego	TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving.	JELIA	1994	DBLP DOI BibTeX RDF
29	Jos C. M. Baeten, Jan A. Bergstra	Discrete Time Process Algebra.	CONCUR	1992	DBLP DOI BibTeX RDF
28	John Calagaz, Wade Chatam, Brian Eoff, John A. Hamilton Jr.	On the current state of transport layer protocols in mobile ad hoc networks.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	ATCP, ATP, TCP variations, ad hoc networks, transport protocols
20	Bing Rao, Xuan Yu, Jie Bai, Jun Hu 0010	E2EATP: Fast and High-Accuracy Protein-ATP Binding Residue Prediction via Protein Language Model Embedding.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
20	János Kramár, Tom Lieberum, Rohin Shah, Neel Nanda	AtP*: An efficient and scalable method for localizing LLM behaviour to components.	CoRR	2024	DBLP DOI BibTeX RDF
20	Yue Niu, Saurav Prakash, Salman Avestimehr	ATP: Enabling Fast LLM Serving via Attention on Top Principal Keys.	CoRR	2024	DBLP DOI BibTeX RDF
20	Shreyas V, Swati Agarwal 0001	Predicting ATP binding sites in protein sequences using Deep Learning and Natural Language Processing.	CoRR	2024	DBLP DOI BibTeX RDF
20	Wolfgang Bibel	A Conjecture for ATP Research.	CoRR	2024	DBLP DOI BibTeX RDF
20	Boyu Ning, Tiantian Wang, Chongwen Huang, Yuchen Zhang, Zhi Chen 0002	Wide-Beam Designs for Terahertz Massive MIMO: SCA-ATP and S-SARV.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
20	Bin Sun 0005, Te Liu, Manjie Zhang, Shuijie Li	Synergistic Binding of ATP and Nucleic Acids Necessitates UPF1's ATPase Functional Cycle.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
20	Katarzyna Walczewska-Szewc, Wieslaw Nowak	Structural Insights into ATP-Sensitive Potassium Channel Mechanics: A Role of Intrinsically Disordered Regions.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
20	Shenggan Cheng, Ziming Liu, Jiangsu Du, Yang You 0001	ATP: Adaptive Tensor Parallelism for Foundation Models.	CoRR	2023	DBLP DOI BibTeX RDF
20	Fengming He, Xiumei Wang, Qiaoqiong Wu, Shunzhi Liu, Yin Cao, Xiaodan Guo, Sihang Yin, Na Yin, Baicun Li, Meijuan Fang	Identification of potential ATP-competitive cyclin-dependent kinase 1 inhibitors: De novo drug generation, molecular docking, and molecular dynamics simulation.	Comput. Biol. Medicine	2023	DBLP DOI BibTeX RDF
20	Hsiu-Mei Chen, Wen-Chang Wang, Hong-Ren Chen	Small-Molecule Analysis Based on DNA Strand Displacement Using a Bacteriorhodopsin Photoelectric Transducer: Taking ATP as an Example.	Sensors	2023	DBLP DOI BibTeX RDF
20	Nicolas Andres Saffioti, Cora Lilia Alvarez, Zaher Bazzi, María Virginia Gentilini, Gabriel Eduardo Gondolesi, Pablo Julio Schwarzbaum, Julieta Schachter	Dynamic recycling of extracellular ATP in human epithelial intestinal cells.	PLoS Comput. Biol.	2023	DBLP DOI BibTeX RDF
20	Lucio Caprioli, Francesca Campoli, Saeid Edriss, Elvira Padua, Emilio Panichi, Cristian Romagnoli, Giuseppe Annino, Vincenzo Bonaiuto	Video Analysis Application to Assess the Reaction Time in an ATP Tennis Tournament.	icSPORTS	2023	DBLP DOI BibTeX RDF
20	Zhaoyi Li, Jiawei Huang 0001, Tao Zhang 0019, Shengwen Zhou, Qile Wang, Yijun Li, Jingling Liu, Wanchun Jiang, Jianxin Wang 0001	PA-ATP: Progress-Aware Transmission Protocol for In-Network Aggregation.	ICNP	2023	DBLP DOI BibTeX RDF
20	Pavlos K. Samaras, Evangelos T. Staikos, Zacharias G. Datsios, Pantelis N. Mikropoulos, Thomas E. Tsovilis, Nikolaos D. Kokkinos	Evaluation of the Electric Stress on an Insulating Down-Conductor Caused by Lightning Strikes through ATP-EMTP Simulations.	IAS	2023	DBLP DOI BibTeX RDF
20	Zureneth Govea, Francisco Pérez-Galarce, Alfredo Candia-Véjar	An optimization model for the fair distribution of prize money in ATP tournaments.	Int. J. Comput. Sci. Sport	2022	DBLP DOI BibTeX RDF
20	Federico Della Croce, Gabriele Dragotto, Rosario Scatamacchia	On fairness and diversification in WTA and ATP tennis tournaments generation.	Ann. Oper. Res.	2022	DBLP DOI BibTeX RDF
20	Nan Chen, Ningjian Huang, Robert G. Radwin, Jingshan Li	Analysis of assembly-time performance (ATP) in manufacturing operations with collaborative robots: a systems approach.	Int. J. Prod. Res.	2022	DBLP DOI BibTeX RDF
20	Jaimis Sajid Leon Colqui, Luis Carlos Timaná Eraso, Pablo Torrez Caballero, José Pissolato Filho, Sérgio Kurokawa	Implementation of Modal Domain Transmission Line Models in the ATP Software.	IEEE Access	2022	DBLP DOI BibTeX RDF
20	Jaimis Sajid Leon Colqui, Anderson Ricardo Justo De Araújo, Tainá Fernanda Garbelim Pascoalato, Sérgio Kurokawa, José Pissolato Filho	Transient Analysis on Multiphase Transmission Line Above Lossy Ground Combining Vector Fitting Technique in ATP Tool.	IEEE Access	2022	DBLP DOI BibTeX RDF
20	Youcong Huang, Zhiwei Fu, Zhongnan Zheng, Tuo Shi, Ying Zhang, Shaokang Chen, Jing Jiao	Simulation Analysis of Grounding Characteristics of Cable Based on ATP-EMTP.	IEEE Access	2022	DBLP DOI BibTeX RDF
20	Mitja Ogrizek, Matej Janezic, Katja Valjavec, Andrej Perdih	Catalytic Mechanism of ATP Hydrolysis in the ATPase Domain of Human DNA Topoisomerase IIα.	J. Chem. Inf. Model.	2022	DBLP DOI BibTeX RDF
20	Yongjun Zang, Luyang Tai, Yuanyang Hu, Yu Wang, Hongbin Sun, Xiaoan Wen, Haoliang Yuan, Liang Dai	Discovery of a Novel Macrocyclic ATP Citrate Lyase Inhibitor.	J. Chem. Inf. Model.	2022	DBLP DOI BibTeX RDF
20	Manuel A. Llanos, Clara Ventura, Pedro Martín, Nicolas Enrique, Juan I. Felice, Luciana Gavernet, Verónica Milesi	Novel Dimeric hHv1 Model and Structural Bioinformatic Analysis Reveal an ATP-Binding Site Resulting in a Channel Activating Effect.	J. Chem. Inf. Model.	2022	DBLP DOI BibTeX RDF
20	Nuno F. B. Oliveira, Miguel Machuqueiro	Novel US-CpHMD Protocol to Study the Protonation-Dependent Mechanism of the ATP/ADP Carrier.	J. Chem. Inf. Model.	2022	DBLP DOI BibTeX RDF
20	Liang Rao, Ning-Xin Jia, Jun Hu 0010, Dong-Jun Yu, Gui-Jun Zhang	ATPdock: a template-based method for ATP-specific protein-ligand docking.	Bioinform.	2022	DBLP DOI BibTeX RDF
20	Ashish Kumar, Vasundhra Dahiya, Aditi Sharan	ATP: A holistic attention integrated approach to enhance ABSA.	CoRR	2022	DBLP DOI BibTeX RDF
20	Liang Chen 0024, Peiyi Wang, Runxin Xu, Tianyu Liu 0001, Zhifang Sui, Baobao Chang	ATP: AMRize Then Parse! Enhancing AMR Parsing with PseudoAMRs.	CoRR	2022	DBLP DOI BibTeX RDF
20	Muratcan Mentes, Basak Buse Karakuzulu, Gönlüm Bahar Uçar, Cihangir Yandim	Comparative molecular dynamics analyses on PIK3CA hotspot mutations with PI3Kα specific inhibitors and ATP.	Comput. Biol. Chem.	2022	DBLP DOI BibTeX RDF
20	Xin Chen 0032, Yangkun Feng, Haohan Chen, Yuting Zhang, Xiaoli Wang, Nandi Zhou	Fluorescent Aptasensor for Highly Specific Detection of ATP Using a Newly Screened Aptamer.	Sensors	2022	DBLP DOI BibTeX RDF
20	Zhaoxi Zhang, Yulan Zhao, Juan Wang 0011, Maozu Guo 0001	DeepRCI: Predicting ATP-Binding Proteins Using the Residue-Residue Contact Information.	IEEE J. Biomed. Health Informatics	2022	DBLP DOI BibTeX RDF
20	Shin-ichi Koda, Shinji Saito	Multimeric structure enables the acceleration of KaiB-KaiC complex formation induced by ADP/ATP exchange inhibition.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
20	Barbara Schnitzer, Linnea Österberg, Iro Skopa, Marija Cvijovic	Multi-scale model suggests the trade-off between protein and ATP demand as a driver of metabolic changes during yeast replicative ageing.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
20	Zerui Song, Chuyi Song, Jiazhi Song, Jingqing Jiang	Prediction of Protein-ATP Binding Sites Based on Word Vector Convolution Model.	ACAI	2022	DBLP DOI BibTeX RDF
20	Liang Chen 0024, Peiyi Wang, Runxin Xu, Tianyu Liu 0001, Zhifang Sui, Baobao Chang	ATP: AMRize Then Parse! Enhancing AMR Parsing with PseudoAMRs.	NAACL-HLT (Findings)	2022	DBLP DOI BibTeX RDF
20	Xiang Sun 0001, Tianrun Zhang, Sihua Shao, Bryan Tice, Paul Tice, Sudharman K. Jayaweera	Low Cost ATP System Design for Free Space Optics based Drone Assisted Wireless Networks.	GLOBECOM (Workshops)	2022	DBLP DOI BibTeX RDF
20	Yixi Chen, Wenfei Wu, Shan-Hsiang Shen, Ying Zhang 0022	NQ/ATP: Architectural Support for Massive Aggregate Queries in Data Center Networks.	IWQoS	2022	DBLP DOI BibTeX RDF
20	Tengfei Wang, Mingxi Zhao, Shengmao Xie, Kui Qiu, Ping Gao, Zhiping Yang	Methods of Improving the ATP Cut-off Control Circuit for Urban Rail Transit Vehicles.	ICITE	2022	DBLP DOI BibTeX RDF
20	Gang Xue, Shifeng Liu 0001, Daqing Gong, Yicao Ma	ATP-DenseNet: a hybrid deep learning-based gender identification of handwriting.	Neural Comput. Appl.	2021	DBLP DOI BibTeX RDF
20	Guanxiong Nie, Yajian Zhou	ATP-Net: An Attention-based Ternary Projection Network For Compressed Sensing.	CoRR	2021	DBLP BibTeX RDF
20	Nicholas Mikolajewicz, Delaney Smith, Svetlana V. Komarova, Anmar Khadra	High-affinity P2Y2 and low-affinity P2X7 receptor interaction modulates ATP-mediated calcium signaling in murine osteoblasts.	PLoS Comput. Biol.	2021	DBLP DOI BibTeX RDF
20	ChonLam Lao, Yanfang Le, Kshiteej Mahajan, Yixi Chen, Wenfei Wu, Aditya Akella, Michael M. Swift	ATP: In-network Aggregation for Multi-tenant Learning.	NSDI	2021	DBLP BibTeX RDF
20	Harun Turan, Özgenç Subasi	Development of Fine Tracking Unit for Hybrid ATP Mechanism in Free-space Optical Communication.	SIU	2021	DBLP DOI BibTeX RDF
20	Ramamani Tripathy, Rudra Kalyan Nayak, Priti Das, Debahuti Mishra	Cellular cholesterol prediction of mammalian ATP-binding cassette (ABC) proteins based on fuzzy c-means with support vector machine algorithms.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
20	M. Makino, Tomohiro Odaka, Jousuke Kuroiwa, Izumi Suwa, Hideyuki Shirai	Feature Selection to Win the Point of ATP Tennis Players Using Rally Information.	Int. J. Comput. Sci. Sport	2020	DBLP DOI BibTeX RDF
20	Jiazhi Song, Yanchun Liang 0001, Guixia Liu, Rongquan Wang, Liyan Sun, Ping Zhang	A Novel Prediction Method for ATP-Binding Sites From Protein Primary Sequences Based on Fusion of Deep Convolutional Neural Network and Ensemble Learning.	IEEE Access	2020	DBLP DOI BibTeX RDF
20	Naoki Matsuda, Ken-ichi Hironaka, Masashi Fujii, Takumi Wada, Katsuyuki Kunida, Haruki Inoue, Miki Eto, Daisuke Hoshino, Yasuro Furuichi, Yasuko Manabe, Nobuharu L. Fujii, Hiroyuki Noji, Hiromi Imamura, Shinya Kuroda	Monitoring and mathematical modeling of mitochondrial ATP in myotubes at single-cell level reveals two distinct population with different kinetics.	Quant. Biol.	2020	DBLP DOI BibTeX RDF
20	Vanesa Racigh, Agustín Ormazábal, Juliana Palma, Gustavo Pierdominici-Sottile	Positively Charged Residues in the Head Domain of P2X4 Receptors Assist the Binding of ATP.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
20	Tomas Rosberg, Birgitta Thorslund	Simulated and real train driving in a lineside automatic train protection (ATP) system environment.	J. Rail Transp. Plan. Manag.	2020	DBLP DOI BibTeX RDF
20	Elliasu Y. Salifu, Clement Agoni, Fisayo A. Olotu, Mahmoud E. S. Soliman	Triple Mycobacterial ATP-synthase mutations impedes Bedaquiline binding: Atomistic and structural perspectives.	Comput. Biol. Chem.	2020	DBLP DOI BibTeX RDF