Search results for "guts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
43	Michael Hicks 0001, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy	Polymonadic Programming.	MSFP	2014	DBLP DOI BibTeX RDF
43	Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks 0001	Lightweight monadic programming in ML.	ICFP	2011	DBLP DOI BibTeX RDF
43	Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts	Typechecking Higher-Order Security Libraries.	APLAS	2010	DBLP DOI BibTeX RDF
43	Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli	Reliable Evidence: Auditability by Typing.	ESORICS	2009	DBLP DOI BibTeX RDF
43	Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli	A Formal Implementation of Value Commitment.	ESOP	2008	DBLP DOI BibTeX RDF
43	Frédéric Peschanski, Alexis Darrasse, Nataliya Guts, Jérémy Bobbio	Coordinating mobile agents in interaction spaces.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
36	Christian McCrea	Dismembers of the audience: the expulsive, explosive force of bodies in games.	IE	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.	Pers. Ubiquitous Comput.	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.	CoRR	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.	ICRA	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.	Genom. Proteom. Bioinform.	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.	Cartogr. Int. J. Geogr. Inf. Geovisualization	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.	CoRR	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.	SemEval@NAACL	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.	ITSC	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.	ICMI	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.	Eur. J. Oper. Res.	2018	DBLP DOI BibTeX RDF
30	Zhuying Li, Felix Brandmueller, Stefan Greuter, Florian 'Floyd' Mueller	The Guts Game: Designing Playful Experiences for Ingestible Devices.	CHI Extended Abstracts	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.	CHI PLAY	2018	DBLP DOI BibTeX RDF
30	Pia Niemelä	All rosy in scratch lessons: No bugs but guts with visual programming.	FIE	2017	DBLP DOI BibTeX RDF
30	Felix Brandmueller, Zhuying Li	Guts Game: A Game using Ingestible Sensors.	CHI PLAY (Companion)	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).	PLoS Comput. Biol.	2016	DBLP DOI BibTeX RDF
30	David Futer, Efstratia Kalfagianni, Jessica S. Purcell	Guts of Surfaces and the Colored Jones Polynomial.		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).	LISA	2012	DBLP BibTeX RDF
30	Ioannis Ieropoulos, John Greenman, Chris Melhuish, Ian Horsfield	EcoBot-III - A Robot with Guts.	ALIFE	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.	STM	2010	DBLP DOI BibTeX RDF
30	Joseph H. Nadeau	Bugs, Guts and Fat - A Systems Approach to the Metabolic 'Axis of Evil'.	APBC	2007	DBLP BibTeX RDF
30	Elizabeth Towell, John Towell	Skin vs. Guts: Introducing Design Patterns in the MIS Curriculum.	J. Inf. Technol. Educ.	2002	DBLP DOI BibTeX RDF
30	Limsoon Wong	The functional guts of the Kleisli query system.	ICFP	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].	IEEE Micro	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.	SBCCI	1998	DBLP DOI BibTeX RDF
25	Ali Kemal Sinop, Leo J. Grady	Accurate Banded Graph Cut Segmentation of Thin Structures Using Laplacian Pyramids.	MICCAI (2)	2006	DBLP DOI BibTeX RDF
25	Wendy Belluomini, Chris J. Myers, H. Peter Hofstee	Timed circuit verification using TEL structures.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	ASP-DAC	2001	DBLP DOI BibTeX RDF
25	Wendy Belluomini, Chris J. Myers, H. Peter Hofstee	Verification of Delayed-Reset Domino Circuits Using ATACS.	ASYNC	1999	DBLP DOI BibTeX RDF
25	Jakob Nielsen	The Impending Demise of the File System.	IEEE Softw.	1996	DBLP DOI BibTeX RDF