Planetary formation theories aim to explain how planets form from the proto-planetary disk through processes such as classical hierarchical growth or pebble accretion. Comets are considered primitive remnants of this early phase, bodies that never coalesced into planets and now reside in the Oort Cloud and Kuiper Belt. Investigating their internal structure provides crucial tests for competing formation models. Previous in-situ missions have used infrared (IR) spectroscopy, ground-penetrating radar and other non-optical techniques to study cometary nuclei. While radar probes below the surface but with low resolution, IR offers finer detail but limited penetration. Terahertz time-domain spectroscopy (THz-TDS) provides a promising middle ground, achieving centimeter-scale depth with millimeter-scale resolution. We are assessing the suitability of THz-TDS for in-situ cometary exploration using COCoNuT (Characteristic Observation of Cometary Nuclei using THz-spectroscopy), a laboratory setup that simulates cometary conditions in a thermal vacuum chamber and houses a commercial THz spectrometer. Using comet analogs, we perform proof-of-concept experiments to evaluate the technique’s ability to resolve subsurface structures. In particular, we demonstrate the potential to detect icy pebbles beneath a dust layer. The presence–or absence–of such pebbles might well challenge the pebble accretion paradigm. Plain Language Summary Planets are thought to form from disks of gas and dust around young stars, but scientists still debate how this process works. Two ideas exist: planets may grow as small particles collide and stick together, or they may grow rapidly by collecting pebble-sized icy particles. Comets are useful for testing these ideas because they are leftover building blocks from the early Solar System that have remained largely unchanged for billions of years. Looking inside comets can provide clues about how planets formed. Space missions have already studied comet surfaces using radar and infrared light, but each method has limitations. Radar can see deeper below the surface but with poor detail, while infrared light provides sharp detail but cannot penetrate far. In this study, we explore a different technique called terahertz time-domain spectroscopy, which can probe a few centimeters below the surface while still resolving small features. –2– We tested this method in the laboratory using artificial comet materials under spacelike conditions. Our experiments show that this technique can detect centimeter scale icy pebbles hidden beneath a millimeter thick dust surface. Finding such pebbles inside real comets would support certain planet formation theories and help scientists better understand how planets like Earth came to exist.
Supporting data, adapters, predictions and code for the article *Low-Cost LoRA Fine-Tuning of Small Language Models for Multi-Step Arithmetic Reasoning* by Jake O'Grady, Asena Isik Gürhan, Chee Fong Ting and Effirul Ramlan (University of Galway). We generated 20,000 GSM8K-derived arithmetic problems with step-by-step s...
O'Grady, Jake, Gürhan, Asena Isik, Chee, Fong Ting et al.· Zenodo (CERN European Organi...· 465 citations
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
Related blog posts
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.