Auswahl der wissenschaftlichen Literatur zum Thema „Abramsky“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Abramsky" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Abramsky"
HYTTINEN, TAPANI, GIANLUCA PAOLINI und JOUKO VÄÄNÄNEN. „QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES“. Review of Symbolic Logic 8, Nr. 4 (11.06.2015): 722–42. http://dx.doi.org/10.1017/s1755020315000192.
Der volle Inhalt der QuelleHAGHVERDI, ESFANDIAR. „Unique decomposition categories, Geometry of Interaction and combinatory logic“. Mathematical Structures in Computer Science 10, Nr. 2 (April 2000): 205–30. http://dx.doi.org/10.1017/s0960129599003035.
Der volle Inhalt der QuelleMilner, Robin. „Functions as processes“. Mathematical Structures in Computer Science 2, Nr. 2 (Juni 1992): 119–41. http://dx.doi.org/10.1017/s0960129500001407.
Der volle Inhalt der QuellePaperno, Denis. „Conjunction is Parallel Computation“. Semantics and Linguistic Theory 22 (03.04.2015): 403. http://dx.doi.org/10.3765/salt.v22i0.2630.
Der volle Inhalt der QuellePaperno, Denis. „Conjunction is Parallel Computation“. Semantics and Linguistic Theory 22 (03.09.2012): 403. http://dx.doi.org/10.3765/salt.v22i0.3160.
Der volle Inhalt der QuelleLöwe, Heinz-Dietrich. „Jewish History: Essays in Honour of Chimen Abramsky“. Journal of Jewish Studies 40, Nr. 2 (01.10.1989): 272–74. http://dx.doi.org/10.18647/1503/jjs-1989.
Der volle Inhalt der QuelleRapoport-Albert, Ada. „Chimen Abramsky 12 September 1916–14 March 2010“. Polin: Studies in Polish Jewry 24, Nr. 1 (Januar 2012): 427–29. http://dx.doi.org/10.3828/polin.2012.24.427.
Der volle Inhalt der QuelleHASUO, ICHIRO, und BART JACOBS. „Traces for coalgebraic components“. Mathematical Structures in Computer Science 21, Nr. 2 (25.03.2011): 267–320. http://dx.doi.org/10.1017/s0960129510000551.
Der volle Inhalt der QuelleBonsangue, Marcello M., und Joost N. Kok. „Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems“. Information and Computation 155, Nr. 1-2 (November 1999): 170–201. http://dx.doi.org/10.1006/inco.1999.2827.
Der volle Inhalt der QuelleBELLIN, GIANLUIGI. „Subnets of proof-nets in multiplicative linear logic with MIX“. Mathematical Structures in Computer Science 7, Nr. 6 (Dezember 1997): 663–69. http://dx.doi.org/10.1017/s0960129597002326.
Der volle Inhalt der QuelleDissertationen zum Thema "Abramsky"
McDonald, Bradley Neal. „Evaluating foreign-source dependencies in the U.S. Army's M1 Abrams tank“. Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1995. http://handle.dtic.mil/100.2/ADA303237.
Der volle Inhalt der QuelleBiolchini, Gerald, und Karolyn Kinney. „Embedded training and the training requirements for the Abrams main battle tank“. Monterey, California. Naval Postgraduate School, 2011. http://hdl.handle.net/10945/10754.
Der volle Inhalt der QuelleThe Abrams tank has had an Operational Requirements Document (ORD) requirement for embedded training (ET) since 1994 and has successfully demonstrated the capability as early as 2001. The most challenging aspect of implementing ET has been to get the Abrams combat development community (User) and materiel development community (Product Manager) to equally consider the need for ET among competing combat capability. The need and priority for embedded training has not been effectively conveyed. Due to the interpretations of embedded training requirements, the direction to PM Abrams to implement embedded training has been weak at best, while the perceived User need for ET continues to grow. Since the technology has been demonstrated, the combat developer has begun to understand the capability and more effectively define the desired state (how he would use it and its benefits). Furthermore, the Army's style of fighting has changed; therefore, the Army's method of training must also change. Embedded training should be recognized by the materiel developer as an essential training tool necessary to keep Soldiers' skills sharp in the changing training environment.
Hamilton, Erik M. (Erik Michael). „MI Abrams maintenance performance analysis at the US Army's National Training Center“. Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/121791.
Der volle Inhalt der QuelleCataloged from PDF version of thesis.
Includes bibliographical references (page 87).
To prepare for combat, the US Army utilizes the National Training Center (NTC) to test and certify all units before deployment to combat operations. During the past 5 years, observers have noted below standard Operational Readiness (OR) Rates in the MI fleet during training at NTC. The Army's Program Manager for the MI Abrams requested this thesis examine the MI performance at NTC, possible reasons for the performance, and recommend solutions to those issues. The first research question asks if Ml OR rates are statistically below the Army Standard. Through collection of OR data throughout the Army, this study confirmed using statistical hypothesis testing that OR rates at NTC are below standard. The next three questions used regression analysis to identify possible reasons for the low performance. During the course of the study, mileage driven on each tank both before and during NTC was proven to have no effect on tank performance. Analysis of the parts stockage breadth at NTC warehouses was shown to be effective at predicting parts failures, but could recover up to 1.3% OR rate by adding 28 additional parts to the normal stockage list. Finally, analysis of individual unit maintenance performance measures showed individual programs have significant effect on Ml OR rates, specifically when examining controlled substitution policy and proper reporting procedures. Recommendations for the correction of the problem include the development of a more reliable mileage reporting system, additional research specifically into the time requirements for each unit, additional training for unit maintenance leaders, and parts failures trends during high-intensity training.
by Erik M. Hamilton.
S.M. in Engineering and Management
S.M.inEngineeringandManagement Massachusetts Institute of Technology, System Design and Management Program
Wilhelm, John A. „Analysis of optimum depot level component replacement policy for retrograded M1 Abrams tanks“. Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA241240.
Der volle Inhalt der QuelleThesis Advisor(s): Whitaker, Lyn R. Second Reader: Sovereign, Michael G. "September 1990." Description based on title screen as viewed on December 17, 2009. DTIC Identifier(s): Preventive Maintenance, Theses, M-1 Tanks, Optimal Replacement Time, Age Replacement Policy, RC-IRON (Reliability Centered-Inspect And Repair Only As Necessary). Author(s) subject terms: Age Replacement Policy, Optimal Replacement, Preventive Maintenance. Includes bibliographical references (p. 113-114). Also available in print.
Corpening, Keithon R., und Brad J. Chase. „A methodology for state and transitional analysis of the M1A2 Abrams driver's instrument panel“. Thesis, Monterey, California. Naval Postgraduate School, 2002. http://hdl.handle.net/10945/5377.
Der volle Inhalt der QuelleThis thesis is an independent study to conduct a detailed problem analysis to determine if a methodology can be derived to map the states of the M1A2 simulator to specific doctrinal tasks. Specifically, what are Tactics, Techniques and Procedures (TTP); Crew Drills; and Battle Drills and can they be mapped to specific states of the M1A2 simulator? If so, then demonstrate such a methodology using a small subset of the M1A2 simulator stimuli and a given doctrinal task. Additionally, to identify problem areas associated with state to task mapping, such as 'state explosion' and recommend a possible solution. We conclude through our research that a methodology can be derived and have demonstrated that it is reasonable to take input in the form of stimuli from the driver's instrument panel and evaluate current state and anticipate future states within the context of a given tactical or training scenario.
Millspaugh, Kevin C. „The M1 Abrams tank : a case study in major weapon systems acquisition and program management /“. Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1995. http://handle.dtic.mil/100.2/ADA303244.
Der volle Inhalt der QuelleThesis advisor(s): David F. Matthews, Mark W. Stone. "June 1995." Includes bibliographical references. Also available online.
Chase, Brad J. Corpening Keithon R. „A methodology for state and transitional analysis of the driver's compartment of the M1A2 Abrams Tank /“. Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02sep%5FChase.pdf.
Der volle Inhalt der QuelleAbrams, Levern Jayson. „An analysis of the retail price elasticity of demand for a leading fuel company / by Jayson L. Abrams“. Thesis, North-West University, 2009. http://hdl.handle.net/10394/4303.
Der volle Inhalt der QuelleBlakiston, Edward Y., Richard A. Jennings und Carl J. Punzel. „Development of an Item Unique Identification strategy for the legacy components of the US Marine Corps M1A1 Abrams Tank“. Thesis, Monterey, California. Naval Postgraduate School, 2008. http://hdl.handle.net/10945/10296.
Der volle Inhalt der QuelleApproved for public release; distribution is unlimited
The Office of the Secretary of Defense (OSD) has mandated that every component that meets certain cost and management criteria in the Department of Defense's (DoD) tangible inventory must have a valid Item Unique Identification (IUID) mark by December 2010. The IUID program is expected to increase force readiness, enhance the lifecycle management of assets, and provide more accurate asset valuation to achieve unqualified audit opinions on DoD financial statements. One of the challenges of the program is to achieve IUID-marking saturation throughout in-use, or legacy, inventories with minimal interruption of operational readiness. The purpose of this project is to propose an effective implementation strategy for the legacy items that meet the DoD's requirements for IUID marking in the US Marine Corps M1A1 Abrams tank community. This plan could potentially serve as a model for other communities facing the challenge of IUID implementation. This project examines different implementation alternatives and identifies and develops the determined best course of action. In addition, an estimation of the costs to implement the chosen plan will be provided for comparison and decision-making purposes.
Blakiston, Edward Y. Punzel Carl J. Jennings Richard A. „Development of an Item Unique Identification strategy for the legacy components of the US Marine Corps M1A1 Abrams Tank“. Monterey, Calif. : Naval Postgraduate School, 2008. http://edocs.nps.edu/npspubs/scholarly/MBAPR/2008/Dec/08Dec%5FBlakiston%5FMBA.pdf.
Der volle Inhalt der QuelleAdvisor(s): Ferrer, Geraldo ; Nussbaum, Daniel A. "December 2008." "MBA professional report"--Cover. Description based on title screen as viewed on January 28, 2009. Includes bibliographical references (p. 79-83). Also available in print.
Bücher zum Thema "Abramsky"
Bassenge, Tilman. Socialistica: Sammlung Chimen Abramsky, 14. April 2011. Berlin-Grünewald: Bassenge Buchauktionen GbR, 2011.
Den vollen Inhalt der Quelle finden1916-, Abramsky Chimen, Rapoport-Albert Ada und Zipperstein Steven J. 1950-, Hrsg. Jewish history: Essays in honour of Chimen Abramsky. London: P. Halban, 1988.
Den vollen Inhalt der Quelle findenCoecke, Bob. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Den vollen Inhalt der Quelle findenPalmigiano, Alessandra, und Mehrnoosh Sadrzadeh, Hrsg. Samson Abramsky on Logic and Structure in Computer Science and Beyond. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8.
Der volle Inhalt der QuelleCoecke, Bob, Luke Ong und Prakash Panangaden, Hrsg. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38164-5.
Der volle Inhalt der QuelleHunnicutt, R. P. Abrams. Novato, Calif: Presidio, 1990.
Den vollen Inhalt der Quelle findenRedeker, Hans. Per Abramsen: Scupltures. Venlo, Nederland: Van Spijk, 1985.
Den vollen Inhalt der Quelle findenKori︠a︡gin, S. V. Abramovy i drugie. Moskva: Rusaki, 2011.
Den vollen Inhalt der Quelle findenAbramsky, Henia. Henyah Abramsḳi: Pisul. [Israel: ḥ. mo. l., 2010.
Den vollen Inhalt der Quelle findenSheen, Barbara. J.J. Abrams. Farmington Hills, Mich: Lucent Books, 2015.
Den vollen Inhalt der Quelle findenBuchteile zum Thema "Abramsky"
Murawski, Andrzej S., und Nikos Tzevelekos. „Towards Nominal Abramsky“. In Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 246–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38164-5_17.
Der volle Inhalt der QuelleAtserias, Albert, und Phokion G. Kolaitis. „Consistency, Acyclicity, and Positive Semirings“. In Samson Abramsky on Logic and Structure in Computer Science and Beyond, 623–68. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_17.
Der volle Inhalt der QuelleCastellan, Simon, Pierre Clairambault und Glynn Winskel. „The Mays and Musts of Concurrent Strategies“. In Samson Abramsky on Logic and Structure in Computer Science and Beyond, 327–61. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_9.
Der volle Inhalt der QuelleGreco, Giuseppe, Michael Moortgat, Valentin D. Richard und Apostolos Tzimoulis. „Lambek–Grishin Calculus: Focusing, Display and Full Polarization“. In Samson Abramsky on Logic and Structure in Computer Science and Beyond, 877–915. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_24.
Der volle Inhalt der QuelleJacobs, Bart. „Multisets and Distributions, in Drawing and Learning“. In Samson Abramsky on Logic and Structure in Computer Science and Beyond, 1095–146. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_29.
Der volle Inhalt der QuelleBojańczyk, Mikołaj, Bartek Klin und Julian Salamanca. „Monadic Monadic Second Order Logic“. In Samson Abramsky on Logic and Structure in Computer Science and Beyond, 701–54. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_19.
Der volle Inhalt der QuelleCockett, Robin, und Chris Heunen. „Compact Inverse Categories“. In Samson Abramsky on Logic and Structure in Computer Science and Beyond, 813–32. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_22.
Der volle Inhalt der QuelleBezhanishvili, Nick, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden und Alexandra Silva. „Minimisation in Logical Form“. In Samson Abramsky on Logic and Structure in Computer Science and Beyond, 89–127. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_3.
Der volle Inhalt der QuelleJagadeesan, Radha. „(Towards a) Statistical Probabilistic Lazy Lambda Calculus“. In Samson Abramsky on Logic and Structure in Computer Science and Beyond, 1073–94. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_28.
Der volle Inhalt der QuelleClairambault, Pierre. „A Tale of Additives and Concurrency in Game Semantics“. In Samson Abramsky on Logic and Structure in Computer Science and Beyond, 363–414. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_10.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Abramsky"
Wyrembelski, Rick J. „Display implementation in the Abrams Main Battle Tank“. In AeroSense '99, herausgegeben von Darrel G. Hopper. SPIE, 1999. http://dx.doi.org/10.1117/12.357619.
Der volle Inhalt der QuelleStokes, C. David, Peter M. Thomas, Nicholas G. Baldasaro, Michael J. Mantini, Rama Venkatasubramanian, Michael D. Barton, Christopher V. Cardine und Grayson W. Walker. „Thermoelectric waste heat recovery from an M1 Abrams tank“. In SPIE Defense, Security, and Sensing. SPIE, 2012. http://dx.doi.org/10.1117/12.920804.
Der volle Inhalt der QuelleOlson, Dale W. „Holographic ray tracing: an elementary quantitative approach to locating holographic images“. In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1986. http://dx.doi.org/10.1364/oam.1986.fo6.
Der volle Inhalt der QuelleAnthony, Joseph W., John J. Moskwa und Eugene Danielson. „Powertrain Simulation of the M1A1 Abrams Using Modular Model Components“. In International Congress & Exposition. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 1998. http://dx.doi.org/10.4271/980926.
Der volle Inhalt der QuelleBowers, Emily L. W., Emma J. Harris und Ruby Mendoza. „UX Methods as Transformative Institutional Change: Stacey Abrams’ Georgia Campaign as a Formative Example“. In 2022 IEEE International Professional Communication Conference (ProComm). IEEE, 2022. http://dx.doi.org/10.1109/procomm53155.2022.00090.
Der volle Inhalt der QuelleKabil, Ahmed, Fares Ouf, Talaat Arfa, Nabil Awad und Hussein Yassin. „C.T assisted Abrams needle pleural biopsy for diagnosis of cases with exudative pleural effusion“. In ERS International Congress 2018 abstracts. European Respiratory Society, 2018. http://dx.doi.org/10.1183/13993003.congress-2018.pa892.
Der volle Inhalt der QuelleMetintaş, Muzaffer, Guntulu Ak, Huseyin Yildirim, Senay Yilmaz, Emine Dundar, Tunahan Yüce und Selma Metintas. „CT-scan guided Abrams needle pleural biopsy or medical thoracoscopy: which method in which patient“. In ERS International Congress 2019 abstracts. European Respiratory Society, 2019. http://dx.doi.org/10.1183/13993003.congress-2019.pa3122.
Der volle Inhalt der QuelleAn, Sunghyuck, und Murray Sargent. „Phase conjugation without spatial holes“. In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1986. http://dx.doi.org/10.1364/oam.1986.fw4.
Der volle Inhalt der QuelleLin, Hai, Gregor A. Waldherr und Timothy Burch. „Optical embedded dust sensor for engine protection and early warning on M1 Abrams/ground combat vehicles“. In SPIE Defense, Security, and Sensing, herausgegeben von Alex A. Kazemi, Nicolas Javahiraly, Allen S. Panahi, Simon Thibault und Bernard C. Kress. SPIE, 2012. http://dx.doi.org/10.1117/12.918307.
Der volle Inhalt der QuelleValencia Rivero, Jessica, Jaime Alejandro Sánchez Gutiérrez, Patricia Castillo González, Uriel Rumbo Nava, Renata Alejandra Báez Saldaña, Ericka Sagrario Peña Mirabal und Teresa de Jesús Aguirre Pérez. „Utilty and security of closed pleural biopsy with Abrams needle assisted with thoracic ultrasound operated by pulmonologists“. In ERS International Congress 2017 abstracts. European Respiratory Society, 2017. http://dx.doi.org/10.1183/1393003.congress-2017.pa3754.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "Abramsky"
Weaver, Frank B. General Creighton Abrams: Ethical Leadership at the Strategic Level. Fort Belvoir, VA: Defense Technical Information Center, März 1999. http://dx.doi.org/10.21236/ada363255.
Der volle Inhalt der QuelleJones, Brian D. The Abrams Doctrine: Total Force Foundation or Enduring Fallacy? Fort Belvoir, VA: Defense Technical Information Center, Mai 2004. http://dx.doi.org/10.21236/ada423689.
Der volle Inhalt der QuelleLeatherman, John E. General Creighton Abrams: Ethical Leadership at the Strategic Level. Fort Belvoir, VA: Defense Technical Information Center, April 1998. http://dx.doi.org/10.21236/ada339280.
Der volle Inhalt der QuelleFagan, Joseph, Eddy Tsui, Terence Ringwood, Mark Mellini und Amir Morcos. Catadioptric Omni-Directional System for M1A2 Abrams (360-Degree Camera System). Fort Belvoir, VA: Defense Technical Information Center, November 2005. http://dx.doi.org/10.21236/ada440545.
Der volle Inhalt der QuelleWoods, Kent T. Rangers Lead the Way: The Vision of General Creighton W. Abrams. Fort Belvoir, VA: Defense Technical Information Center, April 2003. http://dx.doi.org/10.21236/ada415822.
Der volle Inhalt der QuellePaparone, Christopher R. The Tyranny of Means": Integrating the Weinberger-Powell and Abrams Doctrines". Fort Belvoir, VA: Defense Technical Information Center, April 2000. http://dx.doi.org/10.21236/ada377578.
Der volle Inhalt der QuelleSullivan, Timothy I. The Abrams Doctrine: Is It Viable and Enduring in the 21st Century? Fort Belvoir, VA: Defense Technical Information Center, März 2005. http://dx.doi.org/10.21236/ada432674.
Der volle Inhalt der QuelleChait, Richard, John Lyons und Duncan Long. Critical Technology Events in the Development of the Abrams Tank: Project Hindsight Revisited. Fort Belvoir, VA: Defense Technical Information Center, Dezember 2005. http://dx.doi.org/10.21236/ada476303.
Der volle Inhalt der QuelleMitchell, Diane K. Workload Analysis of the Crew of the Abrams V2 SEP: Phase I Baseline IMPRINT Model. Fort Belvoir, VA: Defense Technical Information Center, September 2009. http://dx.doi.org/10.21236/ada508882.
Der volle Inhalt der QuelleBlakiston, Edward Y., Carl J. Punzel und Richard A. Jennings. Development of an Item Unique Identification Strategy for the Legacy Components of the US Marine Corps M1A1 Abrams Tank. Fort Belvoir, VA: Defense Technical Information Center, Dezember 2008. http://dx.doi.org/10.21236/ada493984.
Der volle Inhalt der Quelle