Готові списки джерел за темами / Computer program theory

Зміст

  1. Статті в журналах
  2. Дисертації
  3. Книги
  4. Частини книг
  5. Тези доповідей конференцій
  6. Звіти організацій

Добірка наукової літератури з теми "Computer program theory"

Автор: Grafiati
Опубліковано: 6 вересня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Computer program theory".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Computer program theory"

1

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
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, no. 5 (September 30, 2021): 28. http://dx.doi.org/10.7575/aiac.ijalel.v.10n.5p.28.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Newlands, D. A., and 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.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Computer program theory"

1

BASIC theory of structures. London: Butterworths, 1985.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Computer program theory"

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Lewin, Douglas, and David Noaks. "The stored program principle." In 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Prunescu, Mihai. "About a Surprising Computer Program of Matthias Müller." In 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Milanés, Vicente, Enrique Onieva, Joshué Pérez, Jorge Villagrá, Jorge Godoy, Javier Alonso, Carlos González, Teresa de Pedro, and Ricardo García. "AUTOPIA Program Advances: How to Automate the Traffic?" In 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Dybjer, Peter. "Program verification in a logical theory of constructions." In 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Computer program theory"

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Computer program theory"

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Keith, Jr., T., A. Afjeh, D. Jeng, and 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), April 1985. http://dx.doi.org/10.2172/5243095.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Ismailova, L. Yu, S. V. Kosikov, V. S. Zaytsev, and 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, July 2022. http://dx.doi.org/10.12731/er0577.04072022.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Computer program theory" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії