Relevant bibliographies by topics / Program of actions

Contents

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

Academic literature on the topic 'Program of actions'

Author: Grafiati
Published: 30 May 2022
Last updated: 31 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Program of actions.'

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 "Program of actions"

1

Kamath, Sowmya, Karthik Kappaganthu, Stefanie Painter, and Anmol Madan. "Improving Outcomes Through Personalized Recommendations in a Remote Diabetes Monitoring Program: Observational Study." JMIR Formative Research 6, no. 3 (2022): e33329. http://dx.doi.org/10.2196/33329.

Full text
Abstract:
Background Diabetes management is complex, and program personalization has been identified to enhance engagement and clinical outcomes in diabetes management programs. However, 50% of individuals living with diabetes are unable to achieve glycemic control, presenting a gap in the delivery of self-management education and behavior change. Machine learning and recommender systems, which have been used within the health care setting, could be a feasible application for diabetes management programs to provide a personalized user experience and improve user engagement and outcomes. Objective This s
APA, Harvard, Vancouver, ISO, and other styles
2

Jacobsen, Michele, Sarah Elaine Eaton, Barb Brown, Marlon Simmons, and Mairi McDermott. "Action Research for Graduate Program Improvements: A Response to Curriculum Mapping and Review." Articles 48, no. 1 (2018): 82–98. http://dx.doi.org/10.7202/1050843ar.

Full text
Abstract:
There is a global trend toward improving programs and student experiences in higher education through curriculum review and mapping of degree programs. This paper describes an action research approach to program improvement for a course-based MEd degree. The driver for continual program improvement came from actions and recommendations that arose from an institutionally mandated, year-long, faculty led curriculum review of professional graduate programs in education. Study findings reveal instructors’ perceptions about how they enacted the recommendations for program improvement, including (1)
APA, Harvard, Vancouver, ISO, and other styles
3

Carmo, Ariene Silva do, Milena Serenini, Ana Carolina Lucena Pires, et al. "Promotion of Adequate and Healthy Eating within the scope of the School Health Program: implementation and contribution of the Healthy Growth Program." Saúde em Debate 46, spe3 (2022): 129–41. http://dx.doi.org/10.1590/0103-11042022e309i.

Full text
Abstract:
ABSTRACT The study aims to show the evolution of the percentage of schools adhering to the School Health Program (PSE) that carried out a collective activity on the Promotion of Adequate and Healthy Eating (PAAS) over the last five years and verify if there is a difference in this indicator according to adhesion to the Healthy Growth Program (PCS). Ecological study, developed with data registered in the Health Information System for Primary Care (SISAB). The performance of collective actions on PAAS from 2017 to 2019 increased. In 2020, there was a reduction in the actions carried out; and in
APA, Harvard, Vancouver, ISO, and other styles
4

Jacobsen, Michele, Sarah Elaine Eaton, Barb Brown, Marlon Simmons, and Mairi McDermott. "Action Research for Graduate Program Improvements: A Response to Curriculum Mapping and Review." Canadian Journal of Higher Education 48, no. 1 (2018): 82–98. http://dx.doi.org/10.47678/cjhe.v48i1.188048.

Full text
Abstract:
There is a global trend toward improving programs and student experiences in higher education through curriculum review and mapping of degree programs. This paper describes an action research approach to program improvement for a course-based MEd degree. The driver for continual program improvement came from actions and recommendations that arose from an institutionally mandated, year-long, faculty led curriculum review of professional graduate programs in education. Study findings reveal instructors’ perceptions about how they enacted the recommendations for program improvement, including (1)
APA, Harvard, Vancouver, ISO, and other styles
5

Lei, Chao, Nir Lipovetzky, and Krista A. Ehinger. "Novelty and Lifted Helpful Actions in Generalized Planning." Proceedings of the International Symposium on Combinatorial Search 16, no. 1 (2023): 148–52. http://dx.doi.org/10.1609/socs.v16i1.27294.

Full text
Abstract:
It has been shown recently that successful techniques in classical planning, such as goal-oriented heuristics and landmarks, can improve the ability to compute planning programs for generalized planning (GP) problems. In this work, we introduce the notion of action novelty rank, which computes novelty with respect to a planning program, and propose novelty-based generalized planning solvers, which prune a newly generated planning program if its most frequent action repetition is greater than a given bound v, implemented by novelty-based best-first search BFS(v) and its progressive variant PGP(
APA, Harvard, Vancouver, ISO, and other styles
6

Liu, Daxin, and Gerhard Lakemeyer. "A Framework for Belief-based Programs and Their Verification." Journal of Artificial Intelligence Research 82 (March 3, 2025): 1205–42. https://doi.org/10.1613/jair.1.15796.

Full text
Abstract:
Belief-based programming is a probabilistic extension of the GOLOG program family where every action and sensing result can be noisy and every test condition refers to the agent’s subjective beliefs. Inherited from GOLOG programs, the action-centered feature makes belief programs fairly suitable for high-level robot control under uncertainty. An important step before deploying such a program is to verify whether it satisfies certain properties. At least two problems exist in verifying such programs: how to formally specify program properties and what is the complexity of the verification probl
APA, Harvard, Vancouver, ISO, and other styles
7

Maharani, Laisa. "Hubungan kejadian tindakan tidak aman (unsafe action) dengan penerapan program Behavior Based Safety (BBS) pekerja." Jurnal SAGO Gizi dan Kesehatan 5, no. 3B (2024): 857. https://doi.org/10.30867/gikes.v5i3b.1921.

Full text
Abstract:
Background: Behavior Based Safety (BBS) is an effective tool to reduce work accidents. A proactive approach that focuses on At Risk Behavior is a prevention effort through Unsafe Action behavior that is likely to cause work accidents. The implementation of the Behavior Based Safety (BBS) program affects the high behavior of Unsafe Action.Purpose: The study aims to determine the relationship of Unsafe Action with the implementation of the Behavior Based Safety (BBS) program in the engineering department of PT Bernofarm.Methods: Quantitative research using Cross Sectional research methods. The p
APA, Harvard, Vancouver, ISO, and other styles
8

Roserens, G. A., and M. Jungck. "Radon Program in Switzerland - Remedial Actions." Radiation Protection Dosimetry 56, no. 1-4 (1994): 13. http://dx.doi.org/10.1093/oxfordjournals.rpd.a082413.

Full text
Abstract:
Abstract Several houses of different types now have been modified to reduce radon levels. The most successful mitigation technique combined forced air ventilation with tightening of the basement to decrease or prevent air infiltration from the soil.
APA, Harvard, Vancouver, ISO, and other styles
9

Roserens, G. A., and M. Jungck. "Radon Program in Switzerland - Remedial Actions." Radiation Protection Dosimetry 56, no. 1-4 (1994): 13. http://dx.doi.org/10.1093/rpd/56.1-4.13.

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

Volokh, Sasha, and William G. J. Halfond. "Automatically Defining Game Action Spaces for Exploration Using Program Analysis." Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 19, no. 1 (2023): 145–54. http://dx.doi.org/10.1609/aiide.v19i1.27510.

Full text
Abstract:
The capability to automatically explore different possible game states and functionality is valuable for the automated test and analysis of computer games. However, automatic exploration requires an exploration agent to be capable of determining and performing the possible actions in game states, for which a model is typically unavailable in games built with traditional game engines. Therefore, existing work on automatic exploration typically either manually defines a game's action space or imprecisely guesses the possible actions. In this paper we propose a program analysis technique compatib
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Program of actions"

1

Davis, James William 1968. "Appearance-based motion recognition of human actions." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/29115.

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

Rajan, Suresh G. "Analysis and design of systems utilizing blockchain technology to accelerate the humanitarian actions in the event of natural disasters." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/118526.

Full text
Abstract:
Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, System Design and Management Program, 2018.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 56-58).<br>This paper focuses on designing novel ways to alleviate human and economic impacts caused by weather and climate disasters such as droughts and cyclones. Natural disasters are becoming apparent and continue to grow in number, intensity, and impact. Authorities, organizations and community groups who focus on rebuilding and relief efforts are constantly facing challenges in
APA, Harvard, Vancouver, ISO, and other styles
3

Gu, Yanjia. "Limits to temporal synchronization in fundamental hand and finger actions." Thesis, Loughborough University, 2014. https://dspace.lboro.ac.uk/2134/16313.

Full text
Abstract:
Coordinated movement is critical not only to sports technique and performance but to daily living and as such represents a fundamental area of research. Coordination requires being able to produce the right actions at the right time and has to incorporate perception, cognition, and forceful neuro-muscular interaction with the environment. Coordinated movements of the hands and fingers are some of the most complex activities undertaken where continuous learning and adaptation take place, but the temporal variability of the most basic movement components is still unknown. This thesis investigate
APA, Harvard, Vancouver, ISO, and other styles
4

Willey, Leslie Swanda. "An examination of the literacy curriculum decisions and actions of two beginning teachers enrolled in a university teacher induction program /." free to MU campus, to others for purchase, 2002. http://wwwlib.umi.com/cr/mo/fullcit?p3074455.

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

Rodrigues, Leiner Resende. "Saúde mental e profissionais do programa de saúde da família: uma proposta de educação permanente." Universidade de São Paulo, 2005. http://www.teses.usp.br/teses/disponiveis/22/22131/tde-07012008-110710/.

Full text
Abstract:
Buscando aprofundar o conhecimento e estimular o desenvolvimento das potencialidades das equipes do Programa de Saúde da Família (PSF) de Conquista/MG, este estudo teve como objetivos: Identificar e descrever a situação dos profissionais da equipe do PSF, em relação à assistência oferecida aos portadores de transtornos mentais e seus familiares segundo as variáveis: conhecimento do tema, condutas adotadas e dificuldades vivenciadas. Criar oportunidades de educação permanente, visando a aquisição de conhecimentos, para oferecer assistência aos portadores de transtorno mental e a seus familiares
APA, Harvard, Vancouver, ISO, and other styles
6

Moussi, Jessika, and Ali Mohammed. "Lastmodellering i FEM-Program : Trafiklaster på broar." Thesis, KTH, Byggteknik och design, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-233511.

Full text
Abstract:
I byggbranschen har nya metoder för lastanalys utvecklats och digitaliserats med hjälp av datorer och kraftfulla analysprogram. En stor del av dagens lastanalys utförs med hjälp av FEM baserade program. Dessa program bidrar till mer tidsbesparing och större noggrannhet.FEM-Design är ett FEM baserad analys program som kan hantera olika typer konstruktioner. Trots detta är inte programmet tillräckligt lämpat för brodimensionering när det gäller trafiklaster på broar. Konstruktören behöver därför gå igenom Eurokods-och Trafikverkets regler och krav för att hitta information kring trafikaster och
APA, Harvard, Vancouver, ISO, and other styles
7

Sorenson, Robert Randall. "Attitudes and actions of affirmative action." CSUSB ScholarWorks, 1992. https://scholarworks.lib.csusb.edu/etd-project/608.

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

Lovato, Siusiane. "Análise do processo de implementação das ações integradas do Programa Luz para Todos em uma comunidade rural : uma perspectiva de análise de desenvolvimento protagonizada pelos atores locais." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2009. http://hdl.handle.net/10183/15840.

Full text
Abstract:
Em um contexto de pobreza e exclusão elétrica, a comunidade rural de Linha Betânia composta por dezessete famílias de pequenos agricultores vivendo em condições de isolamento e com um baixo nível de desenvolvimento, localizada no município de Sananduva/RS, foi beneficiada por um projeto de desenvolvimento local promovido e apoiado pelas Ações Integradas do Programa Luz para Todos, o qual teve sua implementação iniciada em 2007, após essas famílias terem tido acesso à energia elétrica por meio do mesmo Programa. As Ações Integradas, como um incremento do Programa Luz para Todos, pretendiam com
APA, Harvard, Vancouver, ISO, and other styles
9

Toman, Martin. "Systém Sinumerik při synchronním programování CNC obráběcích strojů." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2015. http://www.nusl.cz/ntk/nusl-232061.

Full text
Abstract:
This thesis deals with advanced programming of CNC milling machines in Sinumerik 840D powerline control system. Mostly it is aimed on issues of synchronized actions. These actions can adaptively react on progress of milling process regarding to signal detection from the machine and execute specific action. In the introduction of the thesis there are briefly described basic issues and fundamentals of CNC machines and control systems programming. The problematic regarding the programming of synchronized actions is also described. The examples with evaluation of their function are created in the
APA, Harvard, Vancouver, ISO, and other styles
10

Johnson, Brian. "Can Education Improve the Environment? Applying the Pressure-State-Response Environmental Indicator Framework to Environmental Education Program Outcomes." Antioch University / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=antioch1375367966.

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

Books on the topic "Program of actions"

1

Institute of Continuing Legal Education in Georgia., ed. Business torts: Program materials, 1989. The Institute, 1989.

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

Continuing Education of the Bar--California. Civil litigation practice: 10th annual recent developments program. Continuing Education of the Bar, 1992.

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

New York (State). Dept. of Audit and Control. Division of Management Audit, ed. Metropolitan Transportation Authority, actions to address capital program problems were delayed. The Division, 1991.

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

Office, General Accounting. Surety Bond Guarantee Program: Small Business Administration's actions on prior program recommendations : briefing report to congressional requesters. The Office, 1986.

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

Office, General Accounting. Surety Bond Guarantee Program: Small Business Administration's actions on prior program recommendations : briefing report to congressional requesters. The Office, 1986.

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

Operations, United States Equal Employment Opportunity Commission Office of Program. Office of Program Operations: Program guidance #2-88 : must reading for OPO program heads, district directors, field directors, OPO managers and supervisors (hdqrs), all OPO field staff, all OPO staff. U.S. Equal Employment Opportunity Commission, 1988.

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

M, Levine Aaron, and Practising Law Institute, eds. Litigating breast implant cases: A satellite program. Practising Law Institute, 1992.

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

Seminar on Construction Litigation (1986 Atlanta, Ga.). Program materials for Seminar on Construction Litigation, April 4, 1986, Atlanta, Georgia. Institute of Continuing Legal Education in Georgia, 1986.

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

B, Blasingame Gary, and Institute of Continuing Legal Education in Georgia., eds. Program materials for medical malpractice: October 17, 1986, Atlanta, Georgia. Institute of Continuing Legal Education in Georgia, 1986.

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

M, Klarin Richard, California Continuing Education of the Bar, and State Bar of California. Real Property Law Section, eds. Selected issues in title insurance and title insurance litigation: Program handbook, October/November [1990]. Continuing Education of the Bar--California, 1990.

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

Book chapters on the topic "Program of actions"

1

Attie, Paul C., and William L. Cocke. "Model and Program Repair via Group Actions." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30829-1_25.

Full text
Abstract:
AbstractGiven a textual representation of a finite-state concurrent program $$P$$ P , one can construct the corresponding Kripke structure $$\mathcal {M}$$ M . However, the size of $$\mathcal {M}$$ M can be exponentially larger than the textual size of $$P$$ P . This state explosion can make model checking properties of $$P$$ P via $$\mathcal {M}$$ M expensive or even infeasible. The action of a symmetry group $$G$$ G on $$\mathcal {M}$$ M can be used to produce a smaller Kripke structure $$\overline{\mathcal {M}}$$ M ¯ . Various authors have exploited the direct correspondence between $$\math
APA, Harvard, Vancouver, ISO, and other styles
2

Feather, Norman T. "Actions in Relation to Expected Consequences: An Overview of a Research Program." In Expectations and Actions. Routledge, 2021. http://dx.doi.org/10.4324/9781003150879-4.

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

Üçoluk, Göktürk, and Sinan Kalkan. "Actions: The Second Ingredient of a Program." In Introduction to Programming Concepts with Case Studies in Python. Springer Vienna, 2012. http://dx.doi.org/10.1007/978-3-7091-1343-1_3.

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

Cho, Chanhee, Yi Zhou, Jay Bosamiya, and Bryan Parno. "A Framework for Debugging Automated Program Verification Proofs via Proof Actions." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65627-9_17.

Full text
Abstract:
AbstractMany program verification tools provide automation via SMT solvers, allowing them to automatically discharge many proofs. However, when a proof fails, it can be hard to understand why it failed or how to fix it. The main feedback the developer receives is simply the verification result (i.e., success or failure), with no visibility into the solver’s internal state. To assist developers using such tools, we introduce ProofPlumber, a novel and extensible proof-action framework for understanding and debugging proof failures. Proof actions act on the developer’s source-level proofs (e.g.,
APA, Harvard, Vancouver, ISO, and other styles
5

Lette, Danya, and Azadeh Farzan. "Commutativity for Concurrent Program Termination Proofs." In Computer Aided Verification. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37706-8_6.

Full text
Abstract:
AbstractThis paper explores how using commutativity can improve the efficiency and efficacy of algorithmic termination checking for concurrent programs. If a program run is terminating, one can conclude that all other runs equivalent to it up-to-commutativity are also terminating. Since reasoning about termination involves reasoning about infinite behaviours of the program, the equivalence class for a program run may include infinite words with lengths strictly larger than $$\omega $$ ω that capture the intuitive notion that some actions may soundly be postponed indefinitely. We propose a soun
APA, Harvard, Vancouver, ISO, and other styles
6

Venancio, R. B., L. S. Oliveira, R. S. Ribeiro, C. L. Debs, and A. C. Patrocínio. "Actions for Implementation Program of Image Quality of Mammography." In IFMBE Proceedings. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19387-8_5.

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

Wyner, Adam Zachary. "A Functional Program for Agents, Actions, and Deontic Specifications." In Declarative Agent Languages and Technologies IV. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11961536_16.

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

Levando, Dmitry. "Noncooperative Foundation of Cooperative Actions: The Generalized Nash Program." In Trends in Mathematics. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-66379-6_8.

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

Rosiawan, Muhammad. "Implementing Outcome-Based Education in Accordance with ISO 21001 Requirements." In Proceedings of the 19th International Symposium on Management (INSYMA 2022). Atlantis Press International BV, 2022. http://dx.doi.org/10.2991/978-94-6463-008-4_132.

Full text
Abstract:
AbstractThis paper aims to discuss the implementation of Outcome-Based Education (OBE) in the relevant ISO 21001 requirements. These requirements include understanding the organization and its context, needs of students and other beneficiaries, actions to address risks and opportunities, delivery and assessment of learning, evaluation, and corrective/improvement actions. The research method examines the requirements of ISO 21001 relevant to the implementation of OBE and provides an example of its application in one of the study programs. The study results show that ISO 21001 in higher educatio
APA, Harvard, Vancouver, ISO, and other styles
10

Bohlayer, Carina. "Insights into an Action-Oriented Training Program to Promote Sustainable Entrepreneurship." In Transforming Entrepreneurship Education. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-11578-3_6.

Full text
Abstract:
AbstractRecent research has highlighted the ability of entrepreneurs to create sustainable impact and bring about the change required for solving today’s social and environmental challenges. It has also been pointed out that existing entrepreneurship training programs need to be transformed to effectively promote individuals in tackling these challenges and contributing to sustainable development. To address this matter, I developed a training course on sustainable entrepreneurship that builds on an action-oriented entrepreneurship training program (Student Training for Entrepreneurial Promoti
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Program of actions"

1

Huang, Jiangnan, and Bin Lin. "Revisiting Security Practices for Github Actions Workflows." In 2025 IEEE/ACM 33rd International Conference on Program Comprehension (ICPC). IEEE, 2025. https://doi.org/10.1109/icpc66645.2025.00016.

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

Valenzuela-Toledo, Pablo, Chuyue Wu, Sandro Hernández, et al. "Explaining GitHub Actions Failures with Large Language Models: Challenges, Insights, and Limitations." In 2025 IEEE/ACM 33rd International Conference on Program Comprehension (ICPC). IEEE, 2025. https://doi.org/10.1109/icpc66645.2025.00037.

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

Niembro, Antonio Martínez. "Predictive Maintenance Program of Cathodic Protection Systems in a Petrochemical Complex." In CORROSION 1997. NACE International, 1997. https://doi.org/10.5006/c1997-97555.

Full text
Abstract:
Abstract This article describes the results of the 5-year cathodic protection maintenance program for the underground and submerged structures on a Petrochemical Complex. It shows the protection coverage before the program started, the progress at the first year, the results after the program had been imp1emented, diagnostic and troubleshooting methodology, experiences in anode retrofitting, installation of new systems, and corrective actions for attaining efficient cathodic protection systems. The main actions taken were pipe-to-soil potential surveys at six month intervals, impressed current
APA, Harvard, Vancouver, ISO, and other styles
4

Jaffer, A. E., Fred Addington, and A. D. AlMajnouni. "Polymer Corrosion in Boilers: Failure Mecanisms, Root Causes, Corrective Actions, and Monitoring Required." In CORROSION 2002. NACE International, 2002. https://doi.org/10.5006/c2002-02011.

Full text
Abstract:
Abstract Polymer treatments have been used in boilers for many years. The reliability and the life expectancy of boilers have been compromised by severe chemical attack resulting in corroded tubes at different locations in the boilers. In some cases the attack profile is consistent with corrosion caused by chelant chemistry (thinning, glassy, smooth and featureless surfaces) when the real root cause is a misapplied “all polymer” program. However, it has been demonstrated that an all polymer program; if applied properly is not corrosive. Presented in this paper is the failure mechanisms related
APA, Harvard, Vancouver, ISO, and other styles
5

Kaelin, Alison B., and Daniel O’Malley. "New Lead Regulations." In Paint and Coatings Expo (PACE) 2009. SSPC, 2009. https://doi.org/10.5006/s2009-00023.

Full text
Abstract:
Abstract This paper addresses two recent regulatory actions regarding lead. The first is the October 15, 2008 revision to the National Ambient Air Quality Standards for Lead. The second regulation is the August 14, 2008 update to the OSHA Instruction: National Emphasis Program – Lead, which describes OSHA’s nation-wide emphasis on reducing occupational lead exposures. The authors will overview the regulatory actions and discuss potential impacts on the painting industry.
APA, Harvard, Vancouver, ISO, and other styles
6

Claes, Walter P., Y. Tony Lin, and Peter S. Zisson. "Computerized Expert Monitoring and Process Control of Cooling Water Systems." In CORROSION 1993. NACE International, 1993. https://doi.org/10.5006/c1993-93401.

Full text
Abstract:
Abstract Over the past 25 years, computerized process controllers have become more sophisticated in optimizing production. With increased understanding of the "process" of cooling water chemistry, it is now possible to apply the same computerized techniques to the control of open recirculating cooling water systems. This paper describes an integrated expert system for the monitoring and process control of cooling water systems based on the real-time input of on-line, as well as off-line, data and parameters. This single computer program is capable of gathering and storing water quality and sys
APA, Harvard, Vancouver, ISO, and other styles
7

Videla, Hector A. "Contribution of the Cyted Network XVc. to the Development of Biocorrosion Knowledge in Ibero-America." In CORROSION 1998. NACE International, 1998. https://doi.org/10.5006/c1998-98291.

Full text
Abstract:
Abstract The Ibero-American Program for Scientific and Technological Development (CYTED) is an international multilateral program created in 1984 within a framework agreement ratified by the 21 Ibero-American countries. The program contains 16 different international subprograms covering a broad spectrum of scientific and technological fields. As a part of the CYTED Subprogram XV (Corrosion and environmental impact on materials) the Ibero-American Research Network XV.c (BIOCORR) on Biocorrosion and Biofouling in Industrial Systems, has been contributing since 1993 to the dissemination of knowl
APA, Harvard, Vancouver, ISO, and other styles
8

Urquidi-Macdonald, Mirna, Digby D. Macdonald, and Janet D. Lee. "Object-Oriented Expert System to Infer Intergranular Stress Corrosion Cracking in Light Water Nuclear Reactors." In CORROSION 1990. NACE International, 1990. https://doi.org/10.5006/c1990-90340.

Full text
Abstract:
Abstract The Information Technology Center at SRI International is developing a hybrid expert system to monitor and recommend actions in response to the growth of a crack in the reactor core of a light water nuclear power plant. The model of the nuclear power plant is implemented using an object-oriented representation. This model communicates with a FORTRAN program that calculates the crack growth as a function of electrochemical and hydraulic parameters outside the reactor core. These parameters are simulated by the object-oriented power plant model and supplied to the FORTRAN program. When
APA, Harvard, Vancouver, ISO, and other styles
9

B., A. "Social Responsibility Actions: Air Conditioners Replacement Program." In 2006 IEEE/PES Transmission & Distribution Conference and Exposition: Latin America. IEEE, 2006. http://dx.doi.org/10.1109/tdcla.2006.311425.

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

Parr, T. "The Reuse of Grammars with Embedded Semantic Actions." In 2008 IEEE 16th International Conference on Program Comprehension. IEEE, 2008. http://dx.doi.org/10.1109/icpc.2008.36.

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

Reports on the topic "Program of actions"

1

Author, Not Given. Hazardous Waste Remedial Actions Program: Remedial Actions Planning Program Quality Assurance Program Plan. Office of Scientific and Technical Information (OSTI), 1989. http://dx.doi.org/10.2172/5867130.

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

Zarrieß, Benjamin, and Jens Claßen. Decidable Verification of Golog Programs over Non-Local Effect Actions. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.224.

Full text
Abstract:
The Golog action programming language is a powerful means to express high-level behaviours in terms of programs over actions defined in a Situation Calculus theory. In particular for physical systems, verifying that the program satisfies certain desired temporal properties is often crucial, but undecidable in general, the latter being due to the language’s high expressiveness in terms of first-order quantification and program constructs. So far, approaches to achieve decidability involved restrictions where action effects either had to be contextfree (i.e. not depend on the current state), loc
APA, Harvard, Vancouver, ISO, and other styles
3

Baader, Franz, and Benjamin Zarrieß. Verification of Golog Programs over Description Logic Actions. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.198.

Full text
Abstract:
High-level action programming languages such as Golog have successfully been used to model the behavior of autonomous agents. In addition to a logic-based action formalism for describing the environment and the effects of basic actions, they enable the construction of complex actions using typical programming language constructs. To ensure that the execution of such complex actions leads to the desired behavior of the agent, one needs to specify the required properties in a formal way, and then verify that these requirements are met by any execution of the program. Due to the expressiveness of
APA, Harvard, Vancouver, ISO, and other styles
4

Author, Not Given. Environmental Restoration Remedial Actions Program Field Office Work Plan. Office of Scientific and Technical Information (OSTI), 1989. http://dx.doi.org/10.2172/6347838.

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

Zarrieß, Benjamin, and Jens Claßen. Verification of Knowledge-Based Programs over Description Logic Actions. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.216.

Full text
Abstract:
A knowledge-based program defines the behavior of an agent by combining primitive actions, programming constructs and test conditions that make explicit reference to the agent’s knowledge. In this paper we consider a setting where an agent is equipped with a Description Logic (DL) knowledge base providing general domain knowledge and an incomplete description of the initial situation. We introduce a corresponding new DL-based action language that allows for representing both physical and sensing actions, and that we then use to build knowledge-based programs with test conditions expressed in t
APA, Harvard, Vancouver, ISO, and other styles
6

Hance, Braden, Zachary Wurtzebach, Emily Blanchard, and Meg Desmond. Integrating Connectivity into State Wildlife Action Plans (SWAPs): Threats, Actions, and Recommendations. Center for Large Landscape Conservation, 2024. http://dx.doi.org/10.53847/pvug5074.

Full text
Abstract:
State Wildlife Action Plans (SWAPs) are important vehicles for connectivity conservation. State wildlife agencies must complete State Wildlife Action Plans (SWAPs) to qualify for funding from the State Wildlife Grants program, which was established in 2000 to support the conservation of at-risk species and their habitat. Since that time, SWAPs have become recognized as “conservation blueprints” that compile the best available science, identify conservation priorities, and promote coordination across various partners. This report provides SWAP planners and partners with a comprehensive “menu” o
APA, Harvard, Vancouver, ISO, and other styles
7

Baader, Franz, Anees ul Mehdi, and Hongkai Liu. Integrate Action Formalisms into Linear Temporal Description Logics. Technische Universität Dresden, 2009. http://dx.doi.org/10.25368/2022.172.

Full text
Abstract:
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem becomes decidable. On the one hand, we abstract from the actual execution sequences of a non-terminating program by considering infinite sequences of actions defined by a Büchi automaton. On the other hand, we assume that the logic underlying our action formalism is a decidable description logic rather than full first-order predicate logic.
APA, Harvard, Vancouver, ISO, and other styles
8

Author, Not Given. Military construction program economic analysis manual: Text and appendixes: Hazardous Waste Remedial Actions Program. [Contains glossary]. Office of Scientific and Technical Information (OSTI), 1987. http://dx.doi.org/10.2172/5817640.

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

Kocher, D. C. Radiological criteria for remedial actions at radioactively contaminated sites. Environmental Restoration Program. Office of Scientific and Technical Information (OSTI), 1994. http://dx.doi.org/10.2172/10193043.

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

Gray, Cheryl, Betty Fry, Gene Bottoms, and Kathy O’Neill. Good Principals Aren’t Born—They’re Mentored: Are We Investing Enough to Get the School Leaders We Need? Southern Regional Education Board, 2007. http://dx.doi.org/10.59656/el-sb3403.001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Program of actions' 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