|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 131 occurrences of 125 keywords
|
|
|
Results
Found 1478 publication records. Showing 1473 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Xiaotong Zhuang, ChokSheak Lau, Santosh Pande |
Storage assignment optimizations through variable coalescence for embedded processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003, pp. 220-231, 2003, ACM, 1-58113-647-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
GOA, variable coalescence, SOA, storage assignment |
84 | Howard Goldstein, Gregory L. Heileman, Mark D. Heileman, Theo Nicolakis, Carlos E. Pizano, Bianca Prumo, Mitchell Webb |
Protecting digital archives at the Greek Orthodox Archdiocese of America. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Rights Management Workshop ![In: Proceedings of the 2003 ACM workshop on Digital rights management 2003, Washington, DC, USA, October 27, 2003, pp. 13-26, 2003, ACM, 1-58113-786-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
digital asset management, digital image archive, digital rights management, content protection |
84 | Amit Rao, Santosh Pande |
Storage Assignment Optimizations to Generate Compact and Efficient Code on Embedded DSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999, pp. 128-138, 1999, ACM, 1-58113-094-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
63 | Desiree Ottoni, Guilherme Ottoni, Guido Araujo, Rainer Leupers |
Offset assignment using simultaneous variable coalescing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 5(4), pp. 864-883, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Stack offset assignment, address registers, autoincrement addressing modes, variable coalescing, DSPs, register allocation |
63 | Qingsheng Hu, Zhigong Wang, Jun Zhang, Jie Xiao |
Low complexity parallel Chien search architecture for RS decoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 340-343, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Yi-Shuai Niu, Pham Dinh Tao |
A DC Programming Approach for Mixed-Integer Linear Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCO ![In: Modelling, Computation and Optimization in Information Systems and Management Sciences, Second International Conference, MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings, pp. 244-253, 2008, Springer, 978-3-540-87476-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
GOA-DCA, Branch-and-Bound, ILP, MILP, DCA, MIP, DC Programming |
51 | Nitin Saxena 0001, Sunil Simon (eds.) |
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
51 | Nathalie Bertrand 0001, Patricia Bouyer, Anirban Majumdar 0002 |
Synthesizing Safe Coalition Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 39:1-39:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Amir Shpilka |
On Some Recent Advances in Algebraic Complexity (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 6:1-6:1, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Nikhil S. Mande, Swagato Sanyal |
On Parity Decision Trees for Fourier-Sparse Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 29:1-29:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | A. R. Balasubramanian |
Parameterized Complexity of Safety of Threshold Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 37:1-37:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Sanjit A. Seshia |
Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 5:1-5:3, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Shaull Almagor |
Process Symmetry in Probabilistic Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 35:1-35:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Davide Bilò, Tobias Friedrich 0001, Pascal Lenzner, Anna Melnichenko, Louise Molitor |
Fair Tree Connection Games with Topology-Dependent Edge Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 15:1-15:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Yin Tat Lee |
Convex Optimization and Dynamic Data Structure (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 3:1-3:1, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Rishi Tulsyan, Rekha R. Pai, Deepak D'Souza |
Static Race Detection for RTOS Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 57:1-57:20, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Nils Morawietz, Niels Grüttemeier, Christian Komusiewicz, Frank Sommer |
Colored Cut Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 30:1-30:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood 0001 |
Hard QBFs for Merge Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 12:1-12:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Christel Baier, Florian Funke 0002, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland |
Reachability in Dynamical Systems with Rounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 36:1-36:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Udi Boker, Denis Kuperberg, Karoliina Lehtinen, Michal Skrzypczak |
On the Succinctness of Alternating Parity Good-For-Games Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 41:1-41:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Stefan Kiefer, Qiyi Tang 0001 |
Comparing Labelled Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 49:1-49:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 0:1-0:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Manfred Droste, Sven Dziadek, Werner Kuich |
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 44:1-44:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Pratibha Choudhary, Lawqueen Kanesh, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh 0001 |
Parameterized Complexity of Feedback Vertex Sets on Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 18:1-18:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Oscar Darwin, Stefan Kiefer |
Equivalence of Hidden Markov Models with Continuous Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 43:1-43:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Anupam Gupta 0001, Ravishankar Krishnaswamy, Amit Kumar 0001, Sahil Singla 0001 |
Online Carpooling Using Expander Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 23:1-23:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Dana Moshkovitz, Justin Oh, David Zuckerman |
Randomness Efficient Noise Stability and Generalized Small Bias Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 31:1-31:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Joël Ouaknine |
Holonomic Techniques, Periods, and Decision Problems (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 4:1-4:3, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | C. Aiswarya, Paul Gastin |
Weighted Tiling Systems for Graphs: Evaluation Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 34:1-34:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Karthik Gajulapalli, James A. Liu, Tung Mai, Vijay V. Vazirani |
Stability-Preserving, Time-Efficient Mechanisms for School Choice in Two Rounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 21:1-21:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Philip Bille, Inge Li Gørtz, Max Rishøj Pedersen, Eva Rotenberg, Teresa Anna Steiner |
String Indexing for Top-k Close Consecutive Occurrences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 14:1-14:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Orna Kupferman, Noam Shenwald |
Perspective Games with Notifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 51:1-51:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Anup Bhattacharya, Dishant Goyal, Ragesh Jaiswal, Amit Kumar 0001 |
On Sampling Based Algorithms for k-Means. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 13:1-13:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Nathalie Bertrand 0001, Nicolas Markey, Suman Sadhukhan, Ocan Sankur |
Dynamic Network Congestion Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 40:1-40:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Paul Gastin, Sayan Mukherjee 0002, B. Srivathsan |
Reachability for Updatable Timed Automata Made Faster and More Effective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 47:1-47:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Sven Schewe |
Minimising Good-For-Games Automata Is NP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 56:1-56:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Sanjeev Arora |
The Quest for Mathematical Understanding of Deep Learning (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 1:1-1:1, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Henning Fernau, Petra Wolf 0002 |
Synchronization of Deterministic Visibly Push-Down Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 45:1-45:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Dominique Perrin, Andrew Ryzhikov |
The Degree of a Finite Set of Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 54:1-54:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Édouard Bonnet, Nicolas Grelier, Tillmann Miltzow |
Maximum Clique in Disk-Like Intersection Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 17:1-17:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf 0002 |
Width Notions for Ordering-Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 9:1-9:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Joshua Cook |
Size Bounds on Low Depth Circuits for Promise Majority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 19:1-19:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Niranka Banerjee, Venkatesh Raman 0001, Saket Saurabh 0001 |
Optimal Output Sensitive Fault Tolerant Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 10:1-10:19, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Roland Meyer 0001, Sören van der Wall |
On the Complexity of Multi-Pushdown Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 52:1-52:35, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Michal Konecný, Florian Steinberg 0001, Holger Thies |
Computable Analysis for Verified Exact Real Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 50:1-50:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Isolde Adler, Polly Fahey |
Faster Property Testers in a Variation of the Bounded Degree Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 7:1-7:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Petra Wolf 0002 |
Synchronization Under Dynamic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 58:1-58:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Pavel Dvorák, Bruno Loff |
Lower Bounds for Semi-adaptive Data Structures via Corruption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 20:1-20:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Aaron Bernstein, Aditi Dudeja |
Online Matching with Recourse: Random Edge Arrivals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 11:1-11:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Pawel Parys |
Higher-Order Nonemptiness Step by Step. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 53:1-53:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König 0001 |
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 38:1-38:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Peter Chini, Prakash Saivasan |
A Framework for Consistency Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 42:1-42:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Emmanuel Filiot, Christof Löding, Sarah Winter |
Synthesis from Weighted Specifications with Partial Domains over Finite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 46:1-46:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Sushmita Gupta, Pallavi Jain 0001, Sanjukta Roy, Saket Saurabh 0001, Meirav Zehavi |
On the (Parameterized) Complexity of Almost Stable Marriage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 24:1-24:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Kishore Kothapalli, Shreyas Pai, Sriram V. Pemmaraju |
Sample-And-Gather: Fast Ruling Set Algorithms in the Low-Memory MPC Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 28:1-28:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Lidiya Khalidah binti Khalil, Christian Konrad 0001 |
Constructing Large Matchings via Query Access to a Maximal Matching Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 26:1-26:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Pankaj K. Agarwal, Hsien-Chih Chang, Kamesh Munagala, Erin Taylor 0002, Emo Welzl |
Clustering Under Perturbation Stability in Near-Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 8:1-8:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye |
Active Prediction for Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 48:1-48:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Albert Atserias |
Proofs of Soundness and Proof Search (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 2:1-2:1, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Alexander R. Block, Jeremiah Blocki, Elena Grigorescu, Shubhang Kulkarni, Minshen Zhu |
Locally Decodable/Correctable Codes for Insertions and Deletions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 16:1-16:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Yash Khanna, Anand Louis |
Planted Models for the Densest k-Subgraph Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 27:1-27:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Shreyas Pai, Sriram V. Pemmaraju |
Connectivity Lower Bounds in Broadcast Congested Clique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 32:1-32:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Prantar Ghosh |
New Verification Schemes for Frequency-Based Functions on Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 22:1-22:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Telikepalli Kavitha |
Min-Cost Popular Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 25:1-25:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | M. Praveen |
What You Must Remember When Transforming Datawords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 55:1-55:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Omer Wasim, Valerie King |
Fully Dynamic Sequential and Distributed Algorithms for MAX-CUT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 33:1-33:19, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
51 | Vivian Lee, Evelyn Camon, Emily Dimmer, Daniel Barrell, Rolf Apweiler |
GOA? - Use of Gene Ontology Annotation (GOA) for biological interpretation of '-omics' data and for validation of automatic annotation tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Silico Biol. ![In: Silico Biol. 5(1), pp. 5-8, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
46 | Luis M. Sarro |
ANN Based Tools in Astrophysics: Prospects and First Results for GOA and the AVO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part II, pp. 631-638, 2003, Springer, 3-540-40211-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Hassan A. Salamy, J. Ramanujam |
Storage optimization through code size reduction for digital signal processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESTIMedia ![In: Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24 October 2008, pp. 107-112, 2008, IEEE Computer Society, 978-1-4244-2612-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Johnny Huynh, José Nelson Amaral, Paul Berube, Sid Ahmed Ali Touati |
Evaluation of Offset Assignment Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPEAC ![In: High Performance Embedded Architectures and Compilers, Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007, Proceedings, pp. 261-275, 2007, Springer, 978-3-540-69337-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Hassan A. Salamy, J. Ramanujam |
An Effective Heuristic for Simple Offset Assignment with Variable Coalescing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers, pp. 158-172, 2006, Springer, 978-3-540-72520-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Seung-Bum Hong, Won Nah, Joong-Hwan Baek |
Automatic Classification and Clustering of Caenorhabditis Elegans Using a Computer Vision System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning, 4th International Conference, IDEAL 2003, Hong Kong, China, March 21-23, 2003, Revised Papers, pp. 751-755, 2003, Springer, 3-540-40550-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Clustering, Classification, Computer Vision, C. elegans |
38 | Tebeje Tesfaw Wondie, Teshome Goa Tella |
Voltage Stability Assessments and Their Improvement Using Optimal Placed Static Synchronous Compensator (STATCOM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electr. Comput. Eng. ![In: J. Electr. Comput. Eng. 2022, pp. 2071454:1-2071454:12, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
38 | Ingrid Framås Syversen, Menno P. Witter, Asgeir Kobro-Flatmoen, Pål Erik Goa, Tobias Navarro Schröder, Christian F. Doeller |
Structural connectivity-based segmentation of the human entorhinal cortex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 245, pp. 118723, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
38 | Yu-Shyan Lin, Wei-Hou Goa |
High-temperature stability of improved AlGaN/AlN/GaN HEMT with pre-gate metal treatment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 16(5), pp. 20181046, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
38 | Marius Widerøe, Øystein H. Olsen, Tina Bugge Pedersen, Pål Erik Goa, Annemieke Kavelaars, Cobi Heijnen, Jon Skranes, Ann-Mari Brubakk, Christian Brekken |
Manganese-enhanced magnetic resonance imaging of hypoxic-ischemic brain injury in the neonatal rat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 45(3), pp. 880-890, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Silje Alvestad, Pål Erik Goa, Hong Qu, Øystein Risa, Christian Brekken, Ursula Sonnewald, Olav Haraldseth, Janniche Hammer, Ole Petter Ottersen, Asta K. Håberg |
In vivo mapping of temporospatial changes in manganese enhancement in rat brain during epileptogenesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 38(1), pp. 57-66, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Chi-Yuan Chang, Wei-Ming Chen, Han-Chieh Chao, Tak-Goa Tsuei, Hong Bin Liu |
IP layer load balance using fuzzy logic under IPv6 anycast mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 15(5), pp. 311-319, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Tin Yu Wu, Han-Chieh Chao, Tak-Goa Tsuei, Yufeng Li |
A measurement study of network efficiency for TWAREN IPv6 backbone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 15(6), pp. 411-419, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Han-Chieh Chao, Tak-Goa Tsuei, Chih-Hung Ying |
IPv6-GSM: an IPv6-based solution for GSM number portability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 13(5), pp. 349-357, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
IP |
38 | Tak-Goa Tsuei, Chih-Yang Sung |
Ubiquitous Information Services with JAIN Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 8(6), pp. 655-662, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ubiquitous information services, JAIN platform, WAP networking, distributed service architecture, mobile IP, reusable components |
38 | Han-Chieh Chao, C. L. Hung, Tak-Goa Tsuei |
ECVBA traffic-smoothing scheme for VBR media streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 12(3), pp. 179-185, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Tak-Goa Tsuei, Jiann-Liang Chen, Han-Chieh Chao |
Neuron-based wavelength assignment for optical wavelength division multiplexing service systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 28(5), pp. 323-334, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Han-Chieh Chao, Chih-Hung Ying, Tak-Goa Tsuei |
IPv6-GSM: An IPv6-based Solution for GSM Number Portability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCIS ![In: Proceedings of the 6th Joint Conference on Information Science, March 8-13, 2002, Research Triangle Park, North Carolina, USA, pp. 1049-1051, 2002, JCIS / Association for Intelligent Machinery, Inc., 0-9707890-1-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
38 | Han-Chieh Chao, Yen-Ming Chu, Tak-Goa Tsuei |
Codec Schemes Selection for Wireless Voice over IP (VoIP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Pacific Rim Conference on Multimedia ![In: Advances in Multimedia Information Processing - PCM 2001, Second IEEE Pacific Rim Conference on Multimedia, Bejing, China, October 24-26, 2001, Proceedings, pp. 622-629, 2001, Springer, 3-540-42680-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Goa Ji |
Representing Inference Control by Hypothesis-Based Association. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(2), pp. 363-367, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
planning level, performing level, inference tactics, representation system hypothesis-based associative representation, HAR, functional architecture, hypothesis-based associative networks, block-world action planning, least commitment strategy, knowledge representation, knowledge-based systems, knowledge based systems, inference mechanisms, inference control, AI techniques, problem solving strategies |
25 | Danjie Zhu, Lei Wang, Hua Zhang, Simon X. Yang |
A GOA-Based Fault-Tolerant Trajectory Tracking Control for an Underwater Vehicle of Multi-Thruster System Without Actuator Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 21(1), pp. 771-782, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Anupam Chattopadhyay, Shivam Bhasin, Stjepan Picek, Chester Rebeiro (eds.) |
Progress in Cryptology - INDOCRYPT 2023 - 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT (1) ![Springer, 978-3-031-56231-0 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Anupam Chattopadhyay, Shivam Bhasin, Stjepan Picek, Chester Rebeiro (eds.) |
Progress in Cryptology - INDOCRYPT 2023 - 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT (2) ![Springer, 978-3-031-56234-1 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Sundar Singh Sheeba Jeya Sophia, S. Diwakaran |
Hybrid muddy electric fish and grasshopper optimization algorithm (MEF-GOA) based CNN for detection and severity differentiation of glaucoma in retinal fundus image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 44(2), pp. 2285-2303, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Tohid Yousefi, Özlem Aktas |
New hybrid segmentation algorithm: UNet-GOA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Comput. Sci. ![In: PeerJ Comput. Sci. 9, pp. e1499, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Mario Gleirscher, Anne E. Haxthausen, Jan Peleska 0001 |
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.14814, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Danjie Zhu, Lei Wang, Hua Zhang, Simon X. Yang |
A GOA-Based Fault-Tolerant Trajectory Tracking Control for an Underwater Vehicle of Multi-Thruster System without Actuator Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.01827, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Khadijeh Abolpour, Marzieh Shamsizadeh |
Equivalence between an L-valued GOA with ε-moves and its ε-reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 472, pp. 108700, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Mario Gleirscher, Anne E. Haxthausen, Jan Peleska 0001 |
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023, pp. 26-36, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | |
30th IEEE International Conference on High Performance Computing, Data and Analytics, HiPC 2023 - Workshop, Goa, India, December 18-21, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPCW ![IEEE, 979-8-3503-8378-2 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | |
30th IEEE International Conference on High Performance Computing, Data, and Analytics, HiPC 2023, Goa, India, December 18-21, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![IEEE, 979-8-3503-8322-5 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Ahmad Tavana, Sam Ziamanesh, Hadi S. Salimi, Amir Aminzadeh Ghavifekr, Paolo Visconti |
A GOA-Optimized Visible Light Communication System For Indoor High-Precision 3-D Positioning Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 9th International Conference on Control, Decision and Information Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023, pp. 2585-2590, 2023, IEEE, 979-8-3503-1140-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Prastavana, Babita Majhi |
Optimizing LightGBM for Intrusion Detection Systems using GOA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCNT ![In: 14th International Conference on Computing Communication and Networking Technologies, ICCCNT 2023, Delhi, India, July 6-8, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-3509-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Deepak B. Hegde, Preeti Malakar, Amey Karkare |
P2RUTOR: A Programming Tutor for Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPCW ![In: 30th IEEE International Conference on High Performance Computing, Data and Analytics, HiPC 2023 - Workshop, Goa, India, December 18-21, 2023, pp. 15-22, 2023, IEEE, 979-8-3503-8378-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1473 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|