default search action
Search dblp for Publications
export results for "Matthew Salomon"
@article{DBLP:journals/afp/BrecknellGHIKKLNSSSTW24, author = {Matthew Brecknell and David Greenaway and Johannes H{\"{o}}lzl and Fabian Immler and Gerwin Klein and Rafal Kolanski and Japheth Lim and Michael Norrish and Norbert Schirmer and Salomon Sickert and Thomas Sewell and Harvey Tuch and Simon Wimmer}, title = {AutoCorres2}, journal = {Arch. Formal Proofs}, volume = {2024}, year = {2024}, url = {https://www.isa-afp.org/entries/AutoCorres2.html}, timestamp = {Mon, 29 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/BrecknellGHIKKLNSSSTW24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iet-bmt/BuschDFKLNSAABBBBBCCCCCCCDDDFFG23, author = {Christoph Busch and Farzin Deravi and Dinusha Frings and Els Kindt and Ralph Lessmann and Alexander Nouak and Jean Salomon and Mateus Achcar and Fernando Alonso{-}Fernandez and Daniel Bachenheimer and David Bethell and Josef Big{\"{u}}n and Matthew Brawley and Guido Brockmann and Enrique Cabello and Patrizio Campisi and Aleksandrs Cepilovs and Miles Clee and Mickey Cohen and Christian Croll and Andrzej Czyzewski and Bernadette Dorizzi and Martin Drahansk{\'{y}} and Pawel Drozdowski and Catherine Fankhauser and Julian Fi{\'{e}}rrez and Marta Gomez{-}Barrero and Georg Hasse and Richard M. Guest and Ekaterina Komleva and S{\'{e}}bastien Marcel and Gian Luca Marcialis and Laurent Mercier and Emilio Mordini and Stefance Mouille and Pavlina Navratilova and Javier Ortega{-}Garcia and Dijana Petrovska and Norman Poh and Istvan Racz and Ramachandra Raghavendra and Christian Rathgeb and Christophe Remillet and Uwe Seidel and Luuk J. Spreeuwers and Brage Strand and Sirra Toivonen and Andreas Uhl}, title = {Facilitating free travel in the Schengen area - {A} position paper by the European Association for Biometrics}, journal = {{IET} Biom.}, volume = {12}, number = {2}, pages = {112--128}, year = {2023}, url = {https://doi.org/10.1049/bme2.12107}, doi = {10.1049/BME2.12107}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iet-bmt/BuschDFKLNSAABBBBBCCCCCCCDDDFFG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aistats/DaviesSSD23, author = {Laurence Davies and Robert Salomone and Matthew Sutton and Chris Drovandi}, title = {Transport Reversible Jump Proposals}, booktitle = {International Conference on Artificial Intelligence and Statistics, 25-27 April 2023, Palau de Congressos, Valencia, Spain}, pages = {6839--6852}, year = {2023}, crossref = {DBLP:conf/aistats/2023}, url = {https://proceedings.mlr.press/v206/davies23a.html}, timestamp = {Mon, 19 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aistats/DaviesSSD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/SuttonSCF22, author = {Matthew Sutton and Robert Salomone and Augustin Chevallier and Paul Fearnhead}, title = {Continuously Tempered {PDMP} samplers}, booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022}, year = {2022}, crossref = {DBLP:conf/nips/2022}, url = {http://papers.nips.cc/paper\_files/paper/2022/hash/b5b939436789f76f08b9d0da5e81af7c-Abstract-Conference.html}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nips/SuttonSCF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/grid/SalomoniPGLSGMF18, author = {Davide Salomoni and Isabel Campos Plasencia and Luciano Gaido and Jes{\'{u}}s E. Marco de Lucas and P. Solagna and Jorge Gomes and Ludek Matyska and P. Fuhrman and Marcus Hardt and Giacinto Donvito and Lukasz Dutka and Marcin Pl{\'{o}}ciennik and Roberto Barbera and Ignacio Blanquer and Andrea Ceccanti and Eva Cetinic and M{\'{a}}rio David and Doina Cristina Duma and {\'{A}}lvaro L{\'{o}}pez Garc{\'{\i}}a and Germ{\'{a}}n Molt{\'{o}} and Pablo Orviz Fern{\'{a}}ndez and Zdenek Sustr and Matthew Viljoen and Fernando Aguilar and Lu{\'{\i}}s Alves and Marica Antonacci and Lucio Angelo Antonelli and Stefano Bagnasco and A. Bonving and Riccardo Bruno and Y. Chen and Alessandro Costa and Davor Davidovic and Benjamin Ertl and Marco Fargetta and Sandro Fiore and S. Gallozzi and Z. Kurkcuoglu and Lara Lloret Iglesias and J. Martins and Alessandra Nuzzo and Paola Nassisi and Cosimo Palazzo and Jo{\~{a}}o Murta Pina and Eva Sciacca and Daniele Spiga and Marco Antonio Tangaro and Michal Urbaniak and Sara Vallero and Bas Wegh and Valentina Zaccolo and Federico Zambelli and Tomasz Zok}, title = {INDIGO-DataCloud: a Platform to Facilitate Seamless Access to E-Infrastructures}, journal = {J. Grid Comput.}, volume = {16}, number = {3}, pages = {381--408}, year = {2018}, url = {https://doi.org/10.1007/s10723-018-9453-3}, doi = {10.1007/S10723-018-9453-3}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/grid/SalomoniPGLSGMF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dev/BaumanBLSNHWHYS18, author = {Matthew J. Bauman and Kate S. Boxer and Tzu{-}Yun Lin and Erika Salomon and Hareem Naveed and Lauren Haynes and Joe Walsh and Jennifer Helsby and Steve Yoder and Robert Sullivan and Chris Schneweis and Rayid Ghani}, title = {Reducing Incarceration through Prioritized Interventions}, booktitle = {Proceedings of the 1st {ACM} {SIGCAS} Conference on Computing and Sustainable Societies, {COMPASS} 2018, Menlo Park and San Jose, CA, USA, June 20-22, 2018}, pages = {6:1--6:8}, year = {2018}, crossref = {DBLP:conf/dev/2018}, url = {https://doi.org/10.1145/3209811.3209869}, doi = {10.1145/3209811.3209869}, timestamp = {Wed, 21 Nov 2018 12:44:24 +0100}, biburl = {https://dblp.org/rec/conf/dev/BaumanBLSNHWHYS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-01981, author = {Davide Salomoni and Luciano Gaido and Isabel Campos Plasencia and Jes{\'{u}}s E. Marco de Lucas and P. Solagna and Jorge Gomes and Ludek Matyska and P. Fuhrman and Marcus Hardt and Giacinto Donvito and Lukasz Dutka and Marcin Pl{\'{o}}ciennik and Roberto Barbera and Cristina Aiftimiei and Ignacio Blanquer and Andrea Ceccanti and M{\'{a}}rio David and {\'{A}}lvaro L{\'{o}}pez Garc{\'{\i}}a and Germ{\'{a}}n Molt{\'{o}} and Pablo Orviz Fern{\'{a}}ndez and Zdenek Sustr and Matthew Viljoen and Fernando Aguilar and Lu{\'{\i}}s Alves and A. Bonving and Riccardo Bruno and Davor Davidovic and Marco Fargetta and Y. Chen and Sandro Fiore and Z. Kurkcuoglu and Lara Lloret Iglesias and J. Martins and Alessandra Nuzzo and Paola Nassisi and Jo{\~{a}}o Murta Pina and Eva Sciacca and Daniele Spiga and Marco Antonio Tangaro and Michal Urbaniak and Bas Wegh and Tomasz Zok}, title = {INDIGO-DataCloud: {A} data and computing platform to facilitate seamless access to e-infrastructures}, journal = {CoRR}, volume = {abs/1711.01981}, year = {2017}, url = {http://arxiv.org/abs/1711.01981}, eprinttype = {arXiv}, eprint = {1711.01981}, timestamp = {Wed, 16 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-01981.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bmcsb/FearASDTNM15, author = {Justin M. Fear and Michelle N. Arbeitman and Matthew Salomon and Justin Dalton and John Tower and Sergey V. Nuzhdin and Lauren M. McIntyre}, title = {The wright stuff: reimagining path analysis reveals novel components of the sex determination hierarchy in drosophila melanogaster}, journal = {{BMC} Syst. Biol.}, volume = {9}, pages = {53}, year = {2015}, url = {https://doi.org/10.1186/s12918-015-0200-0}, doi = {10.1186/S12918-015-0200-0}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bmcsb/FearASDTNM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bioinformatics/DubchakMPSMBZ13, author = {Inna Dubchak and Matthew Munoz and Alexander Poliakov and Nathan Salomonis and Simon Minovitsky and Rolf Bodmer and Alexander C. Zambon}, title = {Whole-Genome rVISTA: a tool to determine enrichment of transcription factor binding sites in gene promoters from transcriptomic data}, journal = {Bioinform.}, volume = {29}, number = {16}, pages = {2059--2061}, year = {2013}, url = {https://doi.org/10.1093/bioinformatics/btt318}, doi = {10.1093/BIOINFORMATICS/BTT318}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bioinformatics/DubchakMPSMBZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/trob/KimSTHSC08, author = {Sangbae Kim and Matthew Spenko and Salomon Trujillo and Barrett Heyneman and Daniel Santos and Mark R. Cutkosky}, title = {Smooth Vertical Surface Climbing With Directional Adhesion}, journal = {{IEEE} Trans. Robotics}, volume = {24}, number = {1}, pages = {65--74}, year = {2008}, url = {https://doi.org/10.1109/TRO.2007.909786}, doi = {10.1109/TRO.2007.909786}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/trob/KimSTHSC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/KimSTHMC07, author = {Sangbae Kim and Matthew Spenko and Salomon Trujillo and Barrett Heyneman and Virgilio Mattoli and Mark R. Cutkosky}, title = {Whole body adhesion: hierarchical, directional and distributed control of adhesive forces for a climbing robot}, booktitle = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA} 2007, 10-14 April 2007, Roma, Italy}, pages = {1268--1273}, year = {2007}, crossref = {DBLP:conf/icra/2007}, url = {https://doi.org/10.1109/ROBOT.2007.363159}, doi = {10.1109/ROBOT.2007.363159}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icra/KimSTHMC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chi/Moll-CarrilloSMSS95, author = {H. J. Moll{-}Carrillo and Gitta Salomon and Matthew Marsh and Jane Fulton Suri and Peter Spreenberg}, title = {Articulating a Metaphor through User-Centered Design}, booktitle = {Human Factors in Computing Systems, {CHI} '95 Conference Proceedings, Denver, Colorado, USA, May 7-11, 1995}, pages = {566--572}, year = {1995}, crossref = {DBLP:conf/chi/1995}, url = {https://doi.org/10.1145/223904.223981}, doi = {10.1145/223904.223981}, timestamp = {Fri, 12 Mar 2021 15:27:48 +0100}, biburl = {https://dblp.org/rec/conf/chi/Moll-CarrilloSMSS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aistats/2023, editor = {Francisco J. R. Ruiz and Jennifer G. Dy and Jan{-}Willem van de Meent}, title = {International Conference on Artificial Intelligence and Statistics, 25-27 April 2023, Palau de Congressos, Valencia, Spain}, series = {Proceedings of Machine Learning Research}, volume = {206}, publisher = {{PMLR}}, year = {2023}, url = {http://proceedings.mlr.press/v206/}, timestamp = {Fri, 18 Oct 2024 01:56:52 +0200}, biburl = {https://dblp.org/rec/conf/aistats/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/nips/2022, editor = {Sanmi Koyejo and S. Mohamed and A. Agarwal and Danielle Belgrave and K. Cho and A. Oh}, title = {Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022}, year = {2022}, url = {https://papers.nips.cc/paper\_files/paper/2022}, isbn = {9781713871088}, timestamp = {Fri, 18 Oct 2024 01:56:52 +0200}, biburl = {https://dblp.org/rec/conf/nips/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dev/2018, editor = {Ellen W. Zegura}, title = {Proceedings of the 1st {ACM} {SIGCAS} Conference on Computing and Sustainable Societies, {COMPASS} 2018, Menlo Park and San Jose, CA, USA, June 20-22, 2018}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3209811}, doi = {10.1145/3209811}, timestamp = {Fri, 18 Oct 2024 01:56:52 +0200}, biburl = {https://dblp.org/rec/conf/dev/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icra/2007, title = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA} 2007, 10-14 April 2007, Roma, Italy}, publisher = {{IEEE}}, year = {2007}, timestamp = {Fri, 18 Oct 2024 01:56:52 +0200}, biburl = {https://dblp.org/rec/conf/icra/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/chi/1995, editor = {Irvin R. Katz and Robert L. Mack and Linn Marks and Mary Beth Rosson and Jakob Nielsen}, title = {Human Factors in Computing Systems, {CHI} '95 Conference Proceedings, Denver, Colorado, USA, May 7-11, 1995}, publisher = {ACM/Addison-Wesley}, year = {1995}, url = {https://doi.org/10.1145/223904}, doi = {10.1145/223904}, isbn = {0-201-84705-1}, timestamp = {Fri, 18 Oct 2024 01:56:52 +0200}, biburl = {https://dblp.org/rec/conf/chi/1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.