Tootfinder

Heute vor 60 Jahren: Am 1. September 1965 zündeten die USA im Rahmen von Operation #Flintlock simultan die 7. und 8. #Atombombe "Moa" und "Screamer". Flintlock war eine Serie von Tests zwischen 65/66 bei der insgesamt 47

Scroll nets
Pablo Donato
https://arxiv.org/abs/2507.19689 https://arxiv.org/pdf/2507.19689

Scroll nets
We introduce a new formalism for representing proofs in propositional logic called "scroll nets". Its fundamental construct is the "scroll", a topological notation for implication proposed by C. S. Peirce at the end of the 19th century as the basis for his diagrammatic system of existential graphs (EGs). Scroll nets are derived from EGs by following the Curry-Howard methodology of internalizing inference rules inside judgments, just as terms in type theory internalize natural deduction rules. W…

Crosslisted article(s) found for eess.SY. https://arxiv.org/list/eess.SY/new
[1/1]:
- Advancing rail safety: An onboard measurement system of rolling stock wheel flange wear based on ...
Celestin Nkundineza, James Ndodana Njaji, Samrawit Abubeker, Omar Gatera, Damien Hanyurwimfura
…

Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education
Shalini Chakraborty, Lola Burgue\~no, Nathalie Moreno, Javier Troya, Paula Mu\~noz
https://arxiv.org/abs/2509.13896

Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education
Generative Artificial Intelligence (GenAI) is rapidly gaining momentum in software modeling education, embraced by both students and educators. As GenAI assists with interpreting requirements, formalizing models, and translating students' mental models into structured notations, it increasingly shapes core learning outcomes such as domain comprehension, diagrammatic thinking, and modeling fluency without clear ethical oversight or pedagogical guidelines. Yet, the ethical implications of this in…

Heute vor 60 Jahren: Am 27. August 1965 zündeten die USA im Rahmen von Operation #Flintlock die 6. #Atombombe "Centaur". Flintlock war eine Serie von Tests zwischen 65/66 bei der insgesamt 47 #Kernwaffentests

Heute vor 60 Jahren: Am 23. Juli 1965 zündeten die USA im Rahmen von Operation #Flintlock die 3. #Atombombe "Bronze". Flintlock war eine Serie von Tests zwischen 65/66 bei der insgesamt 47 #Kernwaffentests

Heute vor 60 Jahren: Am 22. Juli 1965 zündeten die USA im Rahmen von Operation #Flintlock die 2. #Atombombe "Pongee". Flintlock war eine Serie von Tests zwischen 65/66 bei der insgesamt 47 #Kernwaffentests

Heute vor 60 Jahren: Am 21. August 1965 zündeten die USA im Rahmen von Operation #Flintlock die 5. #Atombombe "Ticking". Flintlock war eine Serie von Tests zwischen 65/66 bei der insgesamt 47 #Kernwaffentests

Heute vor 60 Jahren: Am 17. September 1965 zündeten die USA im Rahmen von Operation #Flintlock die 9. #Atombombe "Elkhart". Flintlock war eine Serie von Tests zwischen 65/66 bei der insgesamt 47 #Kernwaffentests

Heute vor 60 Jahren: Am 16. Juli 1965 zündeten die USA im Rahmen von Operation #Flintlock die 1. #Atombombe "Izzer". Flintlock war eine Serie von Tests zwischen 65/66 bei der insgesamt 47 #Kernwaffentests