|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 298 occurrences of 242 keywords
|
|
|
Results
Found 2025 publication records. Showing 1914 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
98 | Daniel M. Berry |
The Software Engineering Silver Bullet Conundrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 25(2), pp. 18-19, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA, pp. 161, 2006, IEEE Computer Society, 0-7695-2353-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
83 | Henry Balen, James Lapalme, Marc Frappier, Kevin P. Tyson |
Domain specific languages: another silver bullet? ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 1024-1025, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Designing Interactive Systems ![In: Proceedings of the 4th Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques, DIS 2002, London, England, UK, June 25-28, 2002, pp. 157-166, 2002, ACM, 1-58113-515-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 25(1), pp. 91-94, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II, pp. 203-210, 2009, Springer, 978-3-642-01972-2. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 1026-1030, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICQNM ![In: Second International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2008, February 10-15, 2008, Sainte Luce, Martinique, French Caribbean, pp. 40-44, 2008, IEEE Computer Society, 978-0-7695-3085-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 628-629, 2003, ACM, 1-58113-637-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
hierarchical video editing, video metadata |
55 | Alice Graeupl |
'silver Surfers' and their online information search behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENTER ![In: Information and Communication Technologies in Tourism, ENTER 2006, Proceedings of the International Conference in Lausanne, Switzerland, 2006, pp. 236-247, 2006, Springer, 978-3-211-30987-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2001, Roanoke, Virginia, USA, June 24-28, 2001, Proceedings, pp. 106-115, 2001, ACM, 1-58113-345-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 10(3), pp. 2202-2216, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (6) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 49-52, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2002 Conference on Human Factors in Computing Systems, CHI 2002, Minneapolis, Minnesota, USA, April 20-25, 2002, pp. 672-673, 2002, ACM, 1-58113-454-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
metadata, multimedia authoring, digital video editing |
41 | Gary McGraw |
Silver Bullet Talks with John Savage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 9(4), pp. 9-12, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 8(2), pp. 5-7, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
security, social networking, Informatics, Silver Bullet |
41 | Diomidis Spinellis |
Silver Bullets and Other Mysteries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 24(3), pp. 22-23, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 59(10), pp. 1415-1421, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 55(6), pp. 671-673, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 220-221, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings, pp. 132-143, 1982, Springer, 3-540-11558-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: Proceedings of the 16th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2023, Belo Horizonte, Brazil, September 26-29, 2023, pp. 371-378, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: ICEGOV 2021: 14th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, October 6 - 8, 2021, pp. 231-237, 2021, ACM, 978-1-4503-9011-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Dave Towey, Matthew Pike |
Not a Silver Bullet, but a Silver Lining: Metamorphic Marking Administration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDUCON ![In: IEEE Global Engineering Education Conference, EDUCON 2021, Vienna, Austria, April 21-23, 2021, pp. 928-935, 2021, IEEE, 978-1-7281-8478-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 68049-68056, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 87, pp. 232-237, 2018. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 13, pp. 17, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 11(8), pp. 8072-8084, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 9(1), pp. 118-130, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 46(12), pp. 2096-2103, 2006. The full citation details ...](Pics/full.jpeg) |
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?). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PICS ![In: PICS 1999: Proceedings of the Conference on Image Processing, Image Quality and Image Capture Systems (PICS-99), Savannah, Georgia, USA, April 25-28 1999, pp. 25, 1999, IS&T - The Society for Imaging Science and Technology, 0-89208-215-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
30 | William Stallings |
Review of "Introduction to Systems Analysis" by Gerald Silver and Joan Silver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. ![In: IEEE Trans. Syst. Man Cybern. 7(2), pp. 122, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Gary McGraw |
Silver Bullet Talks with Bill Cheswick [Interview]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 6(5), pp. 7-11, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Gary McGraw |
Silver Bullet Talks with Jon Swartz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 6(3), pp. 9-11, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 758-759, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
complexity, reuse |
29 | Gary McGraw |
Interview: Silver Bullet Speaks to Marcus Ranum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 4(5), pp. 11-14, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Gary McGraw |
Silver Bullet Speaks with Ed Felten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 4(6), pp. 10-13, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | R. Geoff Dromey |
Climbing over the "No Silver Bullet" Brick Wall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(2), pp. 118-120, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 35, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain, pp. 216-224, 2004, ACM, 1-58113-840-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISSEF ![In: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, pp. 50-74, 2002, Springer, 3-540-21179-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Tim O'Neill, John Leaney |
Open Complex Computer Systems are No Silver Bullet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 10-14 August 1998, Monterey, CA, USA, pp. 79-86, 1998, IEEE Computer Society, 0-8186-8597-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NanoNet ![In: Nano-Net - 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings, pp. 46-50, 2009, Springer, 978-3-642-04849-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 667-674, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICQNM ![In: First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007, January 2-6, 2007, Guadeloupe, French Caribbean, pp. 3, 2007, IEEE Computer Society, 0-7695-2759-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 728-729, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
attribute grammars, forwarding, extensible languages |
28 | Antawan Holmes, Marc Kellogg |
Automating Functional Tests Using Selenium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE ![In: AGILE 2006 Conference (AGILE 2006), 23-28 July 2006, Minneapolis, Minnesota, USA, pp. 270-275, 2006, IEEE Computer Society, 0-7695-2562-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Gerald Sabin, Vishvesh Sahasrabudhe, P. Sadayappan |
Assessment and enhancement of meta-schedulers for multi-site job sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 14th IEEE International Symposium on High Performance Distributed Computing, HPDC-14, Research Triangle Park, North Carolina, USA, 24-27 July 2005, pp. 144-153, 2005, IEEE Computer Society, 0-7803-9037-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Kousik Sivakumar, Balaji Panchapakesan |
Electric Field Assisted Deposition of Nanowires from Carbon Nanotubes for Nanoelectronics and Sensor Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2003 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2003), 20-23 July 2003, Banff, Alberta, Canada, pp. 203-, 2003, IEEE Computer Society, 0-7695-1947-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 16(7), pp. 1266, April 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Mag. ![In: AI Mag. 45(1), pp. 69-76, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Thiago H. Silva 0001, Daniel Silver |
Using Graph Neural Networks to Predict Local Culture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.17905, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.15025, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: 15th Innovations in Theoretical Computer Science Conference, ITCS 2024, January 30 to February 2, 2024, Berkeley, CA, USA, pp. 3:1-3:21, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-309-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE (1) ![In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 1, Portland, OR, USA, March 20-23, 2024, pp. 639-645, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 23092-23100, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 20256-20264, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS (3) ![In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, pp. 834-849, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Educ. ![In: Int. J. Artif. Intell. Educ. 33(2), pp. 267-289, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic |
Semantics for Noninterference with Interaction Trees (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 9(2), pp. 06:1-06:2, 2023. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 9(2), pp. 08:1-08:2, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.11805, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.12369, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.08229, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.06284, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09059, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.13440, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.15056, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09056, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Daniel L. Silver, Rinda Digamarthi |
Forecasting COVID-19 Case Counts Based on 2020 Ontario Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.10294, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Avishek Kumar, Ivelin Georgiev Angelov, Kymm Kause, Tyson Silver |
ODEWS: The Overdraft Early Warning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.02455, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.02225, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.11014, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.11096, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Amber Li, Tom Silver |
Embodied Active Learning of Relational State Abstractions for Bilevel Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.04912, 2023. The full citation details ...](Pics/full.jpeg) |
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! ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.13626, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.15259, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.16799, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09055, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Earth Obs. Geoinformation ![In: Int. J. Appl. Earth Obs. Geoinformation 118, pp. 103270, April 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Earth Obs. Geoinformation ![In: Int. J. Appl. Earth Obs. Geoinformation 121, pp. 103377, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 42(6), pp. 272:1-272:18, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. ![In: Nat. 618(7964), pp. 257-263, 2023. The full citation details ...](Pics/full.jpeg) |
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! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compendium of Neurosymbolic Artificial Intelligence ![In: Compendium of Neurosymbolic Artificial Intelligence, pp. 1-28, 2023, IOS Press, 978-1-64368-406-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE/CVF International Conference on Computer Vision, ICCV 2023, Paris, France, October 1-6, 2023, pp. 7007-7016, 2023, IEEE, 979-8-3503-0718-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED ![In: Artificial Intelligence in Education - 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings, pp. 304-315, 2023, Springer, 978-3-031-36271-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Amber Li, Tom Silver |
Embodied Active Learning of Relational State Abstractions for Bilevel Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoLLAs ![In: Conference on Lifelong Learning Agents, 22-25 August 2023, McGill University, Montréal, Québec, Canada., pp. 358-375, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
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! ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeSy ![In: Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023., pp. 420-421, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE (2) ![In: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, ITiCSE 2023, Turku, Finland, July 7-12, 2023, pp. 647, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRL ![In: Conference on Robot Learning, CoRL 2023, 6-9 November 2023, Atlanta, GA, USA., pp. 2070-2095, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic |
Semantics for Noninterference with Interaction Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 29:1-29:29, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 30:1-30:26, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE (2) ![In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023., pp. 1364, 2023, ACM, 978-1-4503-9433-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 9846-9854, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 12120-12129, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, CHI EA 2023, Hamburg, Germany, April 23-28, 2023, pp. 384:1-384:6, 2023, ACM, 978-1-4503-9422-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAB ![In: Proceedings of the 6th Media Architecture Biennale Conference, MAB 2023, Toronto, ON, Canada, June 14-23, 2023, pp. 58-68, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2023, Washington, DC, USA, October 3-6, 2023, pp. 269-273, 2023, IEEE, 979-8-3503-2946-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2023, Regina, SK, Canada, September 24-27, 2023, pp. 71-76, 2023, IEEE, 979-8-3503-2397-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2023, Regina, SK, Canada, September 24-27, 2023, pp. 60-64, 2023, IEEE, 979-8-3503-2397-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1914 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|