#pvs

Universität Mannheimunimannheim@bawü.social
2026-01-12

Prof. Dr. Marc #Debus von der #UniMannheim wurde zum #Chefredakteur der Politischen Vierteljahresschrift/German Political Science Quarterly (#PVS), der führenden politikwissenschaftlichen Fachzeitschrift im deutschsprachigen Raum ernannt. 🏆

Die Zeitschrift erscheint seit 1960 und inzwischen teils englischsprachig, was zur internationalen Sichtbarkeit und Zitierfähigkeit der Autor*innen beiträgt.🧑‍🎓

Wir gratulieren herzlich zur Ernennung! 👏

👉Zur Pressemitteilung geht es hier: uni-mannheim.de/newsroom/press

📸 Elisa Berdica

Porträt des lächelnden Marc Debus mit Brille und grauem Sakko vor einem modernen Glasgebäude auf dem Uni-Campus.
Dr. M. Haegelemedinfo
2025-11-06

der -Befragung von 2024, die das Zi heute veröffentlicht hat, die die potenzielle Bereitschaft der befragten ÄrztInnen/ PsychotherapeutInnen zeigt, ihr jeweiliges Praxisverwaltungssystem zu wechseln. Ausgewertet wurden die Ergebnisse zu 30 PVS. zi.de/das-zi/medien/grafik-des

2025-10-27

Taint-анализ в C и C++ анализаторе PVS-Studio

Ваш код принимает данные извне? Поздравляем, вы вступили на минное поле! Любой непроверенный ввод от пользователя может привести к уязвимости, и найти все "растяжки" вручную в большом проекте почти невозможно. Но есть "сапёр" — статический анализатор. Инструмент нашего "сапёра" — taint-анализ (aka анализ помеченных данных). Он позволяет обнаружить "грязные" данные, дошедшие до опасных мест без проверки. Сегодня мы расскажем о том, как он работает.

habr.com/ru/companies/pvs-stud

#taint_analysis #taint #static_analysis #pvsstudio #pvs #c++ #dataflow #dataflow_analysis #security #software_security

2025-10-13

PVS formalization of proofs of the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro. bdm.unb.br/bitstream/10483/416 #ITP #PVS #Math

2025-10-06

Waitfree linearization of an arbitrary data object. ~ Wim Hendrik Hesselink. dl.acm.org/doi/pdf/10.1145/369 #ITP #PVS

2025-10-01

A PVS library on the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón. mayalarincon.github.io/Infinit #ITP #PVS #Math

Dipl.Psych. Manuel Steinmanuelstein@gts.lob-online.de
2025-07-09

Läuft gerade mal wieder super mit dem State of the Digitalisierung im #Gesundheitswesen!

Kaum, dass ich dem Konnektor wieder das Verbinden mit dem PraxisVerwaltungsSystem #PVS beigebracht habe, bricht heute gleich die ganze #TI beim Anbieter #Arvato zusammen!
https://fachportal.gematik.de/ti-status

Natürlich muss ich das wieder selbst herausfinden, indem ich bei der Gematik nachsehe. Mein Anbieter #EpikurPVS hat die Kommunikation mit seinen Kund*innen per se aufgegeben. Ich frag mich manchmal, ob die das Unternehmen heimlich abwickeln 🙄

Nochmal zur Erinnerung, warum sich Praxen beim Wechsel zu Konkurrenzprodukten (gemäß Marktlogik) so schwer tun:

Abseits des Wiederstrebens, sich abseits der eigentlichen beruflichen Tätigkeit alle Nase lang in neue Software, Implementierungen und Vertragsbedingungen einarbeiten zu müssen, kostet so ein Wechsel mal eben mehrere Tausend Euro. Denn die internen Datenbanken folgen ja nicht etwa einem vorher festgelegten Standard, sodass man sie einfach nur kurz ex- und in die neue Software importieren könnte. Das wäre zu einfach.

Stattdessen gibt es wieder Dritte, die entsprechende Konverter herstellen und (nachvollziehbar komplexe Aufgabe) bei jeder Änderung der zig verschiedenen Produkt aktuell halten müssen. Also müssen bidirektionale Konverter für alle Kombinationen vorgehalten werden, was eine beschränkte Zahl von Kund*innen pro Variation bedeutet, was den Preis natürlich in die Höhe treibt.

Sowohl die initialen Einrichtungsgebühren beim Wechsel als auch diese Konversionskosten sind Privatvergnügen jeder einzelnen Praxis. Das erstattet dir keine.

2025-07-05

Formal methods at NASA: Past, present, and future. ~ Paul Miner, Natasha Neogi. ntrs.nasa.gov/api/citations/20 #FormalMethods #ITP #PVS

2025-06-24

Wenn ihr eh' nen #Proxmox Backup Server am laufen habt, könnt ihr mit dem proxmox-backup-client auch Linux-Kisten sichern, die keine Proxmox-VMs sind: pbs.proxmox.com/docs/backup-cl

Das lese ich irgendwie erstaunlicherweise nie bei den üblichen #Backup-Diskussionen. Viellicht findet's ja jemand nützlich!

#pvs #pbs

Dipl.Psych. Manuel Steinmanuelstein@gts.lob-online.de
2025-05-26

#EpikurPVS macht ne Umfrage bei ihren Kund*innen ... Und ich denke so: Endlich Gelegenheit, auszudrücken, was mich an diesem #PVS so hart nervt, dass ich zu Jahresende den teuren Wechsel zu einem Konkurrenzprodukt erwäge!

Aber weit gefehlt: Die Entwickler*innen wollten nur abfragen, welche Ansichten und Funktionsbereiche für mich im Alltag besonders wichtig sind und wie zufrieden ich damit bin.

Also wieder keine Gelegenheit folgende Hitparade der Fails von #Epikur zu nennen:

  1. Technischer Support telefonisch nur mit Wartezeiten > 30min zu erreichen - und zwar egal wann im Quartal!
  2. Chance auf Reaktion auf Support-Anfragen via E-Mail geht gegen Null.
  3. Kein Forum, Issue-Tracker oder sonst irgendeine Kommunikationsplatform, mit der betriebseinschränkende Störungen der Software - z.B. nach einem "Update" - durch Nutzer*innen zügig dokumentiert und ggf. sogar Lösungen miteinander ausgetauscht werden könnten.
  4. Selbst die Vertriebs-Hotline hat mittlerweile Wartezeiten von > 30min.
  5. Eine offene Beratung zu individuellen Lösungen findet nicht statt. Stattdessen windiges Nudging in vermeintlich alternativlose Neuverträge mit mehrjähriger Bindung und #Pfadabhängigkeiten.
  6. War das halbwegs moderne UI in der Vergangenheit im Vergleich mit anderen Anbietern wie #PsyPrax ein echter Pluspunkt, krankt es mittlerweile seit Urzeiten an inakzeptablen Usability-Macken. Das Schließen eines Tabs im Bereich "Patientenakte" z.B. gleicht einem Ziel-Schießen: Es braucht mehrere Klicks bis man endlich den winzigen Punkt Schaltfläche unter dem x gefunden hat, der tatsächlich zum Schließen des Tabs führt.

Klar würde das Ausmaß an Imkompetenz normalerweise von einem Markt geregelt ... aber da die Konversion der Datenbank vom alten zum neuen Anbieter einmalig um die 2000€ kostet, fällt das den Endnutzenden etwas schwerer als ein Wechsel des Handy-Tarifs ...

marzuq märzenbechermarch@mstdn.io
2025-05-14

@grindcrank @aus_der_UBahn wusste doch dass ich das wort schon mal irgendwo las uff de.wikipedia.org/wiki/Phantom-

#PVS

Jonathan Emmesedijemmesedi@c.im
2025-03-31

With Kpop, I quite often post performance videos and stages rather than MVs proper. Most of the time, this choice reflects nothing but my personal preferences and preoccupations, so rarely does the question of whether an MV, a PV, or a stage is "better" arise.

When it comes to Le Sserafim -- Come Over, however, the question does arise, and an answer can be given that is not merely an expression of purely personal preference : the music show stages really are better than the MV.

Judging by the gushing comments on r/kpop, I think many will disagree with my judgement, so I ought to offer some justification. "Come Over" is a fun but repetitive bagatelle considered just as a piece of music. What makes it more than a forgettable trifle is the unusual and distinctive choreography, as I pointed out when I selected a Music Bank stage for #KpopOfTheWeek a fortnight ago: c.im/@jemmesedi/11417007132140

One would have hoped that a good performance video focusing on the choreography and the retro fashions that complement the choreography so well would have been released. Alas, no. What we get instead is a hybrid MV and CF for Android that actually omits some of the most striking dance moves, such as the opening sequence of high kicks. The synchronized swimmers are poor compensation . To make things worse, AI has been employed to incorporate a sequence of two group members' enlarged heads emerging from interior walls in a sequence more appropriate for a horror film.

What a missed opportunity this video was!

youtu.be/z_uqieM8VGM?si=O68Pk8

#Kpop #LeSserafim #ComeOver #MVs #PVs #Choreography

2025-03-14

Curso "Razonamiento automático (2005-06)". jaalonso.github.io/cursos/d-ra #ATP #Otter #Mace #ITP #PVS

2025-03-12

Curso "Razonamiento automático (2004-05)". jaalonso.github.io/cursos/d-ra #ATP #Otter #Mace #Jape #Logic #ITP #PVS

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst