Zaloguj się

Gotowe bibliografie tematyczne / Plan verification

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Gotowa bibliografia na temat „Plan verification”

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 18 lutego 2022

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 „Plan verification”.

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 "Plan verification"

1

Pierno, J., C. Hamilton i S. Kanumalla. "SU-E-E-07: Radcalc IMRT Plan Verification vs. Mapcheck IMRT Plan Verification". Medical Physics 38, nr 6Part3 (czerwiec 2011): 3392. http://dx.doi.org/10.1118/1.3611561.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Cesta, Amedeo, Simone Fratini, Andrea Orlandini, Alberto Finzi i Enrico Tronci. "Flexible Plan Verification: Feasibility Results". Fundamenta Informaticae 107, nr 2-3 (2011): 111–37. http://dx.doi.org/10.3233/fi-2011-397.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Huang, Xu, Deng Jun, Lin Tao Liu i Lun Cai Liu. "Using Verification Planner to Track the Verification Process". Applied Mechanics and Materials 596 (lipiec 2014): 131–35. http://dx.doi.org/10.4028/www.scientific.net/amm.596.131.

Pełny tekst źródła

Streszczenie:

This paper will discuss how we integrated Verification Planner in our verification environment to generate better reports that can be used to track the progress of verification with the project manager. Using Verification Planner we were able to add coverage information to the Verification IP’s Excel based verification plans. We can then take advantage of Excel to generate better reports. Using a top-level plan, we were able to generate a summary page that could be shared with project manager, giving them the information they needed.

Style APA, Harvard, Vancouver, ISO itp.

4

Yang, Deshan, i Kevin L. Moore. "Automated radiotherapy treatment plan integrity verification". Medical Physics 39, nr 3 (28.02.2012): 1542–51. http://dx.doi.org/10.1118/1.3683646.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Lee, Dong Kun, Jong Gye Shin, Youngmin Kim i Yong Kuk Jeong. "Simulation-Based Work Plan Verification in Shipyards". Journal of Ship Production and Design 30, nr 02 (1.05.2014): 49–57. http://dx.doi.org/10.5957/jspd.2014.30.2.49.

Pełny tekst źródła

Streszczenie:

The productivity of a shipyard depends on how efficiently and systematically its limited resources are managed and used. Korean shipyards, the most competitive in the world, have developed and operate their own production management systems to attain high productivity, each of which reflects the unique characteristics of a specific company. Recently, research on simulation methods to enhance production management systems has been gaining popularity. Production management based on simulations rejects decision-making based on experience and intuition and values the establishment of improvement methods based on quantitative and concrete data. In this article, simulation is applied to the work plan as part of the production planning in shipyards. To this end, the work planning processes and planning systems are analyzed. Based on this analysis, a simulation model and application system are suggested. By using the results obtained in this study, it is expected that shipyards can construct cycles for establishing, simulating, and analyzing work plans, enabling the establishment of more precise production plans.

Style APA, Harvard, Vancouver, ISO itp.

6

Zerillo, Jessica A., Erin Santacroce, Mary Ann Zimmerman, Melissa Freeman, Teresa Lau Greenberg, Phuong Nguyen, Susan N. Chi i in. "Building a new process: Nursing verification of pediatric oral chemotherapy." Journal of Clinical Oncology 34, nr 7_suppl (1.03.2016): 199. http://dx.doi.org/10.1200/jco.2016.34.7_suppl.199.

Pełny tekst źródła

Streszczenie:

199 Background: While team-based safety checks ensure safe prescribing of parenteral chemotherapy, oral chemotherapy is usually prescribed by a single clinician. With the growing use of oral chemotherapy, processes are needed to protect these vulnerable patients from prescription errors. Methods: A team of nurses, clinicians, pharmacists and administrators developed a new process and checklist for nursing verification of oral chemotherapy prescriptions at Dana-Farber’s pediatric neuro-oncology program. Prescriptions are verified against the treatment plan by two pediatric oncology nurses. The verification checklist includes drug, dose with any modifications, height and weight, laboratory values and patient instructions. When available, the prescription bottle is also verified. Data was collected over a three-month pilot period. Results: From 6/18/15-9/16/15, 56 prescription verifications occurred. Verification rate of on-site retail pharmacy filled prescriptions was 47% (32/68 prescriptions). Median time for verification was 20 minutes (IQR 15, 40) per nurse. Nurses identified problems outside of prescription verification, including missing prior authorizations and unclear treatment plans. Medication bottles were not routinely available for verification. One identified near miss would have resulted in an 80% under-dose of everolimus. Conclusions: Prescription verification by nursing in a pediatric oncology clinic was feasible. While it was successful in identification of one medication error before it reached the patient, only 47% of prescriptions were verified. Since prescription bottles are usually obtained after a visit, verification of the actual bottles will require new workflows, such as additional clinic visits or uploading a picture via the patient portal. Involving the nurse in the review of oral chemotherapy not only identified a prescription error, but also highlighted issues within other aspects of patients’ care, including inconsistent documentation of the treatment plan. The inclusion of nursing in the review and management of oral chemotherapy has the potential to improve safety and outcomes for these patients.

Style APA, Harvard, Vancouver, ISO itp.

7

Hochman, Dominik, Jan Trenz, Radim Nečas i Jiří Stráským. "Experimental Verification of Plan Curved Arch Structures". Advanced Materials Research 1106 (czerwiec 2015): 203–6. http://dx.doi.org/10.4028/www.scientific.net/amr.1106.203.

Pełny tekst źródła

Streszczenie:

This paper describes preparation and implementation of a model test of two space arch pedestrian bridges that are currently being developed. Implementation of a static model built in the scale 1:10 follows from the design of studied structures.

Style APA, Harvard, Vancouver, ISO itp.

8

NORMAN, C. "Britain Offers Plan for Chemical Weapons Verification". Science 233, nr 4764 (8.08.1986): 617–18. http://dx.doi.org/10.1126/science.233.4764.617.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

Lee, Dong Kun, Jong Gye Shin, Youngmin Kim i Yong Kuk Jeong. "Simulation-Based Work Plan Verification in Shipyards". Journal of Ship Production and Design 30, nr 2 (1.05.2014): 49–57. http://dx.doi.org/10.5957/jspd.30.2.130032.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

Agazaryan, Nzhde, Wolfgang Ullrich, Steve P. Lee i Timothy D. Solberg. "A methodology for verification of radiotherapy dose calculation". Journal of Neurosurgery 101, Supplement3 (listopad 2004): 356–61. http://dx.doi.org/10.3171/sup.2004.101.supplement3.0356.

Pełny tekst źródła

Streszczenie:

Object. A methodology for dosimetric verification of radiation therapy plans was developed and implemented. Dosimetric accuracy of clinically active intensity-modulated radiotherapy (IMRT) and intensity-modulated radiosurgery (IMRS) programs was assessed using this methodology. Methods. The methodology included several dosimetric tasks that were performed to assess the dosimetric accuracy of a treatment plan. Absolute dosimetry of the composite plan was performed using an ionization chamber. Film dosimetry was performed for each individual field and for the multifield composite plan. Calculated dose distributions and film measurements were compared using software developed for the specific tasks. Two-dimensional maps of gamma index, dose difference, and distance-to-agreement were calculated and displayed. To date, good agreement between measurements and calculations has been observed in 160 clinical IMRT and IMRS plans. The largest observed absolute dose disagreement was −4.79%. The mean absolute dose difference was 0.26%, with a standard deviation of 1.75%. The authors specify a 3% dose difference and 3-mm distance as the scaling acceptability criteria for the gamma index calculations of the film measurement analysis. The planning and delivery system in clinical use has proven consistently to satisfy these criteria. Conclusions. The dosimetric verification methods and the software tools developed were both quantitative and clinically practical. The measurements and the analysis demonstrated that the IMRT and IMRS planning and delivery system in use was sufficiently accurate for highly conformal treatments.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Plan verification"

1

Krupp, Alfred Alexander. "A verification plan for systematic verification of mechatronic systems". Aachen Shaker, 2009. http://d-nb.info/995161909/04.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Krupp, Alfred Alexander [Verfasser]. "A Verification Plan for Systematic Verification of Mechatronic Systems / Alfred Alexander Krupp". Aachen : Shaker, 2009. http://d-nb.info/1156518482/34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Kenger, Patrik. "Module property verification : A method to plan and perform quality verifications in modular architectures". Doctoral thesis, Stockholm, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3965.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Pichler, Joseph Alan. "IMRT Plan Delivery Verification Utilizing a Spiral Phantom with Radiochromic Film Dosimetry". University of Toledo Health Science Campus / OhioLINK, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=mco1288963613.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Flower, Emily Elizabeth, i not supplied. "Comparison of Two Planning Methods for Heterogeneity Correction in Planning Total Body Irradiation". RMIT University. Applied Sciences, 2006. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20070511.163728.

Pełny tekst źródła

Streszczenie:

Total body irradiation (TBI) is often used as part of the conditioning process prior to bone marrow transplants for diseases such as leukemia. By delivering radiation to the entire body, together with chemotherapy, tumour cells are killed and the patient is also immunosupressed. This reduces the risk of disease relapse and increases the chances of a successful implant respectively. TBI requires a large flat field of radiation to cover the entire body with a uniform dose. However, dose uniformity is a major challenge in TBI. (AAPM Report 17) The ICRU report 50 recommends that the dose range within the target volume remain in the range of -5% to +7%. Whilst it is generally accepted that this is not possible for TBI, it is normally clinically acceptable that ±10% of the prescribed dose to the whole body is sufficiently uniform, unless critical structures are being shielded. TBI involves complex dosimetry due to the large source to treatment axis distance (SAD), dose uniformity and flatness over the large field, bolus requirements, extra scatter from the bunker walls and floor and large field overshoot. There is also a lack of specialised treatment planning systems for TBI planning at extended SAD. TBI doses at Westmead Hospital are prescribed to midline. Corrections are made for variations in body contour and tissue density heterogeneity in the lungs using bolus material to increase dose uniformity along midline. Computed tomography (CT) data is imported into a treatment planning system. The CT gives information regarding tissue heterogeneity and patient contour. The treatment planning system uses this information to determine the dose distribution. Using the dose ratio between plans with and without heterogeneity correction the effective chest width can be calculated. The effective chest width is then used for calculating the treatment monitor units and bolus requirements. In this project the tissue heterogeneity corrections from two different treatment planning systems are compared for calculating the effective chest width. The treatment planning systems used were PinnacleTM, a 3D system that uses a convolution method to correct for tissue heterogeneity and calculate dose. The other system, RadplanTM, is a 2D algorithm that corrects for tissue heterogeneity using a modified Batho method and calculates dose using the Bentley - Milan Algorithm. Other possible differences between the treatment planning systems are also discussed. An anthropomorphic phantom was modified during this project. The chest slices were replaced with PerspexTM slices that had different sized cork and PerspexTM inserts to simulate different lung sizes. This allowed the effects of different lung size on the heterogeneity correction to be analysed. The phantom was CT scanned and the information used for the treatment plans. For each treatment planning system and each phantom plans were made with and without heterogeneity corrections. For each phantom the ratio between the plans from each system was used to calculate the effective chest width. The effective chest width was then used to calculate the number of monitor units to be delivered. The calculated dose per monitor unit at the extended TBI distance for the effective chest width from each planning system is then verified using thermoluminescent dosimeters (TLDs) in the unmodified phantom. The original phantom was used for the verification measurements as it had special slots for TLDs. The isodose distributions produced by each planning system are then verified using measurements from Kodak EDR2 radiographic film in the anthropomorphic phantom at isocentre. Further film measurements are made at the extended TBI treatment SAD. It was found that only the width of the lungs made any significant difference to the heterogeneity correction for each treatment planning system. The height and depth of the lungs will affect the dose at the calculation point from changes to the scattered radiation within the volume. However, since the dose from scattered radiation is only a fraction of that from the primary beam, the change in dose was not found to be significant. This is because the calculation point was positioned in the middle of the lungs, so the height and depth of the lungs didn't affect the dose at the calculation point. The dose per monitor unit calculated using the heterogeneity correction for each treatment planning system varied less than the accuracy of the TLD measurements. The isodose distributions measured by film showed reasonable agreement with those calculated by both treatment planning systems at isocentre and a more uniform distribution at the extended TBI treatment distance. The verification measurements showed that either treatment planning system could be used to calculate the heterogeneity correction and hence effective chest width for TBI treatment planning.

Style APA, Harvard, Vancouver, ISO itp.

6

Borse, Prashant A. "Visualization of a slot milling process for verification and validation of a process plan on the internet". Ohio University / OhioLINK, 2003. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1177525318.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Rai, Jitender Kumar. "FEM-MILL: a finite element based 3D transient milling simulation environment for process plan verification and optimization /". Lausanne : EPFL, 2008. http://library.epfl.ch/theses/?nr=4190.

Pełny tekst źródła

Streszczenie:

Thèse Ecole polytechnique fédérale de Lausanne EPFL, no 4190 (2008), Faculté des sciences et techniques de l'ingénieur STI, Programme doctoral Systèmes de production et Robotique, Institut de génie mécanique IGM (Laboratoire des outils informatiques pour la conception et la production LICP). Dir.: Paul Xirouchakis.

Style APA, Harvard, Vancouver, ISO itp.

8

Zalabáková, Eliška. "Podnikatelský plán". Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-201841.

Pełny tekst źródła

Streszczenie:

Goal of the thesis is to create a business plan for existing company, which has decided to extend its business, and a feasibility verification of the plan. The theoretical part of the thesis contains summary of requirements for business plan and elaborating rules. The theoretical part is based on studies of scholarly literature. The practical part contains compile business plan for company which trades alcoholic beverages. Business plan compilation followed the assignment and reflecting gained theoretical knowledge. According to the business plan, including also a financial plan, it is possible to evaluate its viability and feasibility. The thesis benefits are framed business plan for existing company, judging its feasibility, creation of a workable system for future financial planning for the business owner and recommendations leading to future activity.

Style APA, Harvard, Vancouver, ISO itp.

9

Pančáková, Alexandra. "Podnikateľský plán". Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-199565.

Pełny tekst źródła

Streszczenie:

The scope of the diploma thesis is to create business plan, analyse feasibility study and realistic approach of the Company focused on producing and sale of the frozen yogurt. The main aim of the theoretical part contains information about detailed awareness of all features of the business plan. All data has been sourced from the relevant source of information. All provided information were transformed into business plan of the company YoGu, s.r.o. which is mainly focused on manufacturing and selling of frozen yogurt. Due to the financial plan it has been verified that business strategy of the company YoGu is feasible and it has potential to survive in the real business environment.

Style APA, Harvard, Vancouver, ISO itp.

10

Knot, Martin. "Podnikatelský plán - lezecké centrum". Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-264371.

Pełny tekst źródła

Streszczenie:

This Master´s thesis deals with creating a business plan, which covers the construction of a climbing centre in Vrchlabí. The goal of the thesis is to assess the feasibility of the project based on the created business plan. The thesis is divided into two main parts. The first, theoretical part, deals with a difference between an entrepreneur and a relationship of employment, reasons to run a business, but above all, reasons for creating a business plan and its structure. The practical part includes a business plan itself with a detailed structure of the whole project, a financial plan and all necessary steps and actions that need to be done for its successful realization. The greatest emphasis is placed on the analysis of potential customers as a key factor of the success of the project. Evaluation of the project profitability and success in existing conditions comes in the conclusion of the thesis.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "Plan verification"

1

Wanhill, R. J. H. A test plan for sustained load fracture control verification. Amsterdam: National Aerospace Laboratory, 1989.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

James, Peet. Verification Plans. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4615-0473-3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Albright, David. Dismantling the DPRK's nuclear weapons program: A practicable, verifiable plan of action. Washington, DC: United States Institute of Peace, 2006.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

James, Peet. Verification plans: The five-day verification strategy for modern hardware verification languages. Boston: Kluwer Academic Publishers, 2004.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

James, Peet. Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages. Boston, MA: Springer US, 2004.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Commission, Canadian Nuclear Safety. Human factors verification and validation plans. [Ottawa]: Canadian Nuclear Safety Commission, 2003.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

National Bureau of Standards. Guideline for software verification and validation plans. Gaithersburg, MD: U.S. Dept. of Commerce/National Bureau of Standards, 1987.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Wynn, Sarah L. Aerial photography and aground verification at power plant sites: Wisconsin power plant impact study. Duluth, MN: U.S. Environmental Protection Agency, Environmental Research Laboratory, 1985.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

Meyer, Kathleen R. Characterization of releases to surface water from the Rocky Flats Plant: Task 2, verification and analysis of source terms. Neeses, S.C: Radiological Assessments Corporation, 1999.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

Weber, Jill M. Development of the Rocky Flats Plant 903 area plutonium source term: Task 2, verification and analysis of source terms. Neeses, S.C: Radiological Assessments Corporation, 1999.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "Plan verification"

1

James, Peet. "Plan, Plan, Plan". W Verification Plans, 1–10. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4615-0473-3_1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Bergeron, Janick. "The Verification Plan". W Writing Testbenches using System Verilog, 77–111. Boston, MA: Springer US, 2006. http://dx.doi.org/10.1007/0-387-31275-7_3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Bergeron, Janick. "The Verification Plan". W Writing Testbenches: Functional Verification of HDL Models, 85–120. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/978-1-4615-0302-6_3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Cesta, A., A. Finzi, S. Fratini, A. Orlandini i E. Tronci. "Flexible Timeline-Based Plan Verification". W KI 2009: Advances in Artificial Intelligence, 49–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04617-9_7.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Khatib, Lina, Nicola Muscettola i Klaus Havelund. "Verification of Plan Models Using UPPAAL". W Formal Approaches to Agent-Based Systems, 114–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45484-5_9.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Sibai, Hussein, Yangge Li i Sayan Mitra. "$$\mathsf {SceneChecker}$$: Boosting Scenario Verification Using Symmetry Abstractions". W Computer Aided Verification, 580–94. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_28.

Pełny tekst źródła

Streszczenie:

AbstractWe present $$\mathsf {SceneChecker}$$ SceneChecker , a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces. $$\mathsf {SceneChecker}$$ SceneChecker converts the scenario verification problem to a standard hybrid system verification problem, and solves it effectively by exploiting structural properties in the plan and the vehicle dynamics. $$\mathsf {SceneChecker}$$ SceneChecker uses symmetry abstractions, a novel refinement algorithm, and importantly, is built to boost the performance of any existing reachability analysis tool as a plug-in subroutine. We evaluated $$\mathsf {SceneChecker}$$ SceneChecker on several scenarios involving ground and aerial vehicles with nonlinear dynamics and neural network controllers, employing different kinds of symmetries, using different reachability subroutines, and following plans with hundreds of waypoints in complex workspaces. Compared to two leading tools, DryVR and Flow*, $$\mathsf {SceneChecker}$$ SceneChecker shows 14$$\times $$ × average speedup in verification time, even while using those very tools as reachability subroutines.

Style APA, Harvard, Vancouver, ISO itp.

7

Peterson, Susan, i Paul Carzola. "From Panic-Driven to Plan-Driven Verification Managing the Transition". W Metric- Driven Design Verification, 297–302. Boston, MA: Springer US, 2007. http://dx.doi.org/10.1007/978-0-387-38152-7_21.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Pitts, Joseph, Phyllis Kayten i John Zalenchak. "The National Plan for Aviation Human Factors". W Verification and Validation of Complex Systems: Human Factors Issues, 529–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-662-02933-6_38.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

Zhang, Chengqi, i Yuefeng Li. "An algorithm for plan verification in multiple agent systems". W Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 149–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055026.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

Jakubův, Jan, Jan Tožička i Antonín Komenda. "Using Process Calculi for Plan Verification in Multiagent Planning". W Lecture Notes in Computer Science, 245–61. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27947-3_13.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Plan verification"

1

Schaffar, A., P. Lemeur, V. Gobin i S. Bertuol. "Ariane 5 Lightning Verification Plan". W International Conference on Lightning and Static Electricity. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 1999. http://dx.doi.org/10.4271/1999-01-2334.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Bergeron, J., H. Foster, A. Piziali, R. S. Mitra, C. Ahlschlager i D. Stein. "Building a verification test plan". W the 43rd annual conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1146909.1147113.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Jakubův, Jan, Jan Tožička i Antonín Komenda. "Multiagent Planning by Plan Set Intersection and Plan Verification". W International Conference on Agents and Artificial Intelligence. SCITEPRESS - Science and and Technology Publications, 2015. http://dx.doi.org/10.5220/0005222101730182.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Kirchsteiger, C. M., C. Trummer, C. Steger, R. Weiss i M. Pistauer. "Automatic Verification Plan Generation to Speed up SoC Verification". W 2008 NORCHIP. IEEE, 2008. http://dx.doi.org/10.1109/norchp.2008.4738278.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Zhou, Jianhua, i Dingjun Li. "Reliability Verification: Plan, Execution, and Analysis". W SAE World Congress & Exhibition. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2009. http://dx.doi.org/10.4271/2009-01-0561.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

O'Kelly, Matthew E., Houssam Abbas, Sicun Gao, Shinpei Kato, Shinichi Shiraishi i Rahul Mangharam. "APEX: Autonomous Vehicle Plan Verification and Execution". W SAE 2016 World Congress and Exhibition. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2016. http://dx.doi.org/10.4271/2016-01-0019.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Hirschel, E., i H. Kuczera. "The FESTIP Technology Development and Verification Plan". W 8th AIAA International Space Planes and Hypersonic Systems and Technologies Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1998. http://dx.doi.org/10.2514/6.1998-1567.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Ferreira, Macilio da Silva, Maria Viviane Menezes i Leliane Nunes De Barros. "Plan Existence Verification as Symbolic Model Checking". W XV Encontro Nacional de Inteligência Artificial e Computacional. Sociedade Brasileira de Computação - SBC, 2018. http://dx.doi.org/10.5753/eniac.2018.4409.

Pełny tekst źródła

Streszczenie:

Automated Planning is the subarea of AI concerned with the generation of a plan of actions for an agent to achieve its goals. State-of-the-art planning algorithms are based on heuristic search. However, the inexistence of a plan can be a challenge for such planners, since they are not always able to discern the difficulty of finding a solution from its inexistence. The problem of plan existence verification, called planex, is computationally hard. Thus, in 2016, the planning community held for the first time the Unsolvability International Planning Competition (UIPC), which aims to evaluate algorithms on the task of verifying plan existence. The aim of this paper is to propose a new algorithm to solve the planex problem that is based on symbolic model checking approach. The proposed algorithm differs from others based on model checking in two points: (i) it is able to reason about the actions represented in PDDL (Planning Domain Description Language) and; (ii) it is based on the α-CTL logic, whose semantics takes into account the actions responsable for the state transitions. We also evaluate the proposed alorithm over the UIPC planning benchmark problems.

Style APA, Harvard, Vancouver, ISO itp.

9

Bozic, Josip, i Franz Wotawa. "Software Testing: According to Plan!" W 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2019. http://dx.doi.org/10.1109/icstw.2019.00028.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

Opfer, Stephan, Stefan Niemczyk i Kurt Geihs. "Multi-Agent Plan Verification with Answer Set Programming". W the 3rd Workshop. New York, New York, USA: ACM Press, 2016. http://dx.doi.org/10.1145/3022099.3022104.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Plan verification"

1

LOGICON RDA FORT LEAVENWORTH KS. Confederation Verification, Validation, and Accreditation Master Plan (CVVAMP) - Verification Test Plan. Fort Belvoir, VA: Defense Technical Information Center, kwiecień 1994. http://dx.doi.org/10.21236/ada289844.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Kelley, Christopher Lee, i Brian Thomas Naughton. NRT Design Verification Test Plan. Office of Scientific and Technical Information (OSTI), grudzień 2018. http://dx.doi.org/10.2172/1489535.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Mousseau, Vincent Andrew, i Nam Dinh. CASL Verification and Validation Plan. Office of Scientific and Technical Information (OSTI), czerwiec 2016. http://dx.doi.org/10.2172/1431322.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Crane, Nathan K. Sierra Structural Dynamics Code Verification Plan. Office of Scientific and Technical Information (OSTI), czerwiec 2018. http://dx.doi.org/10.2172/1493843.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Osborn, Douglas, Ruth Weiner i Steven Hamp. RADTRAN 5.5 Validation and Verification Plan. Office of Scientific and Technical Information (OSTI), styczeń 2005. http://dx.doi.org/10.2172/1143405.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Pointer, William David. STAR-CCM+ Verification and Validation Plan. Office of Scientific and Technical Information (OSTI), wrzesień 2016. http://dx.doi.org/10.2172/1335352.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Downar, Thomas. VERA-CS Verification & Validation Plan. Office of Scientific and Technical Information (OSTI), luty 2017. http://dx.doi.org/10.2172/1360074.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Shemon, E., C. Lee i M. Smith. Verification and Validation Plan for PROTEUS. Office of Scientific and Technical Information (OSTI), październik 2014. http://dx.doi.org/10.2172/1159797.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

Smith, Curtis L., Yong-Joon Choi i Ling Zou. RELAP-7 Software Verification and Validation Plan. Office of Scientific and Technical Information (OSTI), wrzesień 2014. http://dx.doi.org/10.2172/1168648.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

Ferencz, R. SHARP Structural Mechanics Verification & Validation Plan. Office of Scientific and Technical Information (OSTI), sierpień 2014. http://dx.doi.org/10.2172/1159265.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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!