|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 420 occurrences of 354 keywords
|
|
|
Results
Found 764 publication records. Showing 763 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
79 | Marko Hocevar, Brane Sirok, Bogdan Blagojevic |
Prediction of cavitation vortex dynamics in the draft tube of a francis turbine using radial basis neural networks. |
Neural Comput. Appl. |
2005 |
DBLP DOI BibTeX RDF |
Cavitation vortex, Draft tube, Francis turbine, Void fraction, Prediction, Radial basis neural networks |
79 | Yoshimasa Tokuyama, Seockhoon Bae |
An approximate method for generating draft on a free-form surface. |
Vis. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Draft, Mould, Isocline curve, Isocline surface, Modeling, CAD, B-spline, CAM |
69 | Christophe Strobbe, Jan Engelen, Johannes Koch, Carlos A. Velasco, Evangelos Vlachogiannis, Daniela Ortner |
The BenToWeb XHTML 1.0 Test Suite for the Web Content Accessibility Guidelines 2.0 - Last Call Working Draft. |
HCI (7) |
2007 |
DBLP DOI BibTeX RDF |
Web Content Accessibility Guidelines (WCAG), evaluation and repair tools (ERT), Web Accessibility Initiative (WAI), World Wide Web Consortium (W3C), Last Call Working Draft, accessibility, HTML, CSS, test suite, XHTML |
51 | Erhan Bas, Deniz Erdogmus, R. W. Draft, Jeff W. Lichtman |
Local tracing of curvilinear structures in volumetric color images: Application to the Brainbow analysis. |
J. Vis. Commun. Image Represent. |
2012 |
DBLP DOI BibTeX RDF |
|
41 | Bruce K. Haddon |
IEEE Storage System Standards. |
ACM SIGOPS Oper. Syst. Rev. |
2001 |
DBLP DOI BibTeX RDF |
|
38 | John F. Sowa |
Conceptual Graphs: Draft Proposed American National Standard. |
ICCS |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Donald M. Chiarulli, Walter G. Rudd, Duncan A. Buell |
DRAFT (abstract only): Dynamically Reconfigurable Architecture for Factoring Tests. |
ACM Conference on Computer Science |
1985 |
DBLP DOI BibTeX RDF |
|
35 | Hans Chalupsky |
DRAFT – Cold Start Knowledge Base Population with the Knowledge Resolver System for TAC-KBP 2015 – DRAFT. |
TAC |
2015 |
DBLP BibTeX RDF |
|
35 | Moon-Hwan Jeong, Hyeong-Seok Ko |
Draft-space warping: grading of clothes based on parametrized draft. |
Comput. Animat. Virtual Worlds |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Sergio Galván, Carlos Rubio, Jesús Pacheco, Gildardo Solorio, Georgina Carbajal |
Optimization methodology assessment for the inlet velocity profile of a hydraulic turbine draft tube: part II - performance evaluation of draft tube model. |
J. Glob. Optim. |
2013 |
DBLP DOI BibTeX RDF |
|
35 | |
IEEE P1363.1 Draft 10: Draft Standard for Public Key Cryptographic Techniques Based on Hard Problems over Lattices. |
IACR Cryptol. ePrint Arch. |
2008 |
DBLP BibTeX RDF |
|
35 | Indira Mahalingam Carr, Katherine S. Williams |
Draft Cyber-Crime Convention: Criminalization and The Council of Europe (Draft) Convention on Cyber-Crime. |
Comput. Law Secur. Rev. |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Kimberly B. Kiefer |
ABA Draft PKI Assessment Guidelines: Building Consensus on PKI Assessment: Release of the ABA Draft PKI Assessment Guidelines for Public Comment. |
Comput. Law Secur. Rev. |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Rosario Giuseppe Garroppo, Stefano Giordano, Davide Iacono, Luca Tavanti |
Notes on Implementing a IEEE 802.11s Mesh Point. |
EuroNGI Workshop |
2008 |
DBLP DOI BibTeX RDF |
|
30 | John T. Gorgone |
Information systems and the overview report for computing curricula 2004. |
ACM SIGCSE Bull. |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Gottfried Zimmermann, Gregg C. Vanderheiden, Matthew Y. Ma, Maribeth Gandy, Shari Trewin, Sharon J. Laskowski, Mark Walker |
Universal remote console standard: toward natural user interaction in ambient intelligence. |
CHI Extended Abstracts |
2004 |
DBLP DOI BibTeX RDF |
intelligent user agent, standards, ambient intelligence, abstract user interface, universal remote control, universal remote console, natural language interaction |
30 | Manfred Jackel |
Context Senitive Formatting. |
ACM SIGPLAN Notices |
1983 |
DBLP DOI BibTeX RDF |
|
28 | Steven Roberson, Darina Dicheva |
Semi-automatic ontology extraction to create draft topic maps. |
ACM Southeast Regional Conference |
2007 |
DBLP DOI BibTeX RDF |
semantic web, information extraction, topic maps |
28 | Göran Calås, Andreas Boklund, Stefan Mankefors-Christiernin |
A First Draft of RATF: A Method Combining Robustness Analysis and Technology Forecasting. |
ITNG |
2006 |
DBLP DOI BibTeX RDF |
|
28 | John T. Gorgone |
Draft information systems accreditation criteria for 2006. |
ACM SIGCSE Bull. |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Wasan Pattara-Atikom, Sujata Banerjee, Prashant Krishnamurthy |
A-DRAFT: an adaptive QoS mechanism to support absolute and relative throughput in 802.11 wireless LANs. |
MSWiM |
2004 |
DBLP DOI BibTeX RDF |
quality of service, wireless LANs, throughput |
28 | Mukund Sundararajan, Michael Brudno, Kerrin S. Small, Arend Sidow, Serafim Batzoglou |
Chaining Algorithms for Alignment of Draft Sequence. |
WABI |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Viveka Weiley |
Remixing realities: distributed studios for collaborative creativity. |
Creativity & Cognition |
2009 |
DBLP DOI BibTeX RDF |
geographically distributed collaboration, practice-based research, mixed reality, place, creativity support |
20 | Kamal Sarkar |
Improving Multi-document Text Summarization Performance using Local and Global Trimming. |
IHCI |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Shih Tsung Liang |
Machanisms for the maintenance of MP proxy tables in IEEE 802.11s mesh networks. |
ICUIMC |
2009 |
DBLP DOI BibTeX RDF |
associated station discovery, proxy registration procedure, IEEE 802.11s, wireless mesh networks |
20 | Guido R. Hiertz, Yunpeng Zang, Sebastian Max, Thomas Junge, Erik Weiss, Benedikt Wolz, Dee Denteneer, Lars Berlemann, Stefan Mangold |
IEEE 802.11s: WLAN mesh standardization and high performance extensions. |
IEEE Netw. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Jiang, Luca Delgrossi |
IEEE 802.11p: Towards an International Standard for Wireless Access in Vehicular Environments. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Md. Shariful Islam, Md. Abdul Hamid, Byung Goo Choi, Choong Seon Hong |
Securing Layer-2 Path Selection in Wireless Mesh Networks. |
WISA |
2008 |
DBLP DOI BibTeX RDF |
Merkle Tree-based Authentication, Layer-2 Routing, Security, Wireless Mesh Networks |
20 | Gennaro Boggia, Pietro Camarda, Luigi Alfredo Grieco, Saverio Mascolo |
Feedback-based control for providing real-time services with the 802.11e MAC. |
IEEE/ACM Trans. Netw. |
2007 |
DBLP DOI BibTeX RDF |
wireless networks, real-time applications, qos |
20 | Aaron Andersen, Cyndi Rowland |
Improving the outcomes of students with cognitive and learning disabilities: phase I development for a web accessibility tool. |
ASSETS |
2007 |
DBLP DOI BibTeX RDF |
assessment, web accessibility, cognitive disabilities, evaluation tool |
20 | Jérôme Rousselot, Amre El-Hoiydi, Jean-Dominique Decotignie |
Performance evaluation of the IEEE 802.15.4A UWB physical layer for Body Area Networks. |
ISCC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Basilios Gatos, Ioannis Pratikakis, Konstantinos Ntirogiannis |
Segmentation Based Recovery of Arbitrarily Warped Document Images. |
ICDAR |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Maria Rekouts, Maxim Grinev, Alexander Boldakov |
A Method for XQuery Transform Implementation Based on Shadow Mechanism. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
20 | José Villalón, Pedro Cuenca 0001, Luis Orozco-Barbosa |
On the Effectiveness of IEEE 802.11e QoS Support in Wireless LAN: A Performance Analysis. |
HPCC |
2005 |
DBLP DOI BibTeX RDF |
Multimedia Communications and Performance Evaluation, QoS, WLAN, IEEE 802.11, IEEE 802.11e, EDCA |
20 | Jingtao Zhou, Mingwei Wang 0001, Han Zhao 0003, Shusheng Zhang, Chao Zhang |
Concept Capture Based On Column Matching and Clustering. |
SKG |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Arnold K. L. Yau, Kenneth G. Paterson, Chris J. Mitchell |
Padding Oracle Attacks on CBC-Mode Encryption with Secret and Random IVs. |
FSE |
2005 |
DBLP DOI BibTeX RDF |
padding oracle, CBC-mode, side channel, ISO standards |
20 | C. Richard G. Helps, Barry M. Lunt, David K. Anthony |
ABET accreditation with IT criteria. |
SIGITE Conference |
2005 |
DBLP DOI BibTeX RDF |
evaluation, assessment, CAC, accreditation, continuous improvement, ABET |
20 | David Poulson, Colette Nicolle |
Making the Internet accessible for people with cognitive and communication Impairments. |
Univers. Access Inf. Soc. |
2004 |
DBLP DOI BibTeX RDF |
Communication and cognitive impairments, Internet, Guidelines, Symbols |
20 | Kenneth L. Alford, Curtis A. Carver, Daniel Ragsdale, Eugene K. Ressler, Charles W. Reynolds |
Specification and managed development of information technology curricula. |
SIGITE Conference |
2004 |
DBLP DOI BibTeX RDF |
ACM computing curricula 2004, curricular design, curricular evaluation, information technology curriculum, model curricula |
20 | J. Barrie Thompson, Helen M. Edwards |
Report on the 2nd international summit on software engineering education, co-located with ICSE2003. |
ACM SIGSOFT Softw. Eng. Notes |
2003 |
DBLP DOI BibTeX RDF |
education, software engineering curriculum |
20 | Axel van Lamsweerde |
From System Goals to Software Architecture. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Tomohiro Shigenobu, Takashi Yoshino 0001, Jun Munemori |
Idea Generation Support System GUNGEN DX II beyond Papers. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Claudia Kappen, J. Michael Salbaum |
Comparative Genome Annotation for Mapping, Prediction and Discovery of Genes. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Andrew Eisenberg, Jim Melton |
SQL/XML is Making Good Progress. |
SIGMOD Rec. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Roy E. Crosbie, John J. Zenor, Ralph C. Hilzer Jr. |
More on a model curriculum for modeling and simulation. |
WSC |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Eric Roberts, Gerald L. Engel, C. Fay Cover, Andrew D. McGettrick, Carl K. Chang, Ursula Wolz |
Computing curricula 2001 how will it work for you? |
SIGCSE |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Shinji Mizuno, Tsuyoshi Kasaura, Shinji Yamamoto, Minoru Okada, Jun-ichiro Toriwaki |
Automatic Generation of Woodblocks for Virtual Printing. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Doris K. Lidtke, Willis K. King, John T. Gorgone, Gayle J. Yaverbaum |
Proposed information systems accreditation criteria (panel session). |
SIGCSE |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Susan Reiblein, Andy Symons |
SPI: "I can't get no satisfaction" - directing process improvement to meet business needs. |
Softw. Qual. J. |
1997 |
DBLP DOI BibTeX RDF |
business process improvement (BPI), IT strategy determination, software quality, software process improvement (SPI), continuous process improvement |
20 | Karen Seidel 0002 |
Case Study: Specification and Refinement of the PI-Bus. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Rist, Antonio Krüger, Georg Schneider 0002, Detlev Zimmermann |
AWI: A Workbench for Semi-Automated Illustration Design. |
Advanced Visual Interfaces |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Luiz Ary Messina |
A Teachware Concept for Education in CAD. |
ICCAL |
1989 |
DBLP DOI BibTeX RDF |
|
20 | M. F. Dolan |
A minimal duplex connection capability in the top three layers of the OSI reference model. |
Comput. Commun. Rev. |
1984 |
DBLP DOI BibTeX RDF |
|
20 | Raphael A. Finkel |
Run-time Print Values. |
ACM SIGPLAN Notices |
1983 |
DBLP DOI BibTeX RDF |
|
20 | Arol Ambler, Robert Trawick |
Chatin's Graph Coloring Algorithm as a Method for Assigning Positions to Diana Attributes. |
ACM SIGPLAN Notices |
1983 |
DBLP DOI BibTeX RDF |
|
18 | Xiaoping Sun, Hai Zhuge |
Generating survey draft based on closeness of position distributions of key words. |
Expert Syst. Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Yuying Liao, Le Ma, Bin Zhou 0004, Xuechen Zhao, Feng Xie |
DraftFed: A Draft-Based Personalized Federated Learning Approach for Heterogeneous Convolutional Neural Networks. |
IEEE Trans. Mob. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Ryan Godwin, Ayesha S. Bryant, Brant M. Wagener, Timothy J. Ness, Jennifer J. DeBerry, LaShun L. Horn, Shanna H. Graves, Ashley C. Archer, Ryan L. Melvin |
IRB-draft-generator: A generative AI tool to streamline the creation of institutional review board applications. |
SoftwareX |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Leopoldo Palma, Leila Ortiz, José Niz, Marcelo Berretta, Diego Sauka |
Draft Genome Sequence of Bacillus thuringiensis INTA 103-23 Reveals Its Insecticidal Properties: Insights from the Genomic Sequence. |
Data |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Anton E. Shikov, Iuliia A. Savina, Maria N. Romanenko, Anton A. Nizhnikov, Kirill S. Antonets |
Draft Genome Sequencing of the Bacillus thuringiensis var. Thuringiensis Highly Insecticidal Strain 800/15. |
Data |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Olga A. Kulaeva, Evgeny A. Zorin, Anton S. Sulima, Gulnar A. Akhtemova, Vladimir A. Zhukov |
Draft Genome Sequence of the Commercial Strain Rhizobium ruizarguesonis bv. viciae RCAM1022. |
Data |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Raghavv Goel, Mukul Gagrani, Wonseok Jeon, Junyoung Park, Mingu Lee, Christopher Lott |
Direct Alignment of Draft Model for Speculative Decoding with Chat-Fine-Tuned LLMs. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Ziteng Sun, Jae Hun Ro, Ahmad Beirami, Ananda Theertha Suresh |
Optimal Block-Level Draft Verification for Accelerating Speculative Decoding. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Zachary Ankner, Rishab Parthasarathy, Aniruddha Nrusimha, Christopher Rinard, Jonathan Ragan-Kelley, William Brandon |
Hydra: Sequentially-Dependent Draft Heads for Medusa Decoding. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Ante Sikirica, Ivana Lucin, Marta Alvir, Lado Kranjcevic, Zoran Carija |
Computationally Efficient Optimisation of Elbow-Type Draft Tube Using Neural Network Surrogates. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Nikesh Nayak, Sarada Prasad Sarmah, Mamata Jenamani |
A shippers' perspective multimodal freight transportation analysis considering shallow-draft inland waterways. |
Comput. Ind. Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Jingqi Zhou, Ake Liu, Funan He, Yunbin Zhang, Libing Shen, Jun Yu 0004, Xiang Zhang |
Draft Genome of White-blotched River Stingray Provides Novel Clues for Niche Adaptation and Skeleton Formation. |
Genom. Proteom. Bioinform. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ahmad Arsalan, Muhammad Burhan, Rana Asif Rehman, Tariq Umer, Byung-Seo Kim |
E-DRAFT: An Efficient Data Retrieval and Forwarding Technique for Named Data Network Based Wireless Multimedia Sensor Networks. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ali Balma, Mehdi Mrad, Talel Ladhari |
Tight lower bounds for the Traveling Salesman Problem with draft limits. |
Comput. Oper. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Paolo Fadda, Simona Mancini, Patrizia Serra, Gianfranco Fancello |
The Heterogeneous Fleet Vehicle Routing Problem with Draft Limits. |
Comput. Oper. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Andrey P. Bogoyavlenskiy, Madina S. Alexyuk, Amankeldi K. Sadanov, Vladimir E. Berezin, Lyudmila P. Trenozhnikova, Gul B. Baymakhanova |
Draft Genome Sequence Data of Streptomyces anulatus, Strain K-31. |
Data |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Maria N. Romanenko, Maksim A. Nesterenko, Anton E. Shikov, Anton A. Nizhnikov, Kirill S. Antonets |
Draft Genome Sequence Data of Lysinibacillus sphaericus Strain 1795 with Insecticidal Properties. |
Data |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Mei-Jing Dong, Hao Luo 0002, Feng Gao 0001 |
DoriC 12.0: an updated database of replication origins in both complete and draft prokaryotic genomes. |
Nucleic Acids Res. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Zheng Zhang 0043, Jie Gao, Ranjodh Singh Dhaliwal, Toby Jia-Jun Li |
VISAR: A Human-AI Argumentative Writing Assistant with Visual Programming and Rapid Draft Prototyping. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jun Zhang, Jue Wang 0019, Huan Li 0003, Lidan Shou, Ke Chen 0005, Gang Chen 0001, Sharad Mehrotra |
Draft & Verify: Lossless Large Language Model Acceleration via Self-Speculative Decoding. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Keonwoo Kim, Younggun Lee |
DRAFT: Dense Retrieval Augmented Few-shot Topic classifier Framework. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Mirco A. Mannucci |
Model Theory of Ultrafinitism II: Deconstructing the Term Model (First Draft). |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jingxiang Qu, Ryan Wen Liu, Chenjie Zhao, Yu Guo 0008, Sendren Sheng-Dong Xu, Fenghua Zhu, Yisheng Lv |
Multi-Task Learning-Enabled Automatic Vessel Draft Reading for Intelligent Maritime Surveillance. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Weihao Li, Wei Zhan, Tao Han, Peiwen Wang, Hu Liu, Mengyuan Xiong, Shengbing Hong |
Research and Application of U2-NetP Network Incorporating Coordinate Attention for Ship Draft Reading in Complex Situations. |
J. Signal Process. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Saima Sultana Tithi, Frank O. Aylward, Roderick V. Jensen, Liqing Zhang 0002 |
FastViromeExplorer-Novel: Recovering Draft Genomes of Novel Viruses and Phages in Metagenomic Data. |
J. Comput. Biol. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Guido Moerkotte |
Building Query Compilers (Draft / Under Construction). |
|
2023 |
RDF |
|
18 | Noha Moselhy, Ahmed Adel Mahmoud, Ahmed Seddik |
Automotive SPICE Draft PAM V4.0 in Action: BETA Assessment. |
EuroSPI (2) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Danny Schott, Julia Moritz, Christian Hansen 0001, Fabian Joeres |
The UUXR-Framework: A Draft Classification for Using Extended Reality in Usability and User Experience Research. |
ISMAR-Adjunct |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jingyuan Zhu, Meng Han, Hongliang Zhang, Lan Qi, Lianyu Zhao, Chenglin Wang |
Design of Underwater Vehicle for Ship Draft Observation. |
ICMRE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ruhan He, Xuelian Yang, Jin Huang |
cGAN-Based Garment Line Draft Colorization Using a Garment-Line Dataset. |
CGI |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jan Philipp Gründling, Benjamin Weyers |
Early User Feedback on a VR Interface Draft for Interaction with a Multi-Robot System in Ship Hull Inspection. |
VRST |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Zheng Zhang 0043, Jie Gao, Ranjodh Singh Dhaliwal, Toby Jia-Jun Li |
VISAR: A Human-AI Argumentative Writing Assistant with Visual Programming and Rapid Draft Prototyping. |
UIST |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Andrea Forte |
Review of the last draft requirements of the Euro 7 emissions standard and their impact on light-duty car manufacturers. |
MetroAutomotive |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Keonwoo Kim, Younggun Lee |
DRAFT: Dense Retrieval Augmented Few-shot Topic classifier Framework. |
EMNLP (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu 0010, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu |
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. |
ICLR |
2023 |
DBLP BibTeX RDF |
|
18 | Yeon-Soo Kim, Sang-Dae Lee, Seung-Min Baek, Seung-Yun Baek, Hyeon-Ho Jeon, Jun-Ho Lee, Md. Abu Ayub Siddique, Yong-Joo Kim, Wan-Soo Kim, Taeyong Sim, Simin Yi, Young-Soo Choi |
Development of DEM-MBD coupling model for draft force prediction of agricultural tractor with plowing depth. |
Comput. Electron. Agric. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Vera Lúcia Raposo |
Ex machina: preliminary critical assessment of the European Draft Act on artificial intelligence. |
Int. J. Law Inf. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jie Zhu, Liu Tian, Peishan Chen, Mo Han, Liju Song, Xin Tong, Xiaohuan Sun, Fangming Yang, Zhipeng Lin, Xing Liu, Chuan Liu, Xiaohan Wang, Yuxiang Lin, Kaiye Cai, Yong Hou, Xun Xu, Huanming Yang, Jian Wang, Karsten Kristiansen, Liang Xiao, Tao Zhang, Huijue Jia, Zhuye Jie |
Over 50, 000 Metagenomically Assembled Draft Genomes for the Human Oral Microbiome Reveal New Taxa. |
Genom. Proteom. Bioinform. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Xiaoyu Liu, Jianxiong Wu, Yinghao Liao, Xiaotong Tu |
Column-Based Waterline Detection for Lightweight Ship Draft Reading. |
IEEE Trans. Instrum. Meas. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Huan Wang, Yaochun Hou, Guangfei Ma, Guangkuan Wu, Da Wang, Bin Huang, Peng Wu, Dazhuan Wu |
Identification on Vortex Rope in Francis Turbine Draft Tube Based on Convkurgram. |
IEEE Trans. Instrum. Meas. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Richard Estrada, Flor-Anita Corredor, Deyanira Figueroa, Wilian Salazar, Carlos Quilcate, Héctor V. Vásquez, Jorge Maicelo, Jhony Gonzales, Carlos I. Arbizu |
Reference-Guided Draft Genome Assembly, Annotation and SSR Mining Data of the Peruvian Creole Cattle (Bos taurus). |
Data |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Li Lim, Abdul Hafiz Ab Majid |
First Draft Genome Assembly of Tropical Bed Bug, Cimex hemipterus (F.). |
Data |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Gary Cheng 0001 |
Exploring the effects of automated tracking of student responses to teacher feedback in draft revision: evidence from an undergraduate EFL writing course. |
Interact. Learn. Environ. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Cédric Lood, Alejandro Correa Rojo, Deniz Sinar, Emma Verkinderen, Rob Lavigne, Vera van Noort |
SASpector: analysis of missing genomic regions in draft genomes of prokaryotes. |
Bioinform. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Schräder, Torben Stolte, Inga Jatzkowski, Robert Graubohm, Marcus Nolte, Markus Maurer |
Compensating for the Absence of a Required Accompanying Person: A Draft of a Functional System Architecture for an Automated Vehicle. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 763 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|