Main public logs

Combined display of all available logs of MaRDI portal. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700906 to FOCA (Italian FlOod and Catchment Atlas) (Move profile page according to new naming schema `Dataset:6700906`->`FOCA (Italian FlOod and Catchment Atlas)` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700902 to Detecting cosmic voids via maps of geometric optics parameters (Move profile page according to new naming schema `Dataset:6700902`->`Detecting cosmic voids via maps of geometric optics parameters` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700900 to Data from: Trends in butterfly populations in UK gardens – new evidence from citizen science monitoring (Move profile page according to new naming schema `Dataset:6700900`->`Data from: Trends in butterfly populations in UK gardens – new evidence from citizen science monitoring` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700894 to Improved Italian - Rainfall Extreme Dataset (I2-RED) (Move profile page according to new naming schema `Dataset:6700894`->`Improved Italian - Rainfall Extreme Dataset (I2-RED)` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700891 to Dataset for the Article "Does the Venue of Scientific Conferences Leverage their Impact? A Large Scale study on Computer Science Conferences" (Move profile page according to new naming schema `Dataset:6700891`->`Dataset for the Article "Does the Venue of Scientific Conferences Leverage their Impact? A Large Scale study on Computer Science Conferences"` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700888 to Wind turbine blade structural health monitoring dataset (Move profile page according to new naming schema `Dataset:6700888`->`Wind turbine blade structural health monitoring dataset` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700884 to Multivariate prediction on wake-affected wind turbines using graph neural networks (Eurodyn) database (Move profile page according to new naming schema `Dataset:6700884`->`Multivariate prediction on wake-affected wind turbines using graph neural networks (Eurodyn) database` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700878 to Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT (Move profile page according to new naming schema `Dataset:6700878`->`Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700876 to Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification (Move profile page according to new naming schema `Dataset:6700876`->`Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700874 to Two-story frame with Bouc-Wen hysteretic links as a multi-degree of freedom nonlinear response simulator (Move profile page according to new naming schema `Dataset:6700874`->`Two-story frame with Bouc-Wen hysteretic links as a multi-degree of freedom nonlinear response simulator` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700869 to Artifacts for the FDL21 Paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes (Move profile page according to new naming schema `Dataset:6700869`->`Artifacts for the FDL21 Paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700866 to A sizable fraction of workers provides hasty, wrong answers in crowd-sourced tasks (Move profile page according to new naming schema `Dataset:6700866`->`A sizable fraction of workers provides hasty, wrong answers in crowd-sourced tasks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700864 to CaDiCaL 2.2 System Description Artifact (Move profile page according to new naming schema `Dataset:6700864`->`CaDiCaL 2.2 System Description Artifact` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700862 to HWMCC'24 Benchmarks and Results (Move profile page according to new naming schema `Dataset:6700862`->`HWMCC'24 Benchmarks and Results` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700860 to DEM and associated kinematic GPS coordinates of September 2002 survey of the salar de Uyuni, Bolivia (Move profile page according to new naming schema `Dataset:6700860`->`DEM and associated kinematic GPS coordinates of September 2002 survey of the salar de Uyuni, Bolivia` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700854 to Clausal Congruence Closure Paper Logs, Plots and Tables (Move profile page according to new naming schema `Dataset:6700854`->`Clausal Congruence Closure Paper Logs, Plots and Tables` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700853 to Clausal Congruence Closure Paper Source Code (Move profile page according to new naming schema `Dataset:6700853`->`Clausal Congruence Closure Paper Source Code` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700852 to Distributed SAT Competition 2002 Industrial Track Benchmarks (Move profile page according to new naming schema `Dataset:6700852`->`Distributed SAT Competition 2002 Industrial Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700851 to Distributed SAT Competition 2003 Industrial Track Benchmarks (Move profile page according to new naming schema `Dataset:6700851`->`Distributed SAT Competition 2003 Industrial Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700850 to Distributed SAT Competition 2004 Industrial Track Benchmarks (Move profile page according to new naming schema `Dataset:6700850`->`Distributed SAT Competition 2004 Industrial Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700849 to Distributed SAT Competition 2005 Industrial Track Benchmarks (Move profile page according to new naming schema `Dataset:6700849`->`Distributed SAT Competition 2005 Industrial Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700848 to SAT Race 2006 Benchmarks (Move profile page according to new naming schema `Dataset:6700848`->`SAT Race 2006 Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700847 to SAT Competition 2007 Industrial Track Benchmarks (Move profile page according to new naming schema `Dataset:6700847`->`SAT Competition 2007 Industrial Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700846 to SAT Race 2008 Benchmarks (Move profile page according to new naming schema `Dataset:6700846`->`SAT Race 2008 Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700845 to SAT Competition 2009 Application Track Benchmarks (Move profile page according to new naming schema `Dataset:6700845`->`SAT Competition 2009 Application Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700844 to SAT Race 2010 Benchmarks (Move profile page according to new naming schema `Dataset:6700844`->`SAT Race 2010 Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700843 to SAT Competition 2011 Application Track Benchmarks (Move profile page according to new naming schema `Dataset:6700843`->`SAT Competition 2011 Application Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700842 to SAT Challenge 2012 Application Track Benchmarks (Move profile page according to new naming schema `Dataset:6700842`->`SAT Challenge 2012 Application Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700841 to SAT Competition 2013 Application Track Benchmarks (Move profile page according to new naming schema `Dataset:6700841`->`SAT Competition 2013 Application Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700840 to SAT Competition 2014 Application Track Benchmarks (Move profile page according to new naming schema `Dataset:6700840`->`SAT Competition 2014 Application Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700839 to SAT Race 2015 Benchmarks (Move profile page according to new naming schema `Dataset:6700839`->`SAT Race 2015 Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700838 to SAT Competition 2017 Main Track Benchmarks (Move profile page according to new naming schema `Dataset:6700838`->`SAT Competition 2017 Main Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700837 to SAT Competition 2016 Application Track Benchmarks (Move profile page according to new naming schema `Dataset:6700837`->`SAT Competition 2016 Application Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700836 to SAT Competition 2018 Main Track Benchmarks (Move profile page according to new naming schema `Dataset:6700836`->`SAT Competition 2018 Main Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700835 to SAT Race 2019 Benchmarks (Move profile page according to new naming schema `Dataset:6700835`->`SAT Race 2019 Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700834 to SAT Competition 2022 Main Track Benchmarks (Move profile page according to new naming schema `Dataset:6700834`->`SAT Competition 2022 Main Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700833 to SAT Competition 2020 Main Track Benchmarks (Move profile page according to new naming schema `Dataset:6700833`->`SAT Competition 2020 Main Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700832 to SAT Competition 2021 Main Track Benchmarks (Move profile page according to new naming schema `Dataset:6700832`->`SAT Competition 2021 Main Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700831 to SAT Competition 2023 Main Track Benchmarks (Move profile page according to new naming schema `Dataset:6700831`->`SAT Competition 2023 Main Track Benchmarks` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700830 to Clausal Equivalence Sweeping Paper Logs (Move profile page according to new naming schema `Dataset:6700830`->`Clausal Equivalence Sweeping Paper Logs` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700828 to CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models (Move profile page according to new naming schema `Dataset:6700828`->`CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700826 to CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2012 Models (Move profile page according to new naming schema `Dataset:6700826`->`CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2012 Models` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700825 to CNF Encoded Hard Miters from IWLS'22 Paper (Move profile page according to new naming schema `Dataset:6700825`->`CNF Encoded Hard Miters from IWLS'22 Paper` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700824 to The surface energy imbalance at cabauw and its impact on model evaluation (Move profile page according to new naming schema `Dataset:6700824`->`The surface energy imbalance at cabauw and its impact on model evaluation` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700819 to The SAT Museum POS'23 Artifact (Move profile page according to new naming schema `Dataset:6700819`->`The SAT Museum POS'23 Artifact` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700816 to Dataset for Multiphase turbulent flow explains lightning rings in volcanic plumes (Move profile page according to new naming schema `Dataset:6700816`->`Dataset for Multiphase turbulent flow explains lightning rings in volcanic plumes` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700811 to Dataset of scientific article "Variability in Arsenic Methylation Efficiency across Aerobic and Anaerobic Microorganisms" (Move profile page according to new naming schema `Dataset:6700811`->`Dataset of scientific article "Variability in Arsenic Methylation Efficiency across Aerobic and Anaerobic Microorganisms"` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700802 to Dataset for large-scale self-organisation in dry turbulent atmospheres (Move profile page according to new naming schema `Dataset:6700802`->`Dataset for large-scale self-organisation in dry turbulent atmospheres` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700797 to Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022 (Move profile page according to new naming schema `Dataset:6700797`->`Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022` import260129120122)
02:13, 29 January 2026 Import260129120122 talk contribs moved page Dataset:6700794 to Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving (Move profile page according to new naming schema `Dataset:6700794`->`Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving` import260129120122)