Found 54 Documents (Results 1–54)
Logical labeling schemes. (English) Zbl 1518.05162
Implicit encoding and simplification/reduction of nGmaps. (English) Zbl 1522.68686
Baudrier, Étienne (ed.) et al., Discrete geometry and mathematical morphology. Second international joint conference, DGMM 2022, Strasbourg, France, October 24–27, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13493, 110-122 (2022).
Frameworks for designing in-place graph algorithms. (English) Zbl 1485.68303
Reviewer: Ali Shakiba (Rafsanǧān)
Implicit computation of maximum bipartite matchings by sublinear functional operations. (English) Zbl 1303.68065
Dynamic matchings in left weighted convex bipartite graphs. (English) Zbl 1407.68378
Chen, Jianer (ed.) et al., Frontiers in algorithmics. 8th international workshop, FAW 2014, Zhangjiajie, China, June 28–30, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8497, 330-342 (2014).
Cache-oblivious implicit predecessor dictionaries with the working-set property. (English) Zbl 1245.68070
Dürr, Christoph (ed.) et al., STACS 2012. 29th international symposium on theoretical aspects of computer science, Paris, France, February 29th – March 3rd, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-35-4). LIPIcs – Leibniz International Proceedings in Informatics 14, 112-123, electronic only (2012).
Implicit curves and surfaces: mathematics, data structures, and algorithms. (English) Zbl 1190.68071
London: Springer (ISBN 978-1-84882-405-8/hbk; 978-1-84882-406-5/ebook). xiv, 351 p. (2009).
Reviewer: Mirel Cosulschi (Craiova)
No sorting? Better searching! (English) Zbl 1446.68049
VQT: value cardinality and query pattern based R-schema to XML schema translation with implicit referential integrity. (English) Zbl 1186.68163
Stationary energy models for semiconductor devices with incompletely ionized impurities. (English) Zbl 1138.82367
Edge-based adaptive implicit/explicit finite element procedures for three-dimensional transport problems. (English) Zbl 1081.65095
Implicit \(B\)-trees: A new data structure for the dictionary problem. (English) Zbl 1074.68014
MSC:
68P05
Efficient graph representations. (English) Zbl 1033.05001
Fields Institute Monographs 19. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-2889-4/hbk). viii, 342 p. (2003).
Reviewer: Haiko Müller (Leeds)
Towards a theory of recursive structures. (English) Zbl 0972.03037
Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 36-53 (1998).
The complexity of the falsifiability problem for pure implicational formulas. (English) Zbl 1193.68132
Wiedermann, Jiří (ed.) et al., Mathematical foundations of computer science 1995. 20th international symposium, MFCS ’95, Prague, Czech Republic, August 28-September 1, 1995. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-60246-1). Lect. Notes Comput. Sci. 969, 221-226 (1995).
A new representation of binary search trees. (English) Zbl 0783.68034
MSC:
68P05
The analysis of heapsort. (English) Zbl 0789.68072
Reviewer: E.E.Doberkat (Essen)
An efficient implicit data structure for relation testing and searching in partially ordered sets. (English) Zbl 0771.68063
An optimal algorithm for selection in a min-heap. (English) Zbl 0818.68065
Reviewer: E.E.Doberkat (Dortmund)
An implicit data structure for searching a multikey table in logarithmic time. (English) Zbl 0764.68019
Tree compression and optimization with applications. (Dedicated to the memory of Markku Tamminen (1945-1989)). (English) Zbl 0723.68033
MSC:
68P05
Dynamic partial orders and generalized heaps. (English) Zbl 0699.68030
Computational graph theory, Comput. Suppl. 7, 125-139 (1990).
A new search time update time tradeoff for the implicit dictionary. (English) Zbl 0766.68016
Algorithms and data structures, Proc. workshop WADS ’89, Ottawa/Canada 1989, Lect. Notes Comput. Sci. 382, 541-551 (1989).
MSC:
68P05
Implicit data structures for linear hashing schemes. (English) Zbl 0666.68017
Reviewer: J.Pokorný
Implicit selection. (English) Zbl 0651.68075
Algorithm theory, Proc. 1st Scand. Workshop, Halmstad/Sweden 1988, Lect. Notes Comput. Sci. 318, 14-23 (1988).
Succinct data representations and the complexity of computations. (English) Zbl 0601.03017
Theory of algorithms, Colloq. Pécs/Hung. 1984, Colloq. Math. Soc. János Bolyai 44, 271-282 (1986).
On asymptotic probabilities of inductive queries and their decision problem. (English) Zbl 0608.68078
Logics of programs, Proc. Conf., Brooklyn/N.Y. 1985, Lect. Notes Comput. Sci. 193, 153-166 (1985).
Searching semisorted tables. (English) Zbl 0578.68049
Fundamentals of the average case analysis of particular algorithms. (English) Zbl 0638.68026
Wiley-Teubner Series in Computer Science. Chichester etc.: John Wiley & Sons; Stuttgart: B. G. Teubner, VIII, 233 p. (1984).
Reviewer: G.Wechsung
Toward logic tailored for computational complexity. (English) Zbl 0622.03030
Computation and proof theory, Proc. Logic Colloq., Aachen 1983, Part II, Lect. Notes Math. 1104, 175-216 (1984).
Reviewer: Phan Dinh Dieu
Recursive definition and complexity of functions over arbitrary data structures. (English) Zbl 0555.68019
Frege conference, Proc. Int. Conf., Schwerin/Ger. 1984, Math. Res. 20, 303-308 (1984).
Reviewer: S.P.Yukna
Algorithm for the solution of multidimensional parabolic equations on a multiprocessor computing system of matrix type. (Russian) Zbl 0596.65071
Numerical systems and algorithms, Interuniv. Collect. Artic., Rostov 1983, 8-17 (1983).
Reviewer: K.Moszyński
Implicit structuring of data. (English) Zbl 0542.68047
Numerical mathematics and computing, Proc. 12th Manitoba Conf., Winnipeg/Manit. 1982, Congr. Numerantium 37, 73-83 (1983).
Searchability in merging and implicit data structures. (English) Zbl 0522.68029
Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 527-535 (1983).
Algebraic domain equations. (English) Zbl 0519.68024
MSC:
68P05
Dilworth’s theorem and lower complexity bounds in implicit data structures. (English) Zbl 0461.68022
Data presentation and computational complexity. (English) Zbl 0426.03040
Proc. Conf. theoretical computer science, Waterloo/Ontario 1977, 111-119 (1977).
Filter Results by …
Document Type
- Journal Articles (35)
- Collection Articles (16)
- Books (3)
all
top 5
Author
- Munro, J. Ian (7)
- Bollig, Beate (3)
- Alt, Helmut (2)
- Bury, Marc (2)
- Franceschini, Gianni (2)
- Frederickson, Greg N. (2)
- Grossi, Roberto (2)
- Gurevich, Yuri (2)
- He, Meng (2)
- Mehlhorn, Kurt (2)
- Noltemeier, Hartmut (2)
- Poblete, Patricio V. (2)
- Pröger, Tobias (2)
- Talamo, Maurizio (2)
- Verbeek, Rutger (2)
- Weihrauch, Klaus (2)
- Arroyuelo, Diego (1)
- Babenko, L. K. (1)
- Baik, Doo-Kwon (1)
- Blass, Andreas Raphael (1)
- Bogner, Florian (1)
- Bose, Prosenjit K. (1)
- Buchi, J. Richard (1)
- Chakraborty, Sankardeep (1)
- Chandoo, Maurice (1)
- Chen, Eric Y. (1)
- Claude, Francisco (1)
- Coutinho, Alvaro L. G. A. (1)
- Derome, Philippe (1)
- Dorrigiv, Reza (1)
- Durocher, Stephane (1)
- Ehrich, Hans-Dieter (1)
- Fiat, Amos (1)
- Galbraith, Callum (1)
- Gambosi, Giorgio (1)
- Giancarlo, Raffaele (1)
- Gille, Marc (1)
- Glitzky, Annegret (1)
- Glončák, Vladan (1)
- Gomes, Abel J. P. (1)
- Guaiana, Daniela (1)
- Harel, David (1)
- Heusch, Peter (1)
- Hladůvka, Jiří (1)
- Horwitz, Susan (1)
- Hünlich, Rolf (1)
- Jeong, Dongwon (1)
- Jorge, Joaquim A. (1)
- Katajainen, Jyrki (1)
- Kejlberg-Rasmussen, Casper (1)
- Kemp, Rainer (1)
- Kim, Jinhyung (1)
- Kolaitis, Phokion G. (1)
- Kozen, Dexter C. (1)
- Kropatsch, Walter G. (1)
- Lai, Tony W. (1)
- Lipeck, Udo Walter (1)
- López-Ortiz, Alejandro (1)
- Maheshwari, Anil (1)
- Mahr, Bernd (1)
- Mäkinen, Erkki (1)
- Martins, Marcos A. D. (1)
- Morin, Pat (1)
- Mukherjee, Anish (1)
- Munkstrup, Jarl Emil Erla (1)
- Naor, Moni (1)
- Nicholson, Patrick K. (1)
- Nikolaev, I. A. (1)
- Ouksel, Mohamed (1)
- Pagli, Linda (1)
- Protasi, Marco (1)
- Puder, Arno (1)
- Raman, Venkatesh (1)
- Salinger, Alejandro (1)
- Satti, Srinivasa Rao (1)
- Schäffer, Alejandro A. (1)
- Schaffer, Russel (1)
- Scheuermann, Peter (1)
- Schmidt, Jeanette P. (1)
- Sedgewick, Robert (1)
- Siefkes, Dirk (1)
- Siegel, Alan R. (1)
- Simonsen, Jakob Grue (1)
- Skala, Matthew (1)
- Souza, D. A. F. (1)
- Spinrad, Jeremy P. (1)
- Stolboushkin, Alexei P. (1)
- Stølting Brodal, Gerth (1)
- Sukhinov, Aleksandr Ivanovich (1)
- Suwanda, Hendra (1)
- Vocca, Paola (1)
- Voiculescu, Irina (1)
- Wood, Derick (1)
- Wyvill, Brian (1)
- Yu, Bin (1)
- Yukna, Stasys P. (1)
- Zamulin, Aleksandr Vasil’evich (1)
- Zhang, Miaomiao (1)
- Zheng, Si-Qing (1)
- Zu, Quan (1)
all
top 5
Serial
- Theor. Comput. Sci. (8)
- J. Comput. Syst. Sci. (4)
- Inf. Process. Lett. (2)
- Inf. Comput. (2)
- Int. J. Found. Comput. Sci. (2)
- ACM Trans. Algorithms (2)
- Discrete Appl. Math. (1)
- Discrete Math. (1)
- BIT (1)
- Inf. Control (1)
- Inf. Sci. (1)
- SIAM J. Comput. (1)
- J. Algorithms (1)
- Sci. Comput. Program. (1)
- J. Complexity (1)
- Commun. Numer. Methods Eng. (1)
- Theory Comput. Syst. (1)
- ZAMM, Z. Angew. Math. Mech. (1)
- Jt. Bull. NCC IIS, Ser. Comput. Sci. (1)
- J. Zhejiang Univ., Sci. A (1)
- Fields Inst. Monogr. (1)
- Methods Oper. Res. (1)
Biographic Reference
- Tamminen, Markku (1)