Nominal AC-matching. ~ Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia & Daniele Nantes-Sobrinho. https://link.springer.com/chapter/10.1007/978-3-031-42753-4_4 #ITP #PVS

Some further reflections:

- Without the home batteries, the #PVs would make little sense as we would export almost all we generate while importing almost all we consume.

- The batteries were easily the most expensive part of the build but essential in order to profit from the solar array.

- Only in June and August have we generated more than we consume.

- Home batteries are too small and too slow (at discharging) to be useful in charging the cars overnight, so an #EV tariff is a must.

(2/2)

Formalisation of nominal equational reasoning. ~ Mauricio Ayala-Rincón. https://inria.hal.science/hal-04137801/document #ITP #PVS

Embedding differential temporal dynamic logic in PVS. ~ Lauren White, Laura Titolo, J. Tanner Slagel. https://types2023.webs.upv.es/TYPES2023.pdf#page=125 #ITP #PVS

Formalization of algebraic theorems in PVS. ~ Mauricio Ayala-Rincon, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino. https://www.easychair.org/publications/open/93F2 #ITP #PVS #Math

AFN welcomes the Moananuiākea Voyage
[the_ad id="30587"]

The Polynesian Voyaging Society (PVS) launched the Moananuiākea Voyage from Southeast Alaska that will circumnavigate that entire Pacific Ocean. Taking four years to complete, the voyage will travel to 36 countries and archipelagoes, almost 100 indigenous territories and more than 300 ports. The goal...
https://alaska-native-news.com/afn-welcomes-the-moananuiakea-voyage/67912/
#Moananuiākea #voyage #pvs #pacific #alaska #juneau #launch

CoProver: A recommender system for proof construction. ~ Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar. https://arxiv.org/abs/2304.10486 #ITP #PVS #MachineLearning

@phenlix @csepp #PVS claims to support #SBCL https://pvs.csl.sri.com/

Non-Pharmacological Therapies for Post-Viral Syndromes #PVS , Including #LongCOVID
A Systematic Review

"Although vaccines have substantially reduced mortality, the breadth and relapsing–remitting nature of ongoing symptoms that may arise from even mild infections of COVID-19 pose a substantial burden to patients and health services."

https://www.mdpi.com/1660-4601/20/4/3477

RT @BatemanHorne@twitter.com

Clinical Trial for Women w/ Long COVID!
BHC is conducting a pilot study to test whether a combo of anti-viral drugs celecoxib and valacyclovir reduce fatigue and other symptoms in women w/ #LongCOVID aged 18-65 yrs.
#clinicaltrial #PVS #ResearchMatters

🐦🔗: https://twitter.com/BatemanHorne/status/1616509788938174465

Alle Ärzte, die Pat. mit #LongCovid, #PVS u.a #MECFS behandeln, sollten über Existenz von http://cormea.org Bescheid wissen. Ein int. wissenschaftlicher Arbeitskreis, der u.a. auch einen Leitfaden erstellt hat.
Bitte teilen, wegen Mini-Reichweite
@DrGreber@twitter.com
@FarazFallahi@twitter.com

Klare Worte. Initiative #NichtGenesen gibt uns, die wir zum großen Teil unsichtbar sind, da viele haus- und oder bettgebunden, ein Gesicht.

#MECFSimBundestag
#LCS
#PVS

https://www.mdr.de/nachrichten/podcast/interview/audio-long-covid-protest-studien-hilfe-100.html

Ein extrem detailiertes Review, das wahrscheinlich nichts auslässt.

#PVS
#MECFS
#NotRecovered
@Karl_Lauterbach@twitter.com
https://www.nature.com/articles/s41579-022-00846-2

Die, die uns ehrenamtlich unterstützen, sei es für evidente Recherchen, Netzwerke zu anderen Medizinern zu bilden, etc., benötigen ebenso Hilfe...
Bitte gern teilen, wegen eigener geringen Reichweite.
#PVS
#MECFS
#PCS
#LCS
#NotRecovered
https://gofund.me/7508a39c

Komme gerade vom PCR-Test für die Klinikeinweisung morgen.
Bin so voller Hoffnung, dass die mir endlich helfen können.

#PVS
#MECFS #SFN
#NotRecovered

#MECFS nach #PVS.
Letztes Jahr um die Zeit ging es mir derart schlecht, dass selbst ein kurzer Videocall mit meiner 91y Mom eine Verschlechterung (PEM/PENE) verursacht hat.
Und das ist mit das Schlimmste daran - dass ich die letzte Lebenszeit meiner Mom verpasse.

#NotRecovered

I have improved the code documentation. Last version for this year. Next year it will continue :-) https://gitlab.com/patrickmatula/pvs-kopioi #pvs #citrixpvs #provisioning #community #community

@ColinTheMathmo #PVS and #Lean are different provers, but many fundamental ideas are the same. There are definitely similarities in their language and reasoning capabilities.

Cool Story: PVS was developed in 1993 by SRI https://fm.csl.sri.com/ . Another tool they developed around then was the SMT solver Yikes. The primary architect of Yikes is now the primary architect of Lean at Microsoft Research - Leonardo de Moura. Needless to say, Lean and PVS devs have a history of working together!

Nicht unmöglich das #PVS gegen aTTaX' aktuelle Form ins UB Halbfinale einzieht 👀

EnRo Griffins hat im LB aber echt das schwerste Los mit Dsyre im Bo3 🥵

Wenn EnRo das Gewinnt, dann ist wirklich alles möglich!

Heute Abend, ab 19 Uhr gehts los 🔥
#DACHUnity

Towards a formalization of the active corner method for collision avoidance in PVS. ~ Nishant Kheterpal, Jean-Baptiste Jeannin. https://jeannin.github.io/papers/kheterpal2022formalization.pdf #ITP #PVS