Relevant bibliographies by topics / Programs and actions

Contents

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

Academic literature on the topic 'Programs and actions'

Author: Grafiati
Published: 2 June 2025
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 'Programs and 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 "Programs and actions"

1

Kuczaj, Stan A., John D. Gory, and Mark J. Xitco. "Using programs to solve problems: Imitation versus insight." Behavioral and Brain Sciences 21, no. 5 (1998): 695–96. http://dx.doi.org/10.1017/s0140525x98351742.

Full text
Abstract:
Dolphins exhibit both action-level imitation (ALI) and program-level imitation (PLI). Dolphins may use ALI primarily for social cohesion, whereas PLI seems more likely to occur in goal-directed, problem-solving contexts. Both PLI and insightful problem solving require a recognition of the functional relations between actions and outcomes. Insightful problem solving, however, involves the creation of a program in the absence of a model, and therefore requires a higher order appreciation and application of the relations between actions and outcomes.
APA, Harvard, Vancouver, ISO, and other styles
2

O.O., Khan. "Situational conditionality of construction and programs implementation of individual investigative (search) actions." Scientific Herald of Sivershchyna. Series: Law 2020, no. 3 (2020): 100–112. http://dx.doi.org/10.32755/sjlaw.2020.03.100.

Full text
Abstract:
In forensic science, the theory of situational conditionality of pre-trial and judicial investigation is considered to be quite accepted. Programming the conduct of individual investigative (search) actions is a new means of solving tactical tasks by investigators during criminal proceedings. This raises the question of examining its situational conditionality. Under the situation of individual investigative (search) actions today, some scientists consider a set of conditions and circumstances that create the relevant situation – the situation during a specific investigative (search) action, w
APA, Harvard, Vancouver, ISO, and other styles
3

Roodhart, Leo. "Your SPE: Board Actions Guide SPE Programs." Journal of Petroleum Technology 61, no. 05 (2009): 12–14. http://dx.doi.org/10.2118/0509-0012-jpt.

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

Chang, Hung Hao, and D. Daniel Sokol. "ADVOCACY VERSUS ENFORCEMENT IN ANTITRUST COMPLIANCE PROGRAMS." Journal of Competition Law & Economics 16, no. 1 (2020): 36–62. http://dx.doi.org/10.1093/joclec/nhaa002.

Full text
Abstract:
Abstract We focus on the question of why firms self-regulate to avoid more severe public regulation in the area of antitrust compliance. We distinguish the effects of an antitrust authority’s outreach and enforcement on firms’ adoption of antitrust compliance programs. Furthermore, we examine the mechanism that may drive an antitrust authority’s actions on firms’ decisions to adopt compliance programs. Using a 2-year survey of 432 firms drawn from the top 300 Taiwanese enterprises and applying mediation analysis, we find that “voluntary” self-regulation actions, encouraged by the antitrust aut
APA, Harvard, Vancouver, ISO, and other styles
5

FERRARIS, PAOLO, JOOHYUNG LEE, YULIYA LIERLER, VLADIMIR LIFSCHITZ, and FANGKAI YANG. "Representing first-order causal theories by logic programs." Theory and Practice of Logic Programming 12, no. 3 (2011): 383–412. http://dx.doi.org/10.1017/s1471068411000081.

Full text
Abstract:
AbstractNonmonotonic causal logic, introduced by McCain and Turner (McCain, N. and Turner, H. 1997. Causal theories of action and change. In Proceedings of National Conference on Artificial Intelligence (AAAI), Stanford, CA, 460–465) became the basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite theories and to the first-order causal lo
APA, Harvard, Vancouver, ISO, and other styles
6

Abril, Carlos R., and Julie K. Bannerman. "Perceived Factors Impacting School Music Programs." Journal of Research in Music Education 62, no. 4 (2014): 344–61. http://dx.doi.org/10.1177/0022429414554430.

Full text
Abstract:
The purpose of this study was to examine elementary music teachers’ perceptions of factors impacting their music programs and teaching positions as well as the actions these teachers take in response to those factors. The following research questions guided the study: (1) What factors are perceived to impact music programs and teaching positions? (2) What is the nature of these factors? (3) How and within what socioecological levels do teachers act on behalf of their programs or positions? (4) To what degree are specific actions, people, and/or groups thought effective in impacting music progr
APA, Harvard, Vancouver, ISO, and other styles
7

Banihashemi, Bita, Shakil M. Khan, and Mikhail Soutchanski. "From Actions to Programs as Abstract Actual Causes." Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 5 (2022): 5470–78. http://dx.doi.org/10.1609/aaai.v36i5.20485.

Full text
Abstract:
Causality plays a central role in reasoning about observations. In many cases, it might be useful to define the conditions under which a non-deterministic program can be called an actual cause of an effect in a setting where a sequence of programs are executed one after another. There can be two perspectives, one where at least one execution of the program leads to the effect, and another where all executions do so. The former captures a ''weak'' notion of causation and is more general than the latter stronger notion. In this paper, we give a definition of weak potential causes. Our analysis i
APA, Harvard, Vancouver, ISO, and other styles
8

Heneman, Herbert G., Robin Worth, Jessica Arrigoni, Steven M. Kimball, and Anthony Milanowski. "Teacher Performance Pay Programs and Necessary Communication Actions." Journal of School Public Relations 34, no. 2 (2013): 114–38. http://dx.doi.org/10.3138/jspr.34.2.114.

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

Park, Na-Eun, Seung-Urn Choe, and Chan-Jong Kim. "Analysis of Climate Change Education (CCE) Programs: Focusing on Cultivating Citizen Activists to Respond to Climate Change." Asia-Pacific Science Education 6, no. 1 (2020): 15–40. http://dx.doi.org/10.1163/23641177-bja00004.

Full text
Abstract:
Abstract Climate change education (CCE) programs should foster citizen response to climate change by integrating knowledge/skill development with reflection on the need for actively changing current social systems and personal actions. An analytical framework was developed to examine 16 Korean and international CCE programs to identify (1) structure and content and (2) to categorize action-emphasized climate change education (AECCE) programs. Results show most CCE programs are for elementary levels and place emphasis on knowledge/skill development, but not on action. AECCE categorized programs
APA, Harvard, Vancouver, ISO, and other styles
10

Thorp, H. Holden. "Words yes, actions unlikely." Science 379, no. 6636 (2023): 963. http://dx.doi.org/10.1126/science.adh4603.

Full text
Abstract:
Failure to diversify the United States scientific workforce has elicited statements and actions from federal funding agencies that are scrambling to correct inequities. Only last week, a new study showed that Black scientists are underrepresented among principal investigators who are funded by the National Institutes of Health (NIH) (at 1.8%). This is unacceptable. Science is a social endeavor where research only becomes knowledge when validated by the scientific community. A more diverse scientific community can average out individual biases, leading to more robust consensus. Meanwhile, conse
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Programs and actions"

1

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
2

Tatsui, Timothy Takashi. "Transforming aspirations to actions in early readiness programs action research in early college outreach /." Diss., Restricted to subscribing institutions, 2006. http://proquest.umi.com/pqdweb?did=1264617891&sid=1&Fmt=2&clientId=1564&RQT=309&VName=PQD.

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

Guest, Katie Rose. "Actions in the affirmative pragmatism, pedagogy, law, and the affirmative action debate /." Greensboro, N.C. : University of North Carolina at Greensboro, 2007. http://libres.uncg.edu/edocs/etd/1409/umi-uncg-1409.pdf.

Full text
Abstract:
Thesis (Ph.D.)--University of North Carolina at Greensboro, 2007.<br>Title from PDF t.p. (viewed Oct. 22, 2007). Directed by Hephzibah Roskelly; submitted to the Dept. of English. Includes bibliographical references (p. 169-177).
APA, Harvard, Vancouver, ISO, and other styles
4

Russo, Brooke Stelle. "Civility Promotion Actions and Decisions of Prelicensure Baccalaureate Nurse Faculty." ScholarWorks, 2019. https://scholarworks.waldenu.edu/dissertations/7838.

Full text
Abstract:
Acts of incivility in nursing education and practice settings are a growing concern. Previous research has indicated that uncivil behaviors, especially among nurses in the healthcare workplace, create toxic work environments and pose risks to patient safety. Uncivil behaviors among nurse educators and students were found to erode the learning environment and lead to poor program outcomes. Researchers provided evidence to show varied levels of incivility in academic and workplace environments and recommended solutions to improve civility, yet little evidence exists to show how nurse faculty app
APA, Harvard, Vancouver, ISO, and other styles
5

Wilkinson, Thomas Walter. "The perceptions and actions of selected distance educators on academic procrastination in telecommunications-based distance education programs in higher education /." This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-10032007-171515/.

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

Wilkinson, Thomas W. "The perceptions and actions of selected distance educators on academic procrastination in telecommunications-based distance education programs in higher education." Diss., Virginia Tech, 1990. http://hdl.handle.net/10919/39547.

Full text
Abstract:
This study investigated the perceptions and actions of selected distance educators on academic procrastination in telecommunications-based distance education programs in higher education. Data were collected via mail survey from a sample of 276 telecommunications-based distance education programs identified by two national data sources. Specifically, subjects were asked to provide information on: the extent to which they perceived academic procrastination to be a problem in their program, the data they collected on academic procrastination, and the strategies they used to com.bat academic proc
APA, Harvard, Vancouver, ISO, and other styles
7

Hull, Sarah M. "Mitigating Risk: A Legal and Quantitative Study of Institutional Actions in the Development and Implementation of Undergraduate Education Abroad Programs." Kent State University / OhioLINK, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=kent1558819803772172.

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

Anastasiadis, Kleanthis. "Co-ordinating artefacts and actions in order to run a taxi business." Thesis, Blekinge Tekniska Högskola, Sektionen för teknokultur, humaniora och samhällsbyggnad, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-1721.

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

Golden, Thomas P. "The Influence of Macro- and Meso-Structuring Mechanisms on Micro-Institutional Actions to Reproduce or Transform Labor Force Participation Approaches of Community Rehabilitation Programs." Thesis, The George Washington University, 2016. http://pqdtopen.proquest.com/#viewpdf?dispub=10037649.

Full text
Abstract:
<p> Change and stability are critical to the sustained competitive advantage of organizations. Emerging research shows the relationship that exists between human agency and institutions, but also the inter-relationship to the dynamic of change and stability. This study examines the concepts of stability and change in regard to organizational change and institutional theory, and the influence of macro- and meso-structuring mechanisms in processes of institutional reproduction and change. Specific reference is made to institutional orientations toward stability and change as primary dimensions i
APA, Harvard, Vancouver, ISO, and other styles
10

Abdoulkarimou, Saïdou. "Projets, développement territorial et pérennisation des actions : le cas du Niger et de la lutte contre la pauvreté." Thesis, Montpellier 3, 2010. http://www.theses.fr/2010MON30092/document.

Full text
Abstract:
Depuis plus de 40 ans, des Projets ont été conçus et mis en œuvre au Niger pour assurer le développement socio-économique mais force et de constater que les résultats atteints n’ont pas été à la hauteur des espoirs. Quinze années durant, le doctorant a travaillé au sein de Projets et programmes en qualité d'agent de développement. Le doctorant voulait à travers cette thèse comprendre les raisons de la prédominance et des limites de l’approche projet/programme à pérenniser les actions qu’ils initient et à avoir des impacts durables sur la pauvreté. A partir de l’analyse de la littérature et des
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Programs and actions"

1

P, McManamon Francis, Stout Andrew, and Barnes Jodi A, eds. Managing archaeological resources: Global context, national programs, local actions. Left Coast Press, 2008.

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

Unit, European Social Fund Programme Evaluation. Preventive actions in education. European Social Fund Evaluation Unit, 1997.

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

Office, General Accounting. Federal programs: Ethnographic studies can inform agencies' actions : staff study. U.S. General Accounting Office, 2003.

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

Dodaro, Gene L. Asset forfeiture programs: Corrective actions underway but additional improvements needed. U.S. General Accounting Office, 1988.

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

Thomas, Alun H. The incidence and effectiveness of prior actions in IMF-supported programs. International Monetary Fund, Policy Development and Review Dept., 2006.

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

Lynn, Parker, Burns Annina Catherine, and Sanchez Eduardo, eds. Local government actions to prevent childhood obesity. National Academies Press, 2009.

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

United States. Government Accountability Office. Equal employment opportunity: Information on personnel actions, employee concerns, and oversight at six DOE laboratories ; report to the Chairman, Subcommittee on Energy, Committee on Science, House of Representatives. GAO, 2005.

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

Ministre, France Premier, ed. L' évaluation des politiques et des actions publiques ; Propositions en vue de l'évaluation du revenu minimum d'insertion: Rapports au Premier Ministre. Documentation française, 1989.

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

Keen, Alex. Internal programs and actions to make transit more environmentally friendly: Environmental management principles and handbook. Canadian Urban Transport Association, 1992.

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

Levin-Epstein, Jodie. The rush to reform: 1992 state AFDC legislative and waiver actions. Center for Law and Social Policy, 1992.

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

Book chapters on the topic "Programs and actions"

1

Hunter, Aaron. "Actions, Preferences, and Logic Programs." In Advances in Artificial Intelligence. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-30353-1_9.

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

Masters, William A., and Amelia B. Finaret. "Collective Action: Government Policies and Programs." In Food Economics. Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-53840-7_6.

Full text
Abstract:
AbstractPeople often engage in collective actions undertaken by a group as a whole. This chapter introduces the toolkit of economics used to analyze government policies and programs, aiming to understand the political economy of collective actions at all scales from local to global. Governments are important actors in agriculture and food systems, providing public-sector goods and services through programs financed with tax revenue and by expanding the money supply. Governments also regulate private activity through public policies, legislation and law enforcement. Non-governmental organizatio
APA, Harvard, Vancouver, ISO, and other styles
3

Baader, Franz, and Benjamin Zarrieß. "Verification of Golog Programs over Description Logic Actions." In Frontiers of Combining Systems. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40885-4_12.

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

Namjoshi, Kedar S., and Nisarg Patel. "Synthesis of Compact Strategies for Coordination Programs." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99524-9_3.

Full text
Abstract:
AbstractIn multi-agent settings, such as IoT and robotics, it is necessary to coordinate the actions of independent agents in order to achieve a joint behavior. While it is often easy to specify the desired joint behavior, programming the necessary coordination can be difficult. In this work, we develop theory and methods to synthesize coordination strategies that are guaranteed not to initiate unnecessary actions. We refer to such strategies as being “compact.” We formalize the intuitive notion of compactness; show that existing methods do not guarantee compactness; and propose a solution. Th
APA, Harvard, Vancouver, ISO, and other styles
5

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
6

Anderson, Emma-Louise, and Amy S. Patterson. "Dependent Agency and the AIDS Enterprise: Global Programs, Local Actions." In Dependent Agency in the Global Health Regime. Palgrave Macmillan US, 2016. http://dx.doi.org/10.1057/978-1-137-58148-8_1.

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

Caracciolo, Ida. "UN Actions and Programs in Safeguarding the Independence of Judges." In The Rule of Law in Europe. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-56001-0_8.

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

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
9

d’Abbs, Peter, and Nicole Hewlett. "Introduction." In Learning from 50 Years of Aboriginal Alcohol Programs. Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-0401-3_1.

Full text
Abstract:
AbstractThis chapter outlines the objectives of the book that follows and contextualises it. The objectives are, firstly, to review actions and programs adopted by Aboriginal communities and organisations to reduce alcohol-related harms in the half-century that has passed since legal prohibition on Aboriginal drinking alcohol in Australia was rescinded. A second objective is to synthesise evidence from these actions and programs in order to improve the evidence-base available to current and future initiatives. The chapter concludes with an overview of topics explored in the following chapters.
APA, Harvard, Vancouver, ISO, and other styles
10

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

Conference papers on the topic "Programs and actions"

1

Leathrum, R. A. "The Water Treatment Assistant a Computerized Expert System." In CORROSION 1988. NACE International, 1988. https://doi.org/10.5006/c1988-88201.

Full text
Abstract:
Abstract Expert systems are computer programs that make an expert’s knowledge within a specific domain available to help solve complex problems. Operators of boiler feedwater water treatment systems must make decisions about required corrective actions based on water analyses and the consequences of those actions on other system variables. The Water Treatment Assistant will diagnose the analytical results, compare them with recent past results and with operating limits, and display the desired course of action. The system is customized for each plant and explains the logic of its advice in loc
APA, Harvard, Vancouver, ISO, and other styles
2

Catrysse, Johan. "Some Educational Actions on EMC Under the European Programs of Erasmus, Commett and Tempus." In 1994_EMC-Europe_Roma. IEEE, 1994. https://doi.org/10.23919/emc.1994.10777654.

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

Kaelin, Alison B. "Regulatory Update: New and Revised Regulations and Actions Affecting the Coatings Industry." In Coatings+ 2021. SSPC, 2021. https://doi.org/10.5006/s2021-00030.

Full text
Abstract:
Abstract This annual paper summarizes environmental, health and safety issues that may impact SSPC members. This paper discusses current and expected EPA, OSHA, and state and local regulatory rulemaking, emphasis programs, enforcement initiatives, related SSPC standards and guides, or other similar topics. The paper will include updates on COVID 19 and OSHA and EPA hazardous waste regulations. Most of the information is taken directly from the respective agency’s published regulatory agenda, supplemented by anecdotal information gathered from various professional journals, seminars, and confer
APA, Harvard, Vancouver, ISO, and other styles
4

Kaelin, Alison B. "Regulatory Update: New and Revised Regulations and Actions Effecting the Coatings Industry." In Coatings+ 2019. SSPC, 2019. https://doi.org/10.5006/s2019-00029.

Full text
Abstract:
Abstract Annual update on regulatory issues affecting the SSPC members and the coatings industry including enforcement of the new silica and beryllium OSHA standards and the EPA hazardous waste regulations. This annual paper summarizes environmental, health and safety issues that may impact SSPC members. This paper discusses current and expected EPA and OSHA regulatory rulemaking, emphasis programs, enforcement initiatives or other similar topics. This paper will include a discussion on enforcement and insights of the silica, beryllium and hazardous waste standards. Most of the information is
APA, Harvard, Vancouver, ISO, and other styles
5

Kaelin, Alison B. "Regulatory Update: New and Revised Regulations and Actions Effecting the Coatings Industry." In Coatings+ 2020. SSPC, 2020. https://doi.org/10.5006/s2020-00026.

Full text
Abstract:
Abstract Annual update on regulatory issues affecting the SSPC members and the coatings industry including enforcement of the OSHA silica and the EPA hazardous waste regulations. This paper will also discuss EPA Spill, Prevention Control and Countermeasure (SPCC) regulations and their applicability to many field and shop painting projects. SPCC applies to any business that have a total above ground storage capacity of greater than 1,320 gallons of oil where there is a potential for a discharge to reach navigable waters. This annual paper summarizes environmental, health and safety issues that
APA, Harvard, Vancouver, ISO, and other styles
6

Rana, Ahmad Raza Khan, Zoheir Farhat, and George Jarjoura. "Neighborhood Watch – Right Step towards Asset Integrity." In CORROSION 2020. NACE International, 2020. https://doi.org/10.5006/c2020-14862.

Full text
Abstract:
Abstract The majority of inspection programs for process equipment includes conventional inspections or risk-based inspections; that consider equipment history, inspection records and various checklists etc. On the other hand, there are still numerous failures due to un-anticipated and aggravated damage mechanisms even in the presence of established inspection programs. This article highlights two different case studies where the presence of certain neighborhood conditions (even for short span of time) such as dripping water, dirt scales due to wind, and sandstorms triggered certain damage mec
APA, Harvard, Vancouver, ISO, and other styles
7

Barout, Mohammed F., Mohammed F. Al-Subaie, Maslat S. Al-Waranbi, Khaled K. Al-Yousef, Gusai H. Al-Aithan, and Faisal M. Al-Faqeer. "A Plant Health Assessment for a Gas Oil Separation Plant (Case Study)." In CORROSION 2013. NACE International, 2013. https://doi.org/10.5006/c2013-02023.

Full text
Abstract:
Abstract A plant health assessment was conducted for a gas oil separation plant (GOSP). The assessment’s primary objective was to provide an action plan to address the likelihood of design and operational concerns, identify potential areas of improvements, and thus provide recommendations of the remedial actions necessary to maintain safe and reliable operations over the facility’s lifespan. The assessment covered different disciplines with an integrated and holistic approach. Theses disciplines included materials and corrosion control, inspection, mechanical, process, instrumentation and rota
APA, Harvard, Vancouver, ISO, and other styles
8

Benevides, Mario Folhadela, and Anna Moreira De Oliveira. "Propositional Dynamic Logic for Planning." In Workshop Brasileiro de Lógica. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/wbl.2020.11454.

Full text
Abstract:
This paper presents an on going work on Propositional Dynamic Logic PDL in which atomic programs are STRIPS actions. We think that this new framework is appropriate to reasoning about actions and plans when dealing with planning problem. Unlike, PDL atomic programs, STRIPS actions have pre-conditions and post-conditions. We propose a novel operator of action composition that takes in account the features of STRIPS actions. We propose an axiomatization and prove its soundness. Completeness, decidability and computational complexity are left as future work.
APA, Harvard, Vancouver, ISO, and other styles
9

Schneider, K., J. Brandt, and T. Schuele. "Causality analysis of synchronous programs with delayed actions." In the 2004 international conference. ACM Press, 2004. http://dx.doi.org/10.1145/1023833.1023859.

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

Heinzelmann, Nicolai, Christoph J. Selig, and Guido H. Baltes. "Critical Actions of and Synergies between Corporate Entrepreneurship Programs." In 2020 IEEE International Conference on Engineering, Technology and Innovation (ICE/ITMC). IEEE, 2020. http://dx.doi.org/10.1109/ice/itmc49519.2020.9198565.

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

Reports on the topic "Programs and actions"

1

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
2

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
3

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
4

Koopmann, Patrick. Actions with Conjunctive Queries: Projection, Conflict Detection and Verification. Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.243.

Full text
Abstract:
Description Logic actions specify adaptations of description logic interpretations based on some preconditions defined using a description logic. We consider DL actions in which preconditions can be specified using DL axioms as well as using conjunctive queries, and combinatiosn thereof. We investigate complexity bounds for the executability and the projection problem for these actions, which respectively ask whether an action can be executed on models of an interpretation, and which entailments are satisfied after an action has been executed on this model. In addition, we consider a set of ne
APA, Harvard, Vancouver, ISO, and other styles
5

Zarrieß, Benjamin, and Patrick Koopmann. On the Complexity of Verifying Timed Golog Programs over Description Logic Actions (Extended Version). Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.241.

Full text
Abstract:
Golog programs allow to model complex behaviour of agents by combining primitive actions defined in a Situation Calculus theory using imperative and non-deterministic programming language constructs. In general, verifying temporal properties of Golog programs is undecidable. One way to establish decidability is to restrict the logic used by the program to a Description Logic (DL), for which recently some complexity upper bounds for verification problem have been established. However, so far it was open whether these results are tight, and lightweight DLs such as EL have not been studied at all
APA, Harvard, Vancouver, ISO, and other styles
6

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
7

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
8

Keith, Edmond. Corrective Actions Plan for Real Property Asset Management - Triad Infrastructure Programs Office. Office of Scientific and Technical Information (OSTI), 2020. http://dx.doi.org/10.2172/1699447.

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

Zarrieß, Benjamin, and Jens Claßen. On the Decidability of Verifying LTL Properties of Golog Programs. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.200.

Full text
Abstract:
Golog is a high-level action programming language for controlling autonomous agents such as mobile robots. It is defined on top of a logic-based action theory expressed in the Situation Calculus. Before a program is deployed onto an actual robot and executed in the physical world, it is desirable, if not crucial, to verify that it meets certain requirements (typically expressed through temporal formulas) and thus indeed exhibits the desired behaviour. However, due to the high (first-order) expressiveness of the language, the corresponding verification problem is in general undecidable. In this
APA, Harvard, Vancouver, ISO, and other styles
10

Stucchi, Rodolfo, Alessandro Maffioli, Manuel Pacheco, Carlo Pietrobelli, and Elisa Giuliani. Evaluating the Impact of Cluster Development Programs. Inter-American Development Bank, 2013. http://dx.doi.org/10.18235/0009122.

Full text
Abstract:
Do the programs that aim to promote and develop industry clusters (also known as Cluster Development Programs) work? Do they have an impact on enterprise development? This paper offers an insight into the methods that can help answer these fundamental questions through solid quantitative evidence. In general, results will depend on the level of coordination that is achieved and on the actions undertaken as a result of improved coordination and strategy-setting of the relevant actors.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Programs and 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