home.social

#dynamicsystems — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #dynamicsystems, aggregated by home.social.

fetched live
  1. Watching A #NOAA #Webinar on Flash Droughts
    --
    noaaresearch.webex.com/wbxmjs/ <-- shared NOAA Summer Science Series individual webinar
    --
    drought.gov/what-is-drought/fl <-- shared NOAA overview technical article
    --
    star.nesdis.noaa.gov/star/NOAA <-- subscribe to the NOAA Summer Science Series
    --
    doi.org/10.1038/s41612-024-006 <-- shared paper
    --
    communities.springernature.com <-- shared technical article (derived from paper above)
    H/T @Jeffrey Basara PhD, MBA | Chair and Professor - Department of Environmental, Earth, and Atmospheric Sciences, University of Massachusetts Lowell | Co-Founder - American Prime Sustainable Solutions
    [Flash floods? not TOO hard to conceptualise.
    Flash drought? harder to 'get my head around', but H/T / presenter does an excellent job!]
    "Not all droughts are the same. In some cases, drought rapidly intensifies at subseasonal to seasonal scales with significant impacts to agriculture and water resources along with the increased propensity for heatwaves and wildfires. Like all droughts, flash drought begins with a precipitation deficit. However, both evaporative demand and soil moisture are critical flash drought variables, and identifying and monitoring the desiccation of the terrestrial surface is key for determining flash drought development and associated impacts. While recent advances in knowledge and monitoring of flash drought have occurred, fundamental questions remain in the state of the science. What are the overall mechanistic relationships between atmospheric demand, evaporative stress, terrestrial desiccation, and precipitation that drive the progression of flash drought? Do regional characteristics of the environment impact the evolution of flash drought? What are the scales of predictability for flash drought? Finally, how will flash drought frequency and intensity evolve in a changing climate system"
    --
    "Flash drought intensifies rapidly due to changes in precipitation, temperature, wind, and radiation. These changes in the weather increase evapotranspiration and lower soil moisture. Flash droughts can cause extensive damage to agriculture, economies, and ecosystems if they are not predicted and discovered early..."
    #water #hydrology #fedscience #publicgood #hydrologicdrought #waterdeficit #spatialanalysis #spatiotemporal #watersecurity #risk #hazard #humanimpacts #streamflow #riverflow #groundwater #surfacewater #climate #weather #climatechange #extremeweather #atmosphere #metrology #regional #global #farming #agriculture #fluvial #pluvial #rainfall #precipitation #cloudcover #energy #heat #temperature #ET #evapotranspiration #farming #agriculture #foodsecurity #waterresources #dynamicsystems #watermanagement #flashdrought #drought #susceptibility #monitoring #prediction #model #modeling
    @noaa

  2. Differential Logic • The Logic of Change and Difference
    inquiryintoinquiry.com/2026/03

    “Differential logic is the logic of variation — the logic of change and difference.”

    Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition as broad as that naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models.

    To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a “differential logical calculus” — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

    A simple case of a differential logical calculus is furnished by a “differential propositional calculus”, a formalism which augments ordinary propositional calculus in the same way the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes.

    See —

    Logic Syllabus
    inquiryintoinquiry.com/logic-s

    Survey of Differential Logic
    inquiryintoinquiry.com/2025/05

    Differential Logic
    oeis.org/wiki/Differential_Log

    Differential Propositional Calculus
    oeis.org/wiki/Differential_Pro

    Differential Logic and Dynamic Systems
    oeis.org/wiki/Differential_Log

    cc: academia.edu/community/VXoNQ9
    cc: researchgate.net/post/Differen

    #Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
    #Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
    #EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences

  3. Differential Logic • 2.2
    inquiryintoinquiry.com/2026/02

    Cactus Language for Propositional Logic (cont.)

    The second kind of connective is a concatenated sequence of propositional expressions, written e₁ e₂ … eₖ₋₁ eₖ to mean all the propositions e₁, e₂, …, eₖ₋₁, eₖ are true, in short, their “logical conjunction” is true. An expression of that form is associated with a cactus structure called a “node” and is “painted” with the colors e₁, e₂, …, eₖ₋₁, eₖ as shown below.

    Node Connective
    inquiryintoinquiry.files.wordp

    All other propositional connectives can be obtained through combinations of the above two forms. As it happens, the parenthesized form is sufficient to define the concatenated form, making the latter formally dispensable, but it's convenient to maintain it as a concise way of expressing more complicated combinations of parenthesized forms. While working with expressions solely in propositional calculus, it's easiest to use plain parentheses for logical connectives. In contexts where ordinary parentheses are needed for other purposes an alternate typeface (…) may be used for the logical operators.

    Resources —

    Logic Syllabus
    inquiryintoinquiry.com/logic-s

    Minimal Negation Operator
    oeis.org/wiki/Minimal_negation

    Survey of Differential Logic
    inquiryintoinquiry.com/2025/05

    Survey of Animated Logical Graphs
    inquiryintoinquiry.com/2025/05

    #Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
    #Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
    #EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences

  4. Differential Logic • 2.1
    inquiryintoinquiry.com/2026/02

    Cactus Language for Propositional Logic —

    The development of differential logic is facilitated by having a moderately efficient calculus in place at the level of boolean-valued functions and elementary logical propositions. One very efficient calculus on both conceptual and computational grounds is based on just two types of logical connectives, both of variable k-ary scope. The syntactic formulas of that calculus map into a family of graph-theoretic structures called “painted and rooted cacti” which lend visual representation to the functional structures of propositions and smooth the path to efficient computation.

    The first kind of connective is a parenthesized sequence of propositional expressions, written (e₁, e₂, …, eₖ₋₁, eₖ) to mean exactly one of the propositions e₁, e₂, …, eₖ₋₁, eₖ is false, in short, their “minimal negation” is true. An expression of that form is associated with a cactus structure called a “lobe” and is “painted” with the colors e₁, e₂, …, eₖ₋₁, eₖ as shown below.

    Lobe Connective
    inquiryintoinquiry.files.wordp

    Resources —

    Logic Syllabus
    inquiryintoinquiry.com/logic-s

    Minimal Negation Operator
    oeis.org/wiki/Minimal_negation

    Survey of Differential Logic
    inquiryintoinquiry.com/2025/05

    Survey of Animated Logical Graphs
    inquiryintoinquiry.com/2025/05

    #Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
    #Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
    #EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences

  5. Differential Logic • 1
    inquiryintoinquiry.com/2026/02

    Introduction —

    Differential logic is the component of logic whose object is the description of variation — focusing on the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition that broad naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models.

    To the extent a logical inquiry makes use of a formal system, its differential component governs the use of a “differential logical calculus”, that is, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

    Simple examples of differential logical calculi are furnished by “differential propositional calculi”. A differential propositional calculus is a propositional calculus extended by a set of terms for describing aspects of change and difference, for example, processes taking place in a universe of discourse or transformations mapping a source universe to a target universe. Such a calculus augments ordinary propositional calculus in the same way the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes.

    Resources —

    Logic Syllabus
    inquiryintoinquiry.com/logic-s

    Survey of Differential Logic
    inquiryintoinquiry.com/2025/05

    #Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
    #Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
    #EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences

  6. Differential Logic • Overview
    inquiryintoinquiry.com/2026/02

    A reader once told me “venn diagrams are obsolete” and of course we all know how unwieldy they become as our universes of discourse expand beyond four or five dimensions. Indeed, one of the first lessons I learned when I set about implementing Peirce’s graphs and Spencer Brown’s forms on the computer is that 2‑dimensional representations of logic quickly become death traps on numerous conceptual and computational counts.

    Still, venn diagrams do us good service at the outset in visualizing the relationships among extensional, functional, and intensional aspects of logic. A facility with those connections is critical to the computational applications and statistical generalizations of propositional logic commonly used in mathematical and empirical practice.

    All things considered, then, it is useful to make the links between various styles of imagery in logical representation as visible as possible. The first few steps in that direction are set out in the sketch of Differential Logic to follow.

    Resources —

    Logic Syllabus
    inquiryintoinquiry.com/logic-s

    Survey of Differential Logic
    inquiryintoinquiry.com/2025/05

    Survey of Animated Logical Graphs
    inquiryintoinquiry.com/2025/05

    #Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
    #Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
    #EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences

  7. Watch the fascinating behaviour of a mass-spring-damper system as it transitions from overdamped (where motion is slow and heavily resisted) to undamped (where it oscillates freely without energy loss). This animation beautifully demonstrates how varying levels of damping impact motion and energy dissipation in mechanical systems.

    #Physics #Engineering #MassSpringDamper #Damping #MechanicalSystems #Oscillations #Overdamped #Undamped #CriticalDamping #DynamicSystems #EnergyDissipation #MechanicalEngineering #STEM

  8. Survey of Differential Logic • 7
    inquiryintoinquiry.com/2024/02

    This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment.

    Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition as broad as that naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models. To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a differential logical calculus — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

    Please follow the above link for the full set of resources.
    Articles and blog series on the core ideas are linked below.

    Differential Logic • The Logic of Change and Difference
    inquiryintoinquiry.com/2023/08

    Differential Propositional Calculus
    inquiryintoinquiry.com/2023/11
    oeis.org/wiki/Differential_Pro

    Differential Logic
    inquiryintoinquiry.com/2020/03
    oeis.org/wiki/Differential_Log

    Differential Logic and Dynamic Systems
    inquiryintoinquiry.com/2023/03
    oeis.org/wiki/Differential_Log

    #Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
    #BooleanFunctions #BooleanDifferenceCalculus #QualitativePhysics
    #CactusCalculus #MinimalNegationOperators #NeuralNetworkSystems
    #CalculusOfLogicalDifferences

  9. New blog post! I review a dynamic systems model of pursuing happiness. Zerwas and Ford find that the system of happiness and goal pursuit can potentially lead to paradoxical effects. Pursuing happiness too intensely can make you less happy!

    psychologytoday.com/us/blog/ho

    @psychology
    @socialpsych

    #Psychology #PsychologyToday #Happiness #DynamicSystems #Cyberntics #SystemsThinking #Emotion #EmotionRegulation

  10. Survey of Differential Logic • 6
    inquiryintoinquiry.com/2023/11

    This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment.

    Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition as broad as that naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models. To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a differential logical calculus — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

    Please follow the above link for the full set of resources.
    Articles and blog series on the core ideas are linked below.

    Differential Logic • The Logic of Change and Difference
    inquiryintoinquiry.com/2023/08

    Differential Propositional Calculus
    inquiryintoinquiry.com/2023/11

    Differential Logic
    inquiryintoinquiry.com/2020/03

    Differential Logic and Dynamic Systems
    inquiryintoinquiry.com/2023/03

    cc: academia.edu/community/lQX66L

    #Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
    #BooleanFunctions #BooleanDifferenceCalculus #QualitativePhysics
    #CactusCalculus #MinimalNegationOperators #NeuralNetworkSystems
    #CalculusOfLogicalDifferences

  11. @NicoleCRust @kristinmbranson @neuroecology @zamakany

    Einstein recommended we stop trying to reckon familiar 3-dimensional space on its own. We must also factor time.

    One of the themes in this paper by Esther Thelen and Linda B. Smith is that behaviour on its own and frozen in time is not a worthwhile object of study. #dynamicSystems

    psycnet.apa.org/record/2006-08

  12. Survey of Differential Logic • 5
    inquiryintoinquiry.com/2023/04

    This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment.

    Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition as broad as that naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models. To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a differential logical calculus — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

    Please follow the above link for the full set of resources.
    Articles and blog series on the core ideas are linked below.

    Differential Propositional Calculus
    oeis.org/wiki/Differential_Pro
    1 oeis.org/wiki/Differential_Pro
    2 oeis.org/wiki/Differential_Pro
    inquiryintoinquiry.com/2020/02

    Differential Logic
    oeis.org/wiki/Differential_Log
    1 oeis.org/wiki/Differential_Log
    2 oeis.org/wiki/Differential_Log
    3 oeis.org/wiki/Differential_Log
    inquiryintoinquiry.com/2020/03

    Differential Logic and Dynamic Systems
    oeis.org/wiki/Differential_Log
    1 oeis.org/wiki/Differential_Log
    2 oeis.org/wiki/Differential_Log
    3 oeis.org/wiki/Differential_Log
    4 oeis.org/wiki/Differential_Log
    5 oeis.org/wiki/Differential_Log
    inquiryintoinquiry.com/2023/03

    #Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
    #BooleanFunctions #BooleanDifferenceCalculus #QualitativePhysics
    #CactusCalculus #MinimalNegationOperators #NeuralNetworkSystems

  13. Differential Logic and Dynamic Systems • Review and Transition 1
    oeis.org/wiki/Differential_Log

    This note continues a previous discussion on the problem of dealing with change and diversity in logic-based intelligent systems. It is useful to begin by summarizing essential material from previous reports.

    Table 1 outlines a notation for propositional calculus based on two types of logical connectives, both of variable \(k\)-ary scope.

    • A bracketed list of propositional expressions in the form \(\texttt{(} e_1 \texttt{,} e_2 \texttt{,} \ldots \texttt{,} e_{k-1} \texttt{,} e_k \texttt{)}\) indicates that exactly one of the propositions \(e_1, e_2, \ldots, e_{k-1}, e_k\) is false.

    • A concatenation of propositional expressions in the form \(e_1 ~ e_2 ~ \ldots ~ e_{k-1} ~ e_k\) indicates that all of the propositions \(e_1, e_2, \ldots, e_{k-1}, e_k\) are true, in other words, that their logical conjunction is true.

    All other propositional connectives can be obtained in a very efficient style of representation through combinations of these two forms. Strictly speaking, the concatenation form is dispensable in light of the bracketed form but it is convenient to maintain it as an abbreviation of more complicated bracket expressions.

    #Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
    #BooleanFunctions #BooleanDifferenceCalculus #QualitativeChange
    #MinimalNegationOperators #NeuralNetworkSystems #Semiotics

  14. Differential Logic and Dynamic Systems • Overview
    inquiryintoinquiry.com/2023/03
    oeis.org/wiki/Differential_Log

    ❝Stand and unfold yourself.❞
    — Hamlet • Francisco • 1.1.2

    In modeling intelligent systems, whether we are trying to understand a natural system or engineer an artificial system, there has long been a tension or trade-off between dynamic paradigms and symbolic paradigms. Dynamic models take their cue from physics, using quantitative measures and differential equations to model the evolution of a system’s state through time. Symbolic models use logical methods to describe systems and their agents in qualitative terms, deriving logical consequences of a system’s description or an agent’s state of information. Logic-based systems have tended to be static in character, largely because we have lacked a proper logical analogue of differential calculus. The work laid out in this report is intended to address that lack.

    This article develops a differential extension of propositional calculus and applies it to the analysis of dynamic systems whose states are described in qualitative logical terms. The work pursued here is coordinated with a parallel application focusing on neural network systems but the dependencies are arranged to make the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project.

    #Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
    #BooleanFunctions #BooleanDifferenceCalculus #QualitativeChange
    #MinimalNegationOperators #NeuralNetworkSystems #Semiotics

  15. The Phantom of the Operators • η
    oeis.org/wiki/Differential_Log

    ❝I was wondering what the reason could be, when I myself raised my head and everything within me seemed drawn towards the Unseen, which was playing the most perfect music!❞

    — Gaston #Leroux • “The Phantom of the Opera”

    #DifferentialLogic #DynamicSystems
    #DifferentialLogicAndDynamicSystems

  16. Good evening #Fediverse :fediverse: ! It's time for my not-quite-daily #ConnectionList #Introduction #FollowFriday post, where I use my large number of followers to more closely connect the Fediverse together, and help people find their people in the #TwitterMigration.

    Please meet:

    @effye does #DevOps and #DuctTape, connecting together various systems. I've followed their work for a long time, huge fan.

    @davidasboth is one half of the #HalfStackDataScience #podcast and is into #DataScience and #SoftwareEngineeering

    @ConserveChange is a human #ecologist and #StoryTeller at #Guelph, and is host of the #SecondTransition #podcast. Interests in #Food #FoodSystems #ClimateAction #Science and #Sustainability

    @ststefany is from 🇺🇦 and is into #epistemology, #ethics and #feminism. Writes in en and ua, for any #Ukrainian #українська speakers in your network.

    @futilityfunc is a #DataScientist and interested in #ComplexityScience #Complexity and does #research on stochastic #GraphModels #DynamicSystems and #Cybernetics

    @CIT is Carolin and they toot in both 🇩🇪 and 🇬🇧. Carolin studies #systems and #OrganisationDevelopment, #Anthropology and #Psychology #researcher

    @monad is #Professor Paul Feigelfeld who works in #KnowledgeCultures at HBK #Braunschweig, Uni Vienna and Uni Basel. Researches 🇨🇳

    That's it for tonight, don't forget to curate your own #ConnectionList ❤️

  17. Good evening #Fediverse :fediverse:! In tonight's #Introduction #ConnectionList #TwitterMigration post, where I help to more richly connect the Fediverse, I'd like you to meet:

    @unsw_ai is #UNSW #AI research centre 👋

    @oj_gstrein is the Director of #DataScience and society at the University of #Groningen #researcher #academic 👋

    @hollie is enthusiastic about #nature, #puns, the #IndieWeb, #reading, #sewing and #knitting (me, too Hollie! 🧶 👋 )

    @futilityfunc is a #DataScience person who is interested in #complexity, #DynamicSystems, #systems and #cybernetics 👋

    @mythopoetica is a Senior #Lecturer #researcher in #Literature and #CreativeWriting and is into #CriticalTheory 👋

    @peridragon designs colourful #knitting patters and is into #history #biology and #StarTrek Knit long and prosper, Peridragon! 👋

    @HackingDave is the #founder of Binary Defense and TrustedSec and works in #infosec and is a #hacker 👋

    @Ellopunk is into #Linux 🐧, #infosec and is into #ThreatModeling 👋

    @ErikC is an #academic #researcher at UniSA and is into #DigitalHumanities, #VirtualHeritage and #SeriousGames 👋

    Don't forget to build your own #ConnectionList #FollowFriday so we can more richly connect the Fediverse ❤️

  18. #introduction I've been here for a few weeks, but have yet to introduce myself! I'm a #cogneuro & #quantpsych researcher at The University of Utah studying #pain #perception & #emotion with a focus on how perceptual and emotional processes interact over time using #psychophysics #intensivelongitudinalmethods #DynamicSystems #bayesianestimation . Lover of all things time #timeperception #temporalanalysis and quant. I love #Stats & #Programming , and enjoy teaching these methods to others.