Добірка наукової літератури з теми "Problem solving - Computer programs"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Problem solving - Computer programs".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Problem solving - Computer programs"
Erkens, Gijsbert, and Jerry E. B. Andriessen. "Cooperation in problem solving and educational computer programs." Computers in Human Behavior 10, no. 1 (March 1994): 107–25. http://dx.doi.org/10.1016/0747-5632(94)90032-9.
Повний текст джерелаKahn, Arthur. "Problem Solving Training — A Factor in Debugging Computer Programs." Proceedings of the Human Factors Society Annual Meeting 29, no. 9 (October 1985): 856–60. http://dx.doi.org/10.1177/154193128502900906.
Повний текст джерелаBaum, Eric B., and Igor Durdanovic. "Evolution of Cooperative Problem Solving in an Artificial Economy." Neural Computation 12, no. 12 (December 1, 2000): 2743–75. http://dx.doi.org/10.1162/089976600300014700.
Повний текст джерелаThilmany, Jean. "Probabilistic Problem Solving." Mechanical Engineering 124, no. 01 (January 1, 2002): 53–55. http://dx.doi.org/10.1115/1.2002-jan-4.
Повний текст джерелаCOOKE, DANIEL E., and ANN GATES. "ON THE DEVELOPMENT OF A METHOD TO SYNTHESIZE PROGRAMS FROM REQUIREMENTS SPECIFICATIONS." International Journal of Software Engineering and Knowledge Engineering 01, no. 01 (March 1991): 21–38. http://dx.doi.org/10.1142/s0218194091000056.
Повний текст джерелаLamia, Mahnane, and Hafidi Mohamed. "A Problem Solving Using Intelligent Social Network." International Journal of Web-Based Learning and Teaching Technologies 14, no. 3 (July 2019): 28–38. http://dx.doi.org/10.4018/ijwltt.2019070103.
Повний текст джерелаTitus, S. J., and W. S. Adams. "A Fifth Generation Approach to Problem-Solving in Forest Mensuration and Sampling." Forestry Chronicle 64, no. 3 (June 1, 1988): 186–89. http://dx.doi.org/10.5558/tfc64186-3.
Повний текст джерелаRUBY, DAVID, and DENNIS KIBLER. "LEARNING STEPPINGSTONES FOR PROBLEM SOLVING." International Journal of Pattern Recognition and Artificial Intelligence 07, no. 03 (June 1993): 527–40. http://dx.doi.org/10.1142/s0218001493000273.
Повний текст джерелаArmoni, Michal, Judith Gal-Ezer, and Dina Tirosh. "Solving Problems Reductively." Journal of Educational Computing Research 32, no. 2 (March 2005): 113–29. http://dx.doi.org/10.2190/6pcm-447v-wf7b-qeuf.
Повний текст джерелаDiMatteo, Rachel Wing. "Informing Practice: A Model Approach to Problem Solving." Mathematics Teaching in the Middle School 16, no. 3 (October 2010): 132–35. http://dx.doi.org/10.5951/mtms.16.3.0132.
Повний текст джерелаДисертації з теми "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.
Повний текст джерелаDeSa, Colin Joseph. "Distributed problem solving environments for scientific computing." Thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-08042009-040307/.
Повний текст джерелаPARK, 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.
Повний текст джерелаPerez, 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.
Повний текст джерелаFox, Harold 1979. "Agent problem solving by inductive and deductive program synthesis." Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/45882.
Повний текст джерелаIncludes 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.
Повний текст джерелаGrover, 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.
Повний текст джерелаDamon, 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.
Повний текст джерелаAFRIKAANSE 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.
Повний текст джерелаHuang, Angela Tzujui. "Develop heuristics to the popular Minesweeper game." CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2545.
Повний текст джерелаКниги з теми "Problem solving - Computer programs"
Problem solving and programs with C. 3rd ed. Toronto: Nelson Education, 2011.
Знайти повний текст джерелаTront, Joseph G. Problem solving with Borland's Eureka. New York: John Wiley, 1987.
Знайти повний текст джерелаTront, Joseph G. Problem solving with Borland's Eureka. New York: John Wiley, 1987.
Знайти повний текст джерела1957-, Fletcher Bill, and Curtin Dennis P. 1941-, eds. Business problem solving with Excel. Berkeley, Calif: Osborne McGraw-Hill, 1986.
Знайти повний текст джерелаFrantz, Lynn. Problem solving with PC tools. Radnor, PA: Compute! Books, 1989.
Знайти повний текст джерелаSavitch, Walter J. Problem solving with C++. 7th ed. Boston: Pearson/Addison Wesley, 2009.
Знайти повний текст джерелаProblem solving with C++. 6th ed. Boston: Pearson Addison Wesley, 2007.
Знайти повний текст джерелаFowler, Sherry L. Problem solving with Microsoft Excel for windows'95. Upper Saddle River,N.J: Prentice-Hall, 1997.
Знайти повний текст джерелаUrsula, Wolz, ed. Problem solving with Java. Reading, Mass: Addison-Wesley, 1999.
Знайти повний текст джерелаGips, James. Mastering Excel: A problem-solving approach. New York: Wiley, 1997.
Знайти повний текст джерелаЧастини книг з теми "Problem solving - Computer programs"
Zhou, Jianyang. "A constraint program for solving the job-shop problem." In Lecture Notes in Computer Science, 510–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61551-2_97.
Повний текст джерелаSasano, Isao, Zhenjiang Hu, and Masato Takeichi. "Generation of Efficient Programs for Solving Maximum Multi-marking Problems." In Lecture Notes in Computer Science, 72–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44806-3_5.
Повний текст джерелаDe Corte, Erik, Lieven Verschaffel, and Hilde Schrooten. "Cognitive Effects of Learning to Program in Logo: A One-Year Study With Sixth Graders." In 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.
Повний текст джерелаTofte, Mads. "A Type Discipline for Solving Year 2000 Problems in COBOL Programs." In Lecture Notes in Computer Science, 442. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48340-3_40.
Повний текст джерелаMüller, Wolfgang, and Fritz Wysotzki. "Automatic synthesis of control programs by combination of learning and problem solving methods (Extended abstract)." In Lecture Notes in Computer Science, 323–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59286-5_78.
Повний текст джерелаRiedel, Ralph, Ulrike Starker, and Rüdiger von der Weth. "A Multidisciplinary Model of Problem Solving in Complex Production Systems." In 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.
Повний текст джерелаBelyaeva, I. N., N. A. Chekanov, A. A. Gusev, V. A. Rostovtsev, Yu A. Ukolov, Y. Uwano, and S. I. Vinitsky. "A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method." In Computer Algebra in Scientific Computing, 32–39. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11555964_3.
Повний текст джерелаWallace, Tracey D., and John T. Morris. "SwapMyMood: User-Centered Design and Development of a Mobile App to Support Executive Function." In Lecture Notes in Computer Science, 259–65. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58805-2_31.
Повний текст джерелаUnno, Hiroshi, Tachio Terauchi, and Eric Koskinen. "Constraint-Based Relational Verification." In Computer Aided Verification, 742–66. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_35.
Повний текст джерелаWeik, Martin H. "problem solving." In Computer Science and Communications Dictionary, 1337. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14719.
Повний текст джерелаТези доповідей конференцій з теми "Problem solving - Computer programs"
Bright, Curtis, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas, and Vijay Ganesh. "Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem." In 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.
Повний текст джерелаMorgan, A. P., and C. W. Wampler. "Solving a Planar Four-Bar Design Problem Using Continuation." In ASME 1989 Design Technical Conferences. American Society of Mechanical Engineers, 1989. http://dx.doi.org/10.1115/detc1989-0153.
Повний текст джерелаWhite, Mark, and Greg Epelbaum. "Problem Solving Tools in Waste-to-Energy Systems." In 14th Annual North American Waste-to-Energy Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/nawtec14-3194.
Повний текст джерелаShoup, Terry E., and Thomas Shanks. "The Ethics Toolkit: A Computer Program for Teaching Ethics to Engineering Students." In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/cie-4441.
Повний текст джерелаCai, R. "An Engineering Method for Solving Axial Flow Cascade Inverse Problem." In ASME 1987 International Gas Turbine Conference and Exhibition. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/87-gt-147.
Повний текст джерелаBzymek, Zbigniew M., and Teresa Lally. "The Brief Theory of Inventive Problem Solving: Practicality of Software Support." In ASME 2017 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/imece2017-70438.
Повний текст джерелаHight, Timothy K., Lee E. Hornberger, Elizabeth Lawrence, and Matthew W. Gawlowski. "Hypermedia Programs for Mechanical Engineering." In 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.
Повний текст джерелаCuteri, Bernardo, Carmine Dodaro, Francesco Ricca, and Peter Schüller. "Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators." In 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.
Повний текст джерелаWellington, Carol A., Rebecca Ward, and Alice Armstrong. "Work in progress — Using Video Phenomenography to investigate problem solving skill development in Computer Science I." In 2010 IEEE Frontiers in Education Conference (FIE). IEEE, 2010. http://dx.doi.org/10.1109/fie.2010.5673367.
Повний текст джерелаSoni, A. H., and Y. Weng. "Computer Aided Synthesis Equation Derivation for Mechanisms Design Automation." In ASME 1987 Design Technology Conferences. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/detc1987-0024.
Повний текст джерелаЗвіти організацій з теми "Problem solving - Computer programs"
White, Steven, and John Lyman. Distributed Problem Solving: Adaptive Networks with a Computer Intermediary Resource. Fort Belvoir, VA: Defense Technical Information Center, June 1991. http://dx.doi.org/10.21236/ada238949.
Повний текст джерелаLyman, John, and Carla J. Conaway. Distributed Problem Solving: Adaptive Networks with a Computer Intermediary Resource. Intelligent Executive Computer Communication. Fort Belvoir, VA: Defense Technical Information Center, June 1991. http://dx.doi.org/10.21236/ada242797.
Повний текст джерелаDierolf, David A., and Karen J. Richter. Computer-Aided Group Problem Solving for Unified Life Cycle Engineering (ULCE). Fort Belvoir, VA: Defense Technical Information Center, February 1989. http://dx.doi.org/10.21236/ada209446.
Повний текст джерелаMorehead, Leslie. Determining the Factors Influential in the Validation of Computer-based Problem Solving Systems. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.1244.
Повний текст джерелаForeit, 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.
Повний текст джерелаHenrick, Erin, Steven McGee, Lucia Dettori, Troy Williams, Andrew Rasmussen, Don Yanek, Ronald Greenberg, and Dale Reed. Research-Practice Partnership Strategies to Conduct and Use Research to Inform Practice. The Learning Partnership, April 2021. http://dx.doi.org/10.51420/conf.2021.3.
Повний текст джерелаO’Brien, Tom, Deanna Matsumoto, Diana Sanchez, Caitlin Mace, Elizabeth Warren, Eleni Hala, and Tyler Reeb. Southern California Regional Workforce Development Needs Assessment for the Transportation and Supply Chain Industry Sectors. Mineta Transportation Institute, October 2020. http://dx.doi.org/10.31979/mti.2020.1921.
Повний текст джерела