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
- Jonathan Woodring
aka: Jon Woodring - Jonathan Woodbridge
- Jonathan Woodruff
- Jon B. Woodroof
aka: Jonathan B. Woodroof
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 277 matches
- 2024
- Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis:
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots 48(6-7): 14 (2024) - François-Alexandre Tremblay, Audrey Durand, Michael Morin, Philippe Marier, Jonathan Gaudreault:
Deep reinforcement learning for continuous wood drying production line control. Comput. Ind. 154: 104036 (2024) - Alexandre Joannou, Peter Rugg, Jonathan Woodruff, Franz A. Fuchs, Marno van der Maas, Matthew Naylor, Michael Roe, Robert N. M. Watson, Peter G. Neumann, Simon W. Moore:
Randomized Testing of RISC-V CPUs Using Direct Instruction Injection. IEEE Des. Test 41(1): 40-49 (2024) - Jean-Thomas Sexton, Michael Morin, Rémi Georges, Foroogh Abasian, Jonathan Gaudreault:
Wood planer control: Predictive and prescriptive approaches via Automatic State Matching Gaussian processes. Eng. Appl. Artif. Intell. 132: 107843 (2024) - Robert N. M. Watson, David Chisnall, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Ben Laurie, Simon W. Moore, Peter G. Neumann, Alexander Richardson, Peter Sewell, Konrad Witaszczyk, Jonathan Woodruff:
CHERI: Hardware-Enabled C/C++ Memory Protection at Scale. IEEE Secur. Priv. 22(4): 50-61 (2024) - Thomas Beaney, Sneha Jha, Asem Alaa, Alexander Smith, Jonathan Clarke, Thomas Woodcock, Azeem Majeed, Paul Aylin, Mauricio Barahona:
Comparing natural language processing representations of coded disease sequences for prediction in electronic health records. J. Am. Medical Informatics Assoc. 31(7): 1451-1462 (2024) - Ruslan Kotlyarov, Konstantinos Papachristos, Geoffrey P. F. Wood, Jonathan M. Goodman:
Leveraging Language Model Multitasking To Predict C-H Borylation Selectivity. J. Chem. Inf. Model. 64(10): 4286-4297 (2024) - Rachel E. Wood, Jinjuan Heidi Feng, Jonathan Lazar:
Health Data Visualization Literacy Skills of Young Adults with Down Syndrome and the Barriers to Inference-making. ACM Trans. Access. Comput. 17(1): 1 (2024) - Rachel E. Wood, Meagan Griffith, J. Bern Jordan, Gregg C. Vanderheiden, Jonathan Lazar, Maureen Kaine-Krolak, Matthew Ryson, Amarja Desai, David J. Folmar:
"Creatures of habit": influential factors to the adoption of computer personalization and accessibility settings. Univers. Access Inf. Soc. 23(2): 927-953 (2024) - Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert M. Norton, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson:
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety. ASPLOS (2) 2024: 251-268 - Miguel Ortiz del Castillo, Jonathan Morgan, Jack McRobbie, Clint Therakam, Zaher Joukhadar, Robert Mearns, Simon Barraclough, Richard O. Sinnott, Andrew Woods, Chris Bayliss, Kris Ehinger, Benjamin I. P. Rubinstein, James Bailey, Airlie Chapman, Michele Trenti:
Mitigating Challenges of the Space Environment for Onboard Artificial Intelligence: Design Overview of the Imaging Payload on SpIRIT. CVPR Workshops 2024: 6789-6798 - Matthew Niedoba, Dylan Green, Saeid Naderiparizi, Vasileios Lioutas, Jonathan Wilder Lavington, Xiaoxuan Liang, Yunpeng Liu, Ke Zhang, Setareh Dabiri, Adam Scibior, Berend Zwartsenberg, Frank Wood:
Nearest Neighbour Score Estimators for Diffusion Generative Models. ICML 2024 - Isaac J. Sledge, Dominic M. Byrne, Jonathan L. King, Steven H. Ostertag, Denton L. Woods, James L. Prater, Jermaine L. Kennedy, Timothy M. Marston, José C. Príncipe:
Weakly-Supervised Semantic Segmentation of Circular-Scan, Synthetic-Aperture-Sonar Imagery. CoRR abs/2401.11313 (2024) - Jonathan Yik Chang Ting, Andrew Thomas Agars Wood, Amanda Susan Barnard:
Sphractal: Estimating the Fractal Dimension of Surfaces Computed from Precise Atomic Coordinates via Box-Counting Algorithm. CoRR abs/2401.11737 (2024) - Saiful Khan, Scott Jones, Benjamin Bach, Jaehoon Cha, Min Chen, Julie Meikle, Jonathan C. Roberts, Jeyan Thiyagalingam, Jo Wood, Panagiotis D. Ritsos:
Feature-Action Design Patterns for Storytelling Visualizations with Time Series Data. CoRR abs/2402.03116 (2024) - Matthew Niedoba, Dylan Green, Saeid Naderiparizi, Vasileios Lioutas, Jonathan Wilder Lavington, Xiaoxuan Liang, Yunpeng Liu, Ke Zhang, Setareh Dabiri, Adam Scibior, Berend Zwartsenberg, Frank Wood:
Nearest Neighbour Score Estimators for Diffusion Generative Models. CoRR abs/2402.08018 (2024) - Miguel Ortiz del Castillo, Jonathan Morgan, Jack McRobbie, Clint Therakam, Zaher Joukhadar, Robert Mearns, Simon Barraclough, Richard O. Sinnott, Andrew Woods, Chris Bayliss, Kris Ehinger, Benjamin I. P. Rubinstein, James Bailey, Airlie Chapman, Michele Trenti:
Mitigating Challenges of the Space Environment for Onboard Artificial Intelligence: Design Overview of the Imaging Payload on SpIRIT. CoRR abs/2404.08399 (2024) - Dylan Green, William Harvey, Saeid Naderiparizi, Matthew Niedoba, Yunpeng Liu, Xiaoxuan Liang, Jonathan Wilder Lavington, Ke Zhang, Vasileios Lioutas, Setareh Dabiri, Adam Scibior, Berend Zwartsenberg, Frank Wood:
Semantically Consistent Video Inpainting with Conditional Diffusion Models. CoRR abs/2405.00251 (2024) - Jonathan Wilder Lavington, Ke Zhang, Vasileios Lioutas, Matthew Niedoba, Yunpeng Liu, Dylan Green, Saeid Naderiparizi, Xiaoxuan Liang, Setareh Dabiri, Adam Scibior, Berend Zwartsenberg, Frank Wood:
TorchDriveEnv: A Reinforcement Learning Benchmark for Autonomous Driving with Reactive, Realistic, and Diverse Non-Playable Characters. CoRR abs/2405.04491 (2024) - Matthew Watson, Divyashree Shivakumar Sreepathihalli, François Chollet, Martin Görner, Kiranbir Sodhia, Ramesh Sampath, Tirth Patel, Hai Jin, Neel Kovelamudi, Gabriel Rasskin, Samaneh Saadat, Luke Wood, Chen Qian, Jonathan Bischof, Ian Stenbit, Abheesht Sharma, Anshuman Mishra:
KerasCV and KerasNLP: Vision and Language Power-Ups. CoRR abs/2405.20247 (2024) - 2023
- Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, Jonathan Woodruff:
The Arm Morello Evaluation Platform - Validating CHERI-Based Security in a High-Performance System. IEEE Micro 43(3): 50-57 (2023) - Oscar Ramírez-Ayala, Iván González-Hernández, Sergio Salazar, Jonathan Flores, Rogelio Lozano:
Real-Time Person Detection in Wooded Areas Using Thermal Images from an Aerial Perspective. Sensors 23(22): 9216 (2023) - Berend Zwartsenberg, Adam Scibior, Matthew Niedoba, Vasileios Lioutas, Justice Sefas, Yunpeng Liu, Setareh Dabiri, Jonathan Wilder Lavington, Trevor Campbell, Frank Wood:
Conditional Permutation Invariant Flows. Trans. Mach. Learn. Res. 2023 (2023) - Neng Shi, Jiayi Xu, Haoyu Li, Hanqi Guo, Jonathan Woodring, Han-Wei Shen:
VDL-Surrogate: A View-Dependent Latent-based Model for Parameter Space Exploration of Ensemble Simulations. IEEE Trans. Vis. Comput. Graph. 29(1): 820-830 (2023) - Ali Raza, Thomas Unger, Matthew Boyd, Eric B. Munson, Parul Sohal, Ulrich Drepper, Richard Jones, Daniel Bristot de Oliveira, Larry Woodman, Renato Mancuso, Jonathan Appavoo, Orran Krieger:
Unikernel Linux (UKL). EuroSys 2023: 590-605 - Rachel E. Wood, Emma Dixon, Salma Elsayed-Ali, Ekta Shokeen, Amanda Lazar, Jonathan Lazar:
Exploring Future Personalization Opportunities in Technologies used by Older Adults with Mild to Moderate Dementia. HICSS 2023: 4077-4086 - Franz A. Fuchs, Jonathan Woodruff, Peter Rugg, Marno van der Maas, Alexandre Joannou, Alexander Richardson, Jessica Clarke, Nathaniel Wesley Filardo, Brooks Davis, John Baldwin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson:
Architectural Contracts for Safe Speculation. ICCD 2023: 578-586 - Vasileios Lioutas, Jonathan Wilder Lavington, Justice Sefas, Matthew Niedoba, Yunpeng Liu, Berend Zwartsenberg, Setareh Dabiri, Frank Wood, Adam Scibior:
Critic Sequential Monte Carlo. ICLR 2023 - Lucas F. Gerez, Jonathan T. Alvarez, Eva Debette, Oluwaseun A. Araromi, Robert J. Wood, Conor J. Walsh:
Investigating Changes in Muscle Coordination During Cycling with Soft Wearable Strain Sensors Sensitive to Muscle Deformation. ICORR 2023: 1-6 - Mert Side, Brody Williams, John D. Leidel, Jonathan Woodruff, Simon W. Moore, Yong Chen:
Towards xBGAS on CHERI: Supporting a Secure Global Memory. IPDPS Workshops 2023: 578-581
skipping 247 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-21 19:33 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