|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 62 occurrences of 61 keywords
|
|
|
Results
Found 360 publication records. Showing 360 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
135 | Rudolf Fleischer |
Die Another Day. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(2), pp. 205-214, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hydra battle, Buchholz Hydra, Peano arithmetic, PA, Koenig’s lemma, Transfinite induction |
99 | Lihao Xu |
Hydra: a platform for survivable and secure data storage systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
StorageSS ![In: Proceedings of the 2005 ACM Workshop On Storage Security And Survivability, StorageSS 2005, Fairfax, VA, USA, November 11, 2005, pp. 108-114, 2005, ACM, 1-59593-233-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
MDS array codes, distributed storage, secure storage, survivable storage |
83 | Ketan Mandke, Soon-Hyeok Choi, Gibeom Kim, Robert Grant, Robert C. Daniels, Wonsoo Kim, Robert W. Heath Jr., Scott Nettles |
Early Results on Hydra: A Flexible MAC/PHY Multihop Testbed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 65th IEEE Vehicular Technology Conference, VTC Spring 2007, 22-25 April 2007, Dublin, Ireland, pp. 1896-1900, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
83 | Luther Chan, James Yong, Jiaqiang Bai, Ben Leong, Raymond Tan |
Hydra: a massively-multiplayer peer-to-peer architecture for the game developer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 6th Workshop on Network and System Support for Games, NETGAMES 2007, Melbourne, Australia, September 19-20, 2007, pp. 37-42, 2007, ACM, 978-0-9804460-0-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
80 | Rudolf Fleischer |
Die Another Day. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUN ![In: Fun with Algorithms, 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings, pp. 146-155, 2007, Springer, 978-3-540-72913-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
79 | Russell Bent, Tatiana Djidjeva, Birch Hayes, Joe Holland, Hari Khalsa, Steve Linger, Mark Mathis, Sue Mniszewski, Brian Bush |
Hydra: a service oriented architecture for scientific simulation integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hydra, service oriented architecture, interoperability, infrastructure |
79 | Malin Aktius, Mats G. Nordahl, Tom Ziemke |
A Behavior-Based Model of the Hydra, Phylum Cnidaria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings, pp. 1024-1033, 2007, Springer, 978-3-540-74912-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
behavior-based modeling, hydra, colony-style architecture, data-driven modeling |
67 | Ariya Isihara |
Hydra Games and Tree Ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, pp. 238-247, 2007, Springer, 978-3-540-73443-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Luigia Cristino, Vittorio Guglielmotti, Carlo Musio, Silvia Santillo |
Diffuse Nerve Net of Hydra Revealed by NADPH-Diaphorase Histochemical Labeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BVAI ![In: Advances in Brain, Vision, and Artificial Intelligence, Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings, pp. 11-20, 2007, Springer, 978-3-540-75554-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Franklin E. Powers Jr., Gita Alaghband |
Introducing the hydra parallel programming system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 116, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
67 | Silvia Santillo, Pierangelo Orlando, Luciano Petrocellis, Luigia Cristino, Vittorio Guglielmotti, Carlo Musio |
Molecular and Functional Diversity of Visual Pigments: Clues from the Photosensitive Opsin-Like Proteins of the Animal Model Hydra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BVAI ![In: Brain, Vision, and Artificial Intelligence, First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings, pp. 225-234, 2005, Springer, 3-540-29282-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
67 | Karthik Ramachandra 0001, Hesham H. Ali |
HYDRA: A New Approach for Integrating Various Wireless Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 27-30 June 2005, Murcia, Cartagena, Spain, pp. 961-968, 2005, IEEE Computer Society, 0-7695-2373-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
67 | Roger Zimmermann, Moses Pawar, Dwipal A. Desai, Min Qin, Hong Zhu |
High resolution live streaming with the HYDRA architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 2(4), pp. 16, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
high-definition media, remote performance, human-computer interaction, streaming, latency |
67 | John O'Donnell 0001 |
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
67 | Ismail Haritaoglu, David Harwood, Larry S. Davis |
Hydra: Multiple People Detection and Tracking Using Silhouettes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP ![In: 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 27-29 September 1999, Venice, Italy, pp. 280-285, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
67 | Masahiro Hamano, Mitsuhiro Okada |
A direct independence proof of Buchholz's Hydra Game on finite labeled trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 37(2), pp. 67-89, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification: 03F03, 03F35, 03F05 |
64 | Michael T. Goodrich, Michael J. Nelson 0002, Jonathan Z. Sun |
The rainbow skip graph: a fault-tolerant constant-degree distributed data structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2006, Miami, Florida, USA, January 22-26, 2006, pp. 384-393, 2006, ACM Press, 0-89871-605-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Ben Jones, Yaochu Jin, Xin Yao 0001, Bernhard Sendhoff |
Evolution of Neural Organization in a Hydra-Like Animat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Advances in Neuro-Information Processing, 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I, pp. 216-223, 2008, Springer, 978-3-642-02489-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Neural organization, hydra, animat |
54 | Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Marco Maratea, Giorgio Terracina, Mauro Vallati (eds.) |
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HYDRA/RCRA@LPNMR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
54 | Wolfgang Faber 0001, Michael Morak |
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HYDRA/RCRA@LPNMR ![In: Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022., pp. 78-89, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
54 | Abeer Dyoub, Stefania Costantini, Ivan Letteri |
Care Robots Learning Rules of Ethical Behavior Under the Supervision of an Ethical Teacher (Short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HYDRA/RCRA@LPNMR ![In: Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022., pp. 1-8, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
54 | Marco Scarfone, Pierangela Bruno, Francesco Calimeri |
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HYDRA/RCRA@LPNMR ![In: Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022., pp. 9-20, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
54 | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
Explainability via Short Formulas: the Case of Propositional Logic with Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HYDRA/RCRA@LPNMR ![In: Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022., pp. 64-77, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
54 | Marco Esposito, Leonardo Picchiami |
Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HYDRA/RCRA@LPNMR ![In: Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022., pp. 51-63, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
54 | Francesca Alessandra Lisi, Gioacchino Sterlicchio |
Mining Sequences in Phone Recordings with Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HYDRA/RCRA@LPNMR ![In: Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022., pp. 34-50, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
54 | Richard Comploi-Taupe |
Towards Inductive Learning of Domain-Specific Heuristics for ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HYDRA/RCRA@LPNMR ![In: Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022., pp. 21-33, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
51 | Georg Moser |
The Hydra battle and Cichon's principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 20(2), pp. 133-158, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Ketan Mandke, Robert C. Daniels, Soon-Hyeok Choi, Scott Nettles, Robert W. Heath Jr. |
A MIMO demonstration of Hydra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINTECH ![In: Proceedings of the Second ACM Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, WINTECH 2007, Montréal, Québec, Canada, September 10, 2007, pp. 101-102, 2007, ACM, 978-1-59593-738-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cross-layer prototyping, wireless testbed |
51 | Jeremy T. Bradley, William J. Knottenbelt |
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pp. 334-335, 2004, IEEE Computer Society, 0-7695-2185-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Chrilly Donninger, Ulf Lorenz |
The Chess Monster Hydra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings, pp. 927-932, 2004, Springer, 3-540-22989-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Sandro Rafaeli, David Hutchison 0001 |
Hydra: A Decentralised Group Key Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002), 10-12 June 2002, Pittsburgh, PA, USA, pp. 62-67, 2002, IEEE Computer Society, 0-7695-1748-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Marian Bubak, Pawel Plaszczak |
Hydra - Decentralized and Adaptative Approach to Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, New Paradigms for HPC in Industry and Academia, 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings, pp. 242-249, 2000, Springer, 3-540-41729-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java, distributed computing, decentralization, volunteer computing, desktop computing |
48 | Yaron Weinsberg, Danny Dolev, Tal Anker, Muli Ben-Yehuda, Pete Wyckoff |
Tapping into the fountain of CPUs: on operating system support for programmable devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2008, Seattle, WA, USA, March 1-5, 2008, pp. 179-188, 2008, ACM, 978-1-59593-958-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
operating systems, programming model, offloading |
48 | Newton Lee |
A word from the editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 2(4), pp. 2, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Ingo Lepper |
Simply terminating rewrite systems with long derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(1), pp. 1-18, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Simple termination, Hardy hierarchy, Fundamental sequence, Hydra |
39 | Vitaly Aksenov, Alexey Fyodorov |
Review of the Hydra Conference on Concurrent and Distributed Computing Hydra 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 51(4), pp. 85-88, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
39 | René Reiners, Andreas Zimmermann, Marc Jentsch, Yan Zhang |
Automizing home environments and supervising patients at home with the hydra middleware: application scenarios using the hydra middleware for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASTA@ESEC/SIGSOFT FSE ![In: Proceedings of the first international workshop on Context-aware software technology and applications, CASTA@ESEC/SIGSOFT FSE 2009, Amsterdam, The Netherlands, August 24, 2009, pp. 9-12, 2009, ACM, 978-1-60558-707-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Masahiro Hamano, Mitsuhiro Okada |
A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 43, pp. 103-120, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Stephan Spiegel, Jérôme Kunegis, Fang Li |
Hydra: a hybrid recommender system [cross-linked rating and content information]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM-CNIKM ![In: Proceeding of the ACM First International Workshop on Complex Networks Meet Information & Knowledge Management, CIKM-CNIKM 2009, Hong Kong, China, November 6, 2009, pp. 75-80, 2009, ACM, 978-1-60558-807-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cross-linked data, hybrid recommender, matrix factorization |
35 | Thorsten Caus, Stefan Christmann, Svenja Hagenhoff |
Hydra - An Application Framework for the Development of Context-Aware Mobile Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIS ![In: Business Information Systems, 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings, pp. 471-481, 2008, Springer, 978-3-540-79395-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
framework, mobile applications, mobile services, Context-adaptation |
35 | Nachum Dershowitz, Georg Moser |
The Hydra Battle Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rewriting, Computation and Proof ![In: Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, pp. 1-27, 2007, Springer, 978-3-540-73146-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Esben Hallundbæk Østergaard, David Johan Christensen, Peter Eggenberger, Tim Taylor 0001, Peter Ottery, Henrik Hautop Lund |
HYDRA: From Cellular Biology to Shape-Changing Artefacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks: Biological Inspirations - ICANN 2005, 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I, pp. 275-281, 2005, Springer, 3-540-28752-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Hélène Touzet |
Encoding the Hydra Battle as a Rewrite System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 267-276, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Jongwuk Lee, Seung-won Hwang, Zaiqing Nie, Ji-Rong Wen |
Query result clustering for object-level search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 1205-1214, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
object-level search, subspace clustering |
32 | Jean-Michel Richer, Adrien Goëffon, Jin-Kao Hao |
A Memetic Algorithm for Phylogenetic Reconstruction with Maximum Parsimony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoBIO ![In: Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 7th European Conference, EvoBIO 2009, Tübingen, Germany, April 15-17, 2009, Proceedings, pp. 164-175, 2009, Springer, 978-3-642-01183-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
progressive descent, tree crossover, memetic algorithm, phylogeny, Maximum Parsimony |
32 | Francisco Milagro Lardies, Pablo Antolin Rafael, João Fernandes 0002, Weishan Zhang, Klaus Marius Hansen, Peeter Kool |
Deploying Pervasive Web Services over a P2P Overlay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2009, Groningen, The Netherlands, 29 June - 1 July 2009, Proceedings, pp. 240-245, 2009, IEEE Computer Society, 978-0-7695-3683-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Robert C. Daniels, Ketan Mandke, Steven W. Peters, Scott Nettles, Robert W. Heath Jr. |
Machine learning for physical layer link adaptation in multiple-antenna wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINTECH ![In: Proceedings of the Third ACM Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, WINTECH 2008, San Francisco, California, USA, September 19, 2008, pp. 113-114, 2008, ACM, 978-1-60558-187-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
wireless prototyping, machine learning, cross-layer design, ieee 802.11n, adaptive modulation and coding |
32 | Michael Kreutzer, Manuel Hartl |
A toolbox of mechanisms for robust and scalable service discovery in mobile ad-hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integrated Network Management ![In: Integrated Network Management, IM 2007. 10th IFIP/IEEE International Symposium on Integrated Network Management, Munich, Germany, 21-25 May 2007, pp. 487-496, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Nikita Borisov, George Danezis, Prateek Mittal, Parisa Tabriz |
Denial of service or denial of security? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 28-31, 2007, pp. 92-102, 2007, ACM, 978-1-59593-703-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reliability, anonymity, denial of service, attacks |
32 | Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng |
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 18-33, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Robert Ayres, Peter J. H. King |
Querying Graph Databases Using a Functional Language Extended with Second Order Facilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 14th British National Conferenc on Databases, BNCOD 14, Edinburgh, UK, July 3-5, 1996, Proceedings, pp. 189-203, 1996, Springer, 3-540-61442-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
functional databases, functional programming, semantic networks, Graph-databases |
19 | Rafid I. Abd, Daniel J. Findley, Kwang Soon Kim |
Hydra-RAN Perceptual Networks Architecture: Dual-Functional Communications and Sensing Networks for 6G and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 2162-2185, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Fucai Ke, Zhixi Cai, Simindokht Jahangard, Weiqing Wang 0001, Pari Delir Haghighi, Hamid Rezatofighi |
HYDRA: A Hyper Agent for Dynamic Compositional Visual Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.12884, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Philipp Wolters, Johannes Gilg, Torben Teepe, Fabian Herzog, Anouar Laouichi, Martin Hofmann 0011, Gerhard Rigoll |
Unleashing HyDRa: Hybrid Fusion, Depth Consistency and Radar for Unified 3D Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.07746, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Britton, Torri Jeske, David Lawrence, Kishansingh Rajput |
Hydra: Computer Vision for Data Quality Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00689, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Zachary Ankner, Rishab Parthasarathy, Aniruddha Nrusimha, Christopher Rinard, Jonathan Ragan-Kelley, William Brandon |
Hydra: Sequentially-Dependent Draft Heads for Medusa Decoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.05109, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Pu Wang, Tao Ouyang, Qiong Wu, Qianyi Huang, Jie Gong, Xu Chen 0004 |
Hydra: Hybrid-model federated learning for human activity recognition on heterogeneous devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 147, pp. 103052, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova (eds.) |
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![Springer, 978-3-031-50484-6 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova (eds.) |
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (1) ![Springer, 978-3-031-50395-5 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Angus Dempster, Daniel F. Schmidt, Geoffrey I. Webb |
Hydra: competing convolutional kernels for fast and accurate time series classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 37(5), pp. 1779-1805, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sebastian Pahl, Florian Adamsky, Daniel Kaiser 0001, Thomas Engel 0001 |
Examining the Hydra: Simultaneously Shared Links in Tor and the Effects on its Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. Priv. Enhancing Technol. ![In: Proc. Priv. Enhancing Technol. 2023(3), pp. 268-285, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Waqar Amin, Fawad Hussain, Sheraz Anjum, Sharoon Saleem, Waqar Ahmad, Mubashir Hussain |
HyDra: Hybrid Task Mapping Application Framework for NOC-Based MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 52309-52326, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Digby Chappell, Fernando Bello, Petar Kormushev, Nicolás Rojas 0002 |
The Hydra Hand: A Mode-Switching Underactuated Gripper With Precision and Power Grasping Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(11), pp. 7599-7606, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zichao Yang, Heng Wu, Yuanjia Xu, Yuewen Wu, Hua Zhong 0001, Wenbo Zhang 0006 |
Hydra: Deadline-Aware and Efficiency-Oriented Scheduling for Deep Learning Jobs on Heterogeneous GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 72(8), pp. 2224-2236, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Nao Hirokawa, Aart Middeldorp |
Hydra Battles and AC Termination, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14036, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sanghyeon Kim, Hyunmo Yang, Younghyun Kim, Youngjoon Hong, Eunbyung Park |
Hydra: Multi-head Low-rank Adaptation for Parameter Efficient Fine-tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.06922, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Digby Chappell, Fernando Bello, Petar Kormushev, Nicolás Rojas 0002 |
The Hydra Hand: A Mode-Switching Underactuated Gripper with Precision and Power Grasping Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.14266, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yun Chang, Nathan Hughes, Aaron Ray, Luca Carlone |
Hydra-Multi: Collaborative Online Construction of 3D Scene Graphs with Multi-Robot Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.13487, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zongren Zou, George Em Karniadakis |
L-HYDRA: Multi-Head Physics-Informed Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.02152, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Bilel Tarchoun, Quazi Mishkatul Alam, Nael B. Abu-Ghazaleh, Ihsen Alouani |
Fool the Hydra: Adversarial Attacks against Multi-view Object Detection Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.00173, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | U. V. B. L. Udugama, George Vosselman, Francesco Nex |
Mono-hydra: Real-time 3D scene graph construction from monocular camera input with IMU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.05515, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Thomas McGrath, Matthew Rahtz, János Kramár, Vladimir Mikulik, Shane Legg |
The Hydra Effect: Emergent Self-repair in Language Model Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.15771, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Suneel Belkhale, Yuchen Cui, Dorsa Sadigh |
HYDRA: Hybrid Robot Actions for Imitation Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.17237, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Maxime Gobert 0001, Loup Meurice, Anthony Cleve |
Modeling, manipulating and evolving hybrid polystores with HyDRa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 230, pp. 102972, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Ricardo Arévalo-Mejía, Étienne Leblois, Carlos Alberto Mastachi-Loza, Humberto Salinas-Tapia, Khalidou M. Bâ, Aleida Yadira Vilchis-Francés, Rocío Becerril-Piña, Carlos Díaz-Delgado |
Integrated hydro informatics tool to assess hydrological alteration on gauged sites: Hydra-Eflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 160, pp. 105592, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Biri, Reto Da Forno, Tobias Kuonen, Fabian Mager, Marco Zimmerling, Lothar Thiele |
Hydra: Concurrent Coordination for Fault-tolerant Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: The 22nd International Conference on Information Processing in Sensor Networks, IPSN 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 219-232, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yun Chang, Nathan Hughes, Aaron Ray, Luca Carlone |
Hydra-Multi: Collaborative Online Construction of 3D Scene Graphs with Multi-Robot Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 10995-11002, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Mansooreh Montazerin, Elahe Rahimian, Farnoosh Naderkhani, Seyed Farokh Atashzar, Hamid Alinejad-Rokny, Arash Mohammadi 0001 |
HYDRA-HGR: A Hybrid Transformer-Based Architecture for Fusion of Macroscopic and Microscopic Neural Drive Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing ICASSP 2023, Rhodes Island, Greece, June 4-10, 2023, pp. 1-5, 2023, IEEE, 978-1-7281-6327-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Nao Hirokawa, Aart Middeldorp |
Hydra Battles and AC Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy, pp. 12:1-12:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-277-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sundararajan Renganathan, Benny Rubin, Hyojoon Kim, Pier Luigi Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster |
Hydra: Effective Runtime Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2023 Conference, ACM SIGCOMM 2023, New York, NY, USA, 10-14 September 2023, pp. 182-194, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zhuo An, Mingsheng Wang, Dongdong Liu, Taotao Li, Qiang Lai |
Hydra: An Efficient Asynchronous DAG-Based BFT Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SciSec ![In: Science of Cyber Security - 5th International Conference, SciSec 2023, Melbourne, VIC, Australia, July 11-14, 2023, Proceedings, pp. 439-459, 2023, Springer, 978-3-031-45932-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Suneel Belkhale, Yuchen Cui, Dorsa Sadigh |
HYDRA: Hybrid Robot Actions for Imitation Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRL ![In: Conference on Robot Learning, CoRL 2023, 6-9 November 2023, Atlanta, GA, USA., pp. 2113-2133, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Inho Choi, Ellis Michael, Yunfan Li, Dan R. K. Ports, Jialin Li 0001 |
Hydra: Serialization-Free Network Ordering for Strongly Consistent Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023, Boston, MA, April 17-19, 2023., pp. 293-320, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Lorenzo Grassi 0001, Morten Øygarden, Markus Schofnegger, Roman Walch |
From Farfalle to Megafono via Ciminion: The PRF Hydra for MPC Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (4) ![In: Advances in Cryptology - EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part IV, pp. 255-286, 2023, Springer, 978-3-031-30633-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Muhammad Shafqat Ali, Muhammad Azhar, Saba Masood, Bumshik Lee, Tanzeela Iqbal, Adeen Amjad |
Efficient Video Summarization with Hydra Attentive Vision Transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIT ![In: International Conference on Frontiers of Information Technology, FIT 2023, Islamabad, Pakistan, December 11-12, 2023, pp. 196-201, 2023, IEEE, 979-8-3503-9578-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yosuke Mizutani, David Dursteler, Blair D. Sullivan |
PACE Solver Description: Hydra Prime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 18th International Symposium on Parameterized and Exact Computation, IPEC 2023, September 6-8, 2023, Amsterdam, The Netherlands, pp. 36:1-36:5, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-305-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Omar Khaled Fadhl Ali Al-Eryani, Gülgün Kayakutlu, Zeynep Bektas, Mehmet Özgür Kayalica |
Merging Grid Technology with Oil Fields Power Distribution: A Smart Grid Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 187-193, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Dorota Jelonek, Magdalena Rzemieniak |
The Use of Artificial Intelligence in Activities Aimed at Sustainable Development - Good Practices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 277-284, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Michael Reiche, Jochen L. Leidner |
Bridging the Programming Skill Gap with ChatGPT: A Machine Learning Project with Business Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 439-446, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Lea Eileen Brauner, Frank Höppner |
Enhancing Computer Science Education by Automated Analysis of Students' Code Submissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 369-380, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Konrad Liszczyk, Iwona Chomiak-Orsa |
The Importance of Eco-Commerce in the Context of Sustainable Development: A Case Study Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 223-229, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Moritz Bayerkuhnlein, Diedrich Wolter |
Model-Based-Diagnosis for Assistance in Programming Exercises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 459-470, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | René Heesch, Jonas Ehrhardt, Oliver Niggemann |
Integrating Machine Learning into an SMT-Based Planning Approach for Production Planning in Cyber-Physical Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 318-331, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Malgorzata Markowska, Andrzej Sokolowski, Grzegorz Migut, Danuta Strahl |
AI System for Short Term Prediction of Hourly Electricity Demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 269-276, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Ayush Bahuguna, Sajjad Haydar, Andreas Brännström, Juan Carlos Nieves |
Do Datapoints Argue?: Argumentation for Hierarchical Agreement in Datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 291-303, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Polat Goktas, Rajnish Rakholia, Ricardo S. Carbajo |
Investigating Air Pollution Dynamics in Ho Chi Minh City: A Spatiotemporal Study Leveraging XAI-SHAP Clustering Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 201-207, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Kamil Hudaszek, Iwona Chomiak-Orsa, Saeed Abdullah M. AL-Dobai |
Green Hardware Infrastructure for Algorithmic Trading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 194-200, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Tina Wünn, Danielle Sent, Linda W. P. Peute, Stefan Leijnen |
Trust in Artificial Intelligence: Exploring the Influence of Model Presentation and Model Interaction on Trust in a Medical Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 76-86, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Dietmar Seipel, Marcel Waleska, Daniel Weidner, Sven Rausch, Martin Atzmueller |
Post-mining on Association Rule Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 23-35, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Weiqi Hua, Daniel Mullen, Abdul Wahid, Khadija Sitabkhan, Karl Mason |
An Overview of Artificial Intelligence for Electric Vehicle Energy Systems Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshops (2) ![In: Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II, pp. 178-186, 2023, Springer, 978-3-031-50484-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 360 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|