Search results for "Silver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	Daniel M. Berry	The Software Engineering Silver Bullet Conundrum.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
98	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson, August Schwerdfeger, Phil Russell	Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C.	SCAM	2006	DBLP DOI BibTeX RDF
83	Henry Balen, James Lapalme, Marc Frappier, Kevin P. Tyson	Domain specific languages: another silver bullet?	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	domain specific language, model driven development, silver bullet
81	Juan P. Casares, A. Chris Long, Brad A. Myers, Rishi Bhatnagar, Scott M. Stevens, Laura Dabbish, Dan Yocum, Albert T. Corbett	Simplifying video editng using metadata.	Symposium on Designing Interactive Systems	2002	DBLP DOI BibTeX RDF	Informedia., Silver, metadata, multimedia authoring, digital video editing
70	Steven Fraser 0001, Dennis Mancl	No Silver Bullet: Software Engineering Reloaded.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
69	Paulo H. Acioli, Narin Ratanavade, Michael R. Cline, Sudha Srinivas	Density Functional Theory Study of Ag-Cluster/CO Interactions.	ICCS (2)	2009	DBLP DOI BibTeX RDF
69	Steven Fraser 0001, Frederick P. Brooks Jr., Martin Fowler, Ricardo López, Aki Namioka, Linda M. Northrop, David Lorge Parnas, Dave A. Thomas	"No silver bullet" reloaded: retrospective on "essence and accidents of software engineering".	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	design, complexity, software, silver bullet
57	Victor Ovchinnikov, A. Shevchenko	Surface Plasmon Resonances in Diffusive Reflection Spectra of Multilayered Silver Nanocomposite Films.	ICQNM	2008	DBLP DOI BibTeX RDF	metal nanoclusters, ion-beam mixing, nanoparticle interaction, plasmon resonance
57	A. Chris Long, Juan P. Casares, Brad A. Myers, Rishi Bhatnagar, Scott M. Stevens, Laura Dabbish, Dan Yocum, Albert T. Corbett	SILVER: simplifying video editing with metadata.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	hierarchical video editing, video metadata
55	Alice Graeupl	'silver Surfers' and their online information search behaviour.	ENTER	2006	DBLP DOI BibTeX RDF	Online information search, ‘Grey Market’, ’silver Surfers’, Internet, Tourism
54	Brad A. Myers, Juan P. Casares, Scott M. Stevens, Laura Dabbish, Dan Yocum, Albert T. Corbett	A multi-view intelligent editor for digital video libraries.	JCDL	2001	DBLP DOI BibTeX RDF	silver, multimedia authoring, video library, informedia, digital video editing
45	Paul J. Brewer, Richard J. C. Brown	Effect of Silver Annealing Conditions on the Performance of Electrolytic Silver/Silver Chloride Electrodes used in Harned Cell Measurements of pH.	Sensors	2010	DBLP DOI BibTeX RDF
43	André A. Bell, Gerlind Herberich, Dietrich Meyer-Ebrecht, Alfred Böcking, Til Aach	Segmentation and Detection of Nuclei in Silver Stained Cell Specimens for Early Cancer Diagnosis.	ICIP (6)	2007	DBLP DOI BibTeX RDF
43	Juan P. Casares, A. Chris Long, Brad A. Myers, Scott M. Stevens, Albert T. Corbett	Simplifying video editing with SILVER.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	metadata, multimedia authoring, digital video editing
41	Gary McGraw	Silver Bullet Talks with John Savage.	IEEE Secur. Priv.	2011	DBLP DOI BibTeX RDF	John Savage, Gary McGraw, computational nanotechnology, theoretical computer science, Silver Bullet
41	Gary McGraw	Silver Bullet Talks with Gillian Hayes.	IEEE Secur. Priv.	2010	DBLP DOI BibTeX RDF	security, social networking, Informatics, Silver Bullet
41	Diomidis Spinellis	Silver Bullets and Other Mysteries.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	management, software evolution, aging, silver bullet
35	A. Nilsson, Edward A. Silver	A simple improvement on Silver's heuristic for the joint replenishment problem.	J. Oper. Res. Soc.	2008	DBLP DOI BibTeX RDF
35	Jianli Hu, Charles L. Munson, Edward A. Silver	A modified Silver-Meal heuristic for dynamic lot sizing under incremental quantity discounts.	J. Oper. Res. Soc.	2004	DBLP DOI BibTeX RDF
34	Marc D. Riedel, Soha Hassoun, Ron Weiss, Pamela Silver, J. Christopher Anderson, Richard M. Murray	Joint DAC/IWBDA special session engineering biology: fundamentals and applications.	DAC	2010	DBLP DOI BibTeX RDF	bio-design automation, biological circuits, cellular programming, robustness, control, feedback, computational biology, system biology, modular designs, synthetic biology
34	Bernard Silver	The Application of Homogenization to Simultaneous Equations.	CADE	1982	DBLP DOI BibTeX RDF	simultaneous equations, meta level inference, algebraic manipulation, mathematical reasoning, equation solving-rewrite rules, Homogenization
30	Sidra Azmat Butt, Ingrid Pappel, Dirk Draheim	Exploring the Functionalities and Evaluation of the Digital Silver Hub: A Collaborative Platform for Innovative Solutions in the Silver Economy.	ICEGOV	2023	DBLP DOI BibTeX RDF
30	Taivo Kangilaski, Sidra Azmat Butt, Ingrid Pappel, Erik Kangilaski	Overcoming Challenges in the Silver Economy by Connecting Services in the Silver Hub: The tool to provide the basis for the Innovative Solutions.	ICEGOV	2021	DBLP DOI BibTeX RDF
30	Dave Towey, Matthew Pike	Not a Silver Bullet, but a Silver Lining: Metamorphic Marking Administration.	EDUCON	2021	DBLP DOI BibTeX RDF
30	Bing Qi, Yudong Zhang, Taiping Yao	Magnetic Field Sensing Based on Magnetoelectric Coupling of Ampere Force Effect With Piezoelectric Effect in Silver/Poly(Vinylidine Fluoride)/Silver Laminated Composite.	IEEE Access	2020	DBLP DOI BibTeX RDF
30	Shuji Nishimoto, Seyed Ali Moeini, Toyo Ohashi, Yoshiyuki Nagatomo, F. Patrick McCluskey	Novel silver die-attach technology on silver pre-sintered DBA substrates for high temperature applications.	Microelectron. Reliab.	2018	DBLP DOI BibTeX RDF
30	Ning Kang 0002, Erik M. van Mulligen, Jan A. Kors	Training text chunkers on a silver standard corpus: can silver replace gold?	BMC Bioinform.	2012	DBLP DOI BibTeX RDF
30	Paul J. Brewer, Daniela Stoica, Richard J. C. Brown	Sensitivities of Key Parameters in the Preparation of Silver/Silver Chloride Electrodes Used in Harned Cell Measurements of pH.	Sensors	2011	DBLP DOI BibTeX RDF
30	Paul J. Brewer, Richard J. C. Brown	Effect of Structural Design of Silver/Silver Chloride Electrodes on Stability and Response Time and the Implications for Improved Accuracy in pH Measurement.	Sensors	2009	DBLP DOI BibTeX RDF
30	E. Misra, N. D. Theodore, J. W. Mayer, T. L. Alford	Failure mechanisms of pure silver, pure aluminum and silver-aluminum alloy under high current stress.	Microelectron. Reliab.	2006	DBLP DOI BibTeX RDF
30	Ingo H. Leubner	A Technological Comparison of Silver Halide and Electronic Photography (Silver of Chips for Baby's Picture?).	PICS	1999	DBLP BibTeX RDF
30	William Stallings	Review of "Introduction to Systems Analysis" by Gerald Silver and Joan Silver.	IEEE Trans. Syst. Man Cybern.	1977	DBLP DOI BibTeX RDF
29	Gary McGraw	Silver Bullet Talks with Bill Cheswick [Interview].	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
29	Gary McGraw	Silver Bullet Talks with Jon Swartz.	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
29	Dennis Mancl, Steven Fraser 0001, William F. Opdyke	No silver bullet: a retrospective on the essence and accidents of software engineering.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	complexity, reuse
29	Gary McGraw	Interview: Silver Bullet Speaks to Marcus Ranum.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF
29	Gary McGraw	Silver Bullet Speaks with Ed Felten.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF
29	R. Geoff Dromey	Climbing over the "No Silver Bullet" Brick Wall.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	Frederick Brooks, software engineering, requirements engineering, software development, behavior trees
29	Michael B. Twidale	Silver bullet or fool's gold: supporting usability in open source software development.	ICSE	2005	DBLP DOI BibTeX RDF
29	Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.	DCAS is not a silver bullet for nonblocking algorithm design.	SPAA	2004	DBLP DOI BibTeX RDF	DCAS, double-compare-and-swap, multiprocessors, lock-free, concurrent data structures, linked lists, nonblocking synchronization
29	Daniel M. Berry	The Inevitable Pain of Software Development: Why There Is No Silver Bullet.	RISSEF	2002	DBLP DOI BibTeX RDF
29	Tim O'Neill, John Leaney	Open Complex Computer Systems are No Silver Bullet.	ICECCS	1998	DBLP DOI BibTeX RDF	Complex Computer Systems, CORBA limitations, Open systems, Interface specification, Interface model
28	Gaël Bringout, Sajjad Saeidlou, Sylvain Martel	Sub-micrometer Network Fabrication for Bacterial Carriers and Electrical Signal Transmission.	NanoNet	2009	DBLP DOI BibTeX RDF	3D network, nano-interconnection, nano-bio paradigm, robotic platform
28	Peter Bailey, Nick Craswell, Ian Soboroff, Paul Thomas 0001, Arjen P. de Vries, Emine Yilmaz	Relevance assessment: are judges exchangeable and does it matter.	SIGIR	2008	DBLP DOI BibTeX RDF	inter-rater agreement, test collection relevance judgements
28	Victor Ovchinnikov, Arri Priimagi	Anisotropic Plasmon Resonance of Surface Metallic Nanostructures Prepared by Ion Beam Mixing.	ICQNM	2007	DBLP DOI BibTeX RDF
28	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson	Adding domain-specific and general purpose language features to Java with the Java language extender.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	attribute grammars, forwarding, extensible languages
28	Antawan Holmes, Marc Kellogg	Automating Functional Tests Using Selenium.	AGILE	2006	DBLP DOI BibTeX RDF
28	Gerald Sabin, Vishvesh Sahasrabudhe, P. Sadayappan	Assessment and enhancement of meta-schedulers for multi-site job sharing.	HPDC	2005	DBLP DOI BibTeX RDF
28	Kousik Sivakumar, Balaji Panchapakesan	Electric Field Assisted Deposition of Nanowires from Carbon Nanotubes for Nanoelectronics and Sensor Applications.	ICMENS	2003	DBLP DOI BibTeX RDF
20	Miles Sowden, Ivan C. Hanigan, Daniel Jamie Victor Robbins, Martin Cope, Jeremy David Silver, Julie Noonan	Characterizing Smoke Haze Events in Australia Using a Hybrid Approach of Satellite-Based Aerosol Optical Depth and Chemical Transport Modeling.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
20	James C. Lester, Mohit Bansal, Gautam Biswas, Cindy E. Hmelo-Silver, Jeremy Roschelle, Jonathan P. Rowe	The AI Institute for Engaged Learning.	AI Mag.	2024	DBLP DOI BibTeX RDF
20	Thiago H. Silva 0001, Daniel Silver	Using Graph Neural Networks to Predict Local Culture.	CoRR	2024	DBLP DOI BibTeX RDF
20	Nishanth Kumar, Tom Silver, Willie McClinton, Linfeng Zhao, Stephen Proulx, Tomás Lozano-Pérez, Leslie Pack Kaelbling, Jennifer L. Barry	Practice Makes Perfect: Planning to Learn Skill Parameter Policies.	CoRR	2024	DBLP DOI BibTeX RDF
20	Maryam Aliakbarpour, Rose Silver, Thomas Steinke 0002, Jonathan R. Ullman	Differentially Private Medians and Interior Points for Non-Pathological Data.	ITCS	2024	DBLP DOI BibTeX RDF
20	Gloria Ashiya Katuka, Srijita Chakraburty, Hyejeong Lee, Sunny Dhama, Toni V. Earle-Randell, Mehmet Celepkolu, Kristy Elizabeth Boyer, Krista D. Glazewski, Cindy E. Hmelo-Silver, Tom McKlin	Integrating Natural Language Processing in Middle School Science Classrooms: An Experience Report.	SIGCSE (1)	2024	DBLP DOI BibTeX RDF
20	Anisha Gupta, Seung Y. Lee, Bradford W. Mott, Srijita Chakraburty, Krista D. Glazewski, Anne T. Ottenbreit-Leftwich, J. Adam Scribner, Cindy E. Hmelo-Silver, James C. Lester	Supporting Upper Elementary Students in Learning AI Concepts with Story-Driven Game-Based Learning.	AAAI	2024	DBLP DOI BibTeX RDF
20	Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B. Tenenbaum, Leslie Pack Kaelbling, Michael Katz 0001	Generalized Planning in PDDL Domains with Pretrained Large Language Models.	AAAI	2024	DBLP DOI BibTeX RDF
20	Aditya Ranjan, Tirthak Patel, Daniel Silver, Harshitta Gandhi, Devesh Tiwari	ProxiML: Building Machine Learning Classifiers for Photonic Quantum Computing.	ASPLOS (3)	2024	DBLP DOI BibTeX RDF
20	Anne T. Ottenbreit-Leftwich, Krista D. Glazewski, Minji Jeon, Katie Jantaraweragul, Cindy E. Hmelo-Silver, J. Adam Scribner, Seung Y. Lee, Bradford W. Mott, James C. Lester	Lessons Learned for AI Education with Elementary Students and Teachers.	Int. J. Artif. Intell. Educ.	2023	DBLP DOI BibTeX RDF
20	Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic	Semantics for Noninterference with Interaction Trees (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott	Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Rohan Anil, Sebastian Borgeaud, Yonghui Wu, Jean-Baptiste Alayrac, Jiahui Yu, Radu Soricut, Johan Schalkwyk, Andrew M. Dai, Anja Hauth, Katie Millican, David Silver, Slav Petrov, Melvin Johnson, Ioannis Antonoglou, Julian Schrittwieser, Amelia Glaese, Jilin Chen, Emily Pitler, Timothy P. Lillicrap, Angeliki Lazaridou, Orhan Firat, James Molloy, Michael Isard, Paul Ronald Barham, Tom Hennigan, Benjamin Lee, Fabio Viola, Malcolm Reynolds, Yuanzhong Xu, Ryan Doherty, Eli Collins, Clemens Meyer, Eliza Rutherford, Erica Moreira, Kareem Ayoub, Megha Goel, George Tucker, Enrique Piqueras, Maxim Krikun, Iain Barr, Nikolay Savinov, Ivo Danihelka, Becca Roelofs, Anaïs White, Anders Andreassen, Tamara von Glehn, Lakshman Yagati, Mehran Kazemi, Lucas Gonzalez, Misha Khalman, Jakub Sygnowski, et al.	Gemini: A Family of Highly Capable Multimodal Models.	CoRR	2023	DBLP DOI BibTeX RDF
20	Rumeng Li, Xun Wang, Dan Berlowitz, Brian Silver, Wen Hu, Heather Keating, Raelene Goodwin, Weisong Liu, Honghuang Lin, Hong Yu 0001	Early Prediction of Alzheimers Disease Leveraging Symptom Occurrences from Longitudinal Electronic Health Records of US Military Veterans.	CoRR	2023	DBLP DOI BibTeX RDF
20	Weiping Hua, Karen G. Bemis, Dujuan Kang, Sedat Ozer, Deborah Silver	A Hybrid 3D Eddy Detection Technique Based on Sea Surface Height and Velocity Field.	CoRR	2023	DBLP DOI BibTeX RDF
20	Nicole A. Errett, Joseph Wartman, Scott B. Miles, Ben Silver, Matthew Martell, Youngjun Choe	Street View Data Collection Design for Disaster Reconnaissance.	CoRR	2023	DBLP DOI BibTeX RDF
20	Trupti Mahendrakar, Steven Holmberg, Andrew Ekblad, Emma Conti, Ryan T. White, Markus Wilde, Isaac Silver	Autonomous Rendezvous with Non-cooperative Target Objects with Swarm Chasers and Observers.	CoRR	2023	DBLP DOI BibTeX RDF
20	Maryam Aliakbarpour, Rose Silver, Thomas Steinke 0002, Jonathan R. Ullman	Differentially Private Medians and Interior Points for Non-Pathological Data.	CoRR	2023	DBLP DOI BibTeX RDF
20	Daniel Silver, Tirthak Patel, Devesh Tiwari	QUILT: Effective Multi-Class Classification on Quantum Computers Using an Ensemble of Diverse Quantum Classifiers.	CoRR	2023	DBLP DOI BibTeX RDF
20	Trupti Mahendrakar, Andrew Ekblad, Nathan Fischer, Ryan T. White, Markus Wilde, Brian Kish, Isaac Silver	Performance Study of YOLOv5 and Faster R-CNN for Autonomous Navigation around Non-Cooperative Targets.	CoRR	2023	DBLP DOI BibTeX RDF
20	Daniel L. Silver, Rinda Digamarthi	Forecasting COVID-19 Case Counts Based on 2020 Ontario Data.	CoRR	2023	DBLP DOI BibTeX RDF
20	Avishek Kumar, Ivelin Georgiev Angelov, Kymm Kause, Tyson Silver	ODEWS: The Overdraft Early Warning System.	CoRR	2023	DBLP DOI BibTeX RDF
20	Yi Wang, Chenying Liu 0001, Arti Tiwari, Micha Silver, Arnon Karnieli, Xiao Xiang Zhu 0001, Conrad M. Albrecht	Deep Semantic Model Fusion for Ancient Agricultural Terrace Detection.	CoRR	2023	DBLP DOI BibTeX RDF
20	Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B. Tenenbaum, Leslie Pack Kaelbling, Michael Katz 0001	Generalized Planning in PDDL Domains with Pretrained Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
20	Daniel Silver, Tirthak Patel, William Cutler, Aditya Ranjan, Harshitta Gandhi, Devesh Tiwari	MosaiQ: Quantum Generative Adversarial Networks for Image Generation on NISQ Computers.	CoRR	2023	DBLP DOI BibTeX RDF
20	Amber Li, Tom Silver	Embodied Active Learning of Relational State Abstractions for Bilevel Planning.	CoRR	2023	DBLP DOI BibTeX RDF
20	Daniel L. Silver, Tom M. Mitchell	The Roles of Symbols in Neural-based AI: They are Not What You Think!	CoRR	2023	DBLP DOI BibTeX RDF
20	Daniel Silver, Tirthak Patel, Aditya Ranjan, Harshitta Gandhi, William Cutler, Devesh Tiwari	SLIQ: Quantum Image Similarity Networks on Noisy Quantum Computers.	CoRR	2023	DBLP DOI BibTeX RDF
20	Tirthak Patel, Daniel Silver, Aditya Ranjan, Harshitta Gandhi, William Cutler, Devesh Tiwari	Toward Privacy in Quantum Program Execution On Untrusted Quantum Cloud Computing Machines for Business-sensitive Quantum Needs.	CoRR	2023	DBLP DOI BibTeX RDF
20	Andrew Ekblad, Trupti Mahendrakar, Ryan T. White, Markus Wilde, Isaac Silver, Brooke Wheeler	Resource-constrained FPGA Design for Satellite Component Feature Extraction.	CoRR	2023	DBLP DOI BibTeX RDF
20	Arti Tiwari, Micha Silver, Arnon Karnieli	A deep learning approach for automatic identification of ancient agricultural water harvesting systems.	Int. J. Appl. Earth Obs. Geoinformation	2023	DBLP DOI BibTeX RDF
20	Klil Noy, Micha Silver, Ondrej Pesek, Hezi Yizhaq, Eugene Marais, Arnon Karnieli	Spatial and spectral analysis of fairy circles in Namibia on a landscape scale using satellite image processing and machine learning analysis.	Int. J. Appl. Earth Obs. Geoinformation	2023	DBLP DOI BibTeX RDF
20	Chrystiano Araújo, Nicholas Vining, Silver Burla, Manuel Ruivo De Oliveira, Enrique Rosales, Alla Sheffer	Slippage-Preserving Reshaping of Human-Made 3D Content.	ACM Trans. Graph.	2023	DBLP DOI BibTeX RDF
20	Daniel J. Mankowitz, Andrea Michi, Anton Zhernov, Marco Gelmi, Marco Selvi, Cosmin Paduraru, Edouard Leurent, Shariq Iqbal, Jean-Baptiste Lespiau, Alex Ahern, Thomas Köppe, Kevin Millikin, Stephen Gaffney, Sophie Elster, Jackson Broshear, Chris Gamble, Kieran Milan, Robert Tung, Minjae Hwang, A. Taylan Cemgil, Mohammadamin Barekatain, Yujia Li, Amol Mandhane, Thomas Hubert, Julian Schrittwieser, Demis Hassabis, Pushmeet Kohli, Martin A. Riedmiller, Oriol Vinyals, David Silver	Faster sorting algorithms discovered using deep reinforcement learning.	Nat.	2023	DBLP DOI BibTeX RDF
20	Daniel L. Silver, Tom M. Mitchell	The Roles of Symbols in Neural-Based AI: They Are Not What You Think!	Compendium of Neurosymbolic Artificial Intelligence	2023	DBLP DOI BibTeX RDF
20	Daniel Silver, Aditya Ranjan, Tirthak Patel, Harshitta Gandhi, William Cutler, Devesh Tiwari	MosaiQ: Quantum Generative Adversarial Networks for Image Generation on NISQ Computers.	ICCV	2023	DBLP DOI BibTeX RDF
20	Anisha Gupta, Dan Carpenter, Wookhee Min, Bradford W. Mott, Krista D. Glazewski, Cindy E. Hmelo-Silver, James C. Lester	Enhancing Stealth Assessment in Collaborative Game-Based Learning with Multi-task Learning.	AIED	2023	DBLP DOI BibTeX RDF
20	Amber Li, Tom Silver	Embodied Active Learning of Relational State Abstractions for Bilevel Planning.	CoLLAs	2023	DBLP BibTeX RDF
20	Daniel L. Silver, Tom M. Mitchell	The Roles of Symbols in Neural-based AI: They are Not What You Think!	NeSy	2023	DBLP BibTeX RDF
20	Bradford W. Mott, Anisha Gupta, Krista D. Glazewski, Anne T. Ottenbreit-Leftwich, Cindy E. Hmelo-Silver, J. Adam Scribner, Seung Y. Lee, James C. Lester	Fostering Upper Elementary AI Education: Iteratively Refining a Use-Modify-Create Scaffolding Progression for AI Planning.	ITiCSE (2)	2023	DBLP DOI BibTeX RDF
20	Nishanth Kumar, Willie McClinton, Rohan Chitnis, Tom Silver, Tomás Lozano-Pérez, Leslie Pack Kaelbling	Learning Efficient Abstract Planning Models that Choose What to Predict.	CoRL	2023	DBLP BibTeX RDF
20	Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic	Semantics for Noninterference with Interaction Trees.	ECOOP	2023	DBLP DOI BibTeX RDF
20	Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott	Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification.	ECOOP	2023	DBLP DOI BibTeX RDF
20	Anne T. Ottenbreit-Leftwich, Krista D. Glazewski, Cindy E. Hmelo-Silver, Katie Jantaraweragul, Minji Jeon, Srijita Chakraburty, J. Adam Scribner, Seung Y. Lee, Bradford W. Mott, James C. Lester	Is Elementary AI Education Possible?	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
20	Daniel Silver, Tirthak Patel, Aditya Ranjan, Harshitta Gandhi, William Cutler, Devesh Tiwari	SLIQ: Quantum Image Similarity Networks on Noisy Quantum Computers.	AAAI	2023	DBLP DOI BibTeX RDF
20	Tom Silver, Rohan Chitnis, Nishanth Kumar, Willie McClinton, Tomás Lozano-Pérez, Leslie Pack Kaelbling, Joshua B. Tenenbaum	Predicate Invention for Bilevel Planning.	AAAI	2023	DBLP DOI BibTeX RDF
20	Tiffany Knearem, Mohammed Khwaja, Yuling Gao, Frank Bentley, Clara E. Kliman-Silver	Exploring the future of design tooling: The role of artificial intelligence in tools for user experience professionals.	CHI Extended Abstracts	2023	DBLP DOI BibTeX RDF
20	Dave Colangelo, Niusha Manavi Namaghi, Nicholas Silver, Tomás Cotik	Ombra Musici II: Classical Music Performance and Public Space.	MAB	2023	DBLP DOI BibTeX RDF
20	Sunny Dhama, Gloria Ashiya Katuka, Mehmet Celepkolu, Kristy Elizabeth Boyer, Krista D. Glazewski, Cindy E. Hmelo-Silver	NLP4Science: Designing a Platform for Integrating Natural Language Processing in Middle School Science Classrooms.	VL/HCC	2023	DBLP DOI BibTeX RDF
20	Christopher Silver, Thangarajah Akilan	A Novel Approach for Fall Detection Using Thermal Imaging and a Stacking Ensemble of Autoencoder and 3D-CNN Models.	CCECE	2023	DBLP DOI BibTeX RDF
20	Parth Lalitkumar Bhatt, Dhruva Shah, Christopher Silver, Wandong Zhang, Thangarajah Akilan	Dual-Modality Deep Feature-based Anomaly Detection for Video Surveillance.	CCECE	2023	DBLP DOI BibTeX RDF