Sep 2026· Diving and Hyperbaric Medicine Journal· Vol 56, pp. 237-244
Cardiovascular and Diving-Related Complications
Abstract
Introduction: This study developed a mathematical model capable of accurately estimating inert gas tension within human tissues under continuously changing ambient pressure. Methods: Based on Haldane's decompression theory and a multi-tissue model, and grounded in the principle that the rate of gas diffusion is proportional to the pressure gradient, a differential equation was derived and solved. Analytical solutions were obtained for four prototypical ambient pressure patterns: constant pressure, exponential compression, linear compression, and linear decompression. The model's validity was confirmed by comparison with the piecewise approximation method using a sufficiently small step interval. Results: The model allows precise calculation of theoretical tissue inert gas tension at any given time. In air-breathing fast buoyant ascents, for fast tissues with half-times of 30 s and 80 s, the inert gas tensions calculated using the conventional method (374 kPa and 233 kPa) were notably higher than those obtained via the proposed model (331 kPa and 217 kPa), with a maximum difference of 13%. The proposed model closely matched the piecewise method (1 s interval), differing by only 1 kPa. For tissue half-times exceeding 5 min, all three methods produced similar results. In a standard air diving decompression schedule, both the proposed and conventional methods yielded initial decompression stop depths rounded to 18 m, showing no significant difference. Conclusions: The model demonstrates clear advantages for fast tissues, and under varying ambient pressures, establishes a theoretical foundation for the dynamic prediction of tissue inert gas tension across diverse diving scenarios. It can be utilised in safety assessments of fast buoyant ascent, offering substantial theoretical relevance and practical applicability.
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al.· Journal of Systems and Softw...· 78 citations· ⚡6
The application of agile software methods and more recently the integration of Lean practices contribute to the trend of continuous improvement in the software industry. One such area warranting proper empirical evidence is a project’s operational efficiency when using the Kanban method. This short paper takes a new an...
Marko Ikonen, Petri Kettunen, Nilay V. Oza et al.· EUROMICRO Conference on Soft...· 67 citations· ⚡9
Learn how Google DeepMind and GovTech Singapore uses lightweight on-device Gemma models to intercept conversational scams in private chats with zero cloud data egress.
Microsoft Research Blog· microsoft.comOct 12, 2026
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.