Search

Your search keyword '"Allred, Joel"' showing total 115 results
Start Over Author "Allred, Joel"
115 results on '"Allred, Joel"'

108. Multi-Wavelength Observations of EV Lacertae

Author

A. Osten, Rachel, primary, L. Hawley, Suzanne, additional, Allred, Joel, additional, Johns-Krull, Christopher M., additional, Roark, Christine, additional, Ambruster, Carol, additional, Brown, Alexander, additional, R. Ayres, Thomas, additional, and L. Linsky, Jeffrey, additional

Published
2004
Full Text
View/download PDF

109. Multiwavelength Observations of Flares on AD Leonis

Author

Hawley, Suzanne L., primary, Allred, Joel C., additional, Johns‐Krull, Christopher M., additional, Fisher, George H., additional, Abbett, William P., additional, Alekseev, Ilya, additional, Avgoloupis, Stavros I., additional, Deustua, Susana E., additional, Gunn, Alastair, additional, Seiradakis, John H., additional, Sirk, Martin M., additional, and Valenti, Jeff A., additional

Published
2003
Full Text
View/download PDF

112. Complementing Büchi automata with a subset-tuple construction

Author

Allred, Joel, Ultes-Nitsche, Ulrich, Allred, Joel, and Ultes-Nitsche, Ulrich

Abstract

Complementation of Büchi automata is well known for being difficult. In the worst case, a state-space growth of (0:76n)n is unavoidable. Recent studies suggest that “simpler” algorithms perform better than more involved ones on practical cases. In this paper, we present a simple “direct” algorithm for complementing Büchi automata. It involves a structured subset construction (using tuples of subsets of states) that produces a deterministic automaton. This construction leads to a complementation procedure that resembles the straightforward complementation algorithm for deterministic Büchi automata, the latter algorithm actually being a special case of our construction.

113. Complementing Büchi automata with a subset-tuple construction

Author

Allred, Joel, Ultes-Nitsche, Ulrich, Allred, Joel, and Ultes-Nitsche, Ulrich

Abstract

Complementation of Büchi automata is well known for being difficult. In the worst case, a state-space growth of (0:76n)n is unavoidable. Recent studies suggest that “simpler” algorithms perform better than more involved ones on practical cases. In this paper, we present a simple “direct” algorithm for complementing Büchi automata. It involves a structured subset construction (using tuples of subsets of states) that produces a deterministic automaton. This construction leads to a complementation procedure that resembles the straightforward complementation algorithm for deterministic Büchi automata, the latter algorithm actually being a special case of our construction.

114. Probing the Physics of the Solar Atmosphere with the Multi-slit Solar Explorer (MUSE). II. Flares and Eruptions

Author

Cheung, Mark C. M., Martínez-Sykora, Juan, Testa, Paola, De Pontieu, Bart, Chintzoglou, Georgios, Rempel, Matthias, Polito, Vanessa, Kerr, Graham S., Reeves, Katharine K., Fletcher, Lyndsay, Jin, Meng, Nóbrega-Siverio, Daniel, Danilovic, Sanja, Antolin, Patrick, Allred, Joel, Hansteen, Viggo, Ugarte-Urra, Ignacio, DeLuca, Edward, Longcope, Dana, Takasao, Shinsuke, DeRosa, Marc L., Boerner, Paul, Jaeggli, Sarah, Nitta, Nariaki V., Daw, Adrian, Carlsson, Mats, Golub, Leon, and The

Subjects
Astrophysics - Solar and Stellar Astrophysics, Space and Planetary Science, F300, Physics::Space Physics, Astrophysics::Instrumentation and Methods for Astrophysics, Astrophysics::Solar and Stellar Astrophysics, FOS: Physical sciences, Astronomy and Astrophysics, Astrophysics::Earth and Planetary Astrophysics, F500, Astrophysics - Instrumentation and Methods for Astrophysics, Instrumentation and Methods for Astrophysics (astro-ph.IM), Solar and Stellar Astrophysics (astro-ph.SR)
Abstract

Current state-of-the-art spectrographs cannot resolve the fundamental spatial (sub-arcseconds) and temporal scales (less than a few tens of seconds) of the coronal dynamics of solar flares and eruptive phenomena. The highest resolution coronal data to date are based on imaging, which is blind to many of the processes that drive coronal energetics and dynamics. As shown by IRIS for the low solar atmosphere, we need high-resolution spectroscopic measurements with simultaneous imaging to understand the dominant processes. In this paper: (1) we introduce the Multi-slit Solar Explorer (MUSE), a spaceborne observatory to fill this observational gap by providing high-cadence (, 42 pages, 22 figures, submitted to ApJ

Full Text
View/download PDF

115. INBOX.

Author

Allred, Joel, Powell, Donald, and Wilson, Brian

Subjects
AIRLINE industry, FLIGHT
Published
2018

Catalog

Books, media, physical & digital resources
See catalog results