Gotowe bibliografie tematyczne / Programs and actions

Spis treści

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

Gotowa bibliografia na temat „Programs and actions”

Autor: Grafiati
Data publikacji: 2 czerwca 2025
Data aktualizacji: 31 lipca 2025

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

Wybierz rodzaj źródła:

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

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "Programs and actions"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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).
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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/.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
<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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "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.

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

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

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

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

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

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

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

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

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

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

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

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

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

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

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

Części książek na temat "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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

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

Raporty organizacyjne na temat "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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Programs and actions” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii