Tootfinder

Trump, like all dictators, want Americans gullible, inexperienced & uneducated so it's easier for him to deceive & manipulate people.
Universities are the enemy of fascism.
☑️ University of California Is Next Target of Trump’s Antisemitism Probe
https://finance…

University of California Is Next Target of Trump’s Antisemitism Probe
(Bloomberg) -- President Donald Trump’s administration vowed to expand its probes on college campuses beyond Ivy League institutions to other schools...

Under Pressure From Trump, UVA President Reportedly Resigns https://www.insidehighered.com/news/government/politics-elections/2025/06/27/university-virginia-president-resigns-after-trumps

University of Virginia President Resigns After Trump’s Demands
The move is a “major blow” to the independence of American institutions, one expert said.

GPUnion: Autonomous GPU Sharing on Campus
Yufang Li (The Hong Kong University of Science,Technology), Yuanbo Zhang (Sun Yat-sen University), Hanlong Liao (National University of Defense Technology), Guoming Tang (The Hong Kong University of Science,Technology), Deke Guo (Sun Yat-sen University)
https://arxiv.org/abs/2507.18928

GPUnion: Autonomous GPU Sharing on Campus
A pronounced imbalance in GPU resources exists on campus, where some laboratories own underutilized servers while others lack the compute needed for AI research. GPU sharing can alleviate this disparity, while existing platforms typically rely on centralized oversight and persistent allocation models, conflicting with the voluntary and autonomous nature of academic resource ownership. We present GPUnion, a campus-scale GPU sharing platform enabling voluntary participation while preserving full …

An Enumerative Embedding of the Python Type System in ACL2s
Samuel Xifaras (Northeastern University), Panagiotis Manolios (Northeastern University), Andrew T. Walter (Northeastern University), William Robertson (Northeastern University)
https://arxiv.org/abs/2507.19015

An Enumerative Embedding of the Python Type System in ACL2s
Python is a high-level interpreted language that has become an industry standard in a wide variety of applications. In this paper, we take a first step towards using ACL2s to reason about Python code by developing an embedding of a subset of the Python type system in ACL2s. The subset of Python types we support includes many of the most commonly used type annotations as well as user-defined types comprised of supported types. We provide ACL2s definitions of these types, as well as defdata enume…

“MEMPHIS, Tenn. — The legal status for University of Memphis students has been reinstated as the federal government is reversing its decision on terminating international students' visas. Monday, school officials said all students' records had been restored.”
Keep fighting back; they keep backing down.

University of Virginia president resigns under pressure from Trump
https://www.axios.com/2025/06/27/university-virginia-james-ryan-trump-dei

University of Virginia president resigns amid pressure from the Trump administration (CNN)
https://cnn.com/2025/06/27/us/university-of-virginia-president-resigns
http://www.memeorandum.com/250627/p161#a250627p161

Exploring Micro Frontends: A Case Study Application in E-Commerce
Ricardo Hideki Hangai Kojo (University of S\~ao Paulo), Luiz Fernando Corte Real (University of S\~ao Paulo), Renato Cordeiro Ferreira (University of S\~ao Paulo, Jheronimus Academy of Data Science, Technical University of Eindhoven, Tilburg University), Thatiane de Oliveira Rosa (University of S\~ao Paulo, Federal Institute of Tocantins), Alfredo Goldman (University of S\~ao Paulo)

Exploring Micro Frontends: A Case Study Application in E-Commerce
In the micro frontends architectural style, the frontend is divided into smaller components, which can range from a simple button to an entire page. The goal is to improve scalability, resilience, and team independence, albeit at the cost of increased complexity and infrastructure demands. This paper seeks to understand when it is worth adopting micro frontends, particularly in the context of industry. To achieve this, we conducted an investigation into the state of the art of micro frontends, …

The Johns Hopkins University Press will license its authors' books to train AI models, citing concerns that "the window may be closing" for making AI deals (Ellie Wolfe/The Baltimore Banner)
https://www.thebaltimoreb…

Johns Hopkins University Press will license its authors’ books to train AI models
Authors at the Johns Hopkins University Press will be able to opt out of the AI licensing agreement until the end of August; if they do not, their work will be used to train AI models.

Detection of Adverse Drug Events in Dutch clinical free text documents using Transformer Models: benchmark study
Rachel M. Murphy (Amsterdam UMC location University of Amsterdam, Department of Medical Informatics, Amsterdam, The Netherlands), Nishant Mishra (Amsterdam UMC location University of Amsterdam, Department of Medical Informatics, Amsterdam, The Netherlands), Nicolette F. de Keizer (Amsterdam UMC location University of Amsterdam, Department of Medical Informatics, Amsterdam, T…

Detection of Adverse Drug Events in Dutch clinical free text documents using Transformer Models: benchmark study
In this study, we set a benchmark for adverse drug event (ADE) detection in Dutch clinical free text documents using several transformer models, clinical scenarios and fit-for-purpose performance measures. We trained a Bidirectional Long Short-Term Memory (Bi-LSTM) model and four transformer-based Dutch and/or multilingual encoder models (BERTje, RobBERT, MedRoBERTa.nl, and NuNER) for the tasks of named entity recognition (NER) and relation classification (RC) using 102 richly annotated Dutch I…

Today I was sent a report on student feedback on their degree program including subjects my unit teaches that university administrators had 'copilot' synthesise and then select verbatim quotes for inclusion.
This 'university in ruins' statement is best read in the style of the lyrics to Underworld's 8 Ball: https://www.

Possible Neutrino Emission from the Pulsar Wind Nebula G63.7 1.1
Shunhao Ji (Yunnan University, China), Zhongxiang Wang (Yunnan University, China), Dong Zheng (Yunnan University, China), Jintao Zheng (Yunnan University, China)
https://arxiv.org/abs/2507.19724

Possible Neutrino Emission from the Pulsar Wind Nebula G63.7+1.1
We report on our finding of an excess of $54^{+16}_{-15}$ neutrinos at the location of the pulsar wind nebula (PWN) G63.7+1.1. By analyzing the IceCube track-like neutrino data for a group of 14 PWNe, which are selected as the targets because of their reportedly association with molecular clouds, G63.7+1.1 is found to be the only one detected with neutrino emission and the post-trail significance for the detection is 3.2$σ$. Previously, this PWN was estimated to have an age of $\gtrsim$8\,kyr,…

https://www.theguardian.com/australia-news/2025/jun/26/student-allegedly-hacked-western-sydney-university-to-get-discounted-parking-and-alter-academic-results-ntwnfb

The Johns Hopkins University Press will license its authors' books to train AI models, citing concerns that "the window may be closing" for making AI deals (Ellie Wolfe/The Baltimore Banner)
https://www.thebaltimoreb…

Johns Hopkins University Press will license its authors’ books to train AI models
Authors at the Johns Hopkins University Press will be able to opt out of the AI licensing agreement until the end of August; if they do not, their work will be used to train AI models.

Taylor Swift has surprise performance at Tight End University in Tennessee https://www.nfl.com/news/taylor-swift-has-surprise-performance-at-tight-end-university-in-tennessee

Molecular adhesion assay for biopolymer systems
Jeremy A. Cribb (Department of Physics and Astronomy, The University of North Carolina at Chapel Hill), Farnaz Fazelpour (Marsico Lung Institute, The University of North Carolina at Chapel Hill), David A. Wollensak (Department of Physics and Astronomy, The University of North Carolina at Chapel Hill), Danielle Rice (College of Engineering, North Carolina Agricultural and Technical State University), Max deJong (Department of Physics and A…

Molecular adhesion assay for biopolymer systems
Molecular adhesion plays a central role in many biological systems, yet existing methods to quantify adhesive strength often struggle to bridge the gap between single-molecule resolution and biologically relevant environments. Here, we present a scalable micromagnetic bead-based adhesion assay capable of quantifying detachment forces under physiologically meaningful conditions. Designed to probe mucoadhesion in the context of mucociliary clearance, our system applies controlled magnetic forces …

An ACL2s Interface to Z3
Andrew T. Walter (Northeastern University), Panagiotis Manolios (Northeastern University)
https://arxiv.org/abs/2507.19014 https://

An ACL2s Interface to Z3
We present Lisp-Z3, an extension to the ACL2s systems programming framework (ASPF) that supports the use of the Z3 satisfiability modulo theories (SMT) solver. Lisp-Z3 allows one to develop tools written using the full feature set of Common Lisp that can use both ACL2/s (either ACL2 or ACL2s) and Z3 as services, combining the power of SMT and interactive theorem proving. Lisp-Z3 is usable by anyone who would like to interact with Z3 from Common Lisp, as it does not depend on the availability of…

Impressive institutional self-assessment. Would that more corporate entities demonstrated that level of responsibility.
https://www.theguardian.com/education/2025/jul/27/ed…

Impressive institutional self-assessment. Would that more corporate entities demonstrated that level of responsibility.
https://www.theguardian.com/education/2025/jul/27/ed…

Ensemble Modeling of the Solar Wind Flow with Boundary Conditions Governed by Synchronic Photospheric Magnetograms. I. Multi-point Validation in the Inner Heliosphere
Dinesha V. Hegde (Department of Space Science, The University of Alabama in Huntsville, Huntsville, USA, Center for Space Plasma and Aeronomic Research, The University of Alabama in Huntsville, Huntsville, USA), Tae K. Kim (Center for Space Plasma and Aeronomic Research, The University of Alabama in Huntsville, Huntsville…

Ensemble Modeling of the Solar Wind Flow with Boundary Conditions Governed by Synchronic Photospheric Magnetograms. I. Multi-point Validation in the Inner Heliosphere
The solar wind (SW) is a vital component of space weather, providing a background for solar transients such as coronal mass ejections, stream interaction regions, and energetic particles propagating toward Earth. Accurate prediction of space weather events requires a precise description and thorough understanding of physical processes occurring in the ambient SW plasma. Ensemble simulations of the three-dimensional SW flow are performed using an empirically-driven magnetohydrodynamic heliospher…

karate: Zachary Karate Club
Network of friendships among members of a university karate club. Includes metadata for faction membership after a social partition. Note: there are two versions of this network, one with 77 edges and one with 78, due to an ambiguous typo in the original study. (The most commonly used is the one with 78 edges.).
This network has 34 nodes and 78 edges.
Tags: Social, Offline, Unweighted

The Fordham University
Tri-State Tick Risk Index for the week of June 27, is at the highest it can be:
a 10 out of 10.
What’s listed next to that score is the following:
"If you’re thinking of taking a hike, consider going to a movie instead."
h…

Fordham Tri-State Tick Risk
The Fordham Tick Index is an estimate of the risk of being bitten by a nymphal or adult deer tick.

We're recruiting on our MSc Sociology and Data Analytics for next September at the University of Limerick @…

This MSc offers in depth knowledge of sociological analysis, research… | Faculty of Arts, Humanities and Social Sciences, University of Limerick
This MSc offers in depth knowledge of sociological analysis, research methods and social science analytics - including high level training in data, data science, and data mining, and a range of sequenced topics that include crime, law, and deviance, culture and media, health and well-being, political analysis and social movements, and stratification and social inequality. The combination of high level training in research methods and robust exposure to core topics in Sociology and the Social …

Towards Accurate Thermal Property Predictions in Uranium Nitride using Machine Learning Interatomic Potential
Beihan Chen (Pennsylvania State University), Zilong Hua (Idaho National Lab), Jennifer K. Watkins (Idaho National Lab), Linu Malakkal (Idaho National Lab), Marat Khafizov (Ohio State University), David H. Hurley (Idaho National Lab), Miaomiao Jin (Pennsylvania State University)

Towards Accurate Thermal Property Predictions in Uranium Nitride using Machine Learning Interatomic Potential
We present a combined computational and experimental investigation of the thermal properties of uranium nitride (UN), focusing on the development of a machine learning interatomic potential (MLIP) using the moment tensor potential (MTP) framework. The MLIP was trained on density functional theory (DFT) data and validated against various quantities including energies, forces, elastic constants, phonon dispersion, and defect formation energies, achieving excellent agreement with DFT calculations,…

Half an hour to go: closing event of our #swissuniversities
project “Digital Literacy in University Contexts.”
https://www.zhaw.ch/en/linguistics/researc

Robust and Flexible Microtransit Design: Chance-Constrained Dial-a-Ride Problem with Soft Time Windows
Hongli Li (Purdue University IN, USA), Zengxiang Lei (Purdue University IN, USA), Xinwu Qian (Rice University USA), Satish V. Ukkusuri (Purdue University IN, USA)
https://arxiv.org/abs/2506.20788

Robust and Flexible Microtransit Design: Chance-Constrained Dial-a-Ride Problem with Soft Time Windows
Microtransit offers a promising blend of rideshare flexibility and public transit efficiency. In practice, it faces unanticipated but spatially aligned requests, passengers seeking to join ongoing schedules, leading to underutilized capacity and degraded service if not properly managed. At the same time, it must accommodate diverse passenger needs, from routine errands to time-sensitive trips such as medical appointments. To meet these expectations, incorporating time flexibility is essential. …

Sunset at University of #NorthDakota, Grand Forks

Re: the last boost. While the thread is inspired by US universities, it _absolutely_ applies to Canadian post-secondary institutions too.
"A safe space to be uncomfortable" would be a great university motto.

I appreciate the fact that this draft was done in haste, but some of the
sentences that you are sending out in the world to do your work for you are
loitering in taverns or asleep beside the highway.
-- Dr. Dwight Van de Vate, Professor of Philosophy,
University of Tennessee at Knoxville

Static Communication Analysis for Hardware Design
Mads Rosendahl (Roskilde University), Maja H. Kirkeby (Roskilde University)
https://arxiv.org/abs/2505.20849

Static Communication Analysis for Hardware Design
Hardware acceleration of algorithms is an effective method for improving performance in high-demand computational tasks. However, developing hardware designs for such acceleration fundamentally differs from software development, as it requires a deep understanding of the highly parallel nature of the hardware architecture. In this paper, we present a framework for the static analysis of communication within datapath architectures designed for field-programmable gate arrays (FPGAs). Our framewor…

TPDE: A Fast Adaptable Compiler Back-End Framework
Tobias Schwarz (Technical University of Munich), Tobias Kamm (Technical University of Munich), Alexis Engelke (Technical University of Munich)
https://arxiv.org/abs/2505.22610

TPDE: A Fast Adaptable Compiler Back-End Framework
Fast machine code generation is especially important for fast start-up just-in-time compilation, where the compilation time is part of the end-to-end latency. However, widely used compiler frameworks like LLVM do not prioritize fast compilation and require an extra IR translation step increasing latency even further; and rolling a custom code generator is a substantial engineering effort, especially when targeting multiple architectures. Therefore, in this paper, we present TPDE, a compiler b…

New measure of the universe’s expansion suggests resolution of a conflict | University of Chicago News #hubbletension
https://news.uchicago.edu/story/new-measure-universes-expansion-suggests-resolution-conflict

ALMA Observations of Molecular Complexity in the Large Magellanic Cloud: Probing the Star-forming Region N160
Amanda Broadmeadow (University of Maryland College Park), Marta Sewi{\l}o (NASA Goddard Space Flight Center,University of Maryland College Park), Lee Mundy (University of Maryland College Park), Roya Hamedani Golshan (I. Physikalisches Institut der Universit\"at zu K\"oln), Kazuki Tokuda (Kyushu University,Kagawa University), Thomas M\"oller (I. Physikalisches In…

ALMA Observations of Molecular Complexity in the Large Magellanic Cloud: Probing the Star-forming Region N160
Hot cores are small ($\lesssim$0.1 pc), dense ($\geq$10$^6$ cm$^{-3}$), and hot ($>$100 K) regions around massive protostars and are one of the main production sites of complex organic molecules (COMs, $\geq6$ atoms, including carbon). The Large Magellanic Cloud (LMC) is an ideal place to study hot core and COM formation in an environment that is different from our Galaxy, though prior to this study there have only been nine detections of extragalactic hot cores (seven in the LMC and two in the…

Today I was sent a report on student feedback on their degree program including subjects my unit teaches that university administrators had 'copilot' synthesise and then select verbatim quotes for inclusion.
This 'university in ruins' statement is best read in the style of the lyrics to Underworld's 8 Ball: https://www.

Former Australian National University chancellor Gareth Evans has slammed proposed cost-saving cuts to the institution as having "ignored or gravely under-valued the significance" of the university's national mission.
https://www.abc.net.au/news/…

Former Australian National University chancellor slams 'gobsmacking' proposed university cuts
Former Australian National University chancellor, Gareth Evans, says proposed cost-saving cuts to the institution have "ignored or gravely under-valued the significance of ANU's very distinctive national mission".

"AI-enhanced maps reveal hidden streams for restoration"
#AI #ArtificialIntelligence #Environment

AI-enhanced maps reveal hidden streams for restoration
A dataset unveiled today more than doubles the documented stream miles in the Chesapeake Bay Watershed, elevating the total from approximately 150,000 to nearly 350,000 miles. The Hyper-Resolution Hydrography Data used to generate the new stream maps stems from a collaboration between the University of Maryland, Baltimore County (UMBC), the Environmental Protection Agency's Chesapeake Bay Program (CBP), and the Chesapeake Conservancy (CC), including UMBC alumni at CBP and CC.

Air pollutant linked to year-round respiratory health in Mississippi #Mississippi…

Air pollutant linked to year-round respiratory health in Mississippi
University of Mississippi researchers have linked exposure to high levels of black carbon in the air to an increase in respiratory-related hospital admissions in Mississippi's capital city, according to a study published in Environmental Pollution.

UVA President James Ryan Caved to MAGA--and They Forced Him Out Anyway (Siva Vaidhyanathan/New Republic)
https://newrepublic.com/article/197393/university-virginia-president-james-ryan-caved-trump-resign
http://www.memeorandum.com/250627/p164#a250627p164

Columbia University investigating cyber incident after tech outages https://therecord.media/columbia-university-technology-outages

Esta é de origem brasileira.
Tarde ou cedo haverš também gente de origem portuguesa a ser sujeita a este tratamento desumano.
E vocês, continuem aí a votar no equivalente português destes animais que fazem bem.
https://americ…

Utah Student Freed From ICE Detention Says Immigrants Just Want To Thrive ‘In The Country We Call Home’ - America's Voice
Caroline Dias Goncalves, the University of Utah student who was abducted by Stephen Miller’s mass deportation agents following a routine traffic stop earlier this month, has finally been freed after two agonizing weeks in ICE custody. In remarks following her release, the Dream.US scholar described her 15 days in a Colorado private prison as the… Continue »

Libraries - Punk as Fuck!
"This digital collection offers 2,091 images of punk flyers held by Cornell University Library’s Division of Rare and Manuscript Collections."
https://digital.library.cornell.edu/collections/punkflyers

"University Journals and Their Place in Global Scholarly Publishing" by @…: https://blog.tib.eu/2025/07/22/univers

Congratulations to Dr. Caleb Oladipo '88 S.T.M. on his election to the American Theological Society! https://news.campbell.edu/articles/oladipo-elected-to-prestigious-american-theological-society/

Oladipo elected to prestigious American Theological Society - News | Campbell University
Dr. Caleb O. Oladipo became just one of 100 active members in the American Theological Society — the nation’s oldest… More on this post

CFP: 2026 Gods and Monsters Conference at Texas State University #acrel https://networks.h-net.org/group/announcements/20121177/cfp-2…

New book published June 2025:
FRANK ZAPPA'S AMERICA
by Bradley Morgan
An analysis of modern-day white nationalism & Christian fascism in the US through the lens of Frank Zappa’s music during the 1980s.
Publishing by Louisiana State University Press.
https://lsupress.org/9780807183922…

Frank Zappa's America
From his early albums with the Mothers of Invention, Frank Zappa established a reputation as a musical genius who pushed the limits of culture throughout the...

That is stupid (to be nice). #octranspo right now is less that dependable and depending on where you live it will take several hours to either get to the school or return to where you live. How about they revoke parking passes for ALL senior management and make them take the bus system.

Well, there you have it...
The same year, Vance told the National Conservatism Conference that “we have to honestly and aggressively attack the universities in this country.” “We live in a world that has been made effectively by university knowledge” and to rebuild the nation along the lines of white Christian nationalism, the universities must be destroyed. Vance told the audience, “the professors are the enemy.”

May 24, 2025
On Thursday the Trump administration told Harvard University that because it had not handed over information on foreign students’ protest activities, violent activity, and coursework, the university had “lost [the] privilege” of enrolling foreign students.

Taylor Swift joins Kane Brown in surprise performance at Tight End University https://www.espn.com/nfl/story/_/id/45583576/taylor-swift-travis-kelce-tight-end-university-nashville-live-performance-re…

A Formalization of the Correctness of the Floodsub Protocol
Ankit Kumar (Northeastern University), Panagiotis Manolios (Northeastern University)
https://arxiv.org/abs/2507.19013

A Formalization of the Correctness of the Floodsub Protocol
Floodsub is a simple, robust and popular peer-to-peer publish/subscribe (pubsub) protocol, where nodes can arbitrarily leave or join the network, subscribe to or unsubscribe from topics and forward newly received messages to all of their neighbors, except the sender or the originating peer. To show the correctness of Floodsub, we propose its specification: Broadcastsub, in which implementation details like network connections and neighbor subscriptions are elided. To show that Floodsub does re…

Design and performance of a Toroidal RF Volume Coil with Intrinsic Electromagnetic Interference Rejection for low-field Portable Halbach-Based MRI Systems
Jules Vliem (Electrical Engineering Department, Eindhoven University of Technology, Eindhoven, The Netherlands), Najac Chloe (C.J. Gorter MRI Center, Department of Radiology, Leiden University Medical Center, Leiden, The Netherlands), Beatrice Lena (C.J. Gorter MRI Center, Department of Radiology, Leiden University Medical Center, Le…

Design and performance of a Toroidal RF Volume Coil with Intrinsic Electromagnetic Interference Rejection for low-field Portable Halbach-Based MRI Systems
Purpose: One of the intrinsic limitations of low-field MRI is low signal-to-noise ratio (SNR), which can be further reduced by electromagnetic interference (EMI) due to the lack of a Faraday shielded room. To address this issue, we propose a novel RF coil design that is inherently less sensitive to EMI while maintaining high receive sensitivity. Methods: The proposed coil structure is based on an anapole (toroidal) design and consists of six rings, each containing four continuous wires wound ar…

Apple plans to open the Apple Manufacturing Academy in Detroit in August, run by Michigan State University, as Trump ramps up pressure to invest in the US (Kif Leswing/CNBC)
https://www.cnbc.com/2025/07/29/apple-opens-manufacturing-academ…

Apple opens manufacturing academy in Detroit as Trump ramps up pressure to invest in U.S.
The Apple Manufacturing Academy is opening in downtown Detroit, with a focus on artificial intelligence.

Local Type Inference for Context-Free Session Types
Bernardo Almeida (LASIGE, Faculty of Sciences, University of Lisbon, Portugal), Andreia Mordido (LASIGE, Faculty of Sciences, University of Lisbon, Portugal), Vasco T. Vasconcelos (LASIGE, Faculty of Sciences, University of Lisbon, Portugal)
https://arxiv.org/abs/2505.20855

Local Type Inference for Context-Free Session Types
We address the problem of local type inference for a language based on System F with context-free session types. We present an algorithm that leverages the bidirectional type checking approach to propagate type information, enabling first class polymorphism while addressing the intricacies brought about by the sequential composition operator and type equivalence. The algorithm improves the language's usability by eliminating the need for type annotations at type application sites.

trec_web: TREC WT10g (2003)
A web graph network originally constructed in 2003 as a testbed for information-retrieval techniques, including web search engines. Distributed by University of Glasgow.
This network has 1601787 nodes and 8063026 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net…

Rapid-cycling ReBCO dipole magnet concept for muon acceleration
Henryk Piekarz (Fermi National Accelerator Laboratory), Simon Otten (University of Twente, CERN), Anna Kario (University of Twente, CERN), Herman ten Kate (University of Twente, CERN)
https://arxiv.org/abs/2507.20895

Rapid-cycling ReBCO dipole magnet concept for muon acceleration
We present a concept of the rapid-cycling 1.7 T ReBCO magnet for 1 to 10 kT/s ramping range as required for muon acceleration in a future muon collider presently under study. This approach is based on the 6 kA CORC-like cable constructed with 12 superconducting ReBCO tapes of 2 mm width. Based on theoretical prediction there is a linear scaling of the ReBCO cable hysteresis loss with the crossing magnetic field possibly generating power loss independent of the magnetic field ramping speed. This…

Is Boston where we start overthrowing the king again?
https://www.cnn.com/2025/05/22/us/harvard-university-trump-international-students

Accelerating Matrix Multiplication: A Performance Comparison Between Multi-Core CPU and GPU
Mufakir Qamar Ansari (The University of Toledo, Toledo, OH, USA), Mudabir Qamar Ansari (Lamar University, Beaumont, TX, USA)
https://arxiv.org/abs/2507.19723

Accelerating Matrix Multiplication: A Performance Comparison Between Multi-Core CPU and GPU
Matrix multiplication is a foundational operation in scientific computing and machine learning, yet its computational complexity makes it a significant bottleneck for large-scale applications. The shift to parallel architectures, primarily multi-core CPUs and many-core GPUs, is the established solution, and these systems are now ubiquitous from datacenters to consumer laptops. This paper presents a direct, empirical performance analysis of matrix multiplication on a modern, consumer-grade heter…

University of Chicago Becker-Friedman Institute of Economics just published research this April 2025 of how Generative AI has had "almost no significant wage or labor impact so far".
✅ Large Language Models, Small Labor Market Effects
https://papers.ssrn.com/sol3/papers.cf

PhD position Geographic Information Visualization and Analysis (GIVA) “GeoNavLearn” with Prof. Sara I. Fabrikant
https://jobs.uzh.ch/job-vacancies/phd-position-geographic-informa…

UZH: PhD position Geographic Information Visualization and Analysis (GIVA) “GeoNavLearn”
With 28,000 students and 9,000 employees, the University of Zurich (UZH) is the biggest university in Switzerland. As a member of the League of European Research Universities, it counts amongst the leading European universities. The UZH offers a culturally diverse and inspiring working environment and promotes international collaboration in research. The Geographic Information Visualization and Analysis (GIVA) group at the University of Zurich, Faculty of Science, invites applications for a 4-y…

MyGO: Make your Goals Obvious, Avoiding Semantic Confusion in Prostate Cancer Lesion Region Segmentation
Zhengcheng Lin (City University of Macau), Zuobin Ying (City University of Macau), Zhenyu Li (Shandong University), Zhenyu Liu (Chinese Academy of Sciences), Jian Lu (Peking University), Weiping Ding (Nantong University)
https://

MyGO: Make your Goals Obvious, Avoiding Semantic Confusion in Prostate Cancer Lesion Region Segmentation
Early diagnosis and accurate identification of lesion location and progression in prostate cancer (PCa) are critical for assisting clinicians in formulating effective treatment strategies. However, due to the high semantic homogeneity between lesion and non-lesion areas, existing medical image segmentation methods often struggle to accurately comprehend lesion semantics, resulting in the problem of semantic confusion. To address this challenge, we propose a novel Pixel Anchor Module, which guid…

The daughter of a woman murdered by a man from Laos who is among those controversially deported from the US to South Sudan
has spoken out about her family’s pain -- but also to decry the lack of rights afforded to those who were expelled to countries other than their own.
Birte Pfleger lives in Los Angeles and was a history student at Cal State University in Long Beach when her parents came to visit her from their native Germany in 1994
-- and ended up shot by Thongxay Nila…

Harvard now offers free online courses on how the government is *supposed* to work.
https://pll.harvard.edu/subject/government

This is the most blatant, naked gangster corruption I've ever seen in a country.
And I grew up in Mexico in the 80s. https://flipboard.social/@NewsDesk/114908211854266893

Far-field directionality control of coupled InP nanowire lasers
Lukas R. J\"ager (Friedrich Schiller University Jena, Australian National University), Wei Wen Wong (Australian National University), Carsten Ronning (Friedrich Schiller University Jena), Hark Hoe Tan (Australian National University)
https://arxiv.org/abs/2507.18416

Far-field directionality control of coupled InP nanowire lasers
Nanowire (NW) lasers hold great promise as compact, coherent on-chip light sources that are crucial for next-generation optical communication and imaging technologies. However, controlling their emission directionality has been hindered by the complexities of lasing mode engineering and fabrication. Here, we demonstrate spatially-engineered far-field emission from vertically emitting InP NW lasers by establishing precise control over the optical coupling between site-selective NWs, without rely…

FAU University Press: Now in the top catalogs for open access publications https://ub.fau.de/en/2025/06/17/fau-university-press-now-in-the-top-catalogs-for-open-access-publications/

Teaching Complex Systems based on Microservices
Renato Cordeiro Ferreira (University of S\~ao Paulo), Thatiane de Oliveira Rosa (University of S\~ao Paulo, Federal Institute of Tocantins), Alfredo Goldman (University of S\~ao Paulo), Eduardo Guerra (Free University of Bozen-Bolzano)
https://arxiv.org/abs/2506.16492

Teaching Complex Systems based on Microservices
Developing complex systems using microservices is a current challenge. In this paper, we present our experience with teaching this subject to more than 80 students at the University of São Paulo (USP), fostering team work and simulating the industry's environment. We show it is possible to teach such advanced concepts for senior undergraduate students of Computer Science and related fields.

Need to put your collection in a database and get it online? This fall UMaine's offering Digital Collections and Exhibitions (DIG 540) online with Craig Dietrich.
#Archives

Cadence Design agrees to plead guilty and pay more than $140M to resolve US charges for selling its chip design products to a Chinese military university (Karen Freifeld/Reuters)
https://www.reuters.com/world/china/cadence-plead-guilty-pay-…

What is Tight End University? The Travis Kelce-founded event that featured a Taylor Swift cameo https://www.nytimes.com/athletic/6453606/2025/06/26/tight-end-university-travis-kelce-taylor-swift/

Ferroelectricity in 6 Angstrom-Thick Two-dimensional Ga$_2$O$_3$
Tong Jiang (School of Materials Science and Engineering, Zhejiang University, Hangzhou, China, Key Laboratory of 3D Micro/Nano Fabrication and Characterization of Zhejiang Province, School of Engineering, Westlake University, Hangzhou, China, School of Engineering, Westlake University, Hangzhou, Zhejiang, China), Han Chen (School of Materials Science and Engineering, Zhejiang University, Hangzhou, China, Key Laboratory of…

Ferroelectricity in 6 Angstrom-Thick Two-dimensional Ga$_2$O$_3$
Atomic-scale ferroelectric thin films hold great promise for high-density, low-power applications but face stability and voltage scaling challenges at extreme thinness. Here, we demonstrate ferroelectricity in single-crystalline two-dimensional (2D) Ga$_2$O$_3$, an ultra-wide-bandgap semiconductor, at just 6 angstrom thickness, exhibiting exceptional retention and thermal stability. We show that epitaxial beta-Ga$_2$O$_3$ can be exfoliated down to a half-unit cell thickness via a self-limiting …

The Low Mass Dwarf Host Galaxy of Non-Repeating FRB 20230708A
August R. Muller (Maria Mitchell Observatory, Max Planck Institute for Gravitational Physics), Alexa C. Gordon (Northwestern University), Stuart D. Ryder (Macquarie University), Alexandra G. Mannings (University of California Santa Cruz), J. Xavier Prochaska (University of California Santa Cruz, Kavli Institute for the Physics and Mathematics of the Universe, National Astronomical Observatory of Japan), Keith W. Bannister (C…

The Low Mass Dwarf Host Galaxy of Non-Repeating FRB 20230708A
We present Very Large Telescope/X-Shooter spectroscopy for the host galaxies of 12 fast radio bursts (FRBs) detected by the Australian SKA Pathfinder (ASKAP) observed through the ESO Large Programme "FURBY", which imposes strict selection criteria on the included FRBs and their host galaxies to produce a homogeneous and well-defined sample. We describe the data reduction and analysis of these spectra and report their redshifts, line-emission fluxes, and derived host properties. From the present…

Racing to Idle: Energy Efficiency of Matrix Multiplication on Heterogeneous CPU and GPU Architectures
Mufakir Qamar Ansari (Department of Electrical Engineering and Computer Science, The University of Toledo, Toledo, OH, USA), Mudabir Qamar Ansari (Department of School of Accounting and Information Systems, Lamar University, Beaumont, TX, USA)
https://

Racing to Idle: Energy Efficiency of Matrix Multiplication on Heterogeneous CPU and GPU Architectures
The paradigm shift towards multi-core and heterogeneous computing, driven by the fundamental power and thermal limits of single-core processors, has established energy efficiency as a first-class design constraint in high-performance computing (HPC). Heterogeneous systems, integrating traditional multi-core CPUs with specialized accelerators like discrete (dGPU) and integrated (iGPU) graphics processing units, offer a compelling path to navigating the trade-offs between performance and power. H…

10th Enemy Encounters Webinar “Rumours and 19th-20th Century Religious Resistance, State Repression and Maoist Campaigns in China”
https://ift.tt/RFQYAsh
TOC: Dutch Crossing: Journal of Low Countries Studies, vol. 46, no. 3 (March 2022) Dutch…
via Input 4 RELCFP

When Ashley Robinson and her mother took DNA tests 10 years ago and began meeting long lost cousins,
they stumbled across a surprising family history that changed their lives.
Robinson’s lineage traced back to the 272 West Africans who were enslaved by Jesuits
and sold to plantation owners in the southern US in 1838.
The sale of the enslaved Africans helped fund Georgetown University,
the oldest Jesuit higher education institution in the US,
and served a…

Choreographies as Macros
Alexander Bohosian (Department of Computer Science,Engineering University at Buffalo), Andrew K. Hirsch (Department of Computer Science,Engineering University at Buffalo)
https://arxiv.org/abs/2505.20845

Choreographies as Macros
Concurrent programming often entails meticulous pairing of sends and receives between participants to avoid deadlock. Choreographic programming alleviates this burden by specifying the system as a single program. However, there are more applications than implementations of choreographies, and developing new implementations takes a lot of time and effort. Our work uses Racket to expedite building a new choreographic language called Choret. Racket has a powerful macro system which allows Choret t…

Deterministic and Stochastic Study of the X-ray Emission from the TeV Blazar Mrk~421
Radim P\'anis (Research Centre for Theoretical Physics and Astrophysics, Institute of Physics in Opava, Silesian University in Opava, Czech Republic), Gopal Bhatta (Janusz Gil Institute of Astronomy, University of Zielona G\'ora, Zielona G\'ora, Poland), Tek P. Adhikari (CAS Key Laboratory for Research in Galaxies and Cosmology, Department of Astronomy, University of Science and Technology …

Deterministic and Stochastic Study of the X-ray Emission from the TeV Blazar Mrk~421
We present a comprehensive timing analysis of X-ray data from the {\it XMM-Newton} satellite, examining 50 light curves covering 17 years of observations of the blazar Mrk~421. This work uses classical deterministic and stochastic methods in a novel way, enabling the distinction of temporal scales and offering essential insights through correlations among parameters. Deterministic behaviors are primarily explored through recurrence quantification analysis (RQA), used innovatively by varying the…

"Open Access and Citation Impact: Modality, Funding, Publisher, and Disciplinary Trends at the University of Kentucky" #OpenAccess

Quantifying lower-limb muscle coordination during cycling using electromyography-informed muscle synergies
Reza Ahmadi (Department of Mechanical and Manufacturing Engineering, University of Calgary, Calgary, Canada), Shahram Rasoulian (Human Performance Laboratory, Faculty of Kinesiology, University of Calgary, Calgary, Canada), Hamidreza Heidary (Department of Mechanical and Manufacturing Engineering, University of Calgary, Calgary, Canada), Saied Jalal Aboodarda (Human Performance La…

Quantifying lower-limb muscle coordination during cycling using electromyography-informed muscle synergies
Assessment of muscle coordination during cycling may provide insight into motor control strategies and movement efficiency. This study evaluated muscle synergies and coactivation patterns as indicators of neuromuscular coordination in lower-limb across three power levels of cycling. Twenty recreational cyclists performed a graded cycling test on a stationary bicycle ergometer. Electromyography was recorded bilaterally from seven lower-limb muscles and muscle synergies were extracted using non-n…

Is Boston where we start overthrowing the king again?
https://www.cnn.com/2025/05/22/us/harvard-university-trump-international-students

A Semi-Empirical Estimate of Solar EUV Evolution from 10 Myr to 10 Gyr
Kevin France (University of Colorado), Girish Duvvuri (Vanderbilt), Cynthia Froning (SwRI), Alexander Brown (University of Colorado), P. Christian Schneider (Christian-Albrects University), J. Sebastian Pineda (University of Colorado), David Wilson (University of Colorado), Allison Youngblood (NASA/GSFC), Vladimir Airapetian (NASA/GSFC), Kosuke Namekata (NASA/GSFC, Kyoto University), Yuta Notsu (University of Colora…

A Semi-Empirical Estimate of Solar EUV Evolution from 10 Myr to 10 Gyr
The extreme-ultraviolet (EUV; 100 -- 911 Å) spectra of F, G, K, and M stars provide diagnostics of the stellar chromosphere through the corona, with line and continuum formation temperatures spanning roughly 10$^{4}$ - 10$^{7}$ K. The EUV stellar spectrum in turn drives atmospheric photochemistry and numerous escape processes on orbiting planets. We present a new study of the EUV history of solar-type stars, using new and archival {\it Hubble Space Telescope} observations of solar analogs (T$_…

Tight End University: History, purpose of program and this year's surprise Taylor Swift performance

https://www.cbssports.com/nfl/news/tight-e…

RV32I in ACL2
Carl Kwan (The University of Texas at Austin)
https://arxiv.org/abs/2507.19009 https://arxiv.org/pdf/2507.19009

RV32I in ACL2
We present a simple ACL2 simulator for the RISC-V 32-bit base instruction set architecture, written in the operational semantics style. Like many other ISA models, our RISC-V state object is a single-threaded object and we prove read-over-write, write-over-write, writing-the-read, and state well-formedness theorems. Unlike some other models, we separate the instruction decoding functions from their semantic counterparts. Accordingly, we verify encoding / decoding functions for each RV32I instru…

DECA: A Near-Core LLM Decompression Accelerator Supporting Out-of-Order Invocation
Gerasimos Gerogiannis (Intel Corporation,University of Illinois at Urbana-Champaign), Stijn Eyerman (Intel Corporation), Evangelos Georganas (Intel Labs), Wim Heirman (Intel Corporation), Josep Torrellas (University of Illinois at Urbana-Champaign)
https://

DECA: A Near-Core LLM Decompression Accelerator Supporting Out-of-Order Invocation
To alleviate the memory bandwidth bottleneck in Large Language Model (LLM) inference workloads, weight matrices are stored in memory in quantized and sparsified formats. Hence, before tiles of these matrices can be processed by in-core generalized matrix multiplication (GeMM) hardware engines, they need to be dequantized and de-sparsified. This is currently performed in software with vector operations. Unfortunately, this approach delivers only modest performance. Moreover, it is hard to unders…

10th Enemy Encounters Webinar “Rumours and 19th-20th Century Religious Resistance, State Repression and Maoist Campaigns in China”
https://ift.tt/bN6KWdf
TOC: Dutch Crossing: Journal of Low Countries Studies, vol. 46, no. 3 (March 2022) Dutch…
via Input 4 RELCFP

copenhagen: Copenhagen Networks Study
A network of social interactions among university students within the Copenhagen Networks Study, over a period of four weeks, sampled every 5 minutes. Interactions include physical proximity (undirected), phone calls (directed, weighted), text messages (directed), and information about Facebook friendships (undirected). Nodes include some metadata, including gender.
This network has 692 nodes and 2426279 edges.
Tags: Social, Offline, Un…

Columbia University to pay over $200 million to resolve Trump probes (Reuters)
https://www.reuters.com/world/us/columbia-university-trump-administration-reach-deal-over-funding-washington-post-2025-07-23/
http://www.memeorandum.com/250723/p167#a250723p167

Michigan State University professor Josh Cowen announced Thursday that he is running for one of the battleground state’s most competitive congressional districts,
joining a crowded field of Democrats seeking to challenge Republican Rep. Tom Barrett.
In an interview with The Associated Press, Cowen said federal worker layoffs and cuts to research funding and Medicaid inspired him to run for the Lansing-area seat that Barrett flipped in 2024.
“What it really means in our daily…

Michigan State professor Josh Cowen announces run for US Rep. Tom Barrett's seat
A third Democrat has announced a bid to run against Michigan Republican U.S. Rep. Tom Barrett in one of the battleground state's most competitive districts. Josh Cowen is an education policy professor at Michigan State University known for his research on school voucher programs. He announced Thursday that he is running for the state's 7th Congressional District that encompasses the capital city of Lansing and surrounding rural areas. Barrett flipped the district in 2024, winning by 3.7 points …

Epitaxial Stabilization and Emergent Charge Order in Copper Selenide Thin Films
B. M. Sharif (Department of Physics, University of California, Santa Cruz, Santa Cruz, CA, USA and Materials Science and Engineering Program, University of California, Santa Cruz, Santa Cruz, CA, USA), B. Theunissen (Department of Physics, University of California, Santa Cruz, Santa Cruz, CA, USA and Materials Science and Engineering Program, University of California, Santa Cruz, Santa Cruz, CA, USA), C. We…

Epitaxial Stabilization and Emergent Charge Order in Copper Selenide Thin Films
We demonstrate epitaxial growth of copper selenide (Cu$_{2-x}$Se) thin films in both cubic and rhombohedral phases, achieved via molecular beam epitaxy on Al$_2$O$_3$ (001) substrates. Remarkably, the high-temperature cubic phase -- which in bulk transforms into the rhombohedral structure below 400 K -- is stabilized at room temperature and below, well outside its bulk equilibrium stability range. In the cubic phase films, temperature-dependent electrical transport reveals a pronounced, hystere…

"#Serendipity is generally defined as the accidental discovery of something valuable while searching for something else. It’s also a hotly contested component of the library research process: is it a failure of #library systems or facilitated by the physical design of libraries, the cat…

Columbia University trustees removed control of the student disciplinary process from the University Senate,
with the trustees taking control themselves of the process through the provost’s office.
The intent was to make sure that any student guilty of violating university regulations during an anti-genocide protest would be severely punished.
One goal is to make sure that students engaged in such protest are removed from the university and can’t do it again.
Anot…

The Situation at Columbia XVIII
When I first started writing here about what was going on at Columbia, part of the motivation was that I didn’t understand myself a lot of what was happening, especially the actions of the tr…

Columbia University to pay out more than $220M after violating Jewish students' civil rights in massive win for Trump admin (New York Post)
https://nypost.com/2025/07/23/us-news/columbia-university-to-pay-out-more-than-220m-after-violating-jewish-students-civil-rights-in-massive-win-for-trump-admin/
http://www.memeorandum.com/250723/p170#a250723p170

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
Shucai Yao (Huawai Technologies Canada), Emil Sekerinski (McMaster University)
https://arxiv.org/abs/2505.20850

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
In the shared variable model of concurrency, guarded atomic actions restrict the possible interference between processes by regions of atomic execution. The guard specifies the condition for entering an atomic region. That is a convenient model for the specification and verification of concurrent programs, but has eschewed efficient execution so far. This article shows how guarded atomic actions, when attached to objects, can be implemented highly efficiently using a combination of coroutines, …

Trump administration reaches deal with Columbia University (Washington Post)
https://www.washingtonpost.com/education/2025/07/23/trump-columbia-university-agreement-federal-funding/
http://www.memeorandum.com/250723/p159#a250723p159

CFP: 2026 Gods and Monsters Conference at Texas State University
https://ift.tt/XnI57Wm
Call for Chapter Submissions: New Perspectives in Africana Studies Call for Chapter…
via Input 4 RELCFP

Preston Damsky is a law student at the University of Florida.
He is also a white nationalist and antisemite.
Last fall, he took a seminar taught by a federal judge on “originalism,”
the legal theory favored by many conservatives that seeks to interpret the Constitution based on its meaning when it was adopted.
In his capstone paper for the class, Mr. Damsky argued that the framers had intended for the phrase “We the People,” in the Constitution’s preamble, to refer exc…

A White Nationalist at University of Florida Wrote a Paper Promoting Racist Views. It Won Him an Award.
The University of Florida student won an academic honor after he argued in a paper that the Constitution applies only to white people. From there, the situation spiraled.

CFP: 2026 Gods and Monsters Conference at Texas State University
https://ift.tt/GVlez64
Call for Chapter Submissions: New Perspectives in Africana Studies Call for Chapter…
via Input 4 RELCFP

The U.S. Department of Justice and the Department of Homeland Security have requested information on the University of Chicago’s admissions practices and international students, according to bond issuance documents.
https://

Feds issue 'information requests' on University of Chicago international students, admissions practices
In the more than 200 pages of documents dated July 11, the university wrote that the Department of Justice and Department of Homeland Security had issued information requests regarding “admissions practices and international students.”

Rich Lyons,
the University of California, Berkeley, chancellor,
challenged US House Republicanson Tuesday
as they questioned Lyons and leaders of Georgetown University and the City University of New York
in the latest hearing on antisemitism in higher education.
The committee accused the schools of failing to respond adequately to allegations of bias or discrimination,
however the university leaders said that disciplinary action had been taken where approp…

Call for Papers: 25th Annual Africa Conference at the University of Texas at Austin, April 1st to 5th, 2026
https://ift.tt/qYSIXhe
Call for Chapter Submissions: New Perspectives in Africana Studies Call for Chapter…
via Input 4 RELCFP

Trump claimed that Joe Biden had “established toxic diversity, equity and inclusion ideology as a guiding principle of American AI development”.
“But the American people do not want woke Marxist lunacy in the AI models,” Trump said
Trump told assembled industry leaders that he wants them to “change the name” of artificial intelligence
and that they should not be forced to pay the authors of articles or books they use to train their large language models