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
Exact matches
Likely matches
- Michael Ortega-Binderberger
aka: Michael Ortega, Michaël Ortega
Google - Jann O. Binder
- Jörg-Olliver Fischer-Binder
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 137 matches
- 2024
- Nicholas Satterlee, Elisa Torresani, Eugene Olevsky, John S. Kang:
Automatic detection and characterization of porosities in cross-section images of metal parts produced by binder jetting using machine learning and image augmentation. J. Intell. Manuf. 35(3): 1281-1303 (2024) - David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann:
Deriving Dependently-Typed OOP from First Principles. Proc. ACM Program. Lang. 8(OOPSLA1): 983-1009 (2024) - Hakan T. Otal, Elyse Zavar, Sherri B. Binder, Alex Greer, Muhammed Abdullah Canbaz:
Harnessing Deep Learning and Satellite Imagery for Post-Buyout Land Cover Mapping. CoRR abs/2401.07500 (2024) - David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann:
Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices. CoRR abs/2403.06707 (2024) - David Binder, Marco Tzschentke, Marius Müller, Klaus Ostermann:
Grokking the Sequent Calculus (Functional Pearl). CoRR abs/2406.14719 (2024) - 2023
- Alix Goguey, Michael Ortega:
Studies and guidelines for two concurrent stroke gestures. Int. J. Hum. Comput. Stud. 170: 102942 (2023) - Nour Jamal Jaradat, Mámon M. Hatmal, Dana Alqudah, Mutasem Omar Taha:
Computational workflow for discovering small molecular binders for shallow binding sites by integrating molecular dynamics simulation, pharmacophore modeling, and machine learning: STAT3 as case study. J. Comput. Aided Mol. Des. 37(12): 659-678 (2023) - Nour Jamal Jaradat, Mámon M. Hatmal, Dana Alqudah, Mutasem Omar Taha:
Correction to: Computational workflow for discovering small molecular binders for shallow binding sites by integrating molecular dynamics simulation, pharmacophore modeling, and machine learning: STAT3 as case study. J. Comput. Aided Mol. Des. 37(12): 679 (2023) - Payam Kelich, Huanhuan Zhao, Jose R. Orona, Lela Vukovic:
BinderSpace: A package for sequence space analyses for datasets of affinity-selected oligonucleotides and peptide-based molecules. J. Comput. Chem. 44(22): 1836-1844 (2023) - Matteo Basso, Andrea Rosà, Luca Omini, Walter Binder:
Java Vector API: Benchmarking and Performance Analysis. CC 2023: 1-12 - Rodrigo Lemos, Tiago Heinrich, Newton Carlos Will, Rafael R. Obelheiro, Carlos Alberto Maziero:
Inspecting Binder Transactions to Detect Anomalies in Android. SysCon 2023: 1-8 - Rasha U. Abbasi, Markus Ackermann, Jenni Adams, J. A. Aguilar, Markus Ahlers, Markus Ahrens, J. M. Alameddine, Antonio Augusto Alves Jr., Najia Moureen Amin, Karen Andeen, Tyler Anderson, Gisela Anton, Carlos A. Argüelles, Y. Ashida, S. Athanasiadou, S. Axani, Xinhua Bai, A. Balagopal V., Steven W. Barwick, Vedant Basu, S. Baur, Ryan Bay, James J. Beatty, Karl-Heinz Becker, Julia K. Becker Tjus, J. Beise, Chiara Bellenghi, S. Benda, Segev BenZvi, David Berley, Elisa Bernardini, David Z. Besson, Gary Binder, Daniel Bindig, Erik Blaufuss, Summer Blot, M. Boddenberg, F. Bontempo, J. Y. Book, J. Borowka, Sebastian Böser, Olga Botner, Jakob Böttcher, Etienne Bourbeau, Federica Bradascio, J. Braun, B. Brinson, Stephanie Bron, Jannes Brostean-Kaiser, R. T. Burley, Raffaela S. Busse, Michael A. Campana, E. G. Carnie-Bronca, Chujie Chen, Z. Chen, Dmitry Chirkin, K. Choi, B. A. Clark, Ken Clark, Lew Classen, Alan Coleman, Gabriel H. Collin, A. Connolly, Janet Marie Conrad, et al.:
Observation of high-energy neutrinos from the Galactic plane. CoRR abs/2307.04427 (2023) - 2022
- Jeremy J. Yang, Christopher Gessner, Joel Duerksen, Daniel Biber, Jessica L. Binder, Murat Ozturk, Brian Foote, Robin McEntire, Kyle Stirling, Ying Ding, David J. Wild:
Knowledge graph analytics platform with LINCS and IDG for Parkinson's disease target illumination. BMC Bioinform. 23(1): 37 (2022) - Olaposi I. Omotuyi, Olujide O. Olubiyi, Oyekanmi Nash, Elizabeth Afolabi, E. Babatunji Oyinloye, Segun A. Fatumo, Mbang Femi-Oyewo, Suleiman Bogoro:
SARS-CoV-2 Omicron spike glycoprotein receptor binding domain exhibits super-binder ability with ACE2 but not convalescent monoclonal antibody. Comput. Biol. Medicine 142: 105226 (2022) - Yanjun Li, Daohong Zhou, Guangrong Zheng, Xiaolin Li, Dapeng Wu, Yaxia Yuan:
DyScore: A Boosting Scoring Method with Dynamic Properties for Identifying True Binders and Nonbinders in Structure-Based Drug Discovery. J. Chem. Inf. Model. 62(22): 5550-5567 (2022) - Van-Ngoc Pham, Erwin Oh, Dominic E. L. Ong:
Effects of binder types and other significant variables on the unconfined compressive strength of chemical-stabilized clayey soil using gene-expression programming. Neural Comput. Appl. 34(11): 9103-9121 (2022) - Phillip J. Brown, J. Edward F. Green, Benjamin J. Binder, James M. Osborne:
Publisher Correction: A rigid body framework for multicellular modeling. Nat. Comput. Sci. 2(1): 59 (2022) - Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen:
Introduction and elimination, left and right. Proc. ACM Program. Lang. 6(ICFP): 438-465 (2022) - Frank Binder, Jana Diels, Julian Balling, Oliver Albrecht, Robert Sachunsky, J. Nathanael Philipp, Yvonne Scheurer, Marlene Münsch, Markus Otto, Andreas Niekler, Gerhard Heyer, Christian Thorun:
Putting Users in the Loop: How User Research Can Guide AI Development for a Consumer-Oriented Self-service Portal. HCI (23) 2022: 3-19 - Eduardo Rosales, Andrea Rosà, Matteo Basso, Alex Villazón, Adriana Orellana, Ángel Zenteno, Jhon Rivero, Walter Binder:
Characterizing Java Streams in the Wild. ICECCS 2022: 143-152 - David Binder, Ingo Skupin, David Läwen, Klaus Ostermann:
Structural refinement types. TyDe@ICFP 2022: 15-27 - Johannes Müller, Aleksandra Titova, Hongsik Yoon, Thomas Merbeth, Martin Weisheit, Georg Wolf, Sanjeeb Bharali, Bert Pfefferling, Yuichi Otani, Tetyana Shapoval, Alberto Cagliani, Ferenc Vajda, Pedram Sadeghi, Christiana Villas-Boas Grimm, Frank Krause, Ines Altendorf, Gabriele Congedo, Robert Binder, Joachim Metzger, Alexander Lajn, Markus Langner, Young Seon You, Oliver Kallensee, Vinayak Bharat Naik, Kazutaka Yamane, Steven Soss:
From Emergence to Prevalence: 22FDX® Embedded STT-MRAM. IMW 2022: 1-4 - Pedro L. Esquinas, Yen-Fu Luo, Parisa Farzam, Tyler Baldwin, Moshe Raboh, Thomas Binder, Arkadiusz Sitek, Omid Sakhi, Yi-Qing Wang, Sameer Suman, Giovanni Palma, Paul Dufort, Ben Graf:
Evaluation of an Automated Method to Detect Missed Focal Liver Findings In Single-Phase CT Images of The Abdomen. ISBI 2022: 1-5 - Markus Osenberg, André Hilger, Matthias Neumann, Amalia Wagner, Nicole Bohn, Joachim R. Binder, Volker Schmidt, John Banhart, Ingo Manke:
Classification of FIB/SEM-tomography images for highly porous multiphase materials using random forest classifiers. CoRR abs/2207.14114 (2022) - Rasha U. Abbasi, Markus Ackermann, Jenni Adams, N. Aggarwal, J. A. Aguilar, Markus Ahlers, Markus Ahrens, J. M. Alameddine, Antonio Augusto Alves Jr., Najia Moureen Amin, Karen Andeen, Tyler Anderson, Gisela Anton, Carlos A. Argüelles, Y. Ashida, S. Athanasiadou, S. Axani, Xinhua Bai, A. Balagopal V., M. Baricevic, Steven W. Barwick, Vedant Basu, Ryan Bay, James J. Beatty, Karl-Heinz Becker, Julia K. Becker Tjus, J. Beise, Chiara Bellenghi, S. Benda, Segev BenZvi, David Berley, Elisa Bernardini, David Z. Besson, Gary Binder, Daniel Bindig, Erik Blaufuss, Summer Blot, F. Bontempo, J. Y. Book, J. Borowka, C. Boscolo Meneguolo, Sebastian Böser, Olga Botner, Jakob Böttcher, Etienne Bourbeau, J. Braun, B. Brinson, Jannes Brostean-Kaiser, R. T. Burley, Raffaela S. Busse, Michael A. Campana, E. G. Carnie-Bronca, Chujie Chen, Z. Chen, Dmitry Chirkin, K. Choi, B. A. Clark, Lew Classen, Alan Coleman, Gabriel H. Collin, A. Connolly, Janet Marie Conrad, et al.:
Graph Neural Networks for Low-Energy Event Classification & Reconstruction in IceCube. CoRR abs/2209.03042 (2022) - David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann:
Data-Codata Symmetry and its Interaction with Evaluation Order. CoRR abs/2211.13004 (2022) - 2021
- Candelaria Mosquera, Facundo Nahuel Diaz, Fernando Binder, Jose Martin Rabellino, Sonia Elizabeth Benítez, Alejandro Daniel Beresñak, Alberto Seehaus, Gabriel Ducrey, Jorge Alberto Ocantos, Daniel Roberto Luna:
Chest x-ray automated triage: A semiologic approach designed for clinical implementation, exploiting different types of labels through a combination of four Deep Learning architectures. Comput. Methods Programs Biomed. 206: 106130 (2021) - Phillip J. Brown, J. Edward F. Green, Benjamin J. Binder, James M. Osborne:
A rigid body framework for multicellular modeling. Nat. Comput. Sci. 1(11): 754-766 (2021) - Omid Safdarzadeh, Martin Weicker, Andreas Binder:
Steady-state Thermal Analysis of the Contact in Bearings Exposed to Electrical Currents. IECON 2021: 1-6 - Christoph Binder, Werner Leiter, Oliver Joebstl, Lukas Mair, Christian Neureiter, Arndt Lüder:
Utilizing an Enterprise Architecture Framework for Model-Based Industrial Systems Engineering. INDIN 2021: 1-6
skipping 107 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-10-19 02:24 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