Intelligent Histology for Tumor Neurosurgery
Authors:
Xinhai Hou,
Akhil Kondepudi,
Cheng Jiang,
Yiwei Lyu,
Samir Harake,
Asadur Chowdury,
Anna-Katharina Meißner,
Volker Neuschmelting,
David Reinecke,
Gina Furtjes,
Georg Widhalm,
Lisa Irina Koerner,
Jakob Straehle,
Nicolas Neidert,
Pierre Scheffler,
Juergen Beck,
Michael Ivan,
Ashish Shah,
Aditya Pandey,
Sandra Camelo-Piragua,
Dieter Henrik Heiland,
Oliver Schnell,
Chris Freudiger,
Jacob Young,
Melike Pekmezci
, et al. (5 additional authors not shown)
Abstract:
The importance of rapid and accurate histologic analysis of surgical tissue in the operating room has been recognized for over a century. Our standard-of-care intraoperative pathology workflow is based on light microscopy and H\&E histology, which is slow, resource-intensive, and lacks real-time digital imaging capabilities. Here, we present an emerging and innovative method for intraoperative his…
▽ More
The importance of rapid and accurate histologic analysis of surgical tissue in the operating room has been recognized for over a century. Our standard-of-care intraoperative pathology workflow is based on light microscopy and H\&E histology, which is slow, resource-intensive, and lacks real-time digital imaging capabilities. Here, we present an emerging and innovative method for intraoperative histologic analysis, called Intelligent Histology, that integrates artificial intelligence (AI) with stimulated Raman histology (SRH). SRH is a rapid, label-free, digital imaging method for real-time microscopic tumor tissue analysis. SRH generates high-resolution digital images of surgical specimens within seconds, enabling AI-driven tumor histologic analysis, molecular classification, and tumor infiltration detection. We review the scientific background, clinical translation, and future applications of intelligent histology in tumor neurosurgery. We focus on the major scientific and clinical studies that have demonstrated the transformative potential of intelligent histology across multiple neurosurgical specialties, including neurosurgical oncology, skull base, spine oncology, pediatric tumors, and periperal nerve tumors. Future directions include the development of AI foundation models through multi-institutional datasets, incorporating clinical and radiologic data for multimodal learning, and predicting patient outcomes. Intelligent histology represents a transformative intraoperative workflow that can reinvent real-time tumor analysis for 21st century neurosurgery.
△ Less
Submitted 2 July, 2025;
originally announced July 2025.
Constructible Graphs and Pursuit
Authors:
Maria-Romina Ivan,
Imre Leader,
Mark Walters
Abstract:
A (finite or infinite) graph is called constructible if it may be obtained recursively from the one-point graph by repeatedly adding dominated vertices. In the finite case, the constructible graphs are precisely the cop-win graphs, but for infinite graphs the situation is not well understood. One of our aims in this paper is to give a graph that is cop-win but not constructible. This is the first…
▽ More
A (finite or infinite) graph is called constructible if it may be obtained recursively from the one-point graph by repeatedly adding dominated vertices. In the finite case, the constructible graphs are precisely the cop-win graphs, but for infinite graphs the situation is not well understood. One of our aims in this paper is to give a graph that is cop-win but not constructible. This is the first known such example. We also show that every countable ordinal arises as the rank of some constructible graph, answering a question of Evron, Solomon and Stahl. In addition, we give a finite constructible graph for which there is no construction order whose associated domination map is a homomorphism, answering a question of Chastand, Laviolette and Polat. Lehner showed that every constructible graph is a weak cop win (meaning that the cop can eventually force the robber out of any finite set). Our other main aim is to investigate how this notion relates to the notion of `locally constructible' (every finite graph is contained in a finite constructible subgraph). We show that, under mild extra conditions, every locally constructible graph is a weak cop win. But we also give an example to show that, in general, a locally constructible graph need not be a weak cop win. Surprisingly, this graph may even be chosen to be locally finite. We also give some open problems.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
Programs in C++ for matrix computations in min plus algebra
Authors:
Mihai Ivan,
Gheorghe Ivan
Abstract:
The main purpose of this paper is to propose six programs in C++ for matrix computations and solving recurrent equations systems with entries in min plus algebra.
The main purpose of this paper is to propose six programs in C++ for matrix computations and solving recurrent equations systems with entries in min plus algebra.
△ Less
Submitted 24 June, 2013;
originally announced June 2013.
Sample programs in C++ for matrix computations in max plus algebra
Authors:
Mihai Ivan,
Gheorghe Ivan
Abstract:
The main purpose of this paper is to propose five programs in C++ for matrix computations and solving recurrent equations systems with entries in max plus algebra.
The main purpose of this paper is to propose five programs in C++ for matrix computations and solving recurrent equations systems with entries in max plus algebra.
△ Less
Submitted 17 May, 2012;
originally announced May 2012.
