The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase non-recursive (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1975-1987 (15) 1988-1995 (16) 1996-1999 (16) 2000-2001 (18) 2002-2003 (21) 2004-2005 (26) 2006-2007 (29) 2008 (22) 2009-2011 (17) 2012-2014 (15) 2015-2017 (19) 2018-2020 (20) 2021-2023 (15)
Publication types (Num. hits)
article(76) incollection(1) inproceedings(170) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 117 occurrences of 109 keywords

Results
Found 249 publication records. Showing 249 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
39Antonio Corral, Michael Vassilakopoulos, Yannis Manolopoulos The Impact of Buffering on Closest Pairs Queries Using R-Trees. Search on Bibsonomy ADBIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Fan Li, Yiming Yang Using recursive classification to discover predictive features. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF machine learning, feature selection, text categorization
31Angel Dominguez, Nghi Nguyen, Rajeev Barua Recursive function data allocation to scratch-pad memory. Search on Bibsonomy CASES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF profile dependance, embedded systems, compiler, memory allocation, recursive functions, scratch-pad memory
29Fuwan Ren, Qifan Yang, Jiexin Zheng, Hui Yan Non-recursive Algorithm of Tower of Hanoi Problem. Search on Bibsonomy CIT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF non-recursive, optimization, time complexity, recursive, Tower of Hanoi
29Bertis B. Little, Walter L. Johnston, Ashley C. Lovell, Roderick M. Rejesus, Steve A. Steed Collusion in the U.S. crop insurance program: applied data mining. Search on Bibsonomy KDD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF doublets, insurance fraud, non-recursive, triplets, collusion, log linear models
28Ben Appleton, Hugues Talbot Efficient and Consistent Recursive Filtering of Images with Reflective Extension. Search on Bibsonomy Scale-Space The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Konstantin Korovin, Andrei Voronkov Random Databases and Threshold for Monotone Non-recursive Datalog. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Greg Stitt, Jason R. Villarreal Recursion flattening. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimization, fpga, compilers, synthesis, recursion
27Bo Chen, Tok Wang Ling, M. Tamer Özsu, Zhenzhou Zhu On Label Stream Partition for Efficient Holistic Twig Join. Search on Bibsonomy DASFAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Mingzhu Wei, Ming Li 0008, Elke A. Rundensteiner, Murali Mani Processing Recursive XQuery over XML Streams: The Raindrop Approach. Search on Bibsonomy ICDE Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Ke Wang Some Positive Results for Boundedness of Multiple Recursive Rules. Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Latha S. Colby A Recursive Algebra and Query Optimization for Nested Relations. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
24Tomasz Truderung Selecting Theories and Recursive Protocols. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Henrik Boström Specialization of Recursive Predicates. Search on Bibsonomy ECML The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
24Yoav Zibin, Joseph Gil, Jeffrey Considine Efficient algorithms for isomorphisms of simple types. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature
23Rajasekar Krishnamurthy, Venkatesan T. Chakaravarthy, Raghav Kaushik, Jeffrey F. Naughton Recursive XML Schemas, Recursive XML Queries, and Relational Storage: XML-to-SQL Query Translation. Search on Bibsonomy ICDE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23J. Living, Bashir M. Al-Hashimi New differential coefficient coding algorithm for recursive FIR filters. Search on Bibsonomy ISCAS (3) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Viktor Kuncak, Martin C. Rinard Structural Subtyping of Non-Recursive Types is Decidable. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Mohammad El-Hajj, Osmar R. Zaïane Non-recursive Generation of Frequent K-itemsets from Frequent Pattern Tree Representations. Search on Bibsonomy DaWaK The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Stephen A. Edwards, Jia Zeng Static elaboration of recursion for concurrent software. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SHIM, static elaboration, concurrency, recursion, partial evaluation
20Andreas Malcher, Giovanni Pighizzini Descriptional Complexity of Bounded Context-Free Languages. Search on Bibsonomy Developments in Language Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF finite-turn pushdown automata, recursive trade-offs, bounded languages, descriptional complexity, automata and formal languages
19Woosuk Lee, Hangyeol Cho Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Hugh Lachlan Kennedy Recursive and non-recursive filters for sequential smoothing and prediction with instantaneous phase and frequency estimation applications (extended version). Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Xinlian Yu, Tien Mai, Jing Ding-Mastera, Song Gao, Emma Frejinger Modeling Route Choice with Real-Time Information: Comparing the Recursive and Non-Recursive Models. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
19Yuta Ishida, Yusuke Kameda, Tomokazu Ishikawa, Ichiro Matsuda, Susumu Itoh Block-Adaptive Selection of Recursive and Non-Recursive Type Intra Prediction Modes for Image Coding. Search on Bibsonomy IEICE Trans. Fundam. Electron. Commun. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Moriah Echlin, Boris Aguilar, Max Notarangelo, David L. Gibbs, Ilya Shmulevich Flexibility of Boolean Network Reservoir Computers in Approximating Arbitrary Recursive and Non-Recursive Binary Filters. Search on Bibsonomy Entropy The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Mehmet Burak Aykenar Analysis of FPGA based recursive and non-recursive digital filters according to hardware cost and performance. Search on Bibsonomy SIU The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Gabi Daniela Garaiman, Dumitru Dan Garaiman A comparative study between recursive and non-recursive algoritms content search in a dual multimedia databases with images. Search on Bibsonomy FedCSIS The full citation details ... 2012 DBLP  BibTeX  RDF
19Alberto Moraglio, Fernando E. B. Otero, Colin G. Johnson, Simon J. Thompson, Alex Alves Freitas Evolving recursive programs using non-recursive scaffolding. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Kensaku Fujii, Kenji Kashihara, Mitsuji Muneyasu, Masakazu Morimoto Application of Cascade Connection of Recursive and Non-recursive Filters to Active Noise Control System Using Simultaneous Equations Method. Search on Bibsonomy IEICE Trans. Fundam. Electron. Commun. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Vinay Kumar Polynomial based Recursive and non Recursive filter Design. Search on Bibsonomy 2009   RDF
19Andreas Malcher On Recursive and Non-recursive Trade-Offs between Finite-Turn Pushdown Automata. Search on Bibsonomy J. Autom. Lang. Comb. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Andreas Malcher On Recursive and Non-Recursive Trade-Offs Between Finite-Turn Pushdown Automata. Search on Bibsonomy DCFS The full citation details ... 2005 DBLP  BibTeX  RDF
19Petr Somol, Pavel Pudil, Jirí Grim Branch & Bound Algorithm with Partial Prediction for Use with Recursive and Non-recursive Criterion Forms. Search on Bibsonomy ICAPR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF subset search, recursive criteria, feature selection, search tree, subset selection, optimal search
19Jeffrey S. Rohl Converting a Class of Recursive Procedures into Non-recursive Ones. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
18Tufik Buzid, Steffen Reinhardt, Mario Huemer, I. Martoyo Non-recursive CPM signal generation and reception with application to SC/FDE combined with MIMO. Search on Bibsonomy VTC Spring The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Hendrik Blockeel, Wannes Meert Towards Learning Non-recursive LPADs by Transforming Them into Bayesian Networks. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Christian Schindelhauer, Andreas Jakoby The Non-Recursive Power of Erroneous Computation. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Himanshu Gupta 0001, Xianjin Zhu, Xiang Xu Deductive Framework for Programming Sensor Networks. Search on Bibsonomy ICDE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Gilles Barthe, Benjamin Grégoire, Colin Riba Type-Based Termination with Sized Products. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Dana Shapira, James A. Storer Edit Distance with Move Operations. Search on Bibsonomy CPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Henrik Boström Induction of Recursive Transfer Rules. Search on Bibsonomy Learning Language in Logic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Aijun An, Nick Cercone Discretization of Continuous Attributes for Learning Classification Rules. Search on Bibsonomy PAKDD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Catriel Beeri, Tova Milo On the Power of Algebras with Recursion. Search on Bibsonomy SIGMOD Conference The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
15Chuanlin Zhang, Jun Yang 0011, Changyun Wen Global stabilisation for a class of uncertain non-linear systems: a novel non-recursive design framework. Search on Bibsonomy J. Control. Decis. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
15Takuro Abe, Michael Cuntz, Hiraku Kawanoue, Takeshi Nozawa Non-recursive freeness and non-rigidity. Search on Bibsonomy Discret. Math. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Daniel Ménard, Romuald Rocher, Pascal Scalart, Olivier Sentieys Automatic SQNR determination in non-linear and non-recursive fixed-point systems. Search on Bibsonomy EUSIPCO The full citation details ... 2004 DBLP  BibTeX  RDF
14Salvatore La Torre, P. Madhusudan, Gennaro Parlato Context-Bounded Analysis of Concurrent Queue Systems. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Michael Hosemann, Gerhard P. Fettweis On Enhancing SIMD-controlled DSPs for Performing Recursive Filtering. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Stephan Kreutzer Operational Semantics for Fixed-Point Logics on Constraint Databases. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Graeme Smith Recursive Schema Definitions in Object-Z. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
14Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan 0001 Magic Conditions. Search on Bibsonomy PODS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Datalog
14Dietmar Seipel A Graph-Based Decomposition Approach for Recursive Query Processing. Search on Bibsonomy WG The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
12Ulrich Herrmann, Peter Dadam, Klaus Küspert, E. A. Roman, Gunter Schlageter A Lock Technique for Disjoint and Non-Disjoint Complex Objects. Search on Bibsonomy EDBT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
11Lina Rong, Yuhan Kan, Xiangpeng Xie, Guo-Ping Jiang, Shengyuan Xu Edge-Preserving Consensus via Non-Recursive Filters: A Parallel System Design. Search on Bibsonomy IEEE Trans. Circuits Syst. II Express Briefs The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
11Milliam Maxime Zekeng Ndadji, Daniela Marionne Nguedia Momo, Franck Bruno Tonle Noumbo, Maurice Tchoupé Tchendji Non-Recursive LSAWfP Models are Structured Workflows. Search on Bibsonomy ARIMA J. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
11Yuanchen Bei, Hao Chen 0062, Shengyuan Chen, Xiao Huang 0001, Sheng Zhou 0004, Feiran Huang Non-Recursive Cluster-Scale Graph Interacted Model for Click-Through Rate Prediction. Search on Bibsonomy CIKM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
11Qiaoyu Tan, Xin Zhang, Jiahe Du, Xiao Huang Graph Neural Networks with Non-Recursive Message Passing. Search on Bibsonomy ICDM (Workshops) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
11Ángel Iglesias Préstamo, José Emilio Labra Gayo Using Pregel to Create Knowledge Graphs Subsets Described by Non-recursive Shape Expressions. Search on Bibsonomy KGSWC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
11Chuanlin Zhang, Jun Yang 0011 Nonsmooth Adaptive Control for Uncertain Nonlinear Systems: A Non-recursive Design Approach. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
11Kennedy Chinedu Okafor, Omowunmi Mary Longe Integrating Resilient Tier N+1 Networks with Distributed Non-Recursive Cloud Model for Cyber-Physical Applications. Search on Bibsonomy KSII Trans. Internet Inf. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
11Norah M. Asiri, Rasha Alsulim Non-recursive Approach for Sort-Merge Join Operation. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
11Maciej Walczynski Multi-pass, Non-recursive Acoustic Echo Cancellation Sequential and Parallel Algorithms. Search on Bibsonomy ACIIDS (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
11Hui Gao 0003, Yaoze Zhao Non-Recursive Control Design for Nonlinear System With Backlash-Like Hysteresis and Disturbance. Search on Bibsonomy IEEE Access The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
11Hao Chen 0062, Zengde Deng, Yue Xu, Zhoujun Li 0001 Non-Recursive Graph Convolutional Networks. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
11Haruhiko Ogasawara A non-recursive formula for various moments of the multivariate normal distribution with sectional truncation. Search on Bibsonomy J. Multivar. Anal. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
11Hao Chen 0062, Zengde Deng, Yue Xu, Zhoujun Li 0001 Non-Recursive Graph Convolutional Networks. Search on Bibsonomy ICASSP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
11Xiucai Huang, Yongduan Song, Changyun Wen Output feedback control for constrained pure-feedback systems: A non-recursive and transformational observer based approach. Search on Bibsonomy Autom. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
11Yasser Naguib Ahmed Non-Recursive Channel Prediction for TDD Massive MIMO Systems. Search on Bibsonomy VTC Spring The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
11Mengmeng Liu, Zhongyang Yu, Qingya Lu, Baoming Bai, Min Zhu 0003 LDPC Coded Non-Recursive GMSK System with Quasi-Coherent Demodulation. Search on Bibsonomy VTC Spring The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
11Zhengkang Zuo, Yue Fang, Qing Huang, Yunyan Liao, Yuan Wang, Changjing Wang Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems. Search on Bibsonomy QRS Companion The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
11Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu A Counterexample-Guided Debugger for Non-recursive Datalog. Search on Bibsonomy APLAS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
11Hai Zhu 0001, Hengzhou Xu, Bo Zhang 0053, Mengmeng Xu, Sifeng Zhu Design of Efficient LDPC Coded Non-Recursive CPE-Based GMSK System for Space Communications. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
11Danilo Pelusi On Redundancy Reduction of Non-Recursive Second-Order Spectral-Null Codes. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
11Shailendra Kumar Tripathi, Bhupendra Gupta, K. K. Soundra Pandian Hybrid image sharing scheme using non-recursive hash key based stream cipher. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
11Jingjing Gao, Lei Wang 0072, Rui Gao, Jiangshuai Huang Adaptive control of uncertain underactuated cranes with a non-recursive control scheme. Search on Bibsonomy J. Frankl. Inst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
11Josip Dvornik, Damir Lazarevic, Antonia Jaguljnjak Lazarevic, Marija Demsic Non-recursive equivalent of the conjugate gradient method without the need to restart. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
11Yin Li 0001, Yu Zhang 0031, Xingpo Ma, Chuanda Qi On the Complexity of non-recursive n-term Karatsuba Multiplier for Trinomials. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2019 DBLP  BibTeX  RDF
11Jinfei Wang, Yi Ma 0002, Songyan Xue, Na Yi, Rahim Tafazolli, Terence E. Dodgson Parallel Decoding for Non-recursive Convolutional Codes and Its Enhancement Through Artificial Neural Networks. Search on Bibsonomy SPAWC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
11Markus Holzer 0001, Martin Kutrib Non-Recursive Trade-Offs Are "Almost Everywhere". Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
11Feng Yang, Changzhu Wei, Rong Wu, Naigang Cui Non-Recursive Fixed-Time Convergence Observer and Extended State Observer. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
11Chuanlin Zhang, Changyun Wen A non-recursive C1 adaptive stabilization methodology for nonlinearly parameterized uncertain nonlinear systems. Search on Bibsonomy J. Frankl. Inst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
11Aya Kubota, Chinatsu Mori, Seiichi Gohshi Subjective Assessment of Video Noise Reduction with Non-recursive Temporal Filter. Search on Bibsonomy SSIP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
11Christian Strobl, Maximilian Schäfer, Rudolf Rabenstein Non-Recursive System Identification and Fault Detection in LVDC and ELVDC Grids. Search on Bibsonomy ISCAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
11Yin Li 0001, Xingpo Ma, Yu Zhang 0031, Chuanda Qi Mastrovito Form of Non-Recursive Karatsuba Multiplier for All Trinomials. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
11Jonas Westman, Mattias Nyberg, Joakim Gustavsson, Dilian Gurov Formal architecture modeling of sequential non-recursive C programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
11Muhammed Taha Köroglu, Alper Yilmaz Pedestrian inertial navigation with building floor plans for indoor environments via non-recursive Bayesian filtering. Search on Bibsonomy IEEE SENSORS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
11Michael E. Kounavis, Sergej Deutsch, David Durham, Saeedeh Komijani Non-recursive computation of the probability of more than two people having the same birthday. Search on Bibsonomy ISCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
11Daniel Prusa Non-recursive trade-offs between two-dimensional automata and grammars. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Luca G. Tallini, Danilo Pelusi, Raffaele Mascella, Laura Pezza, Samir Elmougy, Bella Bose Efficient Non-Recursive Design of Second-Order Spectral-Null Codes. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Madjid Tavana, Francisco J. Santos-Arteaga, Debora Di Caprio, Kevin Tierney Modeling signal-based decisions in online search environments: A non-recursive forward-looking approach. Search on Bibsonomy Inf. Manag. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Zhen You, Jinyun Xue, Zhengkang Zuo Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms. Search on Bibsonomy Clust. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Georgia Psychou, Tobias Gemmeke, Tobias G. Noll A framework for analyzing the propagation of hardware-induced errors in non-recursive LTI blocks with finite wordlength effects. Search on Bibsonomy PATMOS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Nicolai Kraus Constructions with Non-Recursive Higher Inductive Types. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Norah M. Asiri, Rasha Alsulim Non-recursive Approach for Sort-Merge Join Operation. Search on Bibsonomy BDAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Michael V. Basin, Polk Yu, Yuri B. Shtessel Finite and fixed setting time differentiators utilizing non-recursive higher order sliding mode control observer. Search on Bibsonomy VSS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Huazhen Xu, Zhen You, Jinyun Xue Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. Search on Bibsonomy SNPD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Floris van Doorn Constructing the propositional truncation using non-recursive HITs. Search on Bibsonomy CPP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow Non-recursive make considered harmful: build systems at scale. Search on Bibsonomy Haskell The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Mei-Qin Pan, Kai-Xiang Pan A Non-recursive Agorithm Based on Binary for Hanoi Problem. Search on Bibsonomy FSDM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 249 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license