Gotowe bibliografie tematyczne / Computer program theory

Spis treści

  1. Artykuły w czasopismach
  2. Rozprawy doktorskie
  3. Książki
  4. Części książek
  5. Streszczenia konferencji
  6. Raporty organizacyjne

Gotowa bibliografia na temat „Computer program theory”

Autor: Grafiati
Data publikacji: 6 września 2023

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Computer program theory”.

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 "Computer program theory"

1

Middelburg, Cornelis. "Program Algebra for Random Access Machine Programs". Scientific Annals of Computer Science XXXII, nr 2 (7.12.2022): 285–319. http://dx.doi.org/10.7561/sacs.2022.2.285.

Pełny tekst źródła
Streszczenie:
This paper presents an algebraic theory of instruction sequences with instructions for a random access machine (RAM) as basic instructions, the behaviours produced by the instruction sequences concerned under execution, and the interaction between such behaviours and RAM memories. This theory provides a setting for the development of theory in areas such as computational complexity and analysis of algorithms that distinguishes itself by offering the possibility of equational reasoning to establish whether an instruction sequence computes a given function and being more general than the setting provided by any known version of the RAM model of computation. In this setting, a semi-realistic version of the RAM model of computation and a bit-oriented time complexity measure for this version are introduced. Under the time measure concerned, semi-realistic RAMs can be simulated by multi-tape Turing machines with quadratic time overhead.
Style APA, Harvard, Vancouver, ISO itp.
2

Gerkushenko, Svetlana, i Georgy Gerkushenko. "The Play Theory and Computer Games Using in Early Childhood Education". International Journal of Game-Based Learning 4, nr 3 (lipiec 2014): 47–60. http://dx.doi.org/10.4018/ijgbl.2014070105.

Pełny tekst źródła
Streszczenie:
The article describes the role of play in child's development and identifies the characteristics of mature play in preschool age. The paper gives an overview of the computer games for preschool children used in Russian kindergartens. The research conducted with 50 Russian kindergarten teachers provides the analysis of the most important factors of computer programs selection made by teachers for their classroom activities. It is analyzed whether the factors concern the theory of children's play and whether the kindergarten teachers need the scaffolding program for choosing computer games appropriate for children's development. It is described the essence of the scaffolding program. They are formulated the criteria for evaluating computer games to make classroom activities developmentally appropriate.
Style APA, Harvard, Vancouver, ISO itp.
3

HENRY, SHAWN R., i JEFFREY R. WEEKS. "SYMMETRY GROUPS OF HYPERBOLIC KNOTS AND LINKS". Journal of Knot Theory and Its Ramifications 01, nr 02 (czerwiec 1992): 185–201. http://dx.doi.org/10.1142/s0218216592000100.

Pełny tekst źródła
Streszczenie:
Canonical triangulations provide an algorithm to compute the symmetry groups of hyperbolic links and their complements, along with information on how each symmetry acts on the link components. The latter information determines the chirality and invertibility of the link. Symmetry groups of knots to ten crossings and multicomponent hyperbolic links to nine crossing are listed, with some exceptions. A Macintosh computer program, available free of charge, computes symmetry groups interactively.
Style APA, Harvard, Vancouver, ISO itp.
4

Zhu, Ming-Yuan. "Program transformation in constructive type theory". ACM SIGPLAN Notices 30, nr 1 (3.01.1995): 11–19. http://dx.doi.org/10.1145/199818.199833.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Pittenger, David J. "Perception Laboratory: A Computer Program to Demonstrate Perceptual Phenomena". Teaching of Psychology 23, nr 1 (luty 1996): 46–48. http://dx.doi.org/10.1207/s15328023top2301_12.

Pełny tekst źródła
Streszczenie:
I developed an interactive computer program that allows one to demonstrate and experiment with various phenomena in visual perception using IBM-compatible computers. The program contains modules for demonstrating the color afterimage, the cafe illusion, additive color mixing and the opponent-process theory of color vision, the glowing axes illusion, the Hermann grid, the McCollough effect, the motion aftereffect, the neon illusion, and simultaneous contrast. The user has considerable control over the stimuli making up the image and can manipulate the variables that contribute to the perception of the effect. The program can be used far classroom demonstrations and student laboratory projects.
Style APA, Harvard, Vancouver, ISO itp.
6

Burnett, R. B., i A. P. Schwab. "A computer program to aid in teaching diffuse layer theory". Journal of Agronomic Education 16, nr 1 (marzec 1987): 30–33. http://dx.doi.org/10.2134/jae1987.0030.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Pavelcik, Frantisek. "Phased rotation, conformation and translation function: theory and computer program". Journal of Applied Crystallography 39, nr 4 (15.07.2006): 483–86. http://dx.doi.org/10.1107/s0021889806013008.

Pełny tekst źródła
Streszczenie:
A new crystallographic function, phased rotation conformation and translation (PRCTF), has been developed. The function is designed for automatic interpretation of electron density utilizing molecular fragments with some conformational freedom. A computer program,NUT, has been written for the calculation of the PRCTF.
Style APA, Harvard, Vancouver, ISO itp.
8

Vessey, Iris. "Toward a theory of computer program bugs: an empirical test". International Journal of Man-Machine Studies 30, nr 1 (styczeń 1989): 23–46. http://dx.doi.org/10.1016/s0020-7373(89)80019-7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Luo, Zhaohui. "Program specification and data refinement in type theory". Mathematical Structures in Computer Science 3, nr 3 (wrzesień 1993): 333–63. http://dx.doi.org/10.1017/s0960129500000256.

Pełny tekst źródła
Streszczenie:
The study of type theory may offer a uniform language for modular programming, structured specification and logical reasoning. We develop an approach to program specification and data refinement in a type theory with a strong logical power and nice structural mechanisms to show that it provides an adequate formalism for modular development of programs and specifications. Specification of abstract data types is considered, and a notion of abstract implementation between specifications is defined in the type theory and studied as a basis for correct and modular development of programs by stepwise refinement. The higher-order structural mechanisms in the type theory provide useful and flexible tools (specification operations and parameterized specifications) for modular design and structured specification. Refinement maps (programs and design decisions) and proofs of implementation correctness can be developed by means of the existing proof development systems based on type theories.
Style APA, Harvard, Vancouver, ISO itp.
10

Shange, Thembeka. "The Possible Role of the English Word Power (EWP) Program in Motivating ICT Foundation Students to Learn English at a University of Technology in South Africa". International Journal of Applied Linguistics and English Literature 10, nr 5 (30.09.2021): 28. http://dx.doi.org/10.7575/aiac.ijalel.v.10n.5p.28.

Pełny tekst źródła
Streszczenie:
This study reports on the possible role of the English Word Power (EWP) program in motivating ICT Foundation students to learn English at a University of Technology in South Africa. Current research indicates that computer-assisted language programs increase motivation and increase enjoyment of learning activities, but no study in South Africa has been conducted on whether this is the case with the EWP program. A qualitative approach was adopted. The sample comprised 44 purposefully selected student observations (n = 44); and five students completed journals. The findings from student observations indicate that they were enthusiastic about the program and that they enjoyed it. The findings from the journals show that students were unsure about certain instructions used in the program and they were too preoccupied with getting the correct answers. It is concluded that ICT Foundation students are positively motivated by the EWP program because, for most of them, learning by means of computers is a new experience in terms of their previous schooling backgrounds. This paves the way for further investigations in developing CALL programs that will have an impact on student learning. Future research should focus on whether similar computer-based programs like EWP do increase student learning.
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "Computer program theory"

1

Khamiss, A.-A. M. "Program construction in Martin-Lof's theory of types". Thesis, University of Essex, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373210.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Jervis, Clive Andrew. "A theory of program correctness with three valued logic". Thesis, University of Leeds, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.277297.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Ireland, Andrew. "Mechanization of program construction in Martin-Loef's theory of types". Thesis, University of Stirling, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236080.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Duong, Chay N. "A study of new-wave theory and an implementation of the new wave theory into GTSELOS computer program". Thesis, Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/21492.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Newlands, D. A., i mikewood@deakin edu au. "Structured development of an asynchronous forth processor using trace theory". Deakin University. School of Sciences, 1989. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20050915.140144.

Pełny tekst źródła
Streszczenie:
This thesis examines the use of a structured design methodology in the design of asynchronous circuits so that high level constructs can be specified purely in terms of signal exchanges and without the intrusion of lower level concepts. Trace theory is used to specify a multi-processor Forth machine at a high level then part of the design is further elaborated using trace theory operations to (insure that the behaviours of the lower level constructs will combine to give the high level specified behaviour without locking or other hazards. A novel form of threaded language to take advantage of the machine architecture is developed. At suitable points the design is tested by simulation. The stack element which is designed is reduced to an electric circuit which is itself tested by simulation to verify the design.
Style APA, Harvard, Vancouver, ISO itp.
6

Doshi, Vishal D. (Vishal Devendra). "Functional compression : theory and application". Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/43038.

Pełny tekst źródła
Streszczenie:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; and, (S.M. in Technology and Policy)--Massachusetts Institute of Technology Engineering Systems Division, Technology and Policy Program, 2008.
Includes bibliographical references (p. 75-77).
We consider the problem of functional compression. The objective is to separately compress possibly correlated discrete sources such that an arbitrary deterministic function of those sources can be computed given the compressed data from each source. This is motivated by problems in sensor networks and database privacy. Our architecture gives a quantitative definition of privacy for database statistics. Further, we show that it can provide significant coding gains in sensor networks. We consider both the lossless and lossy computation of a function. Specifically, we present results of the rate regions for three instances of the problem where there are two sources: 1) lossless computation where one source is available at the decoder, 2) under a special condition, lossless computation where both sources are separately encoded, and 3) lossy computation where one source is available at the decoder. Wyner and Ziv (1976) considered the third problem for the special case f(X, Y) = X and derived a rate distortion function. Yamamoto (1982) extended this result to a general function. Both of these results are in terms of an auxiliary random variable. Orlitsky and Roche (2001), for the zero distortion case, gave this variable a precise interpretation in terms of the properties of the characteristic graph; this led to a particular coding scheme. We extend that result by providing an achievability scheme that is based on the coloring of the characteristic graph. This suggests a layered architecture where the functional layer controls the coloring scheme, and the data layer uses existing distributed source coding schemes. We extend this graph coloring method to provide algorithms and rates for all three problems.
by Vishal D. Doshi.
S.M.
Style APA, Harvard, Vancouver, ISO itp.
7

Lee, Kathryn Green Melville Joel G. "Comparison of the theory, application, and results of one- and two- dimensional flow models". Auburn, Ala., 2006. http://repo.lib.auburn.edu/2006%20Summer/Theses/LEE_KATHRYN_42.pdf.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Ghica, Dan R. "A games-based foundation for compositional software model checking /". Oxford : Oxford University Computing Laboratory, 2002. http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-02-13.html.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Heyer, Tim. "Semantic Inspection of Software Artifacts From Theory to Practice". Doctoral thesis, Linköping : Univ, 2001. http://www.ep.liu.se/diss/science_technology/07/25/index.html.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Rushton, Matthew V. "Static and dynamic type systems". Diss., Connect to the thesis Connect to the thesis, 2004. http://hdl.handle.net/10066/1483.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "Computer program theory"

1

BASIC theory of structures. London: Butterworths, 1985.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Logo: Theory & practice. Pacific Grove, Calif: Brooks/Cole Pub. Co., 1989.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

1956-, McShane Marilyn D., red. Criminological theory. Wyd. 3. Upper Saddle River, N.J: Prentice Hall, 1999.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Williams, Franklin P. Criminological theory. Wyd. 5. Upper Saddle River, N.J: Pearson Education, Inc., 2010.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Williams, Franklin P. Criminological theory. Englewood Cliffs, N.J: Prentice Hall, 1988.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Williams, Franklin P. Criminological theory. Wyd. 2. Englewood Cliffs, N.J: Prentice Hall, 1994.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

A Small C compiler: Language, usage, theory, and design. Redwood City, Calif: M&T Pub., 1988.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Rafiquzzaman, Mohamed. Microcontroller theory and applications with the PIC18F. Hoboken, N.J: John Wiley & Sons Inc., 2011.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Royer, James S. A connotational theory of program structure. Berlin: Springer-Verlag, 1987.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

The theory of thermodynamics. Cambridge [Cambridgeshire]: Cambridge University Press, 1985.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Computer program theory"

1

Reichel, Horst. "Behavioural program specification". W Category Theory and Computer Programming, 390–411. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-17162-2_134.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Coquand, Thierry. "Program construction in intuitionistic Type Theory". W Lecture Notes in Computer Science, 49. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60117-1_4.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Wuwongse, Vilas, i Ekawit Nantajeewarawat. "Declarative program theory with implicit implication". W Lecture Notes in Computer Science, 97–108. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61532-6_9.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Lewin, Douglas, i David Noaks. "The stored program principle". W Theory and Design of Digital Computer Systems, 1–15. Dordrecht: Springer Netherlands, 1992. http://dx.doi.org/10.1007/978-94-011-1576-6_1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Eusterbrock, Jutta. "Program synthesis from examples by theory formation". W Lecture Notes in Computer Science, 370–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63614-5_36.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Henson, Martin C., i Raymond Turner. "A constructive set theory for program development". W Lecture Notes in Computer Science, 329–47. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-50517-2_89.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Prunescu, Mihai. "About a Surprising Computer Program of Matthias Müller". W Convexity and Discrete Geometry Including Graph Theory, 97–108. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-28186-5_9.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Sannella, Donald, i Andrzej Tarlecki. "Extended ML: An institution-independent framework for formal program development". W Category Theory and Computer Programming, 364–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-17162-2_133.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Milanés, Vicente, Enrique Onieva, Joshué Pérez, Jorge Villagrá, Jorge Godoy, Javier Alonso, Carlos González, Teresa de Pedro i Ricardo García. "AUTOPIA Program Advances: How to Automate the Traffic?" W Computer Aided Systems Theory – EUROCAST 2011, 374–81. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27579-1_48.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Dybjer, Peter. "Program verification in a logical theory of constructions". W Functional Programming Languages and Computer Architecture, 334–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15975-4_46.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Computer program theory"

1

"Program". W 2020 30th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2020. http://dx.doi.org/10.1109/iccta52020.2020.9477692.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

"Program". W 2017 27th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2017. http://dx.doi.org/10.1109/iccta43079.2017.9497197.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

"Program". W 2019 29th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2019. http://dx.doi.org/10.1109/iccta48790.2019.9478827.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

"Conference Program". W 2016 26th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2016. http://dx.doi.org/10.1109/iccta40200.2016.9512939.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

"Conference Program". W 2015 25th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2015. http://dx.doi.org/10.1109/iccta37466.2015.9513429.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

"Conference Program". W 2014 24th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2014. http://dx.doi.org/10.1109/iccta35431.2014.9521615.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

"Conference Program". W 2013 23rd International Conference on Computer Theory and Applications (ICCTA). IEEE, 2013. http://dx.doi.org/10.1109/iccta32607.2013.9529803.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

"Final Program". W 2021 31st International Conference on Computer Theory and Applications (ICCTA). IEEE, 2021. http://dx.doi.org/10.1109/iccta54562.2021.9916628.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

"Conference Program". W 2022 32nd International Conference on Computer Theory and Applications (ICCTA). IEEE, 2022. http://dx.doi.org/10.1109/iccta58027.2022.10206221.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

"Audio/Visual Recurrences and Decision Trees for Unsupervised TV Program Structuring". W International Conference on Computer Vision Theory and Applications. SciTePress - Science and and Technology Publications, 2013. http://dx.doi.org/10.5220/0004300307010708.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Computer program theory"

1

Libura, Marek. Multidimensional Item Response Theory Estimation: A computer program. Fort Belvoir, VA: Defense Technical Information Center, październik 1987. http://dx.doi.org/10.21236/ada197160.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Baladi, George Y., Donald E. Barnes i Rebecca P. Berger. Steerability Analysis of Tracked Vehicles: Theory and User's Guide for Computer Program TVSTEER. Fort Belvoir, VA: Defense Technical Information Center, sierpień 1986. http://dx.doi.org/10.21236/ada172008.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Dobranich, D. SAFSIM theory manual: A computer program for the engineering simulation of flow systems. Office of Scientific and Technical Information (OSTI), grudzień 1993. http://dx.doi.org/10.2172/10115531.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Michalopoulos, C. D. PR-175-420-R01 Submarine Pipeline Analysis - Theoretical Manual. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), grudzień 1985. http://dx.doi.org/10.55274/r0012171.

Pełny tekst źródła
Streszczenie:
Describes the computer program SPAN which computes the nonlinear transient response of a submarine pipeline, in contact with the ocean floor, to wave and current excitation. The dynamic response of a pipeline to impact loads, such as loads from trawl gear of fishing vessels, may also be computed. In addition, thermal expansion problems for submarine pipelines may be solved using SPAN. Beam finite element theory is used for spatial discretization of the partial differential equations governing the motion of a submarine pipeline. Large-deflection, small-strain theory is employed. The formulation involves a consistent basis and added mass matrix. Quadratic drag is computed using a nonconventional approach that involves the beam shape functions. Soil-resistance loads are computed using unique pipeline-soil interaction models which take into account coupling of axial and lateral soil forces. The nonlinear governing equations are solved numerically using the Newmark Method. This manual presents the discretized equations of motion, the methods used in determining hydrodynamic and soil-resistance forces, and the solution method.
Style APA, Harvard, Vancouver, ISO itp.
5

Keith, Jr., T., A. Afjeh, D. Jeng i J. White. Aerodynamic analysis of a horizontal axis wind turbine by use of helical vortex theory. Volume II. Computer program users manual. (Final report). [VORTEX]. Office of Scientific and Technical Information (OSTI), kwiecień 1985. http://dx.doi.org/10.2172/5243095.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Ismailova, L. Yu, S. V. Kosikov, V. S. Zaytsev i I. O. Sleptsov. educational computer game THE ADVENTURES OF THE GUSARIK" OR THE BASIS OF THE THEORY OF THE STATE AND LAW (version 1.0). SIB-Expertise, lipiec 2022. http://dx.doi.org/10.12731/er0577.04072022.

Pełny tekst źródła
Streszczenie:
TRAINING GAME IS DESIGNED TO OBTAIN NEW AND TEST EXISTING KNOWLEDGE IN THE FIELD OF ONE OF THE MOST IMPORTANT LEGAL DISCIPLINES - THEORY OF STATE AND LAW. GAME ALLOWS TO TEST ITS FORCES IN INTERACTIVE MODE IN SOLVING A LARGE NUMBER OF THEORETICAL AND PRACTICAL QUESTIONS. THE STUDENT CAN WORK OUT NEW TOPICS USING NUMEROUS COMMENTS AND CHECK THE RESULTS OF THEIR ASSIMILATION. GAME CHARACTER'S CLUES AND FACIAL EXPRESSIONS MOTIVATE THE PLAYER TO CAREFULLY WORK WITH THE OBJECT AND ALLOW YOU TO INDEPENDENTLY WORK ON TOPICS THAT CAUSED DIFFICULTIES IN THE CONTROL MODE. GAME CONTENT COMPLIES WITH THE PROGRAM OF THE STATE STANDARD IN THE SPECIALTY "LAW." THE MAIN GOAL OF THE GAME IS TO HELP IN HIGHLIGHTING THEORETICAL LEGAL STRUCTURES IN PRACTICAL SITUATIONS, TO DEVELOP THE SKILLS OF LEGAL ANALYSIS OF THE TEXT OF LEGAL NORMS AND LAW ENFORCEMENT DOCUMENTS, AND THEREBY TO INCREASE THE EFFECTIVENESS OF THE APPLICATION OF LAW.IN ADDITION, THE EDucational GAME WILL INTRODUCE PROFESSIONAL LEGAL TERMINOLOGY IN THIS FIELD. THE GAME "THEORY OF STATE AND LAW" CAN BE USEFUL FOR STUDENTS OF LAW UNIVERSITIES AND FACULTIES, PRACTICING LAWYERS AND EVERYONE WISHING TO IMPROVE THEIR QUALIFICATIONS IN THE FIELD OF LAW. CERTAIN SECTIONS OF THE GAME WILL BE USEFUL FOR TRAINING IN THE UNIVERSITY IN LEGAL SPECIALTIES.
Style APA, Harvard, Vancouver, ISO itp.
7

Cook, W. A. THERM: A three-dimensional transient heat conduction computer program. Office of Scientific and Technical Information (OSTI), październik 1991. http://dx.doi.org/10.2172/5015011.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Maxey. L51537 Power Line Fault Current Coupling to Nearby Natural Gas Pipelines. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), listopad 1988. http://dx.doi.org/10.55274/r0010412.

Pełny tekst źródła
Streszczenie:
Electric and natural gas utilities often find it advantageous to share rights-of-way. Available methods for evaluating electrical effects on gas pipelines have been difficult to use at best, and at worst, incorrect. A generalized approach that addresses inductive and conductive interferences has not been available. Initiated to fill that need, this work is part of a research effort cosponsored by EPRI and the Pipe Line Research Council International, Inc. (PRCI) �A generalized approach to the analysis of the effects of transmission line faults on natural gas transmission pipelines has been developed and is presented in this report. A state of the art user-friendly computational tool has been developed and verified for the analysis of interference between electrical power lines and nearby buried or aboveground pipelines. This computer program, ECCAPP, is distinguished by its ability to model and analyze accurately complex, realistic interactions between pipelines and power lines, using easily obtained input data. The final report consists of three volumes. An independent fourth volume was also developed to simplify the installation of the ECCAPP software.Volume 1 contains the theory upon which the ECCAPP computer program is based. A parametric analysis and graphical charts have been formulated using ECCAPP to permit estimates to be made in the field or during preliminary analyses for situations that are not too complex. A discussion of various useful mitigation methods is included. The discussion is based on previous research work and on the results of the parametric analysis.Volume 2 is a detailed user's manual which describes not only how to use the program itself, but also which engineering data must be sought during an analysis and how to assimilate it into a computer model. A detailed sample problem is included. A detailed \Glossary of Terms\" used by ECCAPP as well as suitable input data forms to be filled by power line and pipeline engineers are provided in the appendices.Volume 3 discusses the modeling and performance of pipeline insulation or coating.
Style APA, Harvard, Vancouver, ISO itp.
9

McGee, Steven, Randi McGee-Tekula, Jennifer Duck, Lucia Dettori, Don Yanek, Andrew M. Rasmussen, Ronald I. Greenberg i Dale F, Reed. Does Exploring Computer Science Increase Computer Science Enrollment? The Learning Partnership, kwiecień 2018. http://dx.doi.org/10.51420/conf.2018.1.

Pełny tekst źródła
Streszczenie:
This study investigated the impact of the Exploring Computer Science (ECS) program on the likelihood that students of all races and gender would pursue further computer science coursework in high school. ECS is designed to foster deep engagement through equitable inquiry around computer science concepts. The results indicate that students who pursued ECS as their first course were more likely to pursue another course relative to taking a traditional course as the first course.
Style APA, Harvard, Vancouver, ISO itp.
10

Wachen, John, Mark Johnson, Steven McGee, Faythe Brannon i Dennis Brylow. Computer Science Teachers as Change Agents for Broadening Participation: Exploring Perceptions of Equity. The Learning Partnership, kwiecień 2021. http://dx.doi.org/10.51420/conf.2021.2.

Pełny tekst źródła
Streszczenie:
In this paper, the authors share findings from a qualitative analysis of computer science teachers’ perspectives about equity within the context of an equity-focused professional development program. Drawing upon a framework emphasizing educator belief systems in perpetuating inequities in computer science education and the importance of equity-focused teacher professional development, we explored how computer science teachers understand the issue of equity in the classroom. We analyzed survey data from a sample of participants in a computer science professional development program, which revealed that teachers have distinct ways of framing their perceptions of equity and also different perspectives about what types of strategies help to create equitable, inclusive classrooms reflective of student identity and voice.
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Computer program theory” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii