Science Tech Brief By HackerNoon

Science Tech Brief By HackerNoon

By HackerNoonNewsScienceTech News
Download on the App Store

Science Tech Brief By HackerNoon episodes

  • Magnetized Bondi Accretion: Here's What it Is and How We Used It

    This story was originally published on HackerNoon at: https://hackernoon.com/magnetized-bondi-accretion-heres-what-it-is-and-how-we-used-it.


    Accretion flows in galactic nuclei involve magnetized plasma, and it has been long known that magnetic fields strongly perturb the energetics (Shvartsman 1971
    Check more stories related to science at: https://hackernoon.com/c/science.
    You can also check exclusive content about #science, #black-hole, #magnetized-bondi-accretion, #black-hole-physics, #bondi-accretion, #galactic-nucleus, #researching-black-holes, #outer-space, and more.


    This story was written by: @magnetosphere. Learn more about this writer by checking @magnetosphere's about page,
    and for more stories, please visit hackernoon.com.


    Accretion flows in galactic nuclei involve magnetized plasma, and it has been long known that magnetic fields strongly perturb the energetics (Shvartsman 1971; Meszaros 1975) and dynamics (Igumenshchev & Narayan 2002; Pen et al. 2003; Lalakos et al. 2022) of Bondi accretion.

    4 min
  • The Numerical Methods We Used to Study Black Holes

    This story was originally published on HackerNoon at: https://hackernoon.com/the-numerical-methods-we-used-to-study-black-holes.


    Our numerical scheme utilizes the GRMHD code KHARMA[1], a performance-portable C++ implementation based on iharm3D; iharm3D is itself an extension of HARM.
    Check more stories related to science at: https://hackernoon.com/c/science.
    You can also check exclusive content about #science, #black-hole, #black-hole-physics, #magnetized-bonds, #outer-space, #galactic-nucleus, #researching-outer-space, #black-hole-calculations, and more.


    This story was written by: @magnetosphere. Learn more about this writer by checking @magnetosphere's about page,
    and for more stories, please visit hackernoon.com.


    Our numerical scheme utilizes the GRMHD code KHARMA[1], a performance-portable C++ implementation based on iharm3D (Prather et al. 2021); iharm3D is itself an extension of HARM, an efficient secondorder conservative finite-volume scheme for solving MHD equations on Eulerian meshes in stationary curved space-times (Gammie et al. 2003). KHARMA offers a more flexible, portable, and scalable implementation suitable for multiple uses, by leveraging the Parthenon Adaptive Mesh Refinement Framework and the Kokkos programming model (Grete et al. 2023; Trott et al. 2022).

    5 min
  • Bridging Scales in Black Hole Accretion and Feedback: Studying Supermassive Black Holes

    This story was originally published on HackerNoon at: https://hackernoon.com/bridging-scales-in-black-hole-accretion-and-feedback-studying-supermassive-black-holes.


    The details of how gas flows into the galactic nucleus from large cosmic distances and how the SMBH in turn imparts feedback into the galaxy remain unresolved.
    Check more stories related to science at: https://hackernoon.com/c/science.
    You can also check exclusive content about #science, #black-holes, #magnetized-bonds, #galactic-nucleus, #outer-space, #researching-outer-space, #supermassive-black-holes, #gas-flows, and more.


    This story was written by: @magnetosphere. Learn more about this writer by checking @magnetosphere's about page,
    and for more stories, please visit hackernoon.com.


    Most nearby galaxies are found to harbor central supermassive black holes (SMBHs) whose masses are correlated with properties of the stellar components of their hosts (e.g., Magorrian et al. 1998; Ferrarese & Merritt 2000; Gebhardt et al. 2000; Kormendy & Ho 2013). However, the details of how gas flows into the galactic nucleus from large cosmic distances and how the SMBH in turn imparts feedback into the galaxy remain coupled unresolved problems.

    7 min
  • Transforming Healthcare: Mandhir's Quest for Affordable Medical Access with AI

    This story was originally published on HackerNoon at: https://hackernoon.com/transforming-healthcare-mandhirs-quest-for-affordable-medical-access-with-ai.


    In this interview we discuss how Mandhir revolutionizes healthcare with AI-driven systems, tackling accessibility and data transparency challenges.
    Check more stories related to science at: https://hackernoon.com/c/science.
    You can also check exclusive content about #healthcare, #healthcare-tech, #ai-in-healthcare, #future-of-ai, #healthcare-accessibility, #healthtech, #health-data, #good-company, and more.


    This story was written by: @jonstojanmedia. Learn more about this writer by checking @jonstojanmedia's about page,
    and for more stories, please visit hackernoon.com.

    7 min
  • How CGAAL Model-Checks: A Deeper Insight

    This story was originally published on HackerNoon at: https://hackernoon.com/how-cgaal-model-checks-a-deeper-insight.


    In order to check if a CGS satisfies an ATL property, CGAAL encodes the problem as an extended dependency graph and finds a fixed-point assignment
    Check more stories related to science at: https://hackernoon.com/c/science.
    You can also check exclusive content about #heuristics, #cgaal, #what-is-cgaal, #how-does-cgaal-work, #model-checking, #dependency-graphs, #what-is-atl, #cgs-in-computer-science, and more.


    This story was written by: @heuristicsearch. Learn more about this writer by checking @heuristicsearch's about page,
    and for more stories, please visit hackernoon.com.


    In order to check if a CGS satisfies an ATL property, CGAAL encodes the problem as an extended dependency graph and finds a fixed-point assignment describing the satisfaction relation.

    8 min
  • A Tool Overview of CGAAL: A Distributed On-The-Fly ATL Model Checker

    This story was originally published on HackerNoon at: https://hackernoon.com/a-tool-overview-of-cgaal-a-distributed-on-the-fly-atl-model-checker.


    The syntax of the language is inspired by PRISM-lang used by the PRISM model checker to model stochastic multi-player games with rewards.
    Check more stories related to science at: https://hackernoon.com/c/science.
    You can also check exclusive content about #heuristics, #cgaal, #what-is-cgaal, #atl-model-checker, #what-is-atl, #cgaal-tool-overview, #atl-formula, #computer-science, and more.


    This story was written by: @heuristicsearch. Learn more about this writer by checking @heuristicsearch's about page,
    and for more stories, please visit hackernoon.com.


    This paper is available on arxiv under CC 4.0 license. The syntax of the language is inspired by PRISM-lang used by the PRISM model checker to model stochastic multi-player games with rewards. The primary feature of CGAAL is the verification of ATL properties for CGSs.

    6 min
  • CGAAL: A Distributed On-The-Fly ATL Model Checker: The Definitions You Should Know About

    This story was originally published on HackerNoon at: https://hackernoon.com/cgaal-a-distributed-on-the-fly-atl-model-checker-the-definitions-you-should-know-about.


    We recall the definitions of concurrent games and alternating-time temporal logic. A computation starting in the state *q* is called a *q-computation.
    Check more stories related to science at: https://hackernoon.com/c/science.
    You can also check exclusive content about #heuristics, #cgaal, #atl-model-checker, #concurrent-games, #game-strategies, #prism-games, #what-is-atl, #alt-model-checker, and more.


    This story was written by: @heuristicsearch. Learn more about this writer by checking @heuristicsearch's about page,
    and for more stories, please visit hackernoon.com.


    This paper is available on arxiv under CC 4.0 license. We recall the definitions of concurrent games and alternating-time temporal logic. A computation starting in the state *q* is called a *q-computation. We will refer to them as "enforce" and "despite", respectively.

    3 min
  • Biometrics: A Beacon of Trust in the Digital Media Landscape

    This story was originally published on HackerNoon at: https://hackernoon.com/biometrics-a-beacon-of-trust-in-the-digital-media-landscape.


    This new article delves into the challenges plaguing the digital media landscape and proposes the adoption of biometrics as a potential solution.
    Check more stories related to science at: https://hackernoon.com/c/science.
    You can also check exclusive content about #biometrics, #media, #biometric-technology, #decentralized-identity, #blockchain, #sybil-resistance, #digital-media, #media-industry, and more.


    This story was written by: @sshshln. Learn more about this writer by checking @sshshln's about page,
    and for more stories, please visit hackernoon.com.


    Biometrics, with its capabilities in identity verification, content authentication, mitigation of bots and Sybil attacks, and creation of personalized user experiences, offers unique advantages to restore trust, combat misinformation, and establish a secure online media ecosystem. This article outlines the potential benefits and considerations associated with integrating biometric solutions within the digital media realm.

    20 min
  • Sparse Bayesian Learning: Abstract & Introduction

    This story was originally published on HackerNoon at: https://hackernoon.com/sparse-bayesian-learning-abstract-and-introduction.


    This article proposes a novel fault diagnosis method: clustering spatially correlated sparse Bayesian learning.
    Check more stories related to science at: https://hackernoon.com/c/science.
    You can also check exclusive content about #sparse-bayesian-learning, #correlated-faults, #multistation-assembly-systems, #spatially-correlated-faults, #nonstationary-faults, #variational-bayes-inference, #multistage-assembly-systems, #fault-diagnosis, and more.


    This story was written by: @escholar. Learn more about this writer by checking @escholar's about page,
    and for more stories, please visit hackernoon.com.


    This article proposes a novel fault diagnosis method: clustering spatially correlated sparse Bayesian learning.

    10 min
  • Sparse Bayesian Learning: Numerical Case Studies

    This story was originally published on HackerNoon at: https://hackernoon.com/sparse-bayesian-learning-numerical-case-studies.


    This article proposes a novel fault diagnosis method: clustering spatially correlated sparse Bayesian learning.
    Check more stories related to science at: https://hackernoon.com/c/science.
    You can also check exclusive content about #sparse-bayesian-learning, #correlated-faults, #multistation-assembly-systems, #spatially-correlated-faults, #nonstationary-faults, #variational-bayes-inference, #multistage-assembly-systems, #fault-diagnosis, and more.


    This story was written by: @escholar. Learn more about this writer by checking @escholar's about page,
    and for more stories, please visit hackernoon.com.


    This article proposes a novel fault diagnosis method: clustering spatially correlated sparse Bayesian learning.

    6 min

About Science Tech Brief By HackerNoon

From the publisher's feed

Learn the latest science updates in the tech world.