Literatura académica sobre el tema "Problem solving - Computer programs"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Problem solving - Computer programs".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Problem solving - Computer programs"
Erkens, Gijsbert y Jerry E. B. Andriessen. "Cooperation in problem solving and educational computer programs". Computers in Human Behavior 10, n.º 1 (marzo de 1994): 107–25. http://dx.doi.org/10.1016/0747-5632(94)90032-9.
Texto completoKahn, Arthur. "Problem Solving Training — A Factor in Debugging Computer Programs". Proceedings of the Human Factors Society Annual Meeting 29, n.º 9 (octubre de 1985): 856–60. http://dx.doi.org/10.1177/154193128502900906.
Texto completoBaum, Eric B. y Igor Durdanovic. "Evolution of Cooperative Problem Solving in an Artificial Economy". Neural Computation 12, n.º 12 (1 de diciembre de 2000): 2743–75. http://dx.doi.org/10.1162/089976600300014700.
Texto completoThilmany, Jean. "Probabilistic Problem Solving". Mechanical Engineering 124, n.º 01 (1 de enero de 2002): 53–55. http://dx.doi.org/10.1115/1.2002-jan-4.
Texto completoCOOKE, DANIEL E. y ANN GATES. "ON THE DEVELOPMENT OF A METHOD TO SYNTHESIZE PROGRAMS FROM REQUIREMENTS SPECIFICATIONS". International Journal of Software Engineering and Knowledge Engineering 01, n.º 01 (marzo de 1991): 21–38. http://dx.doi.org/10.1142/s0218194091000056.
Texto completoLamia, Mahnane y Hafidi Mohamed. "A Problem Solving Using Intelligent Social Network". International Journal of Web-Based Learning and Teaching Technologies 14, n.º 3 (julio de 2019): 28–38. http://dx.doi.org/10.4018/ijwltt.2019070103.
Texto completoTitus, S. J. y W. S. Adams. "A Fifth Generation Approach to Problem-Solving in Forest Mensuration and Sampling". Forestry Chronicle 64, n.º 3 (1 de junio de 1988): 186–89. http://dx.doi.org/10.5558/tfc64186-3.
Texto completoRUBY, DAVID y DENNIS KIBLER. "LEARNING STEPPINGSTONES FOR PROBLEM SOLVING". International Journal of Pattern Recognition and Artificial Intelligence 07, n.º 03 (junio de 1993): 527–40. http://dx.doi.org/10.1142/s0218001493000273.
Texto completoArmoni, Michal, Judith Gal-Ezer y Dina Tirosh. "Solving Problems Reductively". Journal of Educational Computing Research 32, n.º 2 (marzo de 2005): 113–29. http://dx.doi.org/10.2190/6pcm-447v-wf7b-qeuf.
Texto completoDiMatteo, Rachel Wing. "Informing Practice: A Model Approach to Problem Solving". Mathematics Teaching in the Middle School 16, n.º 3 (octubre de 2010): 132–35. http://dx.doi.org/10.5951/mtms.16.3.0132.
Texto completoTesis sobre el tema "Problem solving - Computer programs"
Almazedi, A. K. R. "A study of learner control programs for teaching problem solving". Thesis, University of Leeds, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.354432.
Texto completoDeSa, Colin Joseph. "Distributed problem solving environments for scientific computing". Thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-08042009-040307/.
Texto completoPARK, SEUNG YIL. "A GENERALIZED INTELLIGENT PROBLEM SOLVING SYSTEM BASED ON A RELATIONAL MODEL FOR KNOWLEDGE REPRESENTATION (SUPPORT SYSTEMS, EXPERT, DECISION AIDS)". Diss., The University of Arizona, 1986. http://hdl.handle.net/10150/183779.
Texto completoPerez, y. Perez Rafael. "MEXICA : a computer model of creativity in writing". Thesis, University of Sussex, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.285399.
Texto completoFox, Harold 1979. "Agent problem solving by inductive and deductive program synthesis". Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/45882.
Texto completoIncludes bibliographical references (p. 203-206).
How do people learn abstract concepts unsupervised? Psychologists broadly recognize two types of concepts, declarative knowledge and procedural knowledge: know-what and know-how. While much work has focused on unsupervised learning of declarative concepts as clusters of features, there is much less clarity on the representation for procedural concepts and the methods for learning them. In this thesis, I claim that programs are a good representation for procedural knowledge, and that program synthesis is a promising mechanism for procedural learning. Prior attempts at AI program synthesis have taken a purely deductive approach to building provably corrent programs. This approach requires many axioms and non-trivial interaction with a human programmer. In contrast, this thesis introduces a new approach called SSGP (Sample Solve Generalize Prove), which combines inductive and deductive synthesis to autonomously synthesize programs with no extra knowledge outside of the program specification. The approach is to generate examples, solve the examples, generalize from the solutions, and then prove the generalization correct.This thesis presents two systems, Spec2Action and HELPS. Given a logical specification, Spec2Action determines the relations to change to perform simple operations on data structures. The main part of its task is to uncover the recursive structure of the domain from the purely logical input spec. HELPS generates sequential programs with loops and branches using STRIPS actions as the primitive statements. It solves generalizations of classic AI tasks like BlocksWorld. The two systems use SAT solving and other grounded reasoning techniques to solve the examples and generalize the solutions. To prove the abstracted hypotheses, the systems use a novel theorem prover for doing recursive proofs without an explicit induction axiom.
by Harold Fox.
Ph.D.
Bekmann, Joachim Peter Computer Science & Engineering Faculty of Engineering UNSW. "Rapid development of problem-solvers with HeurEAKA! - a heuristic evolutionary algorithm and incremental knowledge acquisition approach". Awarded by:University of New South Wales. School of Computer Science and Engineering, 2006. http://handle.unsw.edu.au/1959.4/25748.
Texto completoGrover, Samir. "Solving layout compaction and wire-balancing problem using linear programming on the Monsoon multiprocessor". Thesis, Connect to online version, 1995. http://0-wwwlib.umi.com.mercury.concordia.ca/cr/concordia/fullcit?pMQ90885.
Texto completoDamon, Nolan Brandon. "On the feasibility of Moodle use to assist deaf and hard of hearing Grade 9 learners with mathematics problem-solving". Thesis, Stellenbosch : Stellenbosch University, 2015. http://hdl.handle.net/10019.1/96768.
Texto completoAFRIKAANSE OPSOMMING: Die doel van hierdie navorsingsprojek is om te evaluereer of Moodle gebruik deur Dowe en Hardhorende graad 9 leerders hulle kan help met moeilikhede wat hulle ondervind met wiskunde probleem oplossing. Die navorsing is ‘n formatiewe evaluering. Binne hierdie kwalitatiewe data ontleding werk ek as ‘n deelnemer-navorser met 3 Dowe en Hardhorende graad 9 leerders by ‘n plaaslike skool vir Doof en Hardhorende leerders. Hierdie leerders het deelgeneem in leeraktiwiteite wat ontwerp is in Moodle en wat gebasseer is op verhouding en koers. Die leeraktiwiteite is ontwerp inlyn met ‘n konstruktivistiese pedagogiese model, verskillende vlakke van leer en multi voorstellings formate. Drie kategorieë o.a Tekortkominge, Moontlike Sterkpunte en Leerder voorstelle, het onstaan tydens die kwalitatiewe data ontleding waar onderhoude met die deelnemers gevoer asook observasie wat gedoen is deur die deelnemer-navorser. Alhoewel die bevindinge daarop dui dat verskillende faktore negatief inwerk op Dowe en Hardhorende leerders se vermoë om wiskunde problem op te los, wys dit ook uit die vermoë van Moodle om wiskunde probleme voor te stel en hoe hierdie voorstellings Dowe en Hardhorende leerders kan help met wiskunde probleem oplossing.
Law, Lai-chong. "Empirical studies of program bugs and debugging strategies of novice BASIC programmers and the transferability of debugging skills to non-programming domains". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1992. http://hub.hku.hk/bib/B29789102.
Texto completoHuang, Angela Tzujui. "Develop heuristics to the popular Minesweeper game". CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2545.
Texto completoLibros sobre el tema "Problem solving - Computer programs"
Problem solving and programs with C. 3a ed. Toronto: Nelson Education, 2011.
Buscar texto completoTront, Joseph G. Problem solving with Borland's Eureka. New York: John Wiley, 1987.
Buscar texto completoTront, Joseph G. Problem solving with Borland's Eureka. New York: John Wiley, 1987.
Buscar texto completo1957-, Fletcher Bill y Curtin Dennis P. 1941-, eds. Business problem solving with Excel. Berkeley, Calif: Osborne McGraw-Hill, 1986.
Buscar texto completoFrantz, Lynn. Problem solving with PC tools. Radnor, PA: Compute! Books, 1989.
Buscar texto completoSavitch, Walter J. Problem solving with C++. 7a ed. Boston: Pearson/Addison Wesley, 2009.
Buscar texto completoProblem solving with C++. 6a ed. Boston: Pearson Addison Wesley, 2007.
Buscar texto completoFowler, Sherry L. Problem solving with Microsoft Excel for windows'95. Upper Saddle River,N.J: Prentice-Hall, 1997.
Buscar texto completoUrsula, Wolz, ed. Problem solving with Java. Reading, Mass: Addison-Wesley, 1999.
Buscar texto completoGips, James. Mastering Excel: A problem-solving approach. New York: Wiley, 1997.
Buscar texto completoCapítulos de libros sobre el tema "Problem solving - Computer programs"
Zhou, Jianyang. "A constraint program for solving the job-shop problem". En Lecture Notes in Computer Science, 510–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61551-2_97.
Texto completoSasano, Isao, Zhenjiang Hu y Masato Takeichi. "Generation of Efficient Programs for Solving Maximum Multi-marking Problems". En Lecture Notes in Computer Science, 72–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44806-3_5.
Texto completoDe Corte, Erik, Lieven Verschaffel y Hilde Schrooten. "Cognitive Effects of Learning to Program in Logo: A One-Year Study With Sixth Graders". En Computer-Based Learning Environments and Problem Solving, 207–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/978-3-642-77228-3_10.
Texto completoTofte, Mads. "A Type Discipline for Solving Year 2000 Problems in COBOL Programs". En Lecture Notes in Computer Science, 442. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48340-3_40.
Texto completoMüller, Wolfgang y Fritz Wysotzki. "Automatic synthesis of control programs by combination of learning and problem solving methods (Extended abstract)". En Lecture Notes in Computer Science, 323–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59286-5_78.
Texto completoRiedel, Ralph, Ulrike Starker y Rüdiger von der Weth. "A Multidisciplinary Model of Problem Solving in Complex Production Systems". En Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 387–94. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-662-44739-0_47.
Texto completoBelyaeva, I. N., N. A. Chekanov, A. A. Gusev, V. A. Rostovtsev, Yu A. Ukolov, Y. Uwano y S. I. Vinitsky. "A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method". En Computer Algebra in Scientific Computing, 32–39. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11555964_3.
Texto completoWallace, Tracey D. y John T. Morris. "SwapMyMood: User-Centered Design and Development of a Mobile App to Support Executive Function". En Lecture Notes in Computer Science, 259–65. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58805-2_31.
Texto completoUnno, Hiroshi, Tachio Terauchi y Eric Koskinen. "Constraint-Based Relational Verification". En Computer Aided Verification, 742–66. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_35.
Texto completoWeik, Martin H. "problem solving". En Computer Science and Communications Dictionary, 1337. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14719.
Texto completoActas de conferencias sobre el tema "Problem solving - Computer programs"
Bright, Curtis, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas y Vijay Ganesh. "Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem". En Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/203.
Texto completoMorgan, A. P. y C. W. Wampler. "Solving a Planar Four-Bar Design Problem Using Continuation". En ASME 1989 Design Technical Conferences. American Society of Mechanical Engineers, 1989. http://dx.doi.org/10.1115/detc1989-0153.
Texto completoWhite, Mark y Greg Epelbaum. "Problem Solving Tools in Waste-to-Energy Systems". En 14th Annual North American Waste-to-Energy Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/nawtec14-3194.
Texto completoShoup, Terry E. y Thomas Shanks. "The Ethics Toolkit: A Computer Program for Teaching Ethics to Engineering Students". En ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/cie-4441.
Texto completoCai, R. "An Engineering Method for Solving Axial Flow Cascade Inverse Problem". En ASME 1987 International Gas Turbine Conference and Exhibition. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/87-gt-147.
Texto completoBzymek, Zbigniew M. y Teresa Lally. "The Brief Theory of Inventive Problem Solving: Practicality of Software Support". En ASME 2017 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/imece2017-70438.
Texto completoHight, Timothy K., Lee E. Hornberger, Elizabeth Lawrence y Matthew W. Gawlowski. "Hypermedia Programs for Mechanical Engineering". En ASME 1994 International Computers in Engineering Conference and Exhibition and the ASME 1994 8th Annual Database Symposium collocated with the ASME 1994 Design Technical Conferences. American Society of Mechanical Engineers, 1994. http://dx.doi.org/10.1115/cie1994-0472.
Texto completoCuteri, Bernardo, Carmine Dodaro, Francesco Ricca y Peter Schüller. "Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators". En Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/234.
Texto completoWellington, Carol A., Rebecca Ward y Alice Armstrong. "Work in progress — Using Video Phenomenography to investigate problem solving skill development in Computer Science I". En 2010 IEEE Frontiers in Education Conference (FIE). IEEE, 2010. http://dx.doi.org/10.1109/fie.2010.5673367.
Texto completoSoni, A. H. y Y. Weng. "Computer Aided Synthesis Equation Derivation for Mechanisms Design Automation". En ASME 1987 Design Technology Conferences. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/detc1987-0024.
Texto completoInformes sobre el tema "Problem solving - Computer programs"
White, Steven y John Lyman. Distributed Problem Solving: Adaptive Networks with a Computer Intermediary Resource. Fort Belvoir, VA: Defense Technical Information Center, junio de 1991. http://dx.doi.org/10.21236/ada238949.
Texto completoLyman, John y Carla J. Conaway. Distributed Problem Solving: Adaptive Networks with a Computer Intermediary Resource. Intelligent Executive Computer Communication. Fort Belvoir, VA: Defense Technical Information Center, junio de 1991. http://dx.doi.org/10.21236/ada242797.
Texto completoDierolf, David A. y Karen J. Richter. Computer-Aided Group Problem Solving for Unified Life Cycle Engineering (ULCE). Fort Belvoir, VA: Defense Technical Information Center, febrero de 1989. http://dx.doi.org/10.21236/ada209446.
Texto completoMorehead, Leslie. Determining the Factors Influential in the Validation of Computer-based Problem Solving Systems. Portland State University Library, enero de 2000. http://dx.doi.org/10.15760/etd.1244.
Texto completoForeit, Karen. From problem-solving to research utilization: How operations research and program evaluation can make programs better. Population Council, 2013. http://dx.doi.org/10.31899/hiv10.1005.
Texto completoHenrick, Erin, Steven McGee, Lucia Dettori, Troy Williams, Andrew Rasmussen, Don Yanek, Ronald Greenberg y Dale Reed. Research-Practice Partnership Strategies to Conduct and Use Research to Inform Practice. The Learning Partnership, abril de 2021. http://dx.doi.org/10.51420/conf.2021.3.
Texto completoO’Brien, Tom, Deanna Matsumoto, Diana Sanchez, Caitlin Mace, Elizabeth Warren, Eleni Hala y Tyler Reeb. Southern California Regional Workforce Development Needs Assessment for the Transportation and Supply Chain Industry Sectors. Mineta Transportation Institute, octubre de 2020. http://dx.doi.org/10.31979/mti.2020.1921.
Texto completo