Остановите войну!
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
Exact matches
Likely matches
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 94 matches
- 2024
- Rance Cleaveland, Jeroen J. A. Keiren:
Extensible Proof Systems for Infinite-State Systems. ACM Trans. Comput. Log. 25(1): 2:1-2:60 (2024) - 2023
- Bahman Nouri Rahmat Abadi, Andrew West, Harriet Peel, Matthew Nancekievill, Christopher Ballard, Barry Lennox, Ognjen Marjanovic, Keir Groves:
Corrigendum: CARMA II: a ground vehicle for autonomous surveying of alpha, beta and gamma radiation. Frontiers Robotics AI 10 (2023) - Bahman Nouri Rahmat Abadi, Andrew West, Harriet Peel, Matthew Nancekievill, Christopher Ballard, Barry Lennox, Ognjen Marjanovic, Keir Groves:
CARMA II: A ground vehicle for autonomous surveying of alpha, beta and gamma radiation. Frontiers Robotics AI 10 (2023) - Renisha Redij, Avneet Kaur, Pratyusha Muddaloor, Arshia K. Sethi, Keirthana Aedma, Anjali Rajagopal, Keerthy Gopalakrishnan, Ashima Yadav, Devanshi N. Damani, Victor G. Chedid, Xiao Jing Wang, Christopher A. Aakre, Alexander J. Ryu, Shivaram Poigai Arunachalam:
Practicing Digital Gastroenterology through Phonoenterography Leveraging Artificial Intelligence: Future Perspectives Using Microwave Systems. Sensors 23(4): 2302 (2023) - Andrew Gozillon, Hossein Haeri, James Riordan, Paul Keir:
Compiler Support for Parallel Evaluation of C++ Constant Expressions. FedCSIS 2023: 481-490 - Raymond Holder, Mark Carey, Patrick Walder, Paul Keir:
MoonBase VR: Learning to program in a virtual reality game. ICIEI 2023: 74-80 - Dylan Angus, Svetlozar Georgiev, Hector Arroyo Gonzalez, James Riordan, Paul Keir, Mehdi Goli:
Porting SYCL accelerated neural network frameworks to edge devices. IWOCL 2023: 4:1 - Andrew Gozillon, Seyed Hossein Haeri, James Riordan, Paul Keir:
Performance Analysis of Compiler Support for Parallel Evaluation of C++ Constant Expressions. KKIO@FedCSIS 2023: 129-152 - Xuan Zhang, Limei Wang, Jacob Helwig, Youzhi Luo, Cong Fu, Yaochen Xie, Meng Liu, Yuchao Lin, Zhao Xu, Keqiang Yan, Keir Adams, Maurice Weiler, Xiner Li, Tianfan Fu, Yucheng Wang, Haiyang Yu, Yuqing Xie, Xiang Fu, Alex Strasser, Shenglong Xu, Yi Liu, Yuanqi Du, Alexandra Saxton, Hongyi Ling, Hannah Lawrence, Hannes Stärk, Shurui Gui, Carl Edwards, Nicholas Gao, Adriana Ladera, Tailin Wu, Elyssa F. Hofgard, Aria Mansouri Tehrani, Rui Wang, Ameya Daigavane, Montgomery Bohde, Jerry Kurtin, Qian Huang, Tuong Phung, Minkai Xu, Chaitanya K. Joshi, Simon V. Mathis, Kamyar Azizzadenesheli, Ada Fang, Alán Aspuru-Guzik, Erik J. Bekkers, Michael M. Bronstein, Marinka Zitnik, Anima Anandkumar, Stefano Ermon, Pietro Liò, Rose Yu, Stephan Günnemann, Jure Leskovec, Heng Ji, Jimeng Sun, Regina Barzilay, Tommi S. Jaakkola, Connor W. Coley, Xiaoning Qian, Xiaofeng Qian, Tess E. Smidt, Shuiwang Ji:
Artificial Intelligence for Science in Quantum, Atomistic, and Continuum Systems. CoRR abs/2307.08423 (2023) - Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana:
Expressiveness Results for Timed Modal Mu-Calculi. CoRR abs/2310.04100 (2023) - Hector Arroyo Gonzalez, Paul Keir, Dylan Angus, Santiago Matalonga, Svetlozar Georgiev, Mehdi Goli, Gerard Dooly, James Riordan:
Segmentation of Drone Collision Hazards in Airborne RADAR Point Clouds Using PointNet. CoRR abs/2311.03221 (2023) - 2022
- Keirnan Fowler, Natasha Ballis, Avril C. Horne, Andrew John, Rory Nathan, Murray C. Peel:
Integrated framework for rapid climate stress testing on a monthly timestep. Environ. Model. Softw. 150: 105339 (2022) - Ayesha Kousar, Shivam Damani, Priyanka Anvekar, Arush Rajotia, Keerthy Gopalakrishnan, Bhavana Baraskar, Vaishnavi K. Modi, Keirthana Aedma, Joshika Agarwal, Hima Varsha Voruganti, Mansunderbir Singh, Enis Kostallari, Shivaram Poigai Arunachalam:
Deep Learning Based Classiftcation of Normal and Hepatic Fibrosis Mouse Model Using Digital Pathology Images. BIBM 2022: 2308-2313 - Jeroen J. A. Keiren, Rance Cleaveland:
Extensible Proof Systems for Infinite-State Systems. CoRR abs/2207.12953 (2022) - Omar Shaur Choudhry, Paul Omara Odida, Joshua Reiner, Keiron Appleyard, Danielle Kushnir, William Toon:
Data Collection and Analysis of French Dialects. CoRR abs/2208.00752 (2022) - 2021
- Catherine Holloway, William Bhot, Keir X. X. Yong, Ian McCarthy, Tatsuto Suzuki, Amelia Carton, Biao Yang, Robin Serougne, Derrick Boampong, Nick Tyler, Sebastian J. Crutch, Nadia Berthouze, Youngjun Cho:
STEP-UP: Enabling Low-Cost IMU Sensors to Predict the Type of Dementia During Everyday Stair Climbing. Frontiers Comput. Sci. 3: 804917 (2021) - William Richardson, Tamzen K. Stringham, Wade Lieurance, Keirith A. Snyder:
Changes in Meadow Phenology in Response to Grazing Management at Multiple Scales of Measurement. Remote. Sens. 13(20): 4028 (2021) - Beining Han, Chongyi Zheng, Harris Chan, Keiran Paster, Michael R. Zhang, Jimmy Ba:
Learning Domain Invariant Representations in Goal-conditioned Block MDPs. NeurIPS 2021: 764-776 - Beining Han, Chongyi Zheng, Harris Chan, Keiran Paster, Michael R. Zhang, Jimmy Ba:
Learning Domain Invariant Representations in Goal-conditioned Block MDPs. CoRR abs/2110.14248 (2021) - 2020
- Mehdi Rajabi Asadabadi, Elizabeth Chang, Keiran Sharpe:
Requirement ambiguity and fuzziness in large-scale projects: The problem and potential solutions. Appl. Soft Comput. 90: 106148 (2020) - Mehdi Rajabi Asadabadi, Elizabeth Chang, Ofer Zwikael, Morteza Saberi, Keiran Sharpe:
Hidden fuzzy information: Requirement specification and measurement of project provider performance using the best worst method. Fuzzy Sets Syst. 383: 127-145 (2020) - Kyriaki Mengoudi, Daniele Ravì, Keir X. X. Yong, Silvia Primativo, Ivanna M. Pavisic, Emilie Brotherhood, Kirsty Lu, Jonathan M. Schott, Sebastian J. Crutch, Daniel C. Alexander:
Augmenting Dementia Cognitive Assessment With Instruction-Less Eye-Tracking Tests. IEEE J. Biomed. Health Informatics 24(11): 3066-3075 (2020) - Raymond Holder, Mark Carey, Paul Keir:
Virtual Reality vs Pancake Environments: A Comparison of Interaction on Immersive and Traditional Screens. AVR (1) 2020: 114-129 - Stuart Iain Gray, Rachel Hahn, Kirsten Cater, Debbie Watson, Keir Williams, Tom Metcalfe, Chloe Meineck:
Towards A Design For Life: Redesigning For Reminiscence With Looked After Children. CHI 2020: 1-14 - 2019
- Ardhendu Behera, Andrew G. Gidney, Zachary Wharton, Daniel Robinson, Keiron Quinn:
A CNN Model for Head Pose Recognition using Wholes and Regions. FG 2019: 1-2 - Razvan V. Marinescu, Marco Lorenzi, Stefano B. Blumberg, Alexandra L. Young, Pere Planell-Morell, Neil P. Oxtoby, Arman Eshaghi, Keir X. Yong, Sebastian J. Crutch, Polina Golland, Daniel C. Alexander:
Disease Knowledge Transfer Across Neurodegenerative Diseases. MICCAI (2) 2019: 860-868 - Razvan V. Marinescu, Marco Lorenzi, Stefano B. Blumberg, Alexandra L. Young, Pere P. Morell, Neil P. Oxtoby, Arman Eshaghi, Keir X. Yong, Sebastian J. Crutch, Daniel C. Alexander:
Disease Knowledge Transfer across Neurodegenerative Diseases. CoRR abs/1901.03517 (2019) - 2018
- Gregory Rolan, Joanne Evans, Jane Bone, Antonina Lewis, Frank Golding, Jacqueline Wilson, Sue McKemmish, Philip Mendes, Keir Reeves:
Weapons of affect: The imperative for transdisciplinary information systems design. ASIST 2018: 420-429 - Cooper J. Park, Keir J. Macartney, Junfu Shen, Kunpeng Xie, Xin Zhang, R. Daniel Bergeron, W. Kelley Thomas, Cheryl P. Andam, Anthony Westbrook:
A Novel Approach for Increasing Taxonomic Resolution in Protein-Based Alignments. BCB 2018: 538 - 2017
- Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland:
Corrections to "A Menagerie of Timed Automata". ACM Comput. Surv. 50(3): 42:1-42:8 (2017)
skipping 64 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-09-03 14:15 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