Gotowa bibliografia na temat „Problem solving - Computer programs”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Problem solving - Computer programs”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Problem solving - Computer programs"
Erkens, Gijsbert, i Jerry E. B. Andriessen. "Cooperation in problem solving and educational computer programs". Computers in Human Behavior 10, nr 1 (marzec 1994): 107–25. http://dx.doi.org/10.1016/0747-5632(94)90032-9.
Pełny tekst źródłaKahn, Arthur. "Problem Solving Training — A Factor in Debugging Computer Programs". Proceedings of the Human Factors Society Annual Meeting 29, nr 9 (październik 1985): 856–60. http://dx.doi.org/10.1177/154193128502900906.
Pełny tekst źródłaBaum, Eric B., i Igor Durdanovic. "Evolution of Cooperative Problem Solving in an Artificial Economy". Neural Computation 12, nr 12 (1.12.2000): 2743–75. http://dx.doi.org/10.1162/089976600300014700.
Pełny tekst źródłaThilmany, Jean. "Probabilistic Problem Solving". Mechanical Engineering 124, nr 01 (1.01.2002): 53–55. http://dx.doi.org/10.1115/1.2002-jan-4.
Pełny tekst źródłaCOOKE, DANIEL E., i ANN GATES. "ON THE DEVELOPMENT OF A METHOD TO SYNTHESIZE PROGRAMS FROM REQUIREMENTS SPECIFICATIONS". International Journal of Software Engineering and Knowledge Engineering 01, nr 01 (marzec 1991): 21–38. http://dx.doi.org/10.1142/s0218194091000056.
Pełny tekst źródłaLamia, Mahnane, i Hafidi Mohamed. "A Problem Solving Using Intelligent Social Network". International Journal of Web-Based Learning and Teaching Technologies 14, nr 3 (lipiec 2019): 28–38. http://dx.doi.org/10.4018/ijwltt.2019070103.
Pełny tekst źródłaTitus, S. J., i W. S. Adams. "A Fifth Generation Approach to Problem-Solving in Forest Mensuration and Sampling". Forestry Chronicle 64, nr 3 (1.06.1988): 186–89. http://dx.doi.org/10.5558/tfc64186-3.
Pełny tekst źródłaRUBY, DAVID, i DENNIS KIBLER. "LEARNING STEPPINGSTONES FOR PROBLEM SOLVING". International Journal of Pattern Recognition and Artificial Intelligence 07, nr 03 (czerwiec 1993): 527–40. http://dx.doi.org/10.1142/s0218001493000273.
Pełny tekst źródłaArmoni, Michal, Judith Gal-Ezer i Dina Tirosh. "Solving Problems Reductively". Journal of Educational Computing Research 32, nr 2 (marzec 2005): 113–29. http://dx.doi.org/10.2190/6pcm-447v-wf7b-qeuf.
Pełny tekst źródłaDiMatteo, Rachel Wing. "Informing Practice: A Model Approach to Problem Solving". Mathematics Teaching in the Middle School 16, nr 3 (październik 2010): 132–35. http://dx.doi.org/10.5951/mtms.16.3.0132.
Pełny tekst źródłaRozprawy doktorskie na temat "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.
Pełny tekst źródłaDeSa, Colin Joseph. "Distributed problem solving environments for scientific computing". Thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-08042009-040307/.
Pełny tekst źródłaPARK, 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.
Pełny tekst źródłaPerez, 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.
Pełny tekst źródłaFox, Harold 1979. "Agent problem solving by inductive and deductive program synthesis". Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/45882.
Pełny tekst źródłaIncludes 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.
Pełny tekst źródłaGrover, 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.
Pełny tekst źródłaDamon, 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.
Pełny tekst źródłaAFRIKAANSE 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.
Pełny tekst źródłaHuang, Angela Tzujui. "Develop heuristics to the popular Minesweeper game". CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2545.
Pełny tekst źródłaKsiążki na temat "Problem solving - Computer programs"
Problem solving and programs with C. Wyd. 3. Toronto: Nelson Education, 2011.
Znajdź pełny tekst źródłaTront, Joseph G. Problem solving with Borland's Eureka. New York: John Wiley, 1987.
Znajdź pełny tekst źródłaTront, Joseph G. Problem solving with Borland's Eureka. New York: John Wiley, 1987.
Znajdź pełny tekst źródła1957-, Fletcher Bill, i Curtin Dennis P. 1941-, red. Business problem solving with Excel. Berkeley, Calif: Osborne McGraw-Hill, 1986.
Znajdź pełny tekst źródłaFrantz, Lynn. Problem solving with PC tools. Radnor, PA: Compute! Books, 1989.
Znajdź pełny tekst źródłaSavitch, Walter J. Problem solving with C++. Wyd. 7. Boston: Pearson/Addison Wesley, 2009.
Znajdź pełny tekst źródłaProblem solving with C++. Wyd. 6. Boston: Pearson Addison Wesley, 2007.
Znajdź pełny tekst źródłaFowler, Sherry L. Problem solving with Microsoft Excel for windows'95. Upper Saddle River,N.J: Prentice-Hall, 1997.
Znajdź pełny tekst źródłaUrsula, Wolz, red. Problem solving with Java. Reading, Mass: Addison-Wesley, 1999.
Znajdź pełny tekst źródłaGips, James. Mastering Excel: A problem-solving approach. New York: Wiley, 1997.
Znajdź pełny tekst źródłaCzęści książek na temat "Problem solving - Computer programs"
Zhou, Jianyang. "A constraint program for solving the job-shop problem". W Lecture Notes in Computer Science, 510–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61551-2_97.
Pełny tekst źródłaSasano, Isao, Zhenjiang Hu i Masato Takeichi. "Generation of Efficient Programs for Solving Maximum Multi-marking Problems". W Lecture Notes in Computer Science, 72–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44806-3_5.
Pełny tekst źródłaDe Corte, Erik, Lieven Verschaffel i Hilde Schrooten. "Cognitive Effects of Learning to Program in Logo: A One-Year Study With Sixth Graders". W 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.
Pełny tekst źródłaTofte, Mads. "A Type Discipline for Solving Year 2000 Problems in COBOL Programs". W Lecture Notes in Computer Science, 442. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48340-3_40.
Pełny tekst źródłaMüller, Wolfgang, i Fritz Wysotzki. "Automatic synthesis of control programs by combination of learning and problem solving methods (Extended abstract)". W Lecture Notes in Computer Science, 323–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59286-5_78.
Pełny tekst źródłaRiedel, Ralph, Ulrike Starker i Rüdiger von der Weth. "A Multidisciplinary Model of Problem Solving in Complex Production Systems". W 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.
Pełny tekst źródłaBelyaeva, I. N., N. A. Chekanov, A. A. Gusev, V. A. Rostovtsev, Yu A. Ukolov, Y. Uwano i S. I. Vinitsky. "A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method". W Computer Algebra in Scientific Computing, 32–39. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11555964_3.
Pełny tekst źródłaWallace, Tracey D., i John T. Morris. "SwapMyMood: User-Centered Design and Development of a Mobile App to Support Executive Function". W Lecture Notes in Computer Science, 259–65. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58805-2_31.
Pełny tekst źródłaUnno, Hiroshi, Tachio Terauchi i Eric Koskinen. "Constraint-Based Relational Verification". W Computer Aided Verification, 742–66. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_35.
Pełny tekst źródłaWeik, Martin H. "problem solving". W Computer Science and Communications Dictionary, 1337. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14719.
Pełny tekst źródłaStreszczenia konferencji na temat "Problem solving - Computer programs"
Bright, Curtis, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas i Vijay Ganesh. "Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem". W 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.
Pełny tekst źródłaMorgan, A. P., i C. W. Wampler. "Solving a Planar Four-Bar Design Problem Using Continuation". W ASME 1989 Design Technical Conferences. American Society of Mechanical Engineers, 1989. http://dx.doi.org/10.1115/detc1989-0153.
Pełny tekst źródłaWhite, Mark, i Greg Epelbaum. "Problem Solving Tools in Waste-to-Energy Systems". W 14th Annual North American Waste-to-Energy Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/nawtec14-3194.
Pełny tekst źródłaShoup, Terry E., i Thomas Shanks. "The Ethics Toolkit: A Computer Program for Teaching Ethics to Engineering Students". W ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/cie-4441.
Pełny tekst źródłaCai, R. "An Engineering Method for Solving Axial Flow Cascade Inverse Problem". W ASME 1987 International Gas Turbine Conference and Exhibition. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/87-gt-147.
Pełny tekst źródłaBzymek, Zbigniew M., i Teresa Lally. "The Brief Theory of Inventive Problem Solving: Practicality of Software Support". W ASME 2017 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/imece2017-70438.
Pełny tekst źródłaHight, Timothy K., Lee E. Hornberger, Elizabeth Lawrence i Matthew W. Gawlowski. "Hypermedia Programs for Mechanical Engineering". W 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.
Pełny tekst źródłaCuteri, Bernardo, Carmine Dodaro, Francesco Ricca i Peter Schüller. "Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators". W 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.
Pełny tekst źródłaWellington, Carol A., Rebecca Ward i Alice Armstrong. "Work in progress — Using Video Phenomenography to investigate problem solving skill development in Computer Science I". W 2010 IEEE Frontiers in Education Conference (FIE). IEEE, 2010. http://dx.doi.org/10.1109/fie.2010.5673367.
Pełny tekst źródłaSoni, A. H., i Y. Weng. "Computer Aided Synthesis Equation Derivation for Mechanisms Design Automation". W ASME 1987 Design Technology Conferences. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/detc1987-0024.
Pełny tekst źródłaRaporty organizacyjne na temat "Problem solving - Computer programs"
White, Steven, i John Lyman. Distributed Problem Solving: Adaptive Networks with a Computer Intermediary Resource. Fort Belvoir, VA: Defense Technical Information Center, czerwiec 1991. http://dx.doi.org/10.21236/ada238949.
Pełny tekst źródłaLyman, John, i Carla J. Conaway. Distributed Problem Solving: Adaptive Networks with a Computer Intermediary Resource. Intelligent Executive Computer Communication. Fort Belvoir, VA: Defense Technical Information Center, czerwiec 1991. http://dx.doi.org/10.21236/ada242797.
Pełny tekst źródłaDierolf, David A., i Karen J. Richter. Computer-Aided Group Problem Solving for Unified Life Cycle Engineering (ULCE). Fort Belvoir, VA: Defense Technical Information Center, luty 1989. http://dx.doi.org/10.21236/ada209446.
Pełny tekst źródłaMorehead, Leslie. Determining the Factors Influential in the Validation of Computer-based Problem Solving Systems. Portland State University Library, styczeń 2000. http://dx.doi.org/10.15760/etd.1244.
Pełny tekst źródłaForeit, 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.
Pełny tekst źródłaHenrick, Erin, Steven McGee, Lucia Dettori, Troy Williams, Andrew Rasmussen, Don Yanek, Ronald Greenberg i Dale Reed. Research-Practice Partnership Strategies to Conduct and Use Research to Inform Practice. The Learning Partnership, kwiecień 2021. http://dx.doi.org/10.51420/conf.2021.3.
Pełny tekst źródłaO’Brien, Tom, Deanna Matsumoto, Diana Sanchez, Caitlin Mace, Elizabeth Warren, Eleni Hala i Tyler Reeb. Southern California Regional Workforce Development Needs Assessment for the Transportation and Supply Chain Industry Sectors. Mineta Transportation Institute, październik 2020. http://dx.doi.org/10.31979/mti.2020.1921.
Pełny tekst źródła