Showing 1–20 of 79 results
/ Date/ Name
May 7, 2013Solar Flare X-ray Source Motion as a Response to Electron Spectral HardeningMar 18, 2015Ellerman Bombs with Jets: Cause and EffectOct 28, 2016Observing the formation of flare-driven coronal rainFeb 10, 2012Unconventional Josephson Effect in Hybrid Superconductor-Topological Insulator DevicesSep 5, 2013Universal Conductance Fluctuations in Electrolyte-Gated SrTiO3 NanostructuresJun 3, 2016Long-Term Tracking of Corotating Density Structures using Heliospheric ImagingAug 7, 2020An Experiment Combining Specialization with Abstract InterpretationJun 26, 2020CMEs in the Heliosphere: III. A Statistical Analysis of the Kinematic Properties Derived from Stereoscopic Geometrical Modelling Techniques Applied to CMEs Detected in the Heliosphere from 2008 to 2014 by STEREO/HI-1Jul 14, 2016Proceedings 3rd Workshop on Horn Clauses for Verification and SynthesisAug 22, 2016A Comparison of Flare Forecasting Methods, I: Results from the "All-Clear" WorkshopMay 15, 2014Analysis and Transformation Tools for Constrained Horn Clause VerificationMar 2, 2017Modeling observations of solar coronal mass ejections with heliospheric imagers verified with the Heliophysics System ObservatoryAug 24, 2017Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)Mar 23, 2018Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program TransformationApr 6, 2018CMEs in the Heliosphere: I. A Statistical Analysis of the Observational Properties of CMEs Detected in the Heliosphere from 2007 to 2017 by STEREO/HI-1Jul 30, 2013Improved methods for determining the kinematics of coronal mass ejections and coronal wavesJul 16, 2014LOFAR tied-array imaging of Type III solar radio burstsMay 1, 2008Multiresolution analysis of active region magnetic structure and its correlation with the Mt. Wilson classification and flaring activityJul 31, 2019Towards a General Framework for Static Cost Analysis of Parallel Logic ProgramsAug 2, 2021Analysis and Transformation of Constrained Horn Clauses for Program Verification