1,231 Hits in 10.9 sec


L. McDermott
2009 Radiotherapy and Oncology  
The authors would like to thank Gerben Borst M.D., Katrien de Jaeger M.D.and René Tielenburg for help in analysing and interpreting anatomical changes in difference images.  ...  In vivo dosimetrie met een optimaal aantal fracties, in 2D of bij voorkeur in 3D, is een goede manier om te garanderen dat patiënten de geplande behandeling ook daadwerkelijk krijgen.  ...  QA, therefore, has become one of the big challenges in radiotherapy. 13 Dose verification in radiotherapy Ideal verification of radiotherapy would ensure the dose distribution delivered to the patient  ... 
doi:10.1016/s0167-8140(12)72717-2 fatcat:6kffkogb2jbnpikzeiydnmvaia

Industrial hardware and software verification with ACL2

Warren A. Hunt, Matt Kaufmann, J Strother Moore, Anna Slobodova
2017 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
people mentioned in the text!  ...  Thanking the individuals who led important industrial proof projects and/or contributed books or improvements used by the community would require a recapitulation of the paper, so we just thank all the  ...  The team routinely discovers new areas, where an analyzable design model offers a big advantage compared to simulation-based design and verification approaches.  ... 
doi:10.1098/rsta.2015.0399 pmid:28871049 fatcat:7bdhr5s6srdrjm6aonktjsm7qq

Requirements development, verification, and validation exhibited in famous failures

A. Terry Bahill, Steven J. Henderson
2005 Systems Engineering  
Requirements Development, Requirements Verification, Requirements Validation, System Verification, and System Validation are important systems engineering tasks.  ...  Understanding these differences may help increase the probability of success of future system designs.  ...  ACKNOWLEDGMENTS This paper was instigated by a question by Harvey Taipale of Lockheed Martin in Eagan MN in 1997.  ... 
doi:10.1002/sys.20017 fatcat:jl3rrk3khbhznpfndrzaswrbci

Eighth IEEE International High-Level Design Validation and Test Workshop

2003 Eighth IEEE International High-Level Design Validation and Test Workshop  
We also have a panel discussion entitled "What's tlie Next 'Big Thing' in Simulation-Based Verification?''  ...  The panel will surely provide a good overview o f the methods and generate simulating technical discussions.  ... 
doi:10.1109/hldvt.2003.1252466 fatcat:psx2ovye3neclcb3t6ynjd4hia

2019 DAC Roundtable

Giovanni De Micheli, Antun Domic, Massimiliano Di Ventra, Martin Roettler, Jason Cong
2020 IEEE design & test  
Copublished by the IEEE CEDA, IEEE CASS, IEEE SSCS, and TTTC IEEE Design&Test Roundtable Roundtable Panel Discussion at DAC 2019: Evolutionary Computing or Heuristic Forever?  ...  Other revolutionary approaches, such as memcomputing and quantum computing, explore new paradigms in computation to beat the barrier of computational complexity. A Space Odyssey in 1968.  ...  What's more interesting is the ability to simulate the process that's described by a Hamiltonian and the ability to amplify amplitudes.  ... 
doi:10.1109/mdat.2020.2968279 fatcat:p4mnyo7z6zhrbdihxlafdjfmvm

Discipline Convergence in Networked Systems (Dagstuhl Seminar 18261)

Yungang Bao, Lars Eggert, Simon Peter, Noa Zilberman, Michael Wagner
2019 Dagstuhl Reports  
the convergence of disciplines that used to be mainly isolated in the past.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 18261 "Discipline Convergence in Networked Systems".  ...  PASTE is a open source Linux kernel module which does not need to modify the main kernel. FreeBSD support is an ongoing effort. The work appeared in NSDI'18. [1] Concluding statements  ... 
doi:10.4230/dagrep.8.6.149 dblp:journals/dagstuhl-reports/BaoEPZ18 fatcat:qvwtcj36vrbmpm74rboinam7zy

Web-based simulation: revolution or evolution?

Ernest H. Page, Arnold Buss, Paul A. Fishwick, Kevin J. Healy, Richard E. Nance, Ray J. Paul
2000 ACM Transactions on Modeling and Computer Simulation  
Is the subject of this panel session presaging the next major transition in simulation model development? 3.4.1 Modeling Methodology.  ...  The charter for the panel was to examine the fundamental nature of web-based simulation and explore its relationship to the body of theory and practice in simulation modeling methodology that has evolved  ... 
doi:10.1145/353735.353736 fatcat:ej3v4lq66remjmf7axaykrsuty

What i wish they would have taught me (or that i would have better remembered!) in school

C.R. Standridge, D.A. Finke, C. Jurishica, D.M. Ferrin, C.M. Harmonosky
2007 2007 Winter Simulation Conference  
This panel reflects upon their experiences as simulation professionals and shares their thoughts regarding elements of their simulation education that they have found most helpful in their work as well  ...  With diverse backgrounds and simulation application areas, their perspectives may provide food for thought to simulation course developers and to those in the midst of their educational process.  ...  Oh, the life of a consultant! The next topic I'd like to see taught is 'real life in the office.'  ... 
doi:10.1109/wsc.2007.4419870 dblp:conf/wsc/StandridgeFJFH07 fatcat:6z4ifhtbszcgdjy6vzrfxl22ey

Computational Antitrust First Annual Conference: Exploring Antitrust 3.0

Thibault Schrepel
2022 Stanford Journal of Computational Antitrust  
Thibault Schrepel's direction and with the help of the entire Computational Antitrust project team. Here is the transcript. It has been cleaned but not edited.  ...  On December 13, 14, and 15, 2021, The Stanford Center for Legal Informatics (CodeX) organized the world's first (online) conference dedicated to Computational Antitrust under Prof.  ...  Thank you as well to the attendees for the very thoughtful questions, and I hand it over to Thibault now for the next panel.  ... 
doi:10.51868/9 fatcat:ihmhoqcmsfhwfjdtucnr5pc6hu


J. J. Barr
1973 Journal - American Water Works Association  
He helped form and served on the Anderson Panel for the Air Force in the early 1970s (was MITRE's representative), oversaw path breaking computer security high assurance mathematical model work at MITRE  ...  in the 2000s.  ...  And that was sort of the birth of the big change in Microsoft commitment to doing secure development.  ... 
doi:10.1002/j.1551-8833.1973.tb01886.x fatcat:uvk4omcwcvfkxjbgaescecvo5m

Probe Microphone Measurements: 20 Years of Progress

H. Gustav Mueller
2001 Trends in Amplification  
If your tube is small and your vent is big, it's okay. One thing that is being measured when we conduct probe-mic testing is the acoustic affects of venting.  ...  in the top panel was obtained.  ... 
doi:10.1177/108471380100500202 pmid:25425897 pmcid:PMC4168927 fatcat:jwtdahelozaatplbplntqufqha

Knowledge-Integrated Informed AI for National Security [article]

Anu K. Myne, Kevin J. Leahy, Ryan J. Soklaski
2022 arXiv   pre-print
Specifically, we review illuminating examples of knowledge integrated in deep learning and reinforcement learning pipelines, taking note of the performance gains they provide.  ...  AI techniques are numerous with many approaches and variants, but they can be classified simply based on the degree of knowledge they capture and how much data they require; two broad categories emerge  ...  In PANEL C, from [50] , the prediction loss is minimized while considering additional physics-based terms.  ... 
arXiv:2202.03188v1 fatcat:sabdacy56ngizpo54ukxtg3o7y

What Constitutes Evidence For Copyright Policy? Digital Proceedings Of Esrc Symposium

Martin Kretschmer, Ruth Towse
2013 Zenodo  
The aim was to produce an orientation point in the contested debate about 'evidence-based' copyright reform.  ...  the concept of evidence as employed in copyright policy making, and challenge the concept from a social science perspective.  ...  That copyright is based on essentially three things.  ... 
doi:10.5281/zenodo.8371 fatcat:w5rhhmgdhre2nmjyalkoe2wnnm

Total Quality Leadership [chapter]

2015 Encyclopedia of Trauma Care  
Go through the same thing with them in terms of the focus. Go through the same thing with the employees, so they know why. Employees really have to know what's in it for them.  ...  In other words, we had a very volume-oriented mentality, nDon't let the machines stop, run them all the time. Search for those great big orders." So it was: "Big orders, run full."  ...  The use of a simulated production environment to teach the application of continuous improvement concepts will also be modeled. A-7 Appendix Mr  ... 
doi:10.1007/978-3-642-29613-0_101523 fatcat:aj6tl2l4azfcbpznhtrfkwksru

Programmable Network Data Planes (Dagstuhl Seminar 19141)

Gianni Antichi, Theophilus Benson, Nate Foster, Fernando M. V. Ramos, Justine Sherry, Michael Wagner
2019 Dagstuhl Reports  
In this seminar we discussed the key questions and problems to be addressed in the next 10 years on the area of programmable dataplanes, and how they will potentially shape the future of networking.  ...  in the networking research community and in industry.  ...  In the first part of the talk, he discussed two verification approaches: one based on symbolic execution and one based on weakest preconditions.  ... 
doi:10.4230/dagrep.9.3.178 dblp:journals/dagstuhl-reports/AntichiBFRS19 fatcat:ulc3w7dvevduhowuymmf4wymzu
« Previous Showing results 1 — 15 out of 1,231 results