|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 61 occurrences of 53 keywords
|
|
|
Results
Found 303 publication records. Showing 303 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
151 | Geoff Sutcliffe |
CASC-J4 The 4th IJCAR ATP System Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 457-458, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
151 | Geoff Sutcliffe, Christian B. Suttner |
The CADE ATP System Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 490-491, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
151 | Geoff Sutcliffe, Christian B. Suttner |
The CADE-19 ATP System Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 295-296, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSMS (1) ![In: Bio-Inspired Computational Intelligence and Applications, International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007, Proceedings, pp. 462-472, 2007, Springer, 978-3-540-74768-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
107 | Christian B. Suttner, Geoff Sutcliffe |
The Design of the CADE-13 ATP System Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 146-160, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
88 | Young M. Lee |
Simulating impact of available-to-promise generation on supply chain performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 621-626, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
87 | Josef Urban |
MPTP 0.2: Design, Implementation, and Initial Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 37(1-2), pp. 21-43, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings, pp. 306-323, 2009, 978-3-642-01956-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, Second International Workshop, FIMH 2003, Lyon, France, June 5-6, 2003 Proceedings, pp. 272-277, 2003, Springer, 3-540-40262-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 57-60, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
72 | Thomas Raths, Jens Otten, Christoph Kreitz |
The ILTP Problem Library for Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 38(1-3), pp. 261-271, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, pp. 546-560, 2007, Springer, 978-3-540-75558-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Geoff Sutcliffe, Christian B. Suttner |
The CADE-18 ATP System Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 31(1), pp. 23-32, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 21st Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2007), 13-16 May 2007, Saskatoon, Saskatchewan, Canada, pp. 17, 2007, IEEE Computer Society, 978-0-7695-2813-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Predrag Janicic, Pedro Quaresma |
Automatic Verification of Regular Constructions in Dynamic Geometry Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 39-51, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBAC-PAD ![In: 18th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2006), 17-20 October 2006, Ouro Preto, Minas Gerais, Brazil, pp. 159-166, 2006, IEEE Computer Society, 0-7695-2704-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Geoff Sutcliffe |
System Description: SystemOn TPTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 406-410, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
58 | Bruno Fringuelli, Evelina Lamma, Paola Mello, Giovanni Santocchia |
Knowledge-Based Technology for Controlling Railway Stations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 7(6), pp. 45-52, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
57 | Chien-Yu Chen 0001, Zhen-Ying Zhao, Michael O. Ball |
Quantity and Due Date Quoting Available to Promise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 3(4), pp. 477-488, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, pp. 128-139, 2008, Springer, 978-3-540-89196-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Shandar Ahmad, Zulfiqar Ahmad |
ATP-binding site as a further application of neural networks to residue level prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 2430-2434, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Geoff Sutcliffe |
CASC-J3 - The 3rd IJCAR ATP System Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 572-573, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Karthikeyan Sundaresan, Vaidyanathan Anantharaman, Hung-Yun Hsieh, Raghupathy Sivakumar |
ATP: A Reliable Transport Protocol for Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 4(6), pp. 588-603, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 4th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2003, Annapolis, Maryland, USA, June 1-3, 2003, pp. 64-75, 2003, ACM, 1-58113-684-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Digital and Computational Video ![In: 2nd International Workshop on Digital and Computational Video (DCV 2001), 9 February 2001, Tampa, Florida, USA, pp. 13-20, 2001, IEEE Computer Society, 0-7695-1110-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 281-288, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Geoff Sutcliffe |
TPTP, TSTP, CASC, etc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings, pp. 6-22, 2007, Springer, 978-3-540-74509-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Yeting Ge, Clark W. Barrett, Cesare Tinelli |
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 167-182, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi |
Zap: Automated Theorem Proving for Software Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 2-22, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 921-927, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Johann Schumann, Bernd Fischer 0002 |
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 246-254, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 33(3-4), pp. 319-339, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.06796, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(1), pp. 75, 2022. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
34 | Alex Roederer, Yury Puzis, Geoff Sutcliffe |
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 157-162, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (3) ![In: Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China, pp. 1078-1083, 2007, IEEE Computer Society, 0-7695-2909-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Xavier Nicollin, Joseph Sifakis, Sergio Yovine |
From ATP to Timed Graphs and Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 549-572, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 116-130, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (4) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 4: Embedded Programming / Database Technology / Neural Networks and Applications / Other Applications, December 12-14, 2008, Wuhan, China, pp. 976-979, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, ICME 2007, July 2-5, 2007, Beijing, China, pp. 647-650, 2007, IEEE Computer Society, 1-4244-1017-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (2) ![In: 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 18-20 April 2006, Vienna, Austria, pp. 839-843, 2006, IEEE Computer Society, 0-7695-2466-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2006, 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings, pp. 369-383, 2006, Springer, 3-540-46559-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 135(1), pp. 87-109, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 135(1), pp. 65-85, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings, pp. 574-584, 2004, Springer, 3-540-23095-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 86-89, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 198-216, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
29 | Jos C. M. Baeten, Jan A. Bergstra |
Discrete Time Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 401-420, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 42nd Annual Southeast Regional Conference, 2004, Huntsville, Alabama, USA, April 2-3, 2004, pp. 76-81, 2004, ACM, 1-58113-870-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 64(1), pp. 289-300, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00745, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Yue Niu, Saurav Prakash, Salman Avestimehr |
ATP: Enabling Fast LLM Serving via Attention on Top Principal Keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.02352, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.01829, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Wolfgang Bibel |
A Conjecture for ATP Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.10334, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 10(12), pp. 10857-10869, june15 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 63(11), pp. 3474-3485, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 63(6), pp. 1806-1818, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shenggan Cheng, Ziming Liu, Jiangsu Du, Yang You 0001 |
ATP: Adaptive Tensor Parallelism for Foundation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.08658, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 155, pp. 106645, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(17), pp. 7453, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 19(6), 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
icSPORTS ![In: Proceedings of the 11th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2023, Rome, Italy, November 16-17, 2023., pp. 151-157, 2023, SCITEPRESS, 978-989-758-673-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 31st IEEE International Conference on Network Protocols, ICNP 2023, Reykjavik, Iceland, October 10-13, 2023, pp. 1-11, 2023, IEEE, 979-8-3503-0322-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: IEEE Industry Applications Society Annual Meeting, IAS 2023, Nashville, TN, USA, October 29 - Nov. 2, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-2016-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Sport ![In: Int. J. Comput. Sci. Sport 21(1), pp. 9-29, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Federico Della Croce, Gabriele Dragotto, Rosario Scatamacchia |
On fairness and diversification in WTA and ATP tennis tournaments generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 316(2), pp. 1107-1119, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Prod. Res. ![In: Int. J. Prod. Res. 60(1), pp. 277-296, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 15924-15934, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 86204-86214, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 116642-116649, 2022. The full citation details ...](Pics/full.jpeg) |
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α. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 62(16), pp. 3896-3909, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 62(12), pp. 3123-3132, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 62(13), pp. 3200-3212, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 62(10), pp. 2550-2560, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 38(2), pp. 556-558, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ashish Kumar, Vasundhra Dahiya, Aditi Sharan |
ATP: A holistic attention integrated approach to enhance ABSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.02653, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.08875, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 99, pp. 107726, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(7), pp. 2425, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Biomed. Health Informatics ![In: IEEE J. Biomed. Health Informatics 26(6), pp. 2822-2829, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 18(3), 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 18(7), 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACAI ![In: Proceedings of the 5th International Conference on Algorithms, Computing and Artificial Intelligence, ACAI 2022, Sanya, China, December 23-25, 2022, pp. 6:1-6:6, 2022, ACM, 978-1-4503-9833-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAACL-HLT (Findings) ![In: Findings of the Association for Computational Linguistics: NAACL 2022, Seattle, WA, United States, July 10-15, 2022, pp. 2482-2496, 2022, Association for Computational Linguistics, 978-1-955917-76-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM (Workshops) ![In: IEEE Globecom 2022 Workshops, Rio de Janeiro, Brazil, December 4-8, 2022, pp. 891-896, 2022, IEEE, 978-1-6654-5975-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWQoS ![In: 30th IEEE/ACM International Symposium on Quality of Service, IWQoS 2022, Oslo, Norway, June 10-12, 2022, pp. 1-10, 2022, IEEE, 978-1-6654-6824-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITE ![In: 7th IEEE International Conference on Intelligent Transportation Engineering, ICITE 2022, Beijing, China, November 11-13, 2022, pp. 551-554, 2022, IEEE, 978-1-6654-6007-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 33(10), pp. 4611-4622, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Guanxiong Nie, Yajian Zhou |
ATP-Net: An Attention-based Ternary Projection Network For Compressed Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.12728, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 17(6), 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 18th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2021, April 12-14, 2021., pp. 741-761, 2021, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Harun Turan, Özgenç Subasi |
Development of Fine Tracking Unit for Hybrid ATP Mechanism in Free-space Optical Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIU ![In: 29th Signal Processing and Communications Applications Conference, SIU 2021, Istanbul, Turkey, June 9-11, 2021, pp. 1-4, 2021, IEEE, 978-1-6654-3649-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 39(2), pp. 1611-1618, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Sport ![In: Int. J. Comput. Sci. Sport 19(1), pp. 37-50, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 21485-21495, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quant. Biol. ![In: Quant. Biol. 8(3), pp. 228-237, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 60(2), pp. 923-932, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Tomas Rosberg, Birgitta Thorslund |
Simulated and real train driving in a lineside automatic train protection (ATP) system environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Rail Transp. Plan. Manag. ![In: J. Rail Transp. Plan. Manag. 16, pp. 100205, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 85, pp. 107204, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 303 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|