• 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.

found 278 matches

• 2024
• 
  Irene Kahvazadeh, Edwin Jose, Alvis Cheuk M. Fong, Ajay K. Gupta, Steven M. Carr, Shameek Bhattacharjee, Michael Harnar:
  Development and evaluation of a modular experiential learning curriculum for promoting AI readiness. Educ. Inf. Technol. 29(3): 3445-3459 (2024)
• 
  Hongyan Gu, Chunxu Yang, Shino Magaki, Neda Zarrin-Khameh, Nelli S. Lakis, Inma Cobos, Negar Khanlou, Xinhai R. Zhang, Jasmeet Assi, Joshua T. Byers, Ameer Hamza, Karam Han, Anders Meyer, Hilda Mirbaha, Carrie A. Mohila, Todd M. Stevens, Sara L. Stone, Wenzhong Yan, Mohammad Haeri, Xiang 'Anthony' Chen:
  Majority voting of doctors improves appropriateness of AI reliance in pathology. Int. J. Hum. Comput. Stud. 190: 103315 (2024)
• 
  Guanghui Zhang, Carlos D. Carrasco, Kurt Winsler, Brett Bahle, Fengyu Cong, Steven J. Luck:
  Assessing the effectiveness of spatial PCA on SVM-based decoding of EEG data. NeuroImage 293: 120625 (2024)
• 
  Kelly Rootes-Murdy, Sandeep R. Panta, Ross Kelly, Javier Tomas Romero, Yann Quidé, Murray J. Cairns, C. M. Loughland, Vaughan J. Carr, Stanley V. Catts, Assen Jablensky, Melissa J. Green, Frans Henskens, Dylan Kiltschewskij, Patricia T. Michie, Bryan J. Mowry, Christos Pantelis, Paul E. Rasser, William R. Reay, Ulrich Schall, Rodney J. Scott, Oliver J. Watkeys, Gloria M. P. Roberts, Philip B. Mitchell, Janice M. Fullerton, Bronwyn J. Overs, Masataka Kikuchi, Ryota Hashimoto, Junya Matsumoto, Masaki Fukunaga, Perminder S. Sachdev, Henry Brodaty, Wei Wen, Jiyang Jiang, Negar Fani, Timothy D. Ely, Adriana Lorio, Jennifer S. Stevens, Kerry J. Ressler, Tanja Jovanovic, Sanne J. H. van Rooij, Lydia M. Federmann, Christiane Jockwitz, Alexander Teumer, Andreas J. Forstner, Svenja Caspers, Sven Cichon, Sergey M. Plis, Anand D. Sarwate, Vince D. Calhoun:
  Cortical similarities in psychiatric and mood disorders identified in federated VBM analysis via COINSTAC. Patterns 5(7): 100987 (2024)
• 
  Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu:
  Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems. MLSys 2024
• 
  Wei Ye, Xinyue Hu, Steven Sleder, Anlan Zhang, Udhaya Kumar Dayalan, Ahmad Hassan, Rostand A. K. Fezeu, Akshay Jajoo, Myungjin Lee, Eman Ramadan, Feng Qian, Zhi-Li Zhang:
  Dissecting Carrier Aggregation in 5G Networks: Measurement, QoE Implications and Prediction. SIGCOMM 2024: 340-357
• 
  Abbi Ward, Jimmy Li, Julie Wang, Sriram Lakshminarasimhan, Ashley Carrick, Bilson J. L. Campana, Jay Hartford, Pradeep Kumar S, Tiya Tiyasirichokchai, Sunny Virmani, Renee Wong, Yossi Matias, Gregory S. Corrado, Dale R. Webster, Dawn Siegel, Steven Lin, Justin Ko, Alan Karthikesalingam, Christopher Semturs, Pooja Rao:
  Crowdsourcing Dermatology Images with Google Search Ads: Creating a Real-World Skin Condition Dataset. CoRR abs/2402.18545 (2024)
• 
  Hongyan Gu, Chunxu Yang, Shino Magaki, Neda Zarrin-Khameh, Nelli S. Lakis, Inma Cobos, Negar Khanlou, Xinhai R. Zhang, Jasmeet Assi, Joshua T. Byers, Ameer Hamza, Karam Han, Anders Meyer, Hilda Mirbaha, Carrie A. Mohila, Todd M. Stevens, Sara L. Stone, Wenzhong Yan, Mohammad Haeri, Xiang 'Anthony' Chen:
  Majority Voting of Doctors Improves Appropriateness of AI Reliance in Pathology. CoRR abs/2404.04485 (2024)
• 
  Steven R. Shave, Richard Kasprowicz, Abdullah M. Athar, Denise Vlachou, Neil O. Carragher, Cuong Q. Nguyen:
  Leak Proof CMap; a framework for training and evaluation of cell line agnostic L1000 similarity methods. CoRR abs/2404.18960 (2024)
• 
  Marco Tezzele, Steven Carr, Ufuk Topcu, Karen E. Willcox:
  Adaptive planning for risk-aware predictive digital twins. CoRR abs/2407.20490 (2024)
• 2023
• 
  Steven R. Shave, John C. Dawson, Abdullah M. Athar, Cuong Q. Nguyen, Richard Kasprowicz, Neil O. Carragher:
  Phenonaut: multiomics data integration for phenotypic space exploration. Bioinform. 39(4) (2023)
• 
  Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu:
  Dynamic Certification for Autonomous Systems. Commun. ACM 66(9): 64-72 (2023)
• 
  Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu:
  Formal Methods for Autonomous Systems. Found. Trends Syst. Control. 10(3-4): 180-407 (2023)
• 
  André M. Carrington, Douglas G. Manuel, Paul W. Fieguth, Tim Ramsay, Venet Osmani, Bernhard Wernly, Carol Bennett, Steven Hawken, Olivia Magwood, Yusuf Sheikh, Matthew McInnes, Andreas Holzinger:
  Deep ROC Analysis and AUC as Balanced Average Accuracy, for Improved Classifier Selection, Audit and Explanation. IEEE Trans. Pattern Anal. Mach. Intell. 45(1): 329-341 (2023)
• 
  Oualid El Hajouji, Ran Sun, Alban Zammit, Keith Humphreys, Steven M. Asch, Ian Carroll, Catherine M. Curtin, Tina Hernandez-Boussard:
  Prediction of opioid-related outcomes in a medicaid surgical population: Evidence to guide postoperative opiate therapy and monitoring. PLoS Comput. Biol. 19(8) (2023)
• 
  Steve Macenski, Alberto Soragna, Michael Carroll, Zhenpeng Ge:
  Impact of ROS 2 Node Composition in Robotic Systems. IEEE Robotics Autom. Lett. 8(7): 3996-4003 (2023)
• 
  Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
  Safe Reinforcement Learning via Shielding under Partial Observability. AAAI 2023: 14748-14756
• 
  Leonardo Escamilla, Luis Rodolfo García Carrillo, Steven Sandoval, Eduardo Steed Espinoza Quesada:
  Stabilization and trajectory tracking of a subactuated aircraft based on a Geometric Algebra approach. ACC 2023: 3233-3238
• 
  Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu:
  Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems ^*. CCTA 2023: 1115-1121
• 
  Jacob M. Carroll, Meredith Reed Smoot, Courtney C. Bauer, Jue Hou, Steven M. Wright:
  Low-cost MRI System for Teaching. EMBC 2023: 1-4
• 
  Wesam Fadheel, Steve Carr, Wassnaa Al-Mawee:
  On Phishing: Proposing a Traffic Behavior-Based Model to Detect, Prevent, and Classify Webpage Suspicious and Malicious Activities. ICAIC 2023: 1-8
• 
  Diego Carraro, Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown:
  Performance and Energy Savings Trade-Off with Uncertainty-Aware Cloud Workload Forecasting. ICNP 2023: 1-6
• 
  Ulrik Gliese, David Kubalak, Zakk Rhodes, Craig R. Auletti, Sachidananda R. Babu, Branimir Blagojevic, Kasey Boggs, Robert Bousquet, Gregory Bredthauer, Gary L. Brown, Nga T. Cao, Thomas L. Capon, James Champagne, Leland H. Chemerys, Felix N. Chi, Brian L. Clemons, James Cook, William B. Cook, Nicholas P. Costen, Kevin R. Dahya, Paul V. Dizon, Roy Esplin, Robert Estep, Ali Feizi, Steven H. Feng, Eric T. Gorman, Jeffrey Guzek, Omar Haddad, Claef F. Hakun, Locksley B. Haynes, Michael J. Hersh, Carrie S. Hill, David G. Holliday, Luis Ramos-Izquierdo, Kim S. Jepsen, Emily Kan, Bradford P. Kercheval, Saman Kholdebarin, Joseph J. Knuble, Anh T. La, Erik D. Laurila, Michael R. Lin, Wei Lu, Albert J. Mariano, Lane A. Meier, Gerhard Meister, Bryan Monosmith, David Mott, Michael M. Mulloney, Quang V. Nguyen, Thomas J. Nolan, Matthew A. Owens, James Peterson, Manuel A. Quijada, Knute A. Ray, Kenneth Squire, Christopher P. Stull, Joe Thomes, Eugene Waluschka, Yiting Wen, Mark E. Wilson, Jeremy Werdell:
  Optical and Detector Design of the Ocean Color Instrument for the NASA Pace Mission. IGARSS 2023: 1337-1340
• 
  Philippe Martimort, Bernardo Carnicero Domínguez, Arnaud Hélière, Josep Rosello, Martin Süss, Jean-Christophe Angevain, Adrien Bardou, Frederik Bräuer, Christophe Buisset, Thomas Burger, Simone Rafano Carnà, Olivier Carraz, Erik De Witte, Valerie Dutto, Mauro Federici, Steven George, Wilfried Glastre, Valeria Gracheva, Kevin Hall, Flávio Jorge, Dulce Lajas, Arnaud Lecuyot, Nicole Liu, Juliette Lambin, Armin Löscher, Alizée Malavart, Valentina Marchese, Flavio Mariani, Petronilo Martin-Iglesias, Luca Massotti, Nicola Melega, Kyle Palmer, Agne Paskeviciute, Luca Schifano, Pierluigi Silvestrin, Yan Soldo, Aaron Strangfeld, Michel Tossaint, Katia Nagamine Urata, Pierre Vignaud, Roman Windpassinger:
  On-Going and Planned Mission Concept Studies for the Preparation of Future ESA Earth Observation Satellites. IGARSS 2023: 4582-4585
• 
  Steven F. T. Porretta, Stéphane Blouin, Michel Barbeau, Evangelos Kranakis, Aaron Webstey:
  Adaptive Virtual Carrier Sense in Underwater Broadcasting. WUWNet 2023: 24:1-24:8
• 
  Steve Macenski, Alberto Soragna, Michael Carroll, Zhenpeng Ge:
  Impact of ROS 2 Node Composition in Robotic Systems. CoRR abs/2305.09933 (2023)
• 
  Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu:
  Fine-Tuning Language Models Using Formal Methods Feedback. CoRR abs/2310.18239 (2023)
• 
  Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu:
  Formal Methods for Autonomous Systems. CoRR abs/2311.01258 (2023)
• 2022
• 
  Sirwe Saeedi, Alvis Cheuk Ming Fong, Saraju P. Mohanty, Ajay K. Gupta, Steve Carr:
  Consumer Artificial Intelligence Mishaps and Mitigation Strategies. IEEE Consumer Electron. Mag. 11(3): 13-24 (2022)
• 
  Colleen Carraher Wolverton, Brandi N. Guidry Hollier, Ignatius Cahyanto, David P. Stevens:
  The role of perceived attributes of innovations in the adoption of smartwatches. J. Syst. Inf. Technol. 24(4): 407-438 (2022)

skipping 248 more matches