Skip to main content

12 Result(s)

within Mark Tuttle Remove this filter

and

  1. Article

    Open Access

    A baseline structure inventory with critical attribution for the US and its territories

    Leveraging high performance computing, remote sensing, geographic data science, machine learning, and computer vision, Oak Ridge National Laboratory has partnered with Federal Emergency Management Agency (FEMA...

    Hsiuhan Lexie Yang, Melanie Laverdiere, Taylor Hauser, Benjamin Swan… in Scientific Data (2024)

    Download PDF (3286 KB) View Article

  2. Article

    Clinical management of conduction abnormalities following transcatheter aortic valve replacement: prospective evaluation of a standardized management pathway

    Limited evidence guides management of conduction abnormalities following TAVR. Standardized clinical pathways may reduce variability in care while minimizing bradyarrhythmic morbidity, length of stay (LOS), an...

    Alice Haouzi, Mark Tuttle, Allon Eyal… in Journal of Interventional Cardiac Electrop… (2022)

    Download PDF (917 KB) View Article

  3. No Access

    Chapter and Conference Paper

    Modified Hyper-Viscoelastic Constitutive Model for Elastomeric Materials

    Elastomers constitute an essential group of materials that are widely used in the automotive, aerospace industry, biomedical, microfluidic and signal processing applications. Elastomeric materials undergo larg...

    Karen Harban, Mark Tuttle in Challenges in Mechanics of Time-Dependent Materials, Volume 2 (2019)

  4. No Access

    Reference Work Entry In depth

    Emergency Evacuation Plan Maintenance

    Cheng Liu, Mark Tuttle in Encyclopedia of GIS (2017)

  5. No Access

    Living Reference Work Entry In depth

    Emergency Evacuation Plan Maintenance

    Cheng Liu, Mark Tuttle in Encyclopedia of GIS

  6. No Access

    Chapter

    A Behavioral Model of Ethical and Unethical Decision Making

    A model is developed which identifies and describes various factors which affect ethical and unethical behavior in organizations, including a decision-maker’s social, government and legal, work, professional a...

    Michael Bommer, Clarence Gratto… in Citation Classics from the Journal of Busi… (2013)

  7. No Access

    Reference Work Entry In depth

    Emergency Evacuation Plan Maintenance

    Cheng Liu, Mark Tuttle in Encyclopedia of GIS (2008)

  8. No Access

    Article

    Checking Cache-Coherence Protocols with TLA+

    We have a great deal of experience using the specification language TLA+ and its model checker TLC to analyze protocols designed at Digital and Compaq (both now part of HP). The tools and techniques we have devel...

    Rajeev Joshi, Leslie Lamport, John Matthews… in Formal Methods in System Design (2003)

  9. No Access

    Chapter and Conference Paper

    A New Synchronous Lower Bound for Set Agreement

    We have a new proof of the lower bound that k-set agreement requires ⌊f/k⌋ + 1 rounds in a synchronous, message-passing model with f crash failures. The proof involves constructing the set of reachable states, pr...

    Maurice Herlihy, Sergio Rajsbaum, Mark Tuttle in Distributed Computing (2001)

  10. Chapter and Conference Paper

    Cache coherence verification with TLA%

    We used the specification language TLA+ to analyze the correctness of two cache-coherence protocols for shared-memory multiprocessors based on two generations (EV6 and EV7) of the Alpha processor. A memory mod...

    Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport… in FM’99 — Formal Methods (1999)

    Download PDF (61 KB)

  11. No Access

    Article

    Incoming President’s Message Mark Tuttle 1995–1996

    Mark Tuttle in Experimental Techniques (1995)

  12. No Access

    Article

    A behavioral model of ethical and unethical decision making

    A model is developed which identifies and describes various factors which affect ethical and unethical behavior in organizations, including a decision-maker's social, government and legal, work, professional a...

    Michael Bommer, Clarence Gratto, Jerry Gravander, Mark Tuttle in Journal of Business Ethics (1987)