New Programming Paradigms
暂无分享,去创建一个
[1] Harold Abelson,et al. Boxer: a reconstructible computational medium , 1986, CACM.
[2] Aditi Wagh,et al. Balancing Curricular and Pedagogical Needs in Computational Construction Kits: Lessons from the DeltaTick Project. , 2015 .
[3] Mitchel Resnick,et al. “Thick” authenticity: new media and authentic learning , 1999 .
[4] Uri Wilensky,et al. Students’ Learning with the Connected Chemistry (CC1) Curriculum: Navigating the Complexities of the Particulate World , 2009 .
[5] Masoud Mohseni,et al. Commercialize quantum technologies in five years , 2017, Nature.
[6] Mandy Lupton,et al. Students' perceptions of the relevance of mathematics in engineering , 2012 .
[7] Josh Sheldon,et al. Critical computational empowerment: Engaging youth as shapers of the digital future , 2017, 2017 IEEE Global Engineering Education Conference (EDUCON).
[8] Markus Holzer,et al. Sorting the Slow Way: An Analysis of Perversely Awful Randomized Sorting Algorithms , 2007, FUN.
[9] Mitchel Resnick,et al. Imagining, Creating, Playing, Sharing, Reflecting: How Online Community Supports Young People as Designers of Interactive Media , 2013 .
[10] Matthias Felleisen,et al. A functional I/O system or, fun for freshman kids , 2009, ICFP.
[11] Aram W. Harrow,et al. Quantum computational supremacy , 2017, Nature.
[12] S. Lloyd. Quantum-Mechanical Computers , 1995 .
[13] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[14] Nancy A. Lynch,et al. Impossibility of distributed consensus with one faulty process , 1983, PODS '83.
[15] R. Benjamin Shapiro,et al. BlockyTalky: New programmable tools to enable students' learning networks , 2018, Int. J. Child Comput. Interact..
[16] Donald E. Knuth,et al. The art of computer programming: sorting and searching (volume 3) , 1973 .
[17] Sayamindu Dasgupta,et al. From surveys to collaborative art: enabling children to program with online data , 2013, IDC.
[18] Jeannette M. Wing. An introduction to computer science for non-majors using principles of computation , 2007, SIGCSE.
[19] Jeannette M. Wing. Computational thinking and thinking about computing , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
[20] Frederic T. Chong,et al. Quantum Computing for Computer Architects, Second Edition , 2011, Quantum Computing for Computer Architects.
[21] David C. Webb,et al. Scalable game design and the development of a checklist for getting computational thinking into public schools , 2010, SIGCSE.
[22] Matthias Felleisen,et al. How to Design Programs , 2001 .
[23] Isaac L. Chuang,et al. Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .
[24] Peter J. Denning. A debate on teaching computing science , 1989, CACM.
[25] Werner Vogels,et al. Building reliable distributed systems at a worldwide scale demands trade-offs between consistency and availability. , 2022 .
[26] Alfred V. Aho,et al. Computation and Computational Thinking , 2012, Comput. J..
[27] Alfred V. Aho,et al. Ubiquity symposium: Computation and Computational Thinking , 2011, Ubiquity.
[28] Martin Stanisstreet,et al. Why aren't secondary students interested in physics? , 2003 .
[29] Seth Reichelson. AP Computer Science Principles , 2019 .
[30] Margaret Martonosi,et al. Programming languages and compiler design for realistic quantum hardware , 2017, Nature.
[31] Andrew S. Tanenbaum,et al. Distributed systems: Principles and Paradigms , 2001 .
[32] Harold Abelson,et al. From computational thinking to computational action , 2019, Commun. ACM.
[33] M. Resnick,et al. Thinking in Levels: A Dynamic Systems Approach to Making Sense of the World , 1999 .
[34] Alan C. Kay. The early history of Smalltalk , 1993, HOPL-II.
[35] Leslie Lamport,et al. The part-time parliament , 1998, TOCS.
[36] Seymour Papert,et al. What's the big idea? Toward a pedagogy of idea power , 2000, IBM Syst. J..
[37] Eric A. Brewer,et al. Towards robust distributed systems (abstract) , 2000, PODC '00.
[38] Andrea Vedaldi,et al. Understanding deep image representations by inverting them , 2014, 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR).
[39] Xin-She Yang,et al. Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.
[40] Marco T. Morazán,et al. Infusing an HtDP-based CS1 with distributed programming using functional video games , 2018, Journal of Functional Programming.
[41] David P. Williamson,et al. The Design of Approximation Algorithms , 2011 .
[42] Peter W. Shor,et al. Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.
[43] Seymour Papert,et al. Mindstorms: Children, Computers, and Powerful Ideas , 1981 .
[44] Perry R. Cook,et al. A Meta-Instrument for Interactive, On-the-Fly Machine Learning , 2009, NIME.
[45] Pratim Sengupta,et al. Learning Electricity with NIELS: Thinking with Electrons and Thinking in Levels , 2009, Int. J. Comput. Math. Learn..
[46] Leslie Lamport,et al. Paxos Made Simple , 2001 .
[47] Sylvain Arlot,et al. A survey of cross-validation procedures for model selection , 2009, 0907.4728.
[48] Gerald J. Sussman,et al. Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.
[49] Eric Klopfer,et al. Augmented Learning: Research and Design of Mobile Educational Games , 2008 .
[50] Perry R. Cook,et al. Human model evaluation in interactive supervised learning , 2011, CHI.
[51] John Stuckey. Why the heck does higher ED need chief information/technology officers? , 2007, UBIQ.
[52] Satoshi Nakamoto. Bitcoin : A Peer-to-Peer Electronic Cash System , 2009 .
[53] Eli Upfal,et al. Algorithms for Detecting Significantly Mutated Pathways in Cancer , 2010, RECOMB.
[54] Luciano Rossoni,et al. Models and methods in social network analysis , 2006 .
[55] Ron Kohavi,et al. A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection , 1995, IJCAI.
[56] S. Turkle,et al. Epistemological Pluralism and the Revaluation of the Concrete. , 1992 .
[57] Leah Buechley,et al. Textile messages : dispatches from the world of e-textiles and education , 2013 .
[58] Walter Tichy. Is quantum computing for real?: an interview with Catherine McGeoch of D-Wave Systems , 2017, UBIQ.
[59] Nancy A. Lynch,et al. Impossibility of distributed consensus with one faulty process , 1985, JACM.
[60] Nancy A. Lynch,et al. Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services , 2002, SIGA.
[61] Martin Kleppmann,et al. A Critique of the CAP Theorem , 2015, ArXiv.
[62] Jerry Alan Fails,et al. Interactive machine learning , 2003, IUI '03.
[63] Peter J. Denning,et al. Remaining trouble spots with computational thinking , 2017, Commun. ACM.
[64] Mike Stieff,et al. Connected Chemistry—Incorporating Interactive Simulations into the Chemistry Classroom , 2003 .
[65] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[66] R. Benjamin Shapiro,et al. Tangible Distributed Computer Music for Youth , 2017, Computer Music Journal.
[67] Eitan M. Gurari,et al. Introduction to the theory of computation , 1989 .
[68] Ulrike Stege,et al. Quantum Computing for High-School Students An Experience Report , 2020, 2020 IEEE International Conference on Quantum Computing and Engineering (QCE).
[69] R. Feynman. Simulating physics with computers , 1999 .