Relevant bibliographies by topics / Computer program theory

Academic literature on the topic 'Computer program theory'

Author: Grafiati
Published: 6 September 2023

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Computer program theory.'

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 "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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
6

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

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

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

Books on the topic "Computer program theory"

1

BASIC theory of structures. London: Butterworths, 1985.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

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

Conference papers on the topic "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.

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

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

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

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

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

Reports on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
You might also be interested in the extended bibliographies on the topic 'Computer program theory' 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