Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 92 matches
- 2024
- Daniel Goc, Gergely Flamich:
On Channel Simulation with Causal Rejection Samplers. CoRR abs/2401.16579 (2024) - 2023
- Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang:
Template-Based Conjecturing for Automated Induction in Isabelle/HOL. FSEN 2023: 112-125 - Dylan Fillmore, Bennet Goeckner, Rachel Kirsch, Kirin Martin, Daniel McGinnis:
The Existence and Structure of Universal Partial Cycles. CoRR abs/2310.13067 (2023) - 2022
- Lena Maier-Hein, Matthias Eisenmann, Duygu Sarikaya, Keno März, Toby Collins, Anand Malpani, Johannes Fallert, Hubertus Feussner, Stamatia Giannarou, Pietro Mascagni, Hirenkumar Nakawala, Adrian Park, Carla M. Pugh, Danail Stoyanov, S. Swaroop Vedula, Kevin Cleary, Gabor Fichtinger, Germain Forestier, Bernard Gibaud, Teodor P. Grantcharov, Makoto Hashizume, Doreen Heckmann-Nötzel, Hannes Götz Kenngott, Ron Kikinis, Lars Mündermann, Nassir Navab, Sinan Onogur, Tobias Roß, Raphael Sznitman, Russell H. Taylor, Minu Dietlinde Tizabi, Martin Wagner, Gregory D. Hager, Thomas Neumuth, Nicolas Padoy, Justin Collins, Ines Gockel, Jan Goedeke, Daniel A. Hashimoto, Luc Joyeux, Kyle Lam, Daniel Richard Leff, Amin Madani, Hani J. Marcus, Ozanan R. Meireles, Alexander Seitel, Dogu Teber, Frank Ückert, Beat P. Müller-Stich, Pierre Jannin, Stefanie Speidel:
Surgical data science - from concepts toward clinical translation. Medical Image Anal. 76: 102306 (2022) - Enis Afgan, Anton Nekrutenko, Björn A. Grüning, Daniel J. Blankenberg, Jeremy Goecks, Michael C. Schatz, Alexander E. Ostrovsky, Alexandru Mahmoud, Andrew J. Lonie, Anna Syme, Anne Fouilloux, Anthony Bretaudeau, Anup Kumar, Arthur C. Eschenlauer, Assunta D. Desanto, Aysam Guerler, Beatriz Serrano-Solano, Bérénice Batut, Bradley W. Langhorst, Bridget Carr, Bryan A. Raubenolt, Cameron J. Hyde, Catherine J. Bromhead, Christopher B. Barnett, Coline Royaux, Cristóbal Gallardo, Daniel J. Fornika, Dannon Baker, Dave Bouvier, Dave Clements, David A. de Lima Morais, David Lopez Tabernero, Delphine Larivière, Engy Nasr, Federico Zambelli, Florian Heyl, Fotis E. Psomopoulos, Frederik Coppens, Gareth R. Price, Gianmauro Cuccuru, Gildas Le Corguillé, Gregory Von Kuster, Gulsum Gudukbay, Helena Rasche, Hans-Rudolf Hotz, Ignacio Eguinoa, Igor V. Makunin, Isuru Ranawaka, James Taylor, Jayadev Joshi, Jennifer Hillman-Jackson, John Chilton, Kaivan Kamali, Keith Suderman, Krzysztof Poterlowicz, Yvan Le Bras, Lucille Lopez-Delisle, Luke Sargent, Madeline E. Bassetti, Marco Antonio Tangaro, Marius van den Beek, Martin Cech, Matthias Bernt, Matthias Fahrner, Mehmet Tekman, Melanie Christine Föll, Michael R. Crusoe, Miguel Roncoroni, Natalie Kucher, Nate Coraor, Nicholas Stoler, Nick Rhodes, Nicola Soranzo, Niko Pinter, Nuwan Goonasekera, Pablo A. Moreno, Pavankumar Videm, Petera Melanie, Pietro Mandreoli, Pratik D. Jagtap, Qiang Gu, Ralf J. M. Weber, Ross Lazarus, Ruben H. P. Vorderman, Saskia D. Hiltemann, Sergey Golitsynskiy, Shilpa Garg, Simon A. Bray, Simon L. Gladman, Simone Leo, Subina P. Mehta, Timothy J. Griffin, Vahid Jalili, Yves Vandenbrouck, Victor Wen, Vijay K. Nagampalli, Wendi A. Bacon, Willem L. De Koning, Wolfgang Maier, Peter J. Briggs:
The Galaxy platform for accessible, reproducible and collaborative biomedical analyses: 2022 update. Nucleic Acids Res. 50(W1): 345-351 (2022) - Lorenzo Rossi, Biao Lu, Mirko Reguzzoni, Daniele Sampietro, Islam Fadel, Mark van der Meijde:
Global Moho Gravity Inversion from GOCE Data: Updates and Convergence Assessment of the GEMMA Model Algorithm. Remote. Sens. 14(22): 5646 (2022) - Rohin Shah, Steven H. Wang, Cody Wild, Stephanie Milani, Anssi Kanervisto, Vinicius G. Goecks, Nicholas R. Waytowich, David Watkins-Valls, Bharat Prakash, Edmund Mills, Divyansh Garg, Alexander Fries, Alexandra Souly, Jun Shern Chan, Daniel del Castillo, Tom Lieberum:
Retrospective on the 2021 BASALT Competition on Learning from Human Feedback. CoRR abs/2204.07123 (2022) - Vashist Avadhanula, Omar Abdul Baki, Hamsa Bastani, Osbert Bastani, Caner Gocmen, Daniel Haimovich, Darren Hwang, Dima Karamshuk, Thomas J. Leeper, Jiayuan Ma, Gregory Macnamara, Jake Mullett, Christopher Palow, Sung Park, Varun S. Rajagopal, Kevin Schaeffer, Parikshit Shah, Deeksha Sinha, Nicolás Stier Moses, Peng Xu:
Bandits for Online Calibration: An Application to Content Moderation on Social Media Platforms. CoRR abs/2211.06516 (2022) - Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang:
Property-Based Conjecturing for Automated Induction in Isabelle/HOL. CoRR abs/2212.11151 (2022) - 2021
- Rohin Shah, Steven H. Wang, Cody Wild, Stephanie Milani, Anssi Kanervisto, Vinicius G. Goecks, Nicholas R. Waytowich, David Watkins-Valls, Bharat Prakash, Edmund Mills, Divyansh Garg, Alexander Fries, Alexandra Souly, Jun Shern Chan, Daniel del Castillo, Tom Lieberum:
Retrospective on the 2021 MineRL BASALT Competition on Learning from Human Feedback. NeurIPS (Competition and Demos) 2021: 259-272 - 2020
- Vahid Jalili, Enis Afgan, Qiang Gu, Dave Clements, Daniel J. Blankenberg, Jeremy Goecks, James Taylor, Anton Nekrutenko:
The Galaxy platform for accessible, reproducible and collaborative biomedical analyses: 2020 update. Nucleic Acids Res. 48(Webserver-Issue): W395-W402 (2020) - Daniel K. Crane, Mark S. Gockenbach, Matthew J. Roberts:
Approximating the Singular Value Expansion of a Compact Operator. SIAM J. Numer. Anal. 58(2): 1295-1318 (2020) - Mark Shifrin, Daniel S. Menasché, Asaf Cohen, Dennis Goeckel, Omer Gurewitz:
Optimal PHY Configuration in Wireless Networks. IEEE/ACM Trans. Netw. 28(6): 2601-2614 (2020) - 2019
- Mathieu Le Goc, Charles Perin, Sean Follmer, Jean-Daniel Fekete, Pierre Dragicevic:
Dynamic Composite Data Physicalization Using Wheeled Micro-Robots. IEEE Trans. Vis. Comput. Graph. 25(1): 737-747 (2019) - Robert Schöne, Thomas Ilsche, Mario Bielert, Andreas Gocht, Daniel Hackenberg:
Energy Efficiency Features of the Intel Skylake-SP Processor and Their Impact on Performance. HPCS 2019: 399-406 - Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich:
Using Relational Verification for Program Slicing. SEFM 2019: 353-372 - Robert Schöne, Thomas Ilsche, Mario Bielert, Andreas Gocht, Daniel Hackenberg:
Energy Efficiency Features of the Intel Skylake-SP Processor and Their Impact on Performance. CoRR abs/1905.12468 (2019) - 2018
- Enis Afgan, Dannon Baker, Bérénice Batut, Marius van den Beek, Dave Bouvier, Martin Cech, John Chilton, Dave Clements, Nate Coraor, Björn A. Grüning, Aysam Guerler, Jennifer Hillman-Jackson, Saskia D. Hiltemann, Vahid Jalili, Helena Rasche, Nicola Soranzo, Jeremy Goecks, James Taylor, Anton Nekrutenko, Daniel J. Blankenberg:
The Galaxy platform for accessible, reproducible and collaborative biomedical analyses: 2018 update. Nucleic Acids Res. 46(Webserver-Issue): W537-W544 (2018) - Kathryn L. West, Nathaniel D. Kelm, Robert P. Carson, Daniel C. Alexander, Daniel F. Gochberg, Mark D. Does:
Experimental studies of g-ratio MRI in ex vivo mouse brain. NeuroImage 167: 366-371 (2018) - Kathryn L. West, Nathaniel D. Kelm, Robert P. Carson, Daniel F. Gochberg, Kevin C. Ess, Mark D. Does:
Myelin volume fraction imaging with MRI. NeuroImage 182: 511-521 (2018) - Daniel Gotsch, Xujing Zhang, Timothy Merritt, Roel Vertegaal:
TeleHuman2: A Cylindrical Light Field Teleconferencing System for Life-size 3D Human Telepresence. CHI 2018: 522 - Idilia Batchkova, Daniela Gocheva, Tsvetelina Ivanova, Yordan Belev:
Semantic Interoperability of Agent-based Cyber-Physical Systems. IEEE Conf. on Intelligent Systems 2018: 842-849 - 2017
- Joseph Schuchart, Michael Gerndt, Per Gunnar Kjeldsberg, Michael Lysaght, David Horák, Lubomír Ríha, Andreas Gocht, Mohammed Sourouri, Madhura Kumaraswamy, Anamika Chowdhury, Magnus Jahre, Kai Diethelm, Othman Bouizi, Umbreen Sabir Mian, Jakub Kruzík, Radim Sojka, Martin Beseda, Venkatesh Kannan, Zakaria Bendifallah, Daniel Hackenberg, Wolfgang E. Nagel:
The READEX formalism for automatic tuning for energy efficiency. Computing 99(8): 727-745 (2017) - Albrecht Kurze, Michael Storz, Arne Berger, Mathieu Le Goc, Lawrence H. Kim, Jean-Daniel Fekete, Pierre Dragicevic, Sean Follmer:
Demo hour. Interactions 24(3): 8-11 (2017) - Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Alexandros Palioudakis, Kai Salomaa:
State complexity of permutation on finite languages over a binary alphabet. Theor. Comput. Sci. 682: 67-78 (2017) - Daniel Brenner, Bryan J. Matlen, Michael J. Timms, Perman Gochyyev, Andrew Grillo-Hill, Kim Luttgen, Marina Varfolomeeva:
Modeling Student Learning Behavior Patterns in an Online Science Inquiry Environment. Technol. Knowl. Learn. 22(3): 405-425 (2017) - Thomas Ilsche, Robert Schöne, Mario Bielert, Andreas Gocht, Daniel Hackenberg:
lo2s - Multi-core System and Application Performance Analysis for Linux. CLUSTER 2017: 801-804 - Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich:
SemSlice: Exploiting Relational Verification for Automatic Program Slicing. IFM 2017: 312-319 - Mark Shifrin, Daniel Sadoc Menasché, Asaf Cohen, Omer Gurewitz, Dennis Goeckel:
An SMDP approach to optimal PHY configuration in wireless networks. WONS 2017: 128-135 - 2016
- Harshit Agrawal, Udayan Umapathi, Robert Kovacs, Johannes Frohnhofen, Hsiang-Ting Chen, Stefanie Mueller, Patrick Baudisch, Calvin Rubens, Sean Braley, Antonio Gomes, Daniel Goc, Xujing Zhang, Juan Pablo Carrascal, Roel Vertegaal, Yu-Hsuan Huang, Tzu-Chieh Yu, Pei-Hsuan Tsai, Yu-Xiang Wang, Wan-ling Yang, Hao-Yu Chang, Yu-Kai Chiu, Yu-Ju Tsai, Ming Ouhyoung, Munehiko Sato, Rohan S. Puri, Alex Olwal, Deepak Chandra, Ivan Poupyrev, Ramesh Raskar:
Demo hour. Interactions 23(2): 8-11 (2016)
skipping 62 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-03 20:53 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint