|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
Results
Found 37 publication records. Showing 36 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
43 | Michael Hicks 0001, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy |
Polymonadic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 79-99, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks 0001 |
Lightweight monadic programming in ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011, pp. 15-27, 2011, ACM, 978-1-4503-0865-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts |
Typechecking Higher-Order Security Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings, pp. 47-62, 2010, Springer, 978-3-642-17163-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli |
Reliable Evidence: Auditability by Typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings, pp. 168-183, 2009, Springer, 978-3-642-04443-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli |
A Formal Implementation of Value Commitment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 383-397, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Frédéric Peschanski, Alexis Darrasse, Nataliya Guts, Jérémy Bobbio |
Coordinating mobile agents in interaction spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 66(3), pp. 246-265, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Christian McCrea |
Dismembers of the audience: the expulsive, explosive force of bodies in games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IE ![In: Proceedings of the 4th Australasian Conference on Interactive Entertainment, IE 2007, 3-5 December 2007, Melbourne, Australia, pp. 15, 2007, ACM, 978-1-921166-87-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
blood, guts, physicality, materiality |
30 | Margarita Esau, Dennis Lawo, Thomas Neifer, Gunnar Stevens, Alexander Boden |
Trust your guts: fostering embodied knowledge and sustainable practices through voice interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 27(2), pp. 415-434, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Nikhil Angad Bakshi, Tejus Gupta, Ramina Ghods, Jeff Schneider 0001 |
GUTS: Generalized Uncertainty-Aware Thompson Sampling for Multi-Agent Active Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.02075, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Nikhil Angad Bakshi, Tejus Gupta, Ramina Ghods, Jeff G. Schneider |
GUTS: Generalized Uncertainty-Aware Thompson Sampling for Multi-Agent Active Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023, pp. 7735-7741, 2023, IEEE, 979-8-3503-2365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Hao Li, Jan P. Meier-Kolthoff, Canxin Hu, Zhongjie Wang, Jun Zhu, Wei Zheng, Yun Tian, Feng Guo |
Panoramic Insights into Microevolution and Macroevolution of A Prevotella copri-containing Lineage in Primate Guts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genom. Proteom. Bioinform. ![In: Genom. Proteom. Bioinform. 20(2), pp. 334-349, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Élise Olmedo, Sébastien Caquard |
Mapping the Skin and the Guts of Stories - A Dialogue between Geolocated and Dislocated Cartographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cartogr. Int. J. Geogr. Inf. Geovisualization ![In: Cartogr. Int. J. Geogr. Inf. Geovisualization 57(2), pp. 127-146, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Kevin Buck, Jae Hwan Lee, Jacob Platnick, Aric Wheeler, Kevin Zumbrun |
Continuous guts poker and numerical optimization of generalized recursive games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.02788, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Junyu Lu, Hao Zhang, Tongyue Zhang, Hongbo Wang, Haohao Zhu, Bo Xu 0009, Hongfei Lin |
GUTS at SemEval-2022 Task 4: Adversarial Training and Balancing Methods for Patronizing and Condescending Language Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemEval@NAACL ![In: Proceedings of the 16th International Workshop on Semantic Evaluation, SemEval@NAACL 2022, Seattle, Washington, United States, July 14-15, 2022, pp. 432-437, 2022, Association for Computational Linguistics, 978-1-955917-80-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Martin Ahrnbom, Ivar Persson, Håkan Ardö, Mikael G. Nilsson |
Generalized Urban Traffic Surveillance (GUTS): World-Coordinate Tracking for Traffic Safety Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022, pp. 3813-3818, 2022, IEEE, 978-1-6654-6880-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Angela Vujic, Stephanie Tong, Rosalind W. Picard, Pattie Maes |
Going with our Guts: Potentials of Wearable Electrogastrography (EGG) for Affect Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: ICMI '20: International Conference on Multimodal Interaction, Virtual Event, The Netherlands, October 25-29, 2020, pp. 260-268, 2020, ACM, 978-1-4503-7581-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Julia A. Bennell, Marta Cabo, Antonio Martinez-Sykora |
A beam search approach to solve the convex irregular bin packing problem with guillotine guts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 270(1), pp. 89-102, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Zhuying Li, Felix Brandmueller, Stefan Greuter, Florian 'Floyd' Mueller |
The Guts Game: Designing Playful Experiences for Ingestible Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, QC, Canada, April 21-26, 2018, 2018, ACM, 978-1-4503-5621-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Zhuying Li, Rakesh Patibanda, Felix Brandmueller, Wei Wang 0133, Kyle Berean, Stefan Greuter, Florian 'Floyd' Mueller |
The Guts Game: Towards Designing Ingestible Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY ![In: The Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2018, Melbourne, VIC, Australia, October 28-31, 2018, pp. 271-283, 2018, ACM, 978-1-4503-5624-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Pia Niemelä |
All rosy in scratch lessons: No bugs but guts with visual programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: 2017 IEEE Frontiers in Education Conference, FIE 2017, Indianapolis, IN, USA, October 18-21, 2017, pp. 1-9, 2017, IEEE Computer Society, 978-1-5090-5920-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Felix Brandmueller, Zhuying Li |
Guts Game: A Game using Ingestible Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY (Companion) ![In: Extended Abstracts Publication of the Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2017, Amsterdam, Netherlands, October 15 - 18, 2017, pp. 625-631, 2017, ACM, 978-1-4503-5111-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Carlo Albert, Sören Vogel, Roman Ashauer |
Computationally Efficient Implementation of a Novel Algorithm for the General Unified Threshold Model of Survival (GUTS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 12(6), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | David Futer, Efstratia Kalfagianni, Jessica S. Purcell |
Guts of Surfaces and the Colored Jones Polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
DOI RDF |
|
30 | Andrew Stromme, Danica J. Sutherland, Nicholas Felt, Alex Burka, Benjamin Lipton, Rebecca Roelofs, Daniel-Elia Feist-Alexandrov, Steve Dini, Allen Welkie |
Managing User Requests With the Grand Unified Task System (GUTS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISA ![In: Strategies, Tools , and Techniques: Proceedings of the 26th Large Installation System Administration Conference, LISA 2012, San Diego, CA, USA, December 9-14, 2012, pp. 101-110, 2012, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
30 | Ioannis Ieropoulos, John Greenman, Chris Melhuish, Ian Horsfield |
EcoBot-III - A Robot with Guts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALIFE ![In: Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, ALIFE 2010, Odense, Denmark, August 19-23, 2010, pp. 733-740, 2010, MIT Press, 9780262290753. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
30 | Ioanna Dionysiou, K. Harald Gjermundrød, David E. Bakken |
GUTS: A Framework for Adaptive and Configureable Grid User Trust Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STM ![In: Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers, pp. 84-99, 2010, Springer, 978-3-642-22443-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Joseph H. Nadeau |
Bugs, Guts and Fat - A Systems Approach to the Metabolic 'Axis of Evil'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APBC ![In: Proceedings of 5th Asia-Pacific Bioinformatics Conference, APBC 2007, 15-17 January 2007, Hong Kong, China, pp. 3, 2007, Imperial College Press, 978-1-86094-783-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
30 | Elizabeth Towell, John Towell |
Skin vs. Guts: Introducing Design Patterns in the MIS Curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Technol. Educ. ![In: J. Inf. Technol. Educ. 1(3), pp. 269-278, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Limsoon Wong |
The functional guts of the Kleisli query system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 1-10, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | H. Peter Hofstee, Sang H. Dhong, David Meltzer, Kevin J. Nowka, Joel Silberman, Jeffrey L. Burns, Stephen D. Posluszny, Osamu Takahashi |
Designing for a gigahertz [guTS integer processor]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 18(3), pp. 66-74, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | A. Carvalho, Fadi J. Kurdahi, Sani R. Nassif |
IR and Thermal Estimation Tools, with Applications to the GUTS 1GHz Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 11th Annual Symposium on Integrated Circuits Design, SBCCI 1998, Rio de Janiero, Brazil, September 30 - October 2, 1998, pp. 236-239, 1998, IEEE Computer Society, 978-0-8186-8704-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Ali Kemal Sinop, Leo J. Grady |
Accurate Banded Graph Cut Segmentation of Thin Structures Using Laplacian Pyramids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006, 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part II, pp. 896-903, 2006, Springer, 3-540-44727-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Wendy Belluomini, Chris J. Myers, H. Peter Hofstee |
Timed circuit verification using TEL structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(1), pp. 129-146, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Chris J. Myers, Wendy Belluomini, Kip Kallpack, Eric Peskin, Hao Zheng 0001 |
Timed circuits: a new paradigm for high-speed design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001, January 30-February 2, 2001, Yokohama, Japan, pp. 335-340, 2001, ACM, 0-7803-6634-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Wendy Belluomini, Chris J. Myers, H. Peter Hofstee |
Verification of Delayed-Reset Domino Circuits Using ATACS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 19-22 April 1999, Barcelona, Spain, pp. 3-12, 1999, IEEE Computer Society, 0-7695-0031-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Jakob Nielsen |
The Impending Demise of the File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 13(2), pp. 100-101, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|