Tootfinder

C’était cette semaine la sixième fois que je propose les #VendrediLiens sur mon blogue. Plus de 36 suggestions Š date.
https://mimo.blog/tag:VendrediLiens

NOCH ohne Paywall:
"In weltanschaulicher Hinsicht haben die meisten heutigen Menschen leider nicht einmal das Niveau von Epikur erreicht, der vor 2300 Jahren lebte. Geschweige denn, dass sie die wegweisenden Erkenntnisse verarbeitet hätten, die Darwin, Einstein, Curie, Wegener, Sagan, Nietzsche, Marx, Popper und Huxley in den letzten 150 Jahren entwickelt haben."

Michael Schmidt-Salomon: „Wir leben in einem Zeitalter der halbierten Aufklärung“
Die Herkunft des modernen Weltbildes gerät in Vergessenheit, fürchtet der Philosoph Michael Schmidt-Salomon. Ein Interview über sein jüngst erschienenes Buch Die Evolution des Denkens, zehn geistesgeschichtliche Influencer und die Gefahren einer „kulturellen Demenz“.

2024 NFL free agency: Seahawks sign Jerome Baker, give former Dolphins' LB a one-year, $7M deal, per report

https://www.cbssports.com/nfl/news/2…

2024 NFL free agency: Seahawks sign Jerome Baker, give former Dolphins' LB a one-year, $7M deal, per report
Seattle boosts its linebacking corps

@… Still on 1995 time, I was thinking "were they still doing that in October?"

anemone
#minoart

Lying Girl with Red Blouse by Egon Schiele
Watercolour, gold paint and pencil on paper, 26 x 22.1 cm, 1908, https://getdailyart.com/en/24829/egon-schiele/lying-girl-with-red-blouse

Lying Girl with Red Blouse by Egon Schiele via DailyArt mobile app
You may know that I really love Egon Schiele's works. I was stunned when I found this watercolor—it is so different from what we usually regard as being in Schiele's style. It is not surprising

wow Kerberos is still a thing, and the most recent release was less than a year ago.
https://web.mit.edu/kerberos/

Image alt text: “News article titled: Portugal is averaging 91% renewable electricity in 2024, with Europe’s lowest power prices, by Nick Hedley, dated May 2024” https://mastodon.social/@renewable_energy/112423857488913164

Renewable Energy (@renewable_energy@mastodon.social)
Attached: 1 image Portugal is crushing it: renewables met 91% of Portugal’s electricity needs in the first 4 months this year & have pushed their⚡️prices to a 4 yr low! Renewables are carrying an increasing % of their electrcity demand in the first 4 months in 2024: - 95% April - 91% March - 88% Feb - 81% in Jan Portugal’s rapid transition is evidence it can be done: renewables are up from 27% in 2005 & 54% in 2017 with their last coal power plant shut down in 2021. #nature #environ…

NOCH ohne Paywall:
"In weltanschaulicher Hinsicht haben die meisten heutigen Menschen leider nicht einmal das Niveau von Epikur erreicht, der vor 2300 Jahren lebte. Geschweige denn, dass sie die wegweisenden Erkenntnisse verarbeitet hätten, die Darwin, Einstein, Curie, Wegener, Sagan, Nietzsche, Marx, Popper und Huxley in den letzten 150 Jahren entwickelt haben."

Michael Schmidt-Salomon: „Wir leben in einem Zeitalter der halbierten Aufklärung“
Die Herkunft des modernen Weltbildes gerät in Vergessenheit, fürchtet der Philosoph Michael Schmidt-Salomon. Ein Interview über sein jüngst erschienenes Buch Die Evolution des Denkens, zehn geistesgeschichtliche Influencer und die Gefahren einer „kulturellen Demenz“.

Russell Wilson traded to Steelers: Here's why QB thinks he can help Pittsburgh 'win now'

https://www.cbssports.com/nfl/news/russell

Russell Wilson traded to Steelers: Here's why QB thinks he can help Pittsburgh 'win now'
Wilson's contract gives Pittsburgh a clear advantage

@… Oi! <https://twitter.com/only_ohm_again/status/1502775196893204480>

(that anemone one was one of my older sketches too... lol)

Wish watchOS has more detail battery usage breakdown. It just needs to last til AWU3 I guess. Or I’ll just give up on my streak and Mac unlock and get rid of AW for good.

台湾和中国的故宫的尴尬境地在于，台湾的故宫是内容，中国的故宫是形式。神形兼备才是最完美的状态。两岸现状可见一斑。https://youtube.com/watch?v=kL19Jubr0fk&si=R923k6lQcWqCfbU1

A complete logic for causal consistency
Will Simmons, Aleks Kissinger
https://arxiv.org/abs/2403.09297 https://arxiv.org/pdf/2403.092…

A complete logic for causal consistency
The $\mathrm{Caus}[-]$ construction takes a base category of ``raw materials'' and builds a category of higher order causal processes, that is a category whose types encode causal (a.k.a. signalling) constraints between collections of systems. Notable examples are categories of higher-order stochastic maps and higher-order quantum channels. Well-typedness in $\mathrm{Caus}[-]$ corresponds to a composition of processes being causally consistent, in the sense that any choice of local processes of…

Oh no, da will ich gerade zum Sender für meine "Radio Irrtum!"-Sendung und binde mir die Schuhe zu, da verheddert sich mein schickes InEar-Kopfhörerkabel in einer zufällig noch am Boden herumliegenden Bandschleife und beim Versuch, es wieder heraus zu pfriemeln, verheddern sich meine Schnürsenkel auch noch in diesem blöden dünnen Kopfhörerkabel. Jetzt habe ich mich hier völlig verstrickt und weiß gar nicht, ob ich noch rechtzeitig zur eigenen Sendung um 20:00 komme :-(

Herr Irrtum! (@herr_irrtum)
Yeah, one of those… **Radio Irrtum! announcements** again. ↓↓↓ German version far below the English one ↓↓↓ Attention. The #underground has arrived and wants its #noizy tape loops back! All that and more at… RADIO IRRTUM! — Saturday, 2024-03-16 at 8:00PM (UTC+1) at Alex Berlin/FM 91 MHz/DAB+ Ch.7D, or via stream: https://www.alex-berlin.de/radio/15-live-auf-91.0 #Radio Irrtum! is a German language #radioShow exploring the sonic vastnesses of the underground. Emitted tran…

Agents: Seahawks to sign LB Baker for 1 year, $7M https://www.espn.com/nfl/story/_/id/39746911/seattle-seahawks-sign-linebacker-jerome-baker-agents-say

Seattle Seahawks to sign linebacker Jerome Baker, agents say - ESPN
The Seattle Seahawks will sign former Dolphins linebacker Jerome Baker, who underwent wrist surgery and was released by Miami with a failed physical designation, to a one-year, $7 million contract, Baker's agents told ESPN's Adam Schefter on Saturday.

lately I just go through old drafts/sketches and try to finish them tho...

Amir H. Fallah
The Ring of Fire, 2014
C-print and acrylic on paper
19 7/10 × 19 7/10 in | 50 × 50 cm
Edition 2/25
https://www.artsy.net/artwork/amir-h-fallah-the-ring-of-fire

Amir H. Fallah | The Ring of Fire (2014) | Available for Sale | Artsy
Available for sale from Artsy Auctions, Amir H. Fallah, The Ring of Fire (2014), C-print and acrylic on paper, 50 × 50 cm

Timed Strategies for Real-Time Rewrite Theories
Carlos Olarte, Peter Csaba \"Olveczky
https://arxiv.org/abs/2403.08920 https://a…

Timed Strategies for Real-Time Rewrite Theories
In this paper we propose a language for conveniently defining a wide range of execution strategies for real-time rewrite theories, and provide Maude-strategy-implemented versions of most Real-Time Maude analysis methods, albeit with user-defined discrete and timed strategies. We also identify a new time sampling strategy that should provide both efficient and exhaustive analysis for many distributed real-time systems. We exemplify the use of our language and its analyses on a simple round trip …

Lions re-sign WR Donovan Peoples-Jones to a one-year deal, per report

https://www.cbssports.com/nfl/news/lions-re-sign-wr-donovan-peoples-jones-to-a-o…

Lions re-sign WR Donovan Peoples-Jones to a one-year deal, per report
Peoples-Jones is staying in Detroit after being traded home last year

which was. yesterday lol but venti wasn't that bad........

It feels like the handling of the humanity crisis in Gaza is drag to my the Biden campaign. I just hope people realise that voting for Trump or sitting out would not make things any better, quite the contrary. Speak up and voice your support for a ceasefire does not mean you have to sit out for the next election. #Gaza #uselections

2024 NFL free agency rumors: Panthers hosting pair of free-agent wide receivers on visits

https://www.cbssports.com/nfl/news/2024-nf

2024 NFL free agency rumors: Panthers hosting pair of free-agent wide receivers on visits
Carolina is looking to make another addition at wide receiver

still freaking farming artifacts for chode............... why can't I get anything good

Oh no, da will ich gerade zum Sender für meine "Radio Irrtum!"-Sendung und binde mir die Schuhe zu, da verheddert sich mein schickes InEar-Kopfhörerkabel in einer zufällig noch am Boden herumliegenden Bandschleife und beim Versuch, es wieder heraus zu pfriemeln, verheddern sich meine Schnürsenkel auch noch in diesem blöden dünnen Kopfhörerkabel. Jetzt habe ich mich hier völlig verstrickt und weiß gar nicht, ob ich noch rechtzeitig zur eigenen Sendung um 20:00 komme :-(

Herr Irrtum! (@herr_irrtum)
Yeah, one of those… **Radio Irrtum! announcements** again. ↓↓↓ German version far below the English one ↓↓↓ Attention. The #underground has arrived and wants its #noizy tape loops back! All that and more at… RADIO IRRTUM! — Saturday, 2024-03-16 at 8:00PM (UTC+1) at Alex Berlin/FM 91 MHz/DAB+ Ch.7D, or via stream: https://www.alex-berlin.de/radio/15-live-auf-91.0 #Radio Irrtum! is a German language #radioShow exploring the sonic vastnesses of the underground. Emitted tran…

L'Jarius Sneed rumors: Colts and Titans interested, but Chiefs CB's asking price too high, per report

https://www.cbssports.com/nfl/news/ljarius<…

L'Jarius Sneed rumors: Colts and Titans interested, but Chiefs CB's asking price too high, per report
It's not the trade compensation that's the holdup, but Sneed's new contract

every time I think about how my parents met in the US and used to want to live in the US before deciding otherwise I think about how I dodged being an American...

[2024-03-15 Fri (UTC), 2 new articles found for cs.LO Logic in Computer Science]

Just migrated all my TextExpander snippets to Alfred, end of an era.

2024 NFL free agency: Keenan Allen wanted to 'finish career' with Chargers, refused to restructure contract

https://www.cbssports.com/nfl/…

2024 NFL free agency: Keenan Allen wanted to 'finish career' with Chargers, refused to restructure contract
Allen was traded to the Chicago Bears

but I really wish I could cure my bad habit of losing motivation if I don't finish a drawing in one go. I always draw at night so I have like 3 hours at tops for one drawing

NFL news roundup: Latest league updates from Saturday, March 16 https://www.nfl.com/news/nfl-news-roundup-latest-league-updates-from-saturday-march-16

NFL news roundup: Latest league updates from Saturday, March 16
NFL.com keeps you up to date with all of the latest league news from around the NFL. Visit NFL.com's transaction hub for a daily breakdown.

not to mention gnsn characters... I dunno what all these details are for... last time I drew a gnsn character was for a friend's bday too lol

This https://arxiv.org/abs/2403.00934 has been replaced.
link: https://scholar.google.com/scholar?q=a

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
In this dissertation we describe two contributions to the state of the art in reasoning about liveness and safety, respectively. Programs for multiprocessor machines commonly perform busy waiting for synchronization. We propose the first separation logic for modularly verifying termination of such programs under fair scheduling. Our logic requires the proof author to associate a ghost signal with each busy-waiting loop and allows such loops to iterate while their corresponding signal $s$ is n…

Jets, Texans had interest in new Bears WR Allen https://www.espn.com/nfl/story/_/id/39744955/jets-texans-had-interest-keenan-allen-trade-bears

Jets, Texans had interest in Keenan Allen before trade to Bears - ESPN
Before he was traded from the Chargers to the Bears on Thursday, wide receiver Keenan Allen revealed that Los Angeles had permitted him to explore several options for where he wanted to continue his career after spending 11 seasons with the franchise.

I have his design memorized by now. meanwhile not looking at reference for sorey will only make him not look like sorey

Bears WR Keenan Allen: I wanted to 'finish my career' with Chargers but 'things happen' https://www.nfl.com/news/bears-wr-keenan-allen-i-wanted-to-finish-my-career-with-chargers-but-things-happen

Bears WR Keenan Allen: I wanted to 'finish my career' with Chargers but 'things happen'
Keenan Allen is ready for the Windy City, even if he never thought he'd leave Los Angeles.The perennial Pro Bowl wide receiver spent his entire NFL career with the Chargers before Thursday's trade, but now fully expects to help the Bears turn things around.

yknow the only reason I draw mibo much more than any other characters is because he's so easy to draw for me compared to sorey and his hair and his cape and.....

This https://arxiv.org/abs/2305.04842 has been replaced.
link: https://scholar.google.com/scholar?q=a

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Separation logic's compositionality and local reasoning properties have led to significant advances in scalable static analysis. But program analysis has new challenges -- many programs display computational effects and, orthogonally, static analyzers must handle incorrectness too. We present Outcome Separation Logic (OSL), a program logic that is sound for both correctness and incorrectness reasoning in programs with varying effects. OSL has a frame rule -- just like separation logic -- but us…

NFL free agency 2024: Top 10 free agents available include Chase Young, Odell Beckham Jr. and more

https://www.cbssports.com/nfl/news/nfl-fre

NFL free agency 2024: Top 10 free agents available include Chase Young, Odell Beckham Jr. and more
A look at which players are still without a deal as the official start of free agency kicks off

I'm so out of loop that I didn't know twatter is paid for new users now lmao?

This https://arxiv.org/abs/2211.02365 has been replaced.
link: https://scholar.google.com/scholar?q=a

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
The Skolem problem is a long-standing open problem in linear dynamical systems: can a linear recurrence sequence (LRS) ever reach 0 from a given initial configuration? Similarly, the positivity problem asks whether the LRS stays positive from an initial configuration. Deciding Skolem (or positivity) has been open for half a century: the best known decidability results are for LRS with special properties (e.g., low order recurrences). But these problems are easier for "uninitialized" variants, w…

2024 NFL free agency: Danielle Hunter to Texans among most intriguing free agent signings on defense

https://www.cbssports.com/nfl/news/2024-nf…

2024 NFL free agency: Danielle Hunter to Texans among most intriguing free agent signings on defense
Defensive players on the move to keep an eye on in 2024

maaaan I really don't wanna work today

2024 NFL Mock Draft: Patriots trade back but still land first-round QB; Steelers fortify OL for Russell Wilson

https://www.cbssports.com/nfl/…

2024 NFL Mock Draft: Patriots trade back but still land first-round QB; Steelers fortify OL for Russell Wilson
Plus, how the Vikings adding a Round 1 pick changes the QB landscape

every time I think about how my parents met in the US and used to want to live in the US before deciding otherwise I think about how I dodged being an American...

Rewatch five of Aaron Donald's greatest performances on NFL https://www.nfl.com/news/re-watch-five-of-aaron-donald-s-greatest-performances-on-nfl

Rewatch five of Aaron Donald's greatest performances on NFL+
With Los Angeles Rams defensive tackle Aaron Donald retiring after 10 seasons, NFL.com's Christian Gonzales spotlights five of the 10-time Pro Bowlers best performances in his career.

but I really wish I could cure my bad habit of losing motivation if I don't finish a drawing in one go. I always draw at night so I have like 3 hours at tops for one drawing

WR Calvin Ridley: ‘I really wanted to be with’ Jaguars but Titans had 'that other side for me’ https://www.nfl.com/news/wr-calvin-ridley-i-really-wanted-to-be-with-jaguars-but-titans-had-that-other-side-for-me…

WR Calvin Ridley: ‘I really wanted to be with’ Jaguars but Titans had 'that other side for me’
Choosing to pass on a re-up with the Jaguars, Calvin Ridley instead saw greener pastures with the AFC South’s last-place finisher, the Tennessee Titans, in part because of the role he wanted to play in helping the team back to contender status.

not to mention gnsn characters... I dunno what all these details are for... last time I drew a gnsn character was for a friend's bday too lol

The new TARDIS controls emerged at the end of The Star Beast, right? So was the butterfly compensation switch off all the way through Wild Blue Yonder, The Giggle, and The Church on Ruby Road? For that matter, is the one in 14's copy of the TARDIS still off?
#DoctorWho

Auf Alex Berlin (in Berlin auf UKW 91 MHZ - aber schwacher Sender) und im Stream https://www.alex-berlin.de/radio/15-live-auf-91.0
läuft noch bis 21 Uhr Radio Irrtum!
Euer perfektes Antidote kurz vor der

Live auf 91.0: Indie Royal | ALEX Kosmos
07:00: Indie Royal. Feinste Indiemusik bei ALEX im Radio. 08:00: Indie Royal. Feinste Indiemusik bei ALEX im Radio. 09:00: Indie Royal. Feinste Indiemusik bei ALEX im Radio. 10:00: couchFM. Neue Musik, spannende Geschichten und interessante Nachrichten von den Berliner Hochschulen. Mehr infos unter https://couchfm.org---Das ganze Programm findest du unter https://about.alex-berlin.de/audio/radio-programm – ALEX Radio gibts auch live zum Mitlesen https://transkript.alex-berlin.de

Is edge rusher Brian Burns the new face of the Giants? https://www.espn.com/nfl/story/_/id/39740964/who-the-giants-next-face-franchise

Who will be the the Giants' next face of the franchise? - ESPN
The Giants lost running back Saquon Barkley in free agency and may look to draft quarterback Daniel Jones' replacement in April.

I have his design memorized by now. meanwhile not looking at reference for sorey will only make him not look like sorey

Nice https://www.perplexity.ai/search/Apple-Vision-Pro-aqG9EiGBSxKLySN7AW21eg

'Time for us to accomplish something': Colts stay in-house after surprising success https://www.espn.com/nfl/story/_/id/39739551/nfl-free-agency-colts-anthony-richardson

Colts' in-house free agent plan will be tested - ESPN
Indy has mostly signed its own free agents, who now must prove themselves by taking the next step.

yknow the only reason I draw mibo much more than any other characters is because he's so easy to draw for me compared to sorey and his hair and his cape and.....

Howe: What I’m hearing on QB ‘battles’: Daniel Jones vs. Drew Lock, Geno Smith vs. Sam Howell https://theathletic.com/5345806/2024/03/16/howe-what-im-hearing-on-qb-battles-daniel-jones-vs-drew-lock-geno-sm…

Howe: What I’m hearing on QB ‘battles’: Daniel Jones vs. Drew Lock, Geno Smith vs. Sam Howell
Is there a QB competition brewing in New York? Does Howell have a chance to be the Seahawks' long-term answer at QB?

I'm so out of loop that I didn't know twatter is paid for new users now lmao?

Will Fields ever start in Pittsburgh? Did the Bears get many offers? We answer the key questions https://www.espn.com/nfl/story/_/id/39747405/nfl-justin-fields-steelers-bears-trade-russell-wilson

Why Bears traded Justin Fields to the Steelers, what's next - ESPN
The Bears seemingly eliminated any doubt Caleb Williams will be their No. 1 pick with the trade, but what's next for both teams?

maaaan I really don't wanna work today

Justin Fields trade grades: Steelers seize opportunity; did Bears bungle deal? https://theathletic.com/5346962/2024/03/16/justin-fields-trade-grade-steelers-bears/

Justin Fields trade grades: Steelers seize opportunity; did Bears bungle deal?
That's all the Bears could get for Fields?

'Business is business': Justin Fields trade to Steelers shocks social media https://www.espn.com/nfl/story/_/id/39747623/justin-fields-social-media-reactions-pittsburgh-steelers-trade

Russell Wilson, DJ Moore lead top reactions to Justin Fields trade - ESPN
The Chicago Bears traded Justin Fields to the Pittsburgh Steelers for a 2025 6th-round pick that can become a fourth-round pick based on playtime.

This https://arxiv.org/abs/2309.11676 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Cardinality and Representation of Stone Relation Algebras
Previous work has axiomatised the cardinality operation in relation algebras, which counts the number of edges of an unweighted graph. We generalise the cardinality axioms to Stone relation algebras, which model weighted graphs, and study the relationships between various axioms for cardinality. This results in simpler cardinality axioms also for relation algebras. We give sufficient conditions for the representability of Stone relation algebras and for Stone relation algebras to be relation al…

Steelers plan to re-sign Russell Wilson to longer contract after 2024 season, per report

https://www.cbssports.com/nfl/news/steeler…

Steelers plan to re-sign Russell Wilson to longer contract after 2024 season, per report
Wilson and the Steelers plan to be together for a while

Justin Fields trade fallout: Winners/losers from blockbuster QB deal between Bears and Steelers https://www.nfl.com/news/justin-fields-trade-fallout-winners-losers-from-blockbuster-qb-deal-between-bears-and-steelers…

Justin Fields trade fallout: Winners/losers from blockbuster QB deal between Bears and Steelers
Who is riding high after the Chicago Bears agreed to trade Justin Fields to the Pittsburgh Steelers? And who's worse off? Judy Battista breaks down winners and losers following a long-awaited move.

2024 NFL free agency tracker: Team-by-team signings and trades, updates on every move for all 32 franchises

https://www.cbssports.com/nfl/news/2…

2024 NFL free agency tracker: Team-by-team signings and trades, updates on every move for all 32 franchises
All the free agency deals and other moves around the league

This https://arxiv.org/abs/2212.02371 has been replaced.
link: https://scholar.google.com/scholar?q=a

Integration in Cones
Measurable cones, with linear and measurable functions as morphisms, are a model of intuitionistic linear logic and of call-by-name probabilistic PCF which accommodates ``continuous data types'' such as the real line. So far however, they lacked a major feature to make them a model of more general probabilistic programming languages (notably call-by-value and call-by-push-value languages): a theory of integration for functions whose codomain is a cone, which is the key ingredient for interpreti…

Justin Fields trade grades: Steelers earn high mark after acquiring QB from Bears for 2025 sixth-round pick

https://www.cbssports.com/nfl/news/…

Justin Fields trade grades: Steelers earn high mark after acquiring QB from Bears for 2025 sixth-round pick
Pittsburgh fleeced Chicago, again

My entire ig feed is camping gears lol

Bears trade Justin Fields to Steelers for 2025 sixth-round pick that could become fourth-rounder

https://www.cbssports.com/nfl/news/bears-t

Bears trade Justin Fields to Steelers for 2025 sixth-round pick that could become fourth-rounder
The former first-round pick has a new home

Bears trading QB Justin Fields to Steelers in exchange for a conditional sixth-round pick https://www.nfl.com/news/bears-trading-qb-justin-fields-to-steelers-in-exchange-for-a-conditional-sixth-round-pick

Bears trading QB Justin Fields to Steelers in exchange for a conditional sixth-round pick
The Pittsburgh Steelers are acquiring quarterback Justin Fields from the Chicago Bears via trade, NFL Network Insider Ian Rapoport reported Saturday.

Sources: Bears trading Justin Fields to Steelers https://www.espn.com/nfl/story/_/id/39747346/sources-bears-trading-qb-justin-fields-steelers

Sources - Bears trading QB Justin Fields to Steelers - ESPN
Justin Fields, who the Steelers are acquiring for a conditional 2025 sixth-round pick, will not compete with Russell Wilson for the starting QB job, a source told ESPN.

Bears trade QB Justin Fields to Steelers: Source https://theathletic.com/5346776/2024/03/16/justin-fields-trade-steelers-bears/

Bears trade QB Justin Fields to Steelers: Source
The Bears will recieve a 2025 sixth-round pick that goes to a fourth-round pick based on playing time, a team source confirmed.

Expiring opacity problems in parametric timed automata
\'Etienne Andr\'e, Engel Lefaucheux, Dylan Marinho
https://arxiv.org/abs/2403.07647 https://…

Expiring opacity problems in parametric timed automata
Information leakage can have dramatic consequences on the security of real-time systems. Timing leaks occur when an attacker is able to infer private behavior depending on timing information. In this work, we propose a definition of expiring timed opacity w.r.t. execution time, where a system is opaque whenever the attacker is unable to deduce the reachability of some private state solely based on the execution time; in addition, the secrecy is violated only when the private state was entered "…

[2024-03-13 Wed (UTC), 1 new article found for cs.LO Logic in Computer Science]

This https://arxiv.org/abs/2309.16824 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

The fork and its role in unification of closure algebras
We consider the two-pronged fork frame $F$ and the variety $\mathbf{Eq}(B_F)$ generated by its dual closure algebra $B_F$. We describe the finite projective algebras in $\mathbf{Eq}(B_F)$ and give a purely semantic proof that unification in $\mathbf{Eq}(B_F)$ is finitary and not unitary.

This https://arxiv.org/abs/2209.13725 has been replaced.
link: https://scholar.google.com/scholar?q=a

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
In this paper, we explore the descriptive complexity theory of finite groups by examining the power of the second Ehrenfeucht-Fraïssé bijective pebble game in Hella's (Ann. Pure Appl. Log., 1989) heirarchy. This is a Spoiler-Duplicator game in which Spoiler can place up to two pebbles each round. While it trivially solves graph isomorphism, it may be nontrivial for finite groups, and other ternary relational structures. We first provide a novel generalization of Weisfeiler-Leman (WL) coloring…

This https://arxiv.org/abs/2204.06068 has been replaced.
link: https://scholar.google.com/scholar?q=a

Encodability Criteria for Quantum Based Systems
Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used to compare process calculi. Quality criteria are used then to rule out trivial or meaningless encodings. In this new context of quantum based systems, it is necessary to analyse the applicability of these quality criteria and to potentially extend or adapt them. As a first step, we test the suitability of classical cr…

This https://arxiv.org/abs/2110.12924 has been replaced.
link: https://scholar.google.com/scholar?q=a

On Enumerating Short Projected Models
Propositional model enumeration, or All-SAT, is the task to record all models of a propositional formula. It is a key task in software and hardware verification, system engineering, and predicate abstraction, to mention a few. It also provides a means to convert a CNF formula into DNF, which is relevant in circuit design. While in some applications enumerating models multiple times causes no harm, in others avoiding repetitions is crucial. We therefore present two model enumeration algorithms, …

mentally I'm still at "domestic srmk" so I absolutely needed to draw that koi dance parody

This https://arxiv.org/abs/2312.12026 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

An Approximate Skolem Function Counter
One approach to probabilistic inference involves counting the number of models of a given Boolean formula. Here, we are interested in inferences involving higher-order objects, i.e., functions. We study the following task: Given a Boolean specification between a set of inputs and outputs, count the number of functions of inputs such that the specification is met. Such functions are called Skolem functions. We are motivated by the recent development of scalable approaches to Boolean function s…

This https://arxiv.org/abs/2306.10707 has been replaced.
link: https://scholar.google.com/scholar?q=a

Partial-order Checking with Unfolding for Linear Temporal Properties
Unfolding can tackle the path-explosion problem caused by concurrency. Traditional unfolding generation faces an NP-complete problem when adding events to the unfolding structure, which also exists in the case of verifying linear temporal logic (LTL). The reason is that it is necessary to enumerate possible concurrent event combinations after adding an event. Many state-of-the-art methods optimally explore unfolding-based structure (called event structure) by a tree-like structure, which should…

This https://arxiv.org/abs/2306.03045 has been replaced.
link: https://scholar.google.com/scholar?q=a

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we explore the concept of equilibrium design, where incentives are designed to obtain a desirable equilibrium that satisfies a specific temporal logic property. Our study is based on a framework where system specifications are represented as temporal logic formulae, games as quantitative concurrent game structures, and players' goals as mean-payoff ob…

This https://arxiv.org/abs/2301.06136 has been replaced.
link: https://scholar.google.com/scholar?q=a

Quantitative Verification with Neural Networks
We present a data-driven approach to the quantitative verification of probabilistic programs and stochastic dynamical models. Our approach leverages neural networks to compute tight and sound bounds for the probability that a stochastic process hits a target condition within finite time. This problem subsumes a variety of quantitative verification questions, from the reachability and safety analysis of discrete-time stochastic dynamical models, to the study of assertion-violation and terminatio…

This https://arxiv.org/abs/2210.05344 has been replaced.
link: https://scholar.google.com/scholar?q=a

From Basic Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
Proof-theoretic semantics (P-tS) is the approach to meaning in logic based on proof (as opposed to truth). There are two major approaches to P-tS: proof-theor\-etic validity (P-tV) and base-extension semantics (B-eS). The former is a semantics of arguments, and the latter is a semantics of logical constants. This paper demonstrates that the B-eS for intuitionistic propositional logic (IPL) encapsulates the declarative content of a basic version of P-tV. Such relationships have been considered b…

This https://arxiv.org/abs/2103.02343 has been replaced.
link: https://scholar.google.com/scholar?q=a

Provability in BI's Sequent Calculus is Decidable
Warning: This paper contains a mistake, rendering the proof of the main theorem invalid. The logic of Bunched Implications (BI) combines both additive and multiplicative connectives, which include two primitive intuitionistic implications. As a consequence, contexts in the sequent presentation are not lists, nor multisets, but rather tree-like structures called bunches. This additional complexity notwithstanding, the logic has a well-behaved metatheory admitting all the familiar forms of semant…

Are Targeted Messages More Effective?
Martin Grohe, Eran Rosenbluth
https://arxiv.org/abs/2403.06817 https://arxiv.org/pdf/2403.06817…

Are Targeted Messages More Effective?
Graph neural networks (GNN) are deep learning architectures for graphs. Essentially, a GNN is a distributed message passing algorithm, which is controlled by parameters learned from data. It operates on the vertices of a graph: in each iteration, vertices receive a message on each incoming edge, aggregate these messages, and then update their state based on their current state and the aggregated messages. The expressivity of GNNs can be characterised in terms of certain fragments of first-order…

Local Intuitionistic Modal Logics and Their Calculi
Philippe Balbiani, Han Gao, \c{C}i\u{g}dem Gencer, Nicola Olivetti
https://arxiv.org/abs/2403.06772 htt…

Local Intuitionistic Modal Logics and Their Calculi
We investigate intuitionistic modal logics with locally interpreted $\square$ and $\lozenge$. The basic logic LIK is stronger than constructive modal logic WK and incomparable with intuitionistic modal logic IK. We propose an axiomatization of LIK and some of its extensions. We propose bi-nested calculi for LIK and these extensions, thus providing both a decision procedure and a procedure of finite countermodel extraction.

Multiple Reachability in Linear Dynamical Systems
Toghrul Karimov, Edon Kelmendi, Jo\"el Ouaknine, James Worrell
https://arxiv.org/abs/2403.06515 http…

Multiple Reachability in Linear Dynamical Systems
We consider reachability decision problems for linear dynamical systems: Given a linear map on $\mathbb{R}^d$ , together with source and target sets, determine whether there is a point in the source set whose orbit, obtained by repeatedly applying the linear map, enters the target set. When the source and target sets are semialgebraic, this problem can be reduced to a point-to-polytope reachability question. The latter is generally believed not to be substantially harder than the well-known Sko…

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
Van-Giang Trinh, Belaid Benhamou, Lo\"ic Paulev\'e
https://arxiv.org/abs/2403.06255

Local Computing By Partial Quantifier Elimination
Eugene Goldberg
https://arxiv.org/abs/2403.05928 https://arxiv.org/pdf/2403.05928…

Local Computing By Partial Quantifier Elimination
Localization of computations plays a crucial role in solving hard problems efficiently. We will refer to the techniques implementing such localization as ${\mathit local}$ ${\mathit computing}$. We relate local computing with $\mathit{partial}$ $\mathit{quantifier}$ $\mathit{elimination}$ (PQE). The latter is a generalization of regular quantifier elimination where one can take a $\mathit{part}$ of the formula out of the scope of quantifiers. The objective of this paper is to show that PQE can …

Realizability in Semantics-Guided Synthesis Done Eagerly
Roland Meyer, Jakob Tepe, Sebastian Wolff
https://arxiv.org/abs/2403.05607 https://

Realizability in Semantics-Guided Synthesis Done Eagerly
We present realizability and realization logic, two program logics that jointly address the problem of finding solutions in semantics-guided synthesis. What is new is that we proceed eagerly and not only analyze a single candidate program but a whole set. Realizability logic computes information about the set of candidate programs in a forward fashion. Realization logic uses this information as guidance to identify a suitable candidate in a backward fashion. Realizability logic is able to analy…

[2024-03-12 Tue (UTC), 6 new articles found for cs.LO Logic in Computer Science]

This https://arxiv.org/abs/2303.03271 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
Logical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive notions of operationally-based logical relations have been designed and applied to specific families of languages. However, a unifying abstract framework for operationally-based logical relations is still missing. We show how fibrations can provide a uniform treatment of operational logical relations, using as refere…

Superposition with Delayed Unification
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
https://arxiv.org/abs/2403.04775 https://ar…

Superposition with Delayed Unification
Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of the unification algorithm into inferences. For calculi that rely on unification procedures returning large or even infinite sets of unifiers, integrating unification into the calculus is an attractive method of dovetailing unification and inference. This applies, for example, to AC-superposition and higher-order supe…