Tootfinder

Wide shot of the new Computer Science building and the plaza in front of it as seen from Gates hall. They're putting in lots of landscaping and digging a pond on the other side and I'm excited to get a shot of that side as soon as I can
#photo #photography

The silo @… https://mastodon.online/@sjar/115351966099892463

sjar@itsmesjarlie (@sjar@mastodon.online)
Attached: 1 image The transmitter tower of Sint-Pieters-Leeuw, Sint-Pieters-Leeuw, Flemish Brabant, Belgium, Sometimes also called the VRT tower This building is a freestanding concrete tower for radio & television transmission and was built between 1991 and 1994 for the VRT. The concrete tower with mast is 302 meters high, has a diameter of 27 m at the base and 1.3 m at the top and is the tallest structure in Belgium. De Gregorio & Partners was responsible for the architecture. #WindowFrid…

#Algiers

From my lunch walk (this is actually right outside the @… offices)
#Oslo

😶‍🌫️ Generating real-time detailed ground visualisations from sparse aerial point clouds
#3d #xr

Generating real-time detailed ground visualisations from sparse aerial point clouds
Building realistic wide scale outdoor 3D content with sufficient visual quality to observe at walking eye level or from driven vehicles is often carried out by large teams of artists skilled in modelling, texturing, material shading and lighting, which typically leads to both prohibitive costs and reduced accuracy honoring the variety of real world ground truth landscapes. In our proposed method, we define a process to automatically amplify real-world scanned data and render real-time in animat…

A Geometric Method for Base Parameter Analysis in Robot Inertia Identification Based on Projective Geometric Algebra
Guangzhen Sun, Ye Ding, Xiangyang Zhu
https://arxiv.org/abs/2509.02071

A Geometric Method for Base Parameter Analysis in Robot Inertia Identification Based on Projective Geometric Algebra
This paper proposes a novel geometric method for analytically determining the base inertial parameters of robotic systems. The rigid body dynamics is reformulated using projective geometric algebra, leading to a new identification model named ``tetrahedral-point (TP)" model. Based on the rigid body TP model, coefficients in the regresoor matrix of the identification model are derived in closed-form, exhibiting clear geometric interpretations. Building directly from the dynamic model, three foun…

On The Road - To Xi’An 🗿
在路上 - 去西安 🗿
📷 Minolta Hi-Matic AF
🎞️Kentmere Pan 200
#filmphotography #Photography #blackandwhite

if you lost your bright yellow high heeled shoes, they were on the corner of willis and woodward last night after midnight
@…

Hausdorff dimension of double base expansions and binary shifts with a hole
Jian Lu, Wolfgang Steiner, Yuru Zou
https://arxiv.org/abs/2509.04227 https://ar…

Hausdorff dimension of double base expansions and binary shifts with a hole
For two real bases $q_0, q_1 > 1$, a binary sequence $i_1 i_2 \cdots \in \{0,1\}^\infty$ is the $(q_0,q_1)$-expansion of the number \[ π_{q_0,q_1}(i_1 i_2 \cdots) = \sum_{k=1}^\infty \frac{i_k}{q_{i_1} \cdots q_{i_k}}. \] Let $U_{q_0,q_1}$ be the set of all real numbers having a unique $(q_0,q_1)$-expansion. When the bases are equal, i.e., $q_0 = q_1 = q$, Allaart and Kong (2019) established the continuity in $q$ of the Hausdorff dimension of the univoque set $U_{q,q}$, building on the work of…

Channel-Coherence-Adaptive Two-Stage Fully Digital Combining for mmWave MIMO Systems
Yasaman Khorsandmanesh, Emil Bj\"ornson, Joakim Jald\'en, Bengt Lindoff
https://arxiv.org/abs/2508.04214

Channel-Coherence-Adaptive Two-Stage Fully Digital Combining for mmWave MIMO Systems
This paper considers a millimeter-wave wideband point-to-point MIMO system with fully digital transceivers at the base station and the user equipment (UE), focusing on mobile UE scenarios. A main challenge when building a digital UE combining is the large volume of baseband samples to handle. To mitigate computational and hardware complexity, we propose a novel two-stage digital combining scheme at the UE. The first stage reduces the $N_{\text{r}}$ received signals to $N_{\text{c}}$ streams bef…

On The Road - To Xi’An 🏮
在路上 - 去西安 🏮
📷 Minolta Hi-Matic AF
🎞️Kentmere Pan 200
#filmphotography #Photography #blackandwhite

Enriched positive logic
Ji\v{r}\'i Rosick\'y, Giacomo Tendas
https://arxiv.org/abs/2509.20019 https://arxiv.org/pdf/2509.20019

Enriched positive logic
Building on our previous work on enriched regular logic, we introduce an enriched version of positive logic and relate it to enriched cone-injectivity classes and enriched accessible categories. To do this, we need a factorization system on the base of enrichment in order to interpret existential quantification and disjunctions. We will also show how to treat unique existence in enriched logic, and how to relate it to local presentability.

How People Manage Knowledge in their "Second Brains"- A Case Study with Industry Researchers Using Obsidian
Juliana Jansen Ferreira, Vin\'icius Segura, Joana Gabriela Souza, Joao Henrique Gallas Brasil
https://arxiv.org/abs/2509.20187

How People Manage Knowledge in their "Second Brains"- A Case Study with Industry Researchers Using Obsidian
People face overwhelming information during work activities, necessitating effective organization and management strategies. Even in personal lives, individuals must keep, annotate, organize, and retrieve knowledge from daily routines. The collection of records for future reference is known as a personal knowledge base. Note-taking applications are valuable tools for building and maintaining these bases, often called a ''second brain''. This paper presents a case study on how people build and e…

Intellectual Up-streams of Percentage Scale ($ps$) and Percentage Coefficient ($b_p$) -- Effect Size Analysis (Theory Paper 2)
Xinshu Zhao, Qinru Ruby Ju, Piper Liping Liu, Dianshi Moses Li, Luxi Zhang, Jizhou Francis Ye, Song Harris Ao, Ming Milano Li
https://arxiv.org/abs/2507.13695

Intellectual Up-streams of Percentage Scale ($ps$) and Percentage Coefficient ($b_p$) -- Effect Size Analysis (Theory Paper 2)
Percentage thinking, i.e., assessing quantities as parts per hundred, has traveled widely from Roman tax ledgers to modern algorithms. Building on early decimalization by Simon Stevin in La Thiende (1585) and the 19th-century metrication movement that institutionalized base-10 measurement worldwide (Cajori, 1925), this article traces the intellectual trails through which base-10 normalization, especially 0~1 percentage scale. We discuss commonalities between those Wisconsin-Carolina experiments…

Chameleon Channels: Measuring YouTube Accounts Repurposed for Deception and Profit
Alejandro Cuevas, Manoel Horta Ribeiro, Nicolas Christin
https://arxiv.org/abs/2507.16045

Chameleon Channels: Measuring YouTube Accounts Repurposed for Deception and Profit
Online content creators spend significant time and effort building their user base through a long, often arduous process, which requires finding the right ``niche'' to cater to. So, what incentive is there for an established content creator known for cat memes to completely reinvent their page channel and start promoting cryptocurrency services or cover electoral news events? And, if they do, do their existing subscribers not notice? We explore this problem of \textit{repurposed channels}, wher…

Holographic Multi-User Multi-Stream Beamforming Maintaining Rate-Fairness
W. Zhu, H. D. Tuan, E. Dutkiewicz, H. V. Poor, L. Hanzo
https://arxiv.org/abs/2509.16612 https://

Holographic Multi-User Multi-Stream Beamforming Maintaining Rate-Fairness
We present the first investigation into the transmission of multi-stream information from a base station equipped with reconfigurable holographic surfaces (RHS) to multiple users with the aid of multi-antenna arrays. Building upon this, we propose the joint design of RHS and baseband beamformers that enables multi-stream delivery at fair rates across all users. Specifically, we first introduce a max-min rate optimization approach, which aims for maximizing the minimum rate for all users through…

Weird Greco III 🇬🇷
怪异希腊 III 🇬🇷
📷 Nikon FE
🎞️Ilford FP4 Plus, expired 1994
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

A new approach to rational stable parametrized homotopy theory
Yves F\'elix, Aniceto Murillo, Alejandro Saiz
https://arxiv.org/abs/2509.11393 https://a…

A new approach to rational stable parametrized homotopy theory
This work develops a comprehensive algebraic model for rational stable parametrized homotopy theory over arbitrary base spaces. Building on the simplicial analogue of the foundational framework of May-Sigurdsson for parametrized spectra, and the homotopy theory of complete differential graded Lie algebras, we construct an explicit sequence of Quillen equivalences that translate the homotopy theory of rational spectra of retractive simplicial sets into the purely algebraic framework of complete …

A Graph-based Hybrid Beamforming Framework for MIMO Cell-Free ISAC Networks
Yanan Du, Sai Xu, Jagmohan Chauhan
https://arxiv.org/abs/2509.25385 https://arx…

A Graph-based Hybrid Beamforming Framework for MIMO Cell-Free ISAC Networks
This paper develops a graph-based hybrid beamforming framework for multiple-input multiple-output (MIMO) cell-free integrated sensing and communication (ISAC) networks. Specifically, we construct a novel MIMO cell-free ISAC network model. In this model, multiple dual-function base station (BS) transmitters employ distributed hybrid beamforming to enable simultaneous communication and sensing, while maintaining physical separation between the transmitters and the radar receiver. Building on this…

Automatic Network Planning with Digital Radio Twin
Xiaomeng Li, Yuru Zhang, Qiang Liu, Mehmet Can Vuran, Nathan Huynh, Li Zhao, Mizan Rahman, Eren Erman Ozguven
https://arxiv.org/abs/2509.12441

Automatic Network Planning with Digital Radio Twin
Network planning seeks to determine base station parameters that maximize coverage and capacity in cellular networks. However, achieving optimal planning remains challenging due to the diversity of deployment scenarios and the significant simulation-to-reality discrepancy. In this paper, we propose \emph{AutoPlan}, a new automatic network planning framework by leveraging digital radio twin (DRT) techniques. We derive the DRT by finetuning the parameters of building materials to reduce the sim-t…

Formalizing dimensional analysis using the Lean theorem prover
Maxwell P. Bobbin, Colin Jones, John Velkey, Tyler R. Josephson
https://arxiv.org/abs/2509.13142 https://

Formalizing dimensional analysis using the Lean theorem prover
Dimensional analysis is fundamental to the formulation and validation of physical laws, ensuring that equations are dimensionally homogeneous and scientifically meaningful. In this work, we use Lean 4 to formalize the mathematics of dimensional analysis. We define physical dimensions as mappings from base dimensions to exponents, prove that they form an Abelian group under multiplication, and implement derived dimensions and dimensional homogeneity theorems. Building on this foundation, we intr…

Concrete Jungle II 🏗️
水泥丛林 II 🏗️
📷 Pentax MX
🎞️ Ilford HP5 Plus, expired 1993
#filmphotography #Photography #blackandwhite