Relevant bibliographies by topics / Theoretical foundations of computer science

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Theoretical foundations of computer science'

Author: Grafiati
Published: 4 June 2025
Last updated: 1 August 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Theoretical foundations of computer science.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Theoretical foundations of computer science"

1

Krajíček, Jan. "Hardness assumptions in the foundations of theoretical computer science." Archive for Mathematical Logic 44, no. 6 (2005): 667–75. http://dx.doi.org/10.1007/s00153-005-0279-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Farin, G. "Theoretical foundations of computer graphics and CAD." Computer-Aided Design 21, no. 9 (1989): 596–97. http://dx.doi.org/10.1016/0010-4485(89)90023-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

McClean, Jarrod R., Nicholas C. Rubin, Joonho Lee, et al. "What the foundations of quantum computer science teach us about chemistry." Journal of Chemical Physics 155, no. 15 (2021): 150901. http://dx.doi.org/10.1063/5.0060367.

Full text
Abstract:
With the rapid development of quantum technology, one of the leading applications that has been identified is the simulation of chemistry. Interestingly, even before full scale quantum computers are available, quantum computer science has exhibited a remarkable string of results that directly impact what is possible in a chemical simulation with any computer. Some of these results even impact our understanding of chemistry in the real world. In this Perspective, we take the position that direct chemical simulation is best understood as a digital experiment. While on the one hand, this clarifie
APA, Harvard, Vancouver, ISO, and other styles
4

Binkley, Dave, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, and Bogdan Korel. "Theoretical foundations of dynamic program slicing." Theoretical Computer Science 360, no. 1-3 (2006): 23–41. http://dx.doi.org/10.1016/j.tcs.2006.01.012.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Li, Xiaodong, Wenjian Luo, and Xin Yao. "Theoretical foundations of evolutionary computation." Genetic Programming and Evolvable Machines 9, no. 2 (2007): 107–8. http://dx.doi.org/10.1007/s10710-007-9047-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Artemov, Sergei, and Anil Nerode. "Special Issue on Logical Foundations of Computer Science." Journal of Logic and Computation 30, no. 1 (2020): 1. http://dx.doi.org/10.1093/logcom/exaa026.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Galinkin, Erick. "Review of The Foundations of Computability Theory (Second Edition) by Borut Robič." ACM SIGACT News 52, no. 2 (2021): 7–9. http://dx.doi.org/10.1145/3471469.3471472.

Full text
Abstract:
Computability theory forms the foundation for much of theoretical computer science. Many of our great unsolved questions stem from the need to understand what problems can even be solved. The greatest question of computer science, P vs. NP, even sidesteps this entirely, asking instead how efficiently we can find solutions for the problems that we know are solvable. For many students both at the undergraduate and graduate level, a first exposure to computability theory follows a standard sequence on data structures and algorithms and students often marvel at the first results they see on undeci
APA, Harvard, Vancouver, ISO, and other styles
8

Wu, Yonghao, Minyi Liu, and Jun Li. "Detection and Recognition of Visual Geons Based on Specific Object-of-Interest Imaging Technology." Sensors 25, no. 10 (2025): 3022. https://doi.org/10.3390/s25103022.

Full text
Abstract:
Across domains such as visual processing, computer graphics, neuroscience, and biological sciences, geons are recognized as fundamental components of complex shapes. Their theoretical significance has been extensively acknowledged in scientific research. However, accurately identifying and extracting these structural components remains a persistent challenge. This study integrates theoretical foundations from signal processing, computer graphics, neuroscience, and biological sciences. We employ specific object-of-interest imaging and neural networks to mathematically operationalize visual geon
APA, Harvard, Vancouver, ISO, and other styles
9

Gorrieri, Roberto, and Fabio Martinelli. "Theoretical foundations of security analysis and design II." Theoretical Computer Science 340, no. 1 (2005): 1–2. http://dx.doi.org/10.1016/j.tcs.2005.03.001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lehre, Per Kristian, Aneta Neumann, and Chao Qian. "Special Issue on Theoretical Foundations of Evolutionary Computation." Theoretical Computer Science 950 (March 2023): 113785. http://dx.doi.org/10.1016/j.tcs.2023.113785.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Theoretical foundations of computer science"

1

Clément, Ian. "Proof theoretical foundations for constructive Description Logic." Thesis, McGill University, 2008. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=22027.

Full text
Abstract:
Description logics (DLs) are a family of knowledge representation languages to describe concepts in a given domain. While we can define the semantics of description logics using, for example, a translation into first-order logic, so far the proof-theoretic nature of DL has not been well investigated. In this thesis, we develop a proof theory for a constructive version of Description Logic, specifically Attributive Language with Complement (ALC), in two steps: First, we define a natural deduction system for ALC and develop a sequent calculus formulation, for which we prove cut-admissibility
APA, Harvard, Vancouver, ISO, and other styles
2

Huggins, Jonathan H. (Jonathan Hunter). "Scaling Bayesian inference : theoretical foundations and practical methods." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/117836.

Full text
Abstract:
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 129-140).<br>Bayesian statistical modeling and inference allow scientists, engineers, and companies to learn from data while incorporating prior knowledge, sharing power across experiments via hierarchical models, quantifying
APA, Harvard, Vancouver, ISO, and other styles
3

Bogdan, Paul. "Theoretical Foundations of Multicore Systems Design: A Dynamical Systems Perspective." Research Showcase @ CMU, 2011. http://repository.cmu.edu/dissertations/183.

Full text
Abstract:
The proliferation of complex phenomena and the tightening competition for limited resources are two fundamental challenges for the modeling, analysis, and optimization of dynamical processes taking place in networked environments/architectures. Modes of collective and competitive behavior can be noticed across a wide array of social, biological, and technological contexts. From urban crowds to bacterial colonies, from brain neurons to human cells and even electron-hole interactions in semiconductors, dynamical phase transitions influence the macroscopic behavior of complex networks. To address
APA, Harvard, Vancouver, ISO, and other styles
4

Locklair, Gary H. "Foundations of Computer Science A Survey of Computer Science via its Grand Ideas." NSUWorks, 2002. http://nsuworks.nova.edu/gscis_etd/680.

Full text
Abstract:
This dissertation constitutes findings on research into the grand ideas of computer science and a philosophical framework for the grand ideas. By way of illustration, this dissertation is in the form of a college-level text meant to demonstrate both the grand ideas of computer science and a potential framework for them. The text is a sophisticated survey of the foundational concepts which form the basis of computer science. The text may serve as an introduction to computer science for those new to the discipline and also as a concise review of topics for those familiar with the discipline. The
APA, Harvard, Vancouver, ISO, and other styles
5

Cox, Louis Anthony. "Mathematical foundations of risk measurement." Thesis, Massachusetts Institute of Technology, 1986. http://hdl.handle.net/1721.1/114010.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1986.<br>MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING<br>Bibliography: leaves 261-266.<br>by Louis Anthony Cox, Jr.<br>Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
6

Rodriguez, Paul Fabian. "Mathematical foundations of simple recurrent networks /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 1999. http://wwwlib.umi.com/cr/ucsd/fullcit?p9935464.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Williams, A. Lynn. "Multiple Oppositions: Theoretical Foundations for an Alternative Contrastive Intervention Approach." Digital Commons @ East Tennessee State University, 2000. https://dc.etsu.edu/etsu-works/2007.

Full text
Abstract:
Abstract A multiple opposition approach to phonological intervention is described as an alternative contrastive approach for the treatment of severe speech disorders in children. The development and theoretical constructs of this approach are presented within the context of a clinical case study. The multiple opposition approach is based on the premise that the systemic level of phonological organization is essential in the description and intervention of disordered sound systems. Phonological descriptions identify phoneme collapses, which are viewed as phonologic strategies developed by the c
APA, Harvard, Vancouver, ISO, and other styles
8

Fleming, David M. "Foundations of object-based specification design." Morgantown, W. Va. : [West Virginia University Libraries], 1997. http://etd.wvu.edu/templates/showETD.cfm?recnum=1036.

Full text
Abstract:
Thesis (Ph. D.)--West Virginia University, 1997.<br>Title from document title page. Document formatted into pages; contains xi, 161 p. : ill. Includes abstract. Includes bibliographical references (p. 158-161).
APA, Harvard, Vancouver, ISO, and other styles
9

Fahrenbach, Florian, Alexander Kaiser, Florian Kragulj, and Clemens Kerschbaum. "Designing a Tool to Assess Professional Competences: Theoretical Foundations and Potential Applications." Academic Conferences and Publishing International Limited, 2019. http://epub.wu.ac.at/6994/1/2019_ECKM_FahrenbachEtAl.pdf.

Full text
Abstract:
This conceptual paper outlines the descriptive theoretical foundations or kernel theories for designing an information and communication technology (ICT) tool to assess professional competences in the Austrian trade and craft sector. Upon completion, the ICT-tool serves as a boundary object in which applicants and assessors can interact. While this paper consists of a literature review and conceptual discussion, the overall project is methodologically placed within a multidisciplinary design-science paradigm. Design science scaffolds and structures the development of a theoretical model, the
APA, Harvard, Vancouver, ISO, and other styles
10

Enström, Emma. "On difficult topics in theoretical computer science education." Doctoral thesis, KTH, Teoretisk datalogi, TCS, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-152357.

Full text
Abstract:
This thesis primarily reports on an action research project that has been conducted on a course in theoretical computer science (TCS). The course is called Algorithms, data structures, and complexity (ADC) and is given at KTH Royal Institute of Technology in Stockholm, Sweden. The ADC course is an introduction to TCS, but resembles and succeeds courses introducing programming, system development best practices, problem solving, proving, and logic. Requiring the completion of four programming projects, the course can easily be perceived as a programming course by the students. Most previous res
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Theoretical foundations of computer science"

1

Carlo, Ghezzi, ed. Theoretical foundations of computer science. Wiley, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Mandrioli, Dino. Theoretical foundations of computer science. Krieger Pub. Co., 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Carlo, Ghezzi, ed. Theoretical foundations of computer science. Wiley, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Zhou, Qihai, ed. Theoretical and Mathematical Foundations of Computer Science. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24999-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Thiagarajan, P. S., ed. Foundations of Software Technology and Theoretical Computer Science. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60692-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Nori, Kesav V., ed. Foundations of Software Technology and Theoretical Computer Science. Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/3-540-18625-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Chandru, V., and V. Vinay, eds. Foundations of Software Technology and Theoretical Computer Science. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-62034-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ramesh, S., and G. Sivakumar, eds. Foundations of Software Technology and Theoretical Computer Science. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0058017.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Biswas, Somenath, and Kesav V. Nori, eds. Foundations of Software Technology and Theoretical Computer Science. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54967-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Maheshwari, S. N., ed. Foundations of Software Technology and Theoretical Computer Science. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-16042-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Theoretical foundations of computer science"

1

Forssell, Henrik, Håkon Robbestad Gylterud, and David I. Spivak. "Type Theoretical Databases." In Logical Foundations of Computer Science. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27683-0_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ortiz, Eric C., and Lauren Reinerman-Jones. "Theoretical Foundations for Developing Cybersecurity Training." In Lecture Notes in Computer Science. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21067-4_49.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ojo, Adegboyega, Tomasz Janowski, and Elsa Estevez. "Building Theoretical Foundations for Electronic Governance Benchmarking." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22878-0_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bossi, Annalisa, and Maria Chiara Meo. "Theoretical Foundations and Semantics of Logic Programming." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14309-0_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Embley, David W., and Andrew Zitzelberger. "Theoretical Foundations for Enabling a Web of Knowledge." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11829-6_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gofer, Eyal, and Guy Gilboa. "Theoretical Foundations for Pseudo-Inversion of Nonlinear Operators." In Lecture Notes in Computer Science. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-31975-4_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bertot, Yves, and Pierre Castéran. "** Foundations of Inductive Types." In Texts in Theoretical Computer Science An EATCS Series. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07964-5_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Welk, Martin, Guy Gilboa, and Joachim Weickert. "Theoretical Foundations for Discrete Forward-and-Backward Diffusion Filtering." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02256-2_44.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Cuzzocrea, Alfredo, and Hendrik Decker. "Non-linear Data Stream Compression: Foundations and Theoretical Results." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28942-2_56.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Gwosdek, Pascal, Sven Grewenig, Andrés Bruhn, and Joachim Weickert. "Theoretical Foundations of Gaussian Convolution by Extended Box Filtering." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-24785-9_38.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Theoretical foundations of computer science"

1

Koch, Caleb, Carmen Strassle, and Li-Yang Tan. "Fast Decision Tree Learning Solves Hard Coding-Theoretic Problems." In 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, 2024. http://dx.doi.org/10.1109/focs61266.2024.00114.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hosseini, Erfan, Selen Cremaschi, and Zhihua Jiang. "Techno-Economic Analysis of Methane Production from Pulp and Paper Sludge." In Foundations of Computer-Aided Process Design. PSE Press, 2024. http://dx.doi.org/10.69997/sct.129762.

Full text
Abstract:
This study investigates the feasibility of valorizing pulp and pulp sludge (PPS) into methane through anaerobic digestion (AD) with a focus on techno-economic analysis (TEA). Three scenarios are evaluated: (A) the base case, (B) sludge AD with alkaline pretreatment using green liquor dregs (GLD), and (C) co-digestion with nitrogen-rich feedstocks. The evaluation is applied to a common PPS, consisting of 70% primary sludge (PS) from the primary clarifier and 30% secondary sludge (SS) from biological treatments from a kraft mill. Theoretical methane potential (TMP) is determined using the Buswel
APA, Harvard, Vancouver, ISO, and other styles
3

Ghanem, Fred, Purnima M. Kodate, Gerard M. Capellades, and Kirti M. Yenkie. "Optimal Design of Antibody Extraction Systems using Protein A Resin with Multicycling." In Foundations of Computer-Aided Process Design. PSE Press, 2024. http://dx.doi.org/10.69997/sct.170492.

Full text
Abstract:
Antibody therapies are important in treating life-threatening ailments such as cancer and autoimmune diseases. Purity of the antibody is essential for successful applications and Protein A selective resin extraction is the standard step for antibody recovery. Unfortunately, such resins can cost up to 30% of the total cost of antibody production. Hence, the optimal design of this purification step becomes a critical factor in downstream processing to minimize the size of the column needed. An accurate predictive model, as a digital twin representing the purification process, is necessary where
APA, Harvard, Vancouver, ISO, and other styles
4

Majrashi, Khalid, Margaret Hamilton, and Alexandra L. Uitdenbogerd. "Multiple User Interfaces and Crossplatform User Experience : Theoretical Foundations." In Fifth International Conference on Computer Science, Engineering and Applications. Academy & Industry Research Collaboration Center (AIRCC), 2015. http://dx.doi.org/10.5121/csit.2015.50205.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Papadimitriou, C. H. "Game theory and mathematical economics: a theoretical computer scientist's introduction." In Proceedings 42nd IEEE Symposium on Foundations of Computer Science. IEEE, 2001. http://dx.doi.org/10.1109/sfcs.2001.959877.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Davendralingam, Navindran, Zhenghui Sha, Kushal Moolchandani, Apoorv Maheshwari, Jitesh H. Panchal, and Daniel A. DeLaurentis. "Scientific Foundations for Systems Engineering: Challenges and Strategies." In ASME 2015 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/detc2015-47315.

Full text
Abstract:
There is an increasing realization of the need for fundamental research in the science of systems engineering. The International Council on Systems Engineering vision document calls for theoretical foundations for systems architecting, systems design and systems understanding. During a recent NSF workshop, a number of knowledge areas ranging from mathematics, information sciences, physical sciences, systems science to human and social sciences were identified as possible sources from which the scientific foundation of systems engineering can be enhanced. However, the primary challenge facing t
APA, Harvard, Vancouver, ISO, and other styles
7

Hochbaum, Dorit S., and David B. Shmoys. "Using dual approximation algorithms for scheduling problems: Theoretical and practical results." In 26th Annual Symposium on Foundations of Computer Science (sfcs 1985). IEEE, 1985. http://dx.doi.org/10.1109/sfcs.1985.63.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Waterson, Clare, and B. Keith Jenkins. "Shared Memory Optical/Electronic Computer: Architecture Design." In Optical Computing. Optica Publishing Group, 1991. http://dx.doi.org/10.1364/optcomp.1991.tua3.

Full text
Abstract:
Several abstract models of parallel computation have been developed and studied by the computer science and parallel processing communities [1, 2]. The shared memory models are among the most computationally powerful of these models. They benefit from substantial theoretical foundations, and many algorithms have been mapped onto these models in order to characterize theoretically optimum parallel performance. A number of attempts have been made to develop electronic parallel architectures based on the shared memory model. Most of them have been unsuccessful, primarily due to the complexity of
APA, Harvard, Vancouver, ISO, and other styles
9

Bilokon, Vasyl, Zoya Dudar, Olga Vorochek, and Svitlana Vorochek. "Theoretical Foundations of the Models and Methods of Information Search for Structured Digital Library." In 2006 International Conference - Modern Problems of Radio Engineering, Telecommunications, and Computer Science. IEEE, 2006. http://dx.doi.org/10.1109/tcset.2006.4404449.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ali, Azad, and David T Smith. "An Internship Program at a Computer Science Department –Theoretical Foundation and Overall Coordination." In InSITE 2015: Informing Science + IT Education Conferences: USA. Informing Science Institute, 2015. http://dx.doi.org/10.28945/2139.

Full text
Abstract:
Internship courses, unlike others, are multi-pronged because they require coordination at different levels. Typically, a faculty coordinates the communication and implementation at these multiple levels to lead the completion of internship courses. We call the position that this faculty holds and does all this communication/coordination the “internship coordinator”. For the work of the internship coordinator to be successful, he/she must synchronize the work of the internship with all parties involved. Failure to coordinate at one level or another may affect the work of other parties involved
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Theoretical foundations of computer science"

1

Markova, Oksana, Serhiy Semerikov та Maiia Popel. СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics”. Sun SITE Central Europe, 2018. http://dx.doi.org/10.31812/0564/2250.

Full text
Abstract:
The role of neural network modeling in the learning сontent of special course “Foundations of Mathematic Informatics” was discussed. The course was developed for the students of technical universities – future IT-specialists and directed to breaking the gap between theoretic computer science and it’s applied applications: software, system and computing engineering. CoCalc was justified as a learning tool of mathematical informatics in general and neural network modeling in particular. The elements of technique of using CoCalc at studying topic “Neural network and pattern recognition” of the sp
APA, Harvard, Vancouver, ISO, and other styles
2

Gagné, Marylène. Self-Determination Theory for Research and Interventions. Instats Inc., 2024. http://dx.doi.org/10.61700/wl4nmalk9qg6n1398.

Full text
Abstract:
This 2-day seminar is designed to enhance participants' understanding and application of Self-Determination Theory (SDT) across various fields including psychology, education, organization science, and public health. Participants will explore SDT's theoretical foundations as a theory of motivation, recent methodological approaches, and practical applications, gaining tools to implement SDT principles effectively in their research and design more effective interventions.
APA, Harvard, Vancouver, ISO, and other styles
3

Meseguer, J. Rewriting Logic and its Applications First International Workshop, Asilomar Conference Center, Pacific Grove, California, 3-6 September 1996. Volume 4 Electronic Notes in Theoretical Computer Science. Defense Technical Information Center, 1996. http://dx.doi.org/10.21236/ada314817.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bilousova, Liudmyla I., Liudmyla E. Gryzun, Daria H. Sherstiuk, and Ekaterina O. Shmeltser. Cloud-based complex of computer transdisciplinary models in the context of holistic educational approach. [б. в.], 2019. http://dx.doi.org/10.31812/123456789/3259.

Full text
Abstract:
The paper represents the authors’ cloud-based complex of computer dynamic models and their transdisciplinary facilities. Proper theoretical background for the complex design is elaborated and the process of the computer models development is covered. The models in the complex are grouped in the sections according to the curriculum subjects (Physics, Algebra, Geometry, Biology, Geography, and Informatics). Each of the sections includes proper models along with their description and transdisciplinary didactic support. The paper also presents recommendations as for using of the complex to provide
APA, Harvard, Vancouver, ISO, and other styles
5

Striuk, Andrii M. Software engineering: first 50 years of formation and development. [б. в.], 2018. http://dx.doi.org/10.31812/123456789/2880.

Full text
Abstract:
The article analyzes the main stages of software engineering (SE) development. Based on the analysis of materials from the first SE conferences (1968-1969), it was determined how the software crisis prompted scientists and practitioners to join forces to form an engineering approach to programming. Differences in professional training for SE are identified. The fundamental components of the training of future software engineers are highlighted. The evolution of approaches to the design, implementation, testing and documentation of software is considered. The system scientific, technological ap
APA, Harvard, Vancouver, ISO, and other styles
6

Kremleva, Olga. E-training course "Psychosomatosis". Федеральное государственное бюджетное образовательное учреждение высшего образования "Уральский государственный медицинский университет" Министерства здравоохранения Российской Федерации, 2024. https://doi.org/10.12731/er0858.12122024.

Full text
Abstract:
The author's electronic training course ""Psychosomatosis"" is compiled in accordance with the requirements of the Federal State Educational Standard of Higher Education in the specialty 31.08.22 Psychotherapy (level of training of highly qualified personnel), approved by the Order of the Ministry of Education and Science of the Russian Federation dated August 25, 2014 No. 1064 and in the specialty 31.08.20 Psychiatry (level of training of highly qualified personnel), approved by the Order of the Ministry of Education and Science of the Russian Federation dated August 25, 2014 No. 1062. The pu
APA, Harvard, Vancouver, ISO, and other styles
7

Danylchuk, Hanna B., and Serhiy O. Semerikov. Advances in machine learning for the innovation economy: in the shadow of war. Криворізький державний педагогічний університет, 2023. http://dx.doi.org/10.31812/123456789/7732.

Full text
Abstract:
This preface introduces the selected and revised papers presented at the 10th International Conference on Monitoring, Modeling &amp; Management of Emergent Economy (M3E2 2022), held online in Ukraine, on November 17-18, 2022. The conference aimed to bring together researchers, practitioners, and students from various fields to exchange ideas, share experiences, and discuss challenges and opportunities in applying computational intelligence and data science for the innovation economy. The innovation economy is a term that describes the emerging paradigm of economic development that is driven by
APA, Harvard, Vancouver, ISO, and other styles
8

Pasupuleti, Murali Krishna. Quantum Cognition: Modeling Decision-Making with Quantum Theory. National Education Services, 2025. https://doi.org/10.62311/nesx/rrvi225.

Full text
Abstract:
Abstract Quantum cognition applies quantum probability theory and mathematical principles from quantum mechanics to model human decision-making, reasoning, and cognitive processes beyond the constraints of classical probability models. Traditional decision theories, such as expected utility theory and Bayesian inference, struggle to explain context-dependent reasoning, preference reversals, order effects, and cognitive biases observed in human behavior. By incorporating superposition, interference, and entanglement, quantum cognitive models offer a probabilistic framework that better accounts
APA, Harvard, Vancouver, ISO, and other styles
9

Pokryshen, Dmytro A., Evgeniy H. Prokofiev, and Albert A. Azaryan. Blogger and YouTube services at a distant course “Database management system Microsoft Access”. [б. в.], 2019. http://dx.doi.org/10.31812/123456789/3272.

Full text
Abstract:
The article is devoted to the coverage of the course “Database management system Microsoft Access”, an educational blog review “The development of a creative child. ІCТ”, which is used as an auxiliary tool for promoting a course and teacher in the Internet, structural analysis of this blog is made. The channel location is set on YouTube video hosting and how it is used in the course on databases. Attention is drawn to the fact that theoretical and practical material is considered on real, implemented informational and analytical systems. To prepare students for the Olympiads and provide method
APA, Harvard, Vancouver, ISO, and other styles
10

Sokolovsky, Dmitry, Sergey Sokolov, and Alexey Rezaykin. e-learning course "Informatics". SIB-Expertise, 2024. http://dx.doi.org/10.12731/er0785.29012024.

Full text
Abstract:
The e-learning course "Informatics" is compiled in accordance with the requirements of the Federal State Educational Standard of Higher Education in the specialty 33.05.01 Pharmacy (specialty level), approved by Order of the Ministry of Education and Science of the Russian Federation dated August 11, 2016 No. 1037, and taking into account the requirements of the professional standard 02.006 "Pharmacist", approved by order of the Ministry of Labor and Social Protection No. 91n of the Russian Federation dated March 9, 2016. The purpose of the course is to master the necessary amount of theoretic
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Theoretical foundations of computer science' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography