Relevant bibliographies by topics / Purpose of proving

Contents

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

Academic literature on the topic 'Purpose of proving'

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 'Purpose of proving.'

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 "Purpose of proving"

1

Sutcliffe, Geoff, and Christian Suttner. "Evaluating general purpose automated theorem proving systems." Artificial Intelligence 131, no. 1-2 (2001): 39–54. http://dx.doi.org/10.1016/s0004-3702(01)00113-8.

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

Kosobudzki, Mariusz, and Krzysztof Jamroziak. "Chosen Problems of Selection the Basic Chassis for the Special Purpose Body." Solid State Phenomena 220-221 (January 2015): 829–32. http://dx.doi.org/10.4028/www.scientific.net/ssp.220-221.829.

Full text
Abstract:
The chosen problems of selection the basic chassis for special purpose body are presented in the paper. The technical data of chassis have to go through various tests, most often within the proving ground tests. The paper contains the analysis of chosen tests and their usefulness in the design process of special purpose vehicle.
APA, Harvard, Vancouver, ISO, and other styles
3

Fayeton, S., and M. van Wassenhoven. "Clinical verification of symptom pictures of homeopathic medicines." British Homeopathic Journal 90, no. 01 (2001): 29–32. http://dx.doi.org/10.1054/homp.1999.0459.

Full text
Abstract:
AbstractThis invitation for co-operation is addressed to all interested groups. Its purpose is data collection for clinical verification of symptoms from homeopathic proving and collection of clinical symptoms not derived from homeopathic pathogenetic trials (provings). To date no consensus exists on this topic. The European Committee for Homoeopathy (ECH) research sub-committee has created a working group on this topic. This paper is the result of a review of papers on the topic, exchanges between members and a meeting.
APA, Harvard, Vancouver, ISO, and other styles
4

Raynikov, A. S. "Disadvantages of the general-purpose presumption of good faith by example of contract negotiations." Siberian Law Herald 3 (2024): 51–56. http://dx.doi.org/10.26516/2071-8136.2024.3.51.

Full text
Abstract:
It is established that the distinctions between good faith in the objective sense and good faith in the subjective sense provide for different ways of proving relevant circumstances. It is proved that there can be no presumption regarding good faith in the objec-tive sense. The study revealed that good faith in the subjective sense, by contrast, is based on the assumption that the subject is bona fide. The difference in proof of two types of good faith is demonstrated by example of contract negotiations. It has been proven that there is no legal sense to place the burden of proving a good fait
APA, Harvard, Vancouver, ISO, and other styles
5

Balabanov, S. P. "The Features of Proving of the Property Transfer Fact under the Contract of Lease of a Buildings and Structures (Based on Judicial Practice Materials)." Rossijskoe pravosudie 5 (May 25, 2021): 29–37. http://dx.doi.org/10.37399/issn2072-909x.2021.5.29-37.

Full text
Abstract:
The article is devoted to the consideration of the problem of proving of the property transfer fact under the contract of lease of a buildings and structures, in the absence of an act of acceptance and transfer. The purpose of the article is to determine the most effective strategy for proving the property transfer fact under the contract of lease of a buildings and structures. Achieving this purpose requires determining the essential features of specified contract, as well as identifying and analyzing the approaches, that have been established in law enforcement practice, regarding to admissi
APA, Harvard, Vancouver, ISO, and other styles
6

Pakpahan, Novritsar Hasintongan, Teguh Prasetyo, Erny Herlin Setyorini, and Yovita Arie Mangesti. "Trial Proving in Electronic Criminal Case Trial Based On the Dignified Justice Perspective." Ius Poenale 3, no. 1 (2022): 1–12. http://dx.doi.org/10.25041/ip.v3i1.2452.

Full text
Abstract:
Trial proving in Indonesia has always been limited to Criminal Procedural Law and other regulations. Following the recent development of electronic criminal case trials, there has not been any precise regulation aside from Supreme Court Regulation 4 of 2020. The contradiction between KUHAP and Supreme Court Regulation causes problems, especially regarding trial proving. The purpose of the paper is to provide a legal solution to the problem of the legal emptiness regarding the regulation of trial proving in electronic criminal case trials from the perspective of Dignified Justice that will prov
APA, Harvard, Vancouver, ISO, and other styles
7

Mongkolkeha, Chirasak, and Poom Kumam. "Some Geometric Properties of Lacunary Sequence Spaces Related to Fixed Point Property." Abstract and Applied Analysis 2011 (2011): 1–13. http://dx.doi.org/10.1155/2011/903736.

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

Novozhilov, I. M., S. E. Abramkin, A. V. Plotnikov, and T. V. Kukharova. "Analysis of the Temperature Field of the Main Gas Pipeline for the Purpose of Automation." LETI Transactions on Electrical Engineering & Computer Science 15, no. 7 (2022): 28–36. http://dx.doi.org/10.32603/2071-8985-2022-15-7-28-36.

Full text
Abstract:
Natural gas transportation and storage processes play an important role in the gas industry. Due to the changing rheological properties of gas under the influence of external factors, industrialists face the question of the need to control the temperature field of existing pipelines. However, this is far from always possible. The authors of this study, from the point of view of system analysis, are developing two methods for assessing the thermal fields of the main gas pipeline. The obtained methods and equations make it possible to calculate the temperature field depending on the gas flow rat
APA, Harvard, Vancouver, ISO, and other styles
9

Tori, Ni Wayan Medita Santipa, Ervina Ahyudanari, Wahju Herijanto, Catur Arif Prastyanto, and A. A. Gde Kartika. "Analysis of External Trip Attraction for Proving Ground at ITS." Jurnal Teknologi Transportasi dan Logistik 5, no. 1 (2024): 81–94. http://dx.doi.org/10.52920/jttl.v5i1.285.

Full text
Abstract:
The development of research in the automotive field is characterized by an increasing number of automotive competitions involving college students. The results of this research have been tested around the campus environment without specialized testing facilities such as a Proving Ground, thus prompting ITS to initiated to build a Proving Ground. The construction of a Proving Ground at ITS will also be utilized as a go-kart activity. The purpose of this research is to develop a trip attraction model and to determine the factors that influence trip atrraction decisions to the Proving Ground to b
APA, Harvard, Vancouver, ISO, and other styles
10

Istudor, Adriana, Gheorghe Voicu, Gheorghe Muscalu, and Paula Tudor. "Evaluation of carbon dioxide released by bread dough during proving stage." E3S Web of Conferences 180 (2020): 03012. http://dx.doi.org/10.1051/e3sconf/202018003012.

Full text
Abstract:
This study presents the analysis of multiple bread dough proving processes with the purpose of establishing a correlation between the concentration of released carbon dioxide during fermentation and the working parameters (time and temperature). The testing was performed using a standard recipe for white bread dough, a small capacity prover with air conditioning unit for temperature and relative humidity regulation, CO2 and temperature sensors with data acquisition plate. In the first part are presented the results for 11 measurements of CO2 concentration for one dough piece fermentation proce
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Purpose of proving"

1

Dupressoir, François. "Proving cryptographic C programs secure with general-purpose verification tools." Thesis, Open University, 2013. http://oro.open.ac.uk/37627/.

Full text
Abstract:
Security protocols, such as TLS or Kerberos, and security devices such as the Trusted Platform Module (TPM), Hardware Security Modules (HSMs) or PKCS#11 tokens, are central to many computer interactions. Yet, such security critical components are still often found vulnerable to attack after their deployment, either because the specification is insecure, or because of implementation errors. Techniques exist to construct machine-checked proofs of security properties for abstract specifications. However, this may leave the final executable code, often written in lower level languages such as C, v
APA, Harvard, Vancouver, ISO, and other styles
2

Vujadinovic, Milenko. "Preserving old buildings : adaptive use for residential purposes in Montreal." Thesis, McGill University, 2002. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=79277.

Full text
Abstract:
Since the late 1970s many empty buildings in Montreal have been adapted for residential purposes. The main focus of this thesis is to document and analyse the most representative examples of these projects in order to define the nature and results of the adaptive-use practice in Montreal.<br>Due to complexity of the field, the framework for analysis must be flexible enough to apply to different contexts and building types, yet firm enough to solve the perpetual dilemmas intrinsic to adaptive-use design. The attitude of this research is that the best way to do this is to learn from archi
APA, Harvard, Vancouver, ISO, and other styles
3

Pattison, Susan Ann. "Spiritual capital : an inquiry into the values that provide meaning and purpose to staff in Quaker schools." Thesis, University of Hull, 2010. http://hydra.hull.ac.uk/resources/hull:4490.

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

Mahapa, Sekei Frederica. "Rural women, food insecurity and survival strategies the Babina-Chuene Wome's Multi-purpose Project in Bochum (Northern Province) /." Pretoria : [s.n.], 2001. http://upetd.up.ac.za/thesis/available/etd-02242006-152042/.

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

Templeton, Karen. "Biological control of purple loosestrife (Lythrum salicaria ) in Quebec." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape2/PQDD_0032/MQ64465.pdf.

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

Toner, Earl. "A study of research criteria and teacher evaluation methods for the purpose of establishing a model for teacher : evaluation in the province of New Brunswick." Master's thesis, Université Laval, 1986. http://hdl.handle.net/20.500.11794/29166.

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

Lasseter, Gemma Michelle. "Consent study : assessing the public's willingness to provide informed consent for their identifiable general practice medical records to be accessed for different research purposes." Thesis, University of Bristol, 2016. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.702735.

Full text
Abstract:
Objectives: Patient involvement in primary care research is often hindered by confidentiality concerns regarding the use of their identifiable medical records. Consequently there is no universal 'pre-consent' process in England, whereby patients provide prior informed consent for their identifiable data to be accessed for different research purposes. This mixed-methods two-phase study investigated patients' opinions about this proposed 'pre-consent' process and the effectiveness of different invitation methods. Methods: Phase 1 used cognitive and semi-structured interview methods to optimise r
APA, Harvard, Vancouver, ISO, and other styles
8

Aphane, Mogau Marvin. "Small-scale mango farmers, transaction costs and changing agro-food markets: evidence from Vhembe and Mopani districts, Limpopo Province." Thesis, University of the Western Cape, 2011. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_7333_1365584421.

Full text
Abstract:
<p>The main objective of this study was to identify ways in which transaction costs can be lowered to improve small-scale farmers&rsquo<br>participation in and returns from agricultural output markets, with specific reference to small-scale mango farmers in Limpopo province. This study hypothesizes that transaction costs are lower in informal spot markets and increase when small-scale farmers sell in more structured markets (formal markets). This study builds on transaction cost economics (TCE) to demonstrate how to overcome transaction cost barriers that small-scale mango farmers face in the
APA, Harvard, Vancouver, ISO, and other styles
9

Oliveira, Verónica Alexandra Antunes. "Ferramentas de apoio à tradução científica: uma abordagem comparativa." Master's thesis, Universidade de Aveiro, 2016. http://hdl.handle.net/10773/17031.

Full text
Abstract:
Mestrado em Tradução Especializada - Ciências da Saúde<br>Atualmente, os tradutores, de modo a produzirem traduções num intervalo de tempo mais curto e com elevada qualidade, necessitam de um conjunto de recursos como, por exemplo, sistemas de tradução assistida por computador, programas de referência linguística ou sistemas de tradução automática. Por conseguinte, o presente Projeto terá como objetivo abordar a respetiva utilização prática num contexto profissional da área da tradução científica (em particular Ciências da Saúde), através de uma exposição teórica e de uma análise comparativa p
APA, Harvard, Vancouver, ISO, and other styles
10

Степаненко, Андрій Сергійович, Андрей Сергеевич Степаненко та Andriy S. Stepanenko. "Стандарт доказування «поза розумним сумнівом» у кримінальному провадженні". Thesis, 2017. http://hdl.handle.net/11300/7009.

Full text
Abstract:
Степаненко А.С. Стандарт доказування «поза розумним сумнівом» у кримінальному провадженні: дис. ... канд. юрид. наук: 12.00.09 / Степаненко Андрій Сергійович. - Одесса, 2017. - 234 с.<br>Дисертація на здобуття наукового ступеня кандидата юридичних наук за спеціальністю 12.00.09 - кримінальний процес та криміналістика; судова експертиза; оперативно-розшукова діяльність. - Національний університет «Одеська юридична академія», Одеса, 2016. Дисертація є першим у вітчизняній науці спеціальним комплексним дослідженням стандарту доказування «поза розумним сумнівом» у кримінальному провадженні н
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Purpose of proving"

1

King, Gisela. Experimental investigations for the purpose of scientific proving of the efficacy of homoeopathic preparations: A literature review about publications from English-speaking countries. [s.n.], 1988.

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

House, United States Congress. A bill to provide health care liability reform, and for other purposes. U.S. G.P.O., 2007.

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

Senate, United States Congress. A bill to provide for Medicare catastrophic illness coverage, and for other purposes. United States Government Printing Office, 1987.

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

United States. Congress. House. A bill to provide a program of national health insurance, and for other purposes. U.S. G.P.O., 1999.

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

United States. Congress. House. A bill to provide a program of national health insurance, and for other purposes. [United States Government Printing Office], 1997.

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

Ul'yanina, Ol'ga, Olga Gavrilova, and Olga Timur. Interdepartmental cooperation in providing emergency psychological assistance to minors. Publishing Center RIOR, 2021. http://dx.doi.org/10.29039/textbook_6166ce111ed3c9.94400446.

Full text
Abstract:
The provision of high-quality and timely emergency psychological assistance to minors is possible only in the conditions of a built system of interdepartmental interaction. The proposed methodological recommendations include consideration of organizational and procedural aspects of interdepartmental interaction in the provision of emergency psychological assistance on key problems of modern childhood and are based on international experience and regional practice. For the purpose of practical study of the issue, standard regulations and accompanying documents have been developed and proposed,
APA, Harvard, Vancouver, ISO, and other styles
7

Ul'yanina, Ol'ga, Olga Gavrilova, and Olga Timur. Interdepartmental cooperation in providing emergency psychological assistance to minors. Publishing Center RIOR, 2021. http://dx.doi.org/10.29039/02066-1.

Full text
Abstract:
The provision of high-quality and timely emergency psychological assistance to minors is possible only in the conditions of a built system of interdepartmental interaction. The proposed methodological recommendations include consideration of organizational and procedural aspects of interdepartmental interaction in the provision of emergency psychological assistance on key problems of modern childhood and are based on international experience and regional practice. For the purpose of practical study of the issue, standard regulations and accompanying documents have been developed and proposed,
APA, Harvard, Vancouver, ISO, and other styles
8

United States. Congress. House. A bill to provide for enhanced penalties for health care fraud, and for other purposes. [United States Government Printing Office], 1995.

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

Great Britain. Department of Health., ed. A Code of practice for tissue banks: Providing tissues of human origin for therapeutic purposes. Department of Health, 2001.

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

United States. Congress. Senate. A bill to provide equitable relief for the generic drug industry, and for other purposes. [United States Government Printing Office], 1995.

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

Book chapters on the topic "Purpose of proving"

1

Bavendiek, Kai, Tobias Mueller, Florian Wittner, et al. "Automatically Proving Purpose Limitation in Software Architectures." In ICT Systems Security and Privacy Protection. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-22312-0_24.

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

Joyce, Jeffrey, and Carl Seger. "The HOL-Voss system: Model-checking inside a general-purpose theorem-prover." In Higher Order Logic Theorem Proving and Its Applications. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57826-9_135.

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

Tuominen, Heikki. "Proving properties of elementary net systems with a special-purpose theorem prover." In Automatic Verification Methods for Finite State Systems. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-52148-8_9.

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

Moore, J. Strother. "General Purpose Theorem Proving Methods in the Verification of Digital Hardware and Software." In Verification of Digital and Hybrid Systems. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-59615-5_2.

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

Kovács, Laura, Petra Hozzová, Márton Hajdu, and Andrei Voronkov. "Induction in Saturation." In Automated Reasoning. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-63498-7_2.

Full text
Abstract:
AbstractProof by induction is commonplace in modern mathematics and computational logic. This paper overviews and discusses our recent results in turning saturation-based first-order theorem proving into a powerful framework for automating inductive reasoning. We formalize applications of induction as new inference rules of the saturation process, add instances of appropriate induction schemata to the search space, and use these rules and instances immediately upon their addition for the purpose of guiding induction. Our results show, for example, that many problems from formal verification an
APA, Harvard, Vancouver, ISO, and other styles
6

Jantzer, Michael, Godehard Nentwig, Christine Deininger, and Thomas Michl. "Creating Value—Providing Sense of Purpose." In The Art of Engineering Leadership. Springer Berlin Heidelberg, 2020. http://dx.doi.org/10.1007/978-3-662-60384-0_5.

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

Birkemeyer, Janick, Lukas Borkowski, Ingo Wülfing, and Steffen Müller. "Controllability of Steer-by-Wire Steering Angle Faults at the Limits of Driving Dynamics." In Lecture Notes in Mechanical Engineering. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-70392-8_123.

Full text
Abstract:
AbstractTo ensure functional safety of vehicle dynamics controllers, monitoring functions are used to limit the effectiveness of lateral dynamic inputs to a safe, controllable level. For this purpose, driving situation dependent limits for maximum permissible lateral dynamic inputs are determined with the help of subject studies. To exploratively investigate limits of a steer-by-wire superposition function in a nonlinear driving situation, a subject study (N = 52) was conducted in a semi-dynamic driving simulator. This paper presents the study design and discusses the results obtained. A 4 × 4
APA, Harvard, Vancouver, ISO, and other styles
8

Aluf-Medina, Michelle, Till Korten, Avraham Raviv, Dan V. Nicolau, and Hillel Kugler. "Formal Semantics and Verification of Network-Based Biocomputation Circuits." In Lecture Notes in Computer Science. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-67067-2_21.

Full text
Abstract:
AbstractNetwork-Based Biocomputation Circuits (NBCs) offer a new paradigm for solving complex computational problems by utilizing biological agents that operate in parallel to explore manufactured planar devices. The approach can also have future applications in diagnostics and medicine by combining NBCs computational power with the ability to interface with biological material. To realize this potential, devices should be designed in a way that ensures their correctness and robust operation. For this purpose, formal methods and tools can offer significant advantages by allowing investigation
APA, Harvard, Vancouver, ISO, and other styles
9

Khoo, Christopher S. G., Sathik Basha Johnkhan, and Jin-Cheon Na. "Evaluation of a General-Purpose Sentiment Lexicon on A Product Review Corpus." In Digital Libraries: Providing Quality Information. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27974-9_9.

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

Sniezhkin, Yurii, Zhanna Petrova, Vadym Paziuk, Viacheslav Mykhailyk, Tetiana Korinchevska, and Kateryna Samoilenko. "Technological aspects of producing refuse derived fuel." In ENERGY SYSTEMS AND RESOURCES: OPTIMISATION AND RATIONAL USE. TECHNOLOGY CENTER PC, 2024. https://doi.org/10.15587/978-617-8360-02-3.ch3.

Full text
Abstract:
The involvement of municipal solid waste in the energy balance of Ukraine is one of the important ways of replacing fossil fuels and solving environmental problems related to the disposal of waste in proving ground and landfills. The purpose of the research is to find a rational composition of an alternative solid fuel for burning in cogeneration power plants and an energy-efficient technology for its production. The object of research is alternative solid fuel (RDF- refuse derived fuel) based on combustible components of municipal solid waste. The kinetics of convective drying of RDF of diffe
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Purpose of proving"

1

Masciale, Michael J. "Alphatic Polyurea Speification – the Development of SSPC Paint Specification 39." In Paint and Coatings Expo (PACE) 2005. SSPC, 2005. https://doi.org/10.5006/s2005-00031.

Full text
Abstract:
Abstract Recent polyurea resin technology advances have allowed for the development of value-added polyurea topcoats that are proving to be valuable alternatives for many polyurethane applications. The development of an SSPC specification for a weatherable polyurea topcoat is discussed for the purpose of providing a standard that will be acceptable throughout our industry.
APA, Harvard, Vancouver, ISO, and other styles
2

Vagnot, Alice, Florent Boyer, and Johannes Markmiller. "Overview of Bird Strike Modelling, Testing and Certification Approaches in Airbus Helicopters." In Vertical Flight Society 73rd Annual Forum & Technology Display. The Vertical Flight Society, 2017. http://dx.doi.org/10.4050/f-0073-2017-12112.

Full text
Abstract:
Airbus Helicopters has succeeded to validate a numerical bird model based on the Smooth Particle Hydrodynamics method with the explicit dynamic finite element code RADIOSS®. For that purpose, the so-called building block approach was followed, based on numerous successive comparisons between simulation results and test measurements on increasing complex assemblies (rigid or deformable targets, metallic or composites parts). A satisfying level of predictability was obtained, proving that the code is able to capture the fluid-structure interaction, failure modes, impact loads and strains levels.
APA, Harvard, Vancouver, ISO, and other styles
3

Shahmoradian, Arin. "Insulative Coatings – Fit for Purpose." In Coatings+ 2021. SSPC, 2021. https://doi.org/10.5006/s2021-00022.

Full text
Abstract:
Abstract Corrosion Under Insulation (CUI) is a very serious problem impacting the oil and gas, petrochemical, power and heavy industries. Due to the high costs associated with CUI, many industries have begun abandoning conventional jacket insulation. Recent advancements in trade association standards have helped engineers select, apply and inspect different types of insulative coatings in lieu of conventional jacket insulation. New insulative coating standards by NACE(1) are helping to minimize corrosion costs while simultaneously improving insulation efficiency with a side benefit of personne
APA, Harvard, Vancouver, ISO, and other styles
4

Manolios, Panagiotis, and Daron Vroon. "Integrating static analysis and general-purpose theorem proving for termination analysis." In Proceeding of the 28th international conference. ACM Press, 2006. http://dx.doi.org/10.1145/1134285.1134438.

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

Rizgary, Daban, Niklas Strand, and Jonas Andersson. "Proving ground evaluation of enhanced ADAS: context understanding ADAS." In 14th International Conference on Applied Human Factors and Ergonomics (AHFE 2023). AHFE International, 2023. http://dx.doi.org/10.54941/ahfe1003812.

Full text
Abstract:
Advanced driver assistance systems (ADAS) are developed to increase safety and provide a more efficient and comfortable experience when traveling by car. ADAS are reliant upon sensors to provide the intended assistance for the driver, and the driver is reliant upon an HMI interface to interact with the feature at hand. A prototype ADAS, including a human machine interface (HMI) and enhanced ADAS functionality, was developed and then evaluated on proving ground. The purpose of the study was to evaluate how the enhanced ADAS performed as compared to baseline in terms of trust, acceptance, effici
APA, Harvard, Vancouver, ISO, and other styles
6

Nikolovski, Marjan, Mila Shibak-Dimkovska та Frosina Nikolovska. "MONEY TRACК IN THE FUNCTION OF DETECTION AND PROVING CORRUPTION CRIMES". У SECURITY HORIZONS. Faculty of Security- Skopje, 2021. http://dx.doi.org/10.20544/icp.2.5.21.p06.

Full text
Abstract:
des of the Republic of North Macedonia on Corruption", conducted by the Faculty of Security in Skopje in the period 2013-2017. The emphasis will be on tracking the money trail for the purpose of detecting, preventing and proving corruption offenses. The campaign to point out the dangers of corruption (which threatens to break the foundations of the state's economic-legal system and endanger fundamental human rights) is increasingly becoming a necessity in the Republic of North Macedonia. At the same time, tackling corruption as a negative social phenomenon is increasingly present in the activi
APA, Harvard, Vancouver, ISO, and other styles
7

Mar, Špela, Maruša Bizjak Ferjan, and Janez Stare. "Nekatere značilnosti e-poslovnega komuniciranja v javni upravi." In Interdisciplinarity Counts. University of Maribor, University Press, 2023. http://dx.doi.org/10.18690/um.fov.3.2023.48.

Full text
Abstract:
One of the basic principles of administrative operation in public administration is that every work of public administration organs is documented with a suitable record. Documentary material must be recorded as a document, note or clerical order. The purpose of documentation is to provide the possibility of later review and proving facts. The development of technology brought significant changes related to written communication in public administration, especially development of e-business communication, which we understand as all ewritten communication, including e-administrative communicatio
APA, Harvard, Vancouver, ISO, and other styles
8

Willeart, Saskia. "Digitizing collections of musical instruments in Africa." In SOIMA 2015: Unlocking Sound and Image Heritage. International Centre for the Study of the Preservation and Restoration of Cultural Property, 2017. http://dx.doi.org/10.18146/soima2015.1.05.

Full text
Abstract:
In 2013–2014 the Musical Instruments Museum (mim) in Brussels worked with Musée de la Musique (MMO) in Ouagadougou, Burkina Faso, and the Musée Panafricain de la Musique (MPM) in Brazzaville, the Republic of the Congo to build digital inventories of their musical instrument collections. The purpose of this digitization campaign has been to provide a more complete view of musical world heritage by incorporating not only African instruments but also the African terminology that describes these instruments, into international research databases. The cooperative digitization work has helped brin
APA, Harvard, Vancouver, ISO, and other styles
9

Shiiba, Taichi, and Yoshihiro Suda. "Real-Time Multibody Analysis Environment for Driving Simulator." In ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/detc2005-84625.

Full text
Abstract:
Driving simulator requires real-time calculation of vehicle dynamics in response to driver’s input, such as steering maneuver, and throttle and brake pedal operation. The authors had developed a driving simulator with a 91-DOF multibody vehicle model, and this driving simulator has been used for the purpose of ‘virtual proving ground’, which means a virtual handling and ride test environment of automobiles with a driving simulator. Multibody analysis results can be evaluated through body sensory information such as acceleration produced by 6-axis motion base and visual information by computer
APA, Harvard, Vancouver, ISO, and other styles
10

Danabaeva, Khurshida. "THE EFFECTIVENESS OF USING MULTIMEDIA MATERIALS IN TEACHING CULTURE TO EFL LEARNERS." In Proceedings of MMIT’23 International Conference 25 May 2023y. Tashkent International University of Education, 2023. http://dx.doi.org/10.61587/mmit.uz.vi.13.

Full text
Abstract:
The qualification paper is dedicated to teaching culture through multimedia tools to EFL learners. Therefore, it tends to analyze the methods of teaching culture in initial stages and determine the more efficient ones. The core purpose of this thesis is to suggest more appropriate ways of teaching culture so the seventh-grade pupils assimilate the language easily, without any troubles. The theory was proving that the researcher used multimedia tools in teaching learners to learn language and culture.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Purpose of proving"

1

Driver, C. J., M. W. Ligotke, E. B. Jr Moore, and J. F. Bowers. Generator, mechanical, smoke: For dual-purpose unit, XM56, Yuma Proving Ground, Yuma, Arizona. Office of Scientific and Technical Information (OSTI), 1991. http://dx.doi.org/10.2172/6165631.

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

Hunter, R., S. Ross, and Jing-Ru Cheng. A general-purpose multiplatform GPU-accelerated ray tracing API. Engineer Research and Development Center (U.S.), 2023. http://dx.doi.org/10.21079/11681/47260.

Full text
Abstract:
Real-time ray tracing is an important tool in computational research. Among other things, it is used to model sensors for autonomous vehicle simulation, efficiently simulate radiative energy propagation, and create effective data visualizations. However, raytracing libraries currently offered for GPU platforms have a high level of complexity to facilitate the detailed configuration needed by gaming engines and high-fidelity renderers. A researcher wishing to take advantage of the performance gains offered by the GPU for simple ray casting routines would need to learn how to use these ray traci
APA, Harvard, Vancouver, ISO, and other styles
3

Welp, Timothy. Screening dredged material to meet placement requirements. Engineer Research and Development Center (U.S.), 2022. http://dx.doi.org/10.21079/11681/45262.

Full text
Abstract:
Certain types of dredging projects require screening of the dredged material (DM) to achieve the project’s DM placement requirement(s). Screening in the context of this report will be defined as the separation of an oversized fraction of the DM from the remaining fraction to meet project-specific placement compliance criteria (or criterion). Examples of DM placement requirements include aspects such as removing Munitions and Explosives of Concern (MEC) to address safety concerns and extracting over-sized material for beneficial use of DM (e.g., gravel and debris from sand to meet beach nourish
APA, Harvard, Vancouver, ISO, and other styles
4

Alexander, Chris, and Chantz Denowh. PR-652-195104-R01 Development of Heavy Wall ILI Test Samples. Pipeline Research Council International, Inc. (PRCI), 2020. http://dx.doi.org/10.55274/r0011680.

Full text
Abstract:
Guidance is needed for the pipeline industry's in-line inspection (ILI) technologies as current industry practices address mainly thin-wall pipe specifications as well as spool and defect design. Heavy-wall pipe is mostly found in subsea applications where the predominant threats are internal; however, external defects cannot be discounted. Nondestructive evaluation (NDE) sensing technologies for heavy-wall pipe often have very different specs for examining external versus internal features. The end uses for ILI technologies in the heavy-wall subsea applications often put a premium on low limi
APA, Harvard, Vancouver, ISO, and other styles
5

Rodrigue, Jean-Paul. The Benefits of Logistics Investments: Opportunities for Latin America and the Caribbean. Inter-American Development Bank, 2012. http://dx.doi.org/10.18235/0009007.

Full text
Abstract:
Transportation is an inherently crucial factor in supporting economic activities as well as providing opportunities for economic development. As such, the provision of transport infrastructures is a common priority in capital investment, particularly in Latin America and the Caribbean where infrastructural capabilities are often lacking. The purpose of this report is to underline the key dimensions behind the benefits of logistics investments. It particularly focuses on port / hinterland supply chains in which the setting of logistics zones, transport and logistics corridors and inland ports p
APA, Harvard, Vancouver, ISO, and other styles
6

Zhu, Haoan, Wenbin Li, Yitong Lin, and Hao Wu. The efficacy of kinesio taping in the treatment of ankle sprain: Systematic review and meta-analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, 2021. http://dx.doi.org/10.37766/inplasy2021.12.0059.

Full text
Abstract:
Review question / Objective: The purpose of this systematic review is to accurately evaluate the efficacy of kinesio tape for ankle sprains. Condition being studied: Ankle sprain may cause a series of problems, such as pain, swelling, and various dysfunctions. As a physical therapy method that has attracted much attention in recent years, kinesio tape has been proven to relieve pain, reduce swelling and promote functional recovery for some diseases. In this way, we can provide a reference for clinical physical therapy. Information sources: PubMed, Cochrane, Scopus, Web of Science, Embase, CNKI
APA, Harvard, Vancouver, ISO, and other styles
7

Maher, Liam, Leanne Orians, Gabrielle Pappas, and Lanny Coker. Transversus Abdominis Plane Block: A Scoping Review. University of Tennessee Health Science Center, 2021. http://dx.doi.org/10.21007/con.dnp.2021.0011.

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

Nelson, Gena. A Systematic Review of the Quality of Reporting in Mathematics Meta-Analyses for Students with or at Risk of Disabilities Coding Protocol. Boise State University, 2021. http://dx.doi.org/10.18122/sped138.boisestate.

Full text
Abstract:
The purpose of this document is to provide readers with the coding protocol that authors used to code 22 meta-analyses focused on mathematics interventions for students with or at-risk of disabilities. The purpose of the systematic review was to evaluate reporting quality in meta-analyses focused on mathematics interventions for students with or at risk of disabilities. To identify meta-analyses for inclusion, we considered peer-reviewed literature published between 2000 and 2020; we searched five education-focused electronic databases, scanned the table of contents of six special education jo
APA, Harvard, Vancouver, ISO, and other styles
9

Nelson, Gena. A Systematic Review of the Quality of Reporting in Mathematics Meta-Analyses for Students with or at Risk of Disabilities Coding Protocol. Boise State University, Albertsons Library, 2021. http://dx.doi.org/10.18122/sped.138.boisestate.

Full text
Abstract:
The purpose of this document is to provide readers with the coding protocol that authors used to code 22 meta-analyses focused on mathematics interventions for students with or at-risk of disabilities. The purpose of the systematic review was to evaluate reporting quality in meta-analyses focused on mathematics interventions for students with or at risk of disabilities. To identify meta-analyses for inclusion, we considered peer-reviewed literature published between 2000 and 2020; we searched five education-focused electronic databases, scanned the table of contents of six special education jo
APA, Harvard, Vancouver, ISO, and other styles
10

Mouat, Beth, Mike Bergh, Richard Shelmerdine, and Kobus Leach. Scottish Inshore Fisheries Integrated Data System (SIFIDS): Work package 1 final report: Review and optimisation of shellfish data collection strategies for Scottish inshore waters. Edited by Hannah Ladd-Jones and Mark James. Marine Alliance for Science and Technology for Scotland (MASTS), 2018. http://dx.doi.org/10.15664/10023.23379.

Full text
Abstract:
[Extract from Executive Summary] The collection of additional data to facilitate fisheries management has been identified as a priority at the national level via the Scottish Inshore Fisheries Strategy, and at the local level in the management plans of Regional Inshore Fisheries Groups. Data collection implemented by industry offers a potentially cost effective means by which to provide additional information to enhance current stock assessment programmes, and to produce empirical indicators to inform fisheries management. The fundamental driver for data collection should be the purpose for wh
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Purpose of proving' 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