Oct 2026· Zenodo (CERN European Organization for Nuclear Research)
Historical Astronomy and Related Studies
Abstract
Marian Protocol v1.0 is an open, machine-readable and independently testable civil calendar specification designed for sustained human settlement on Mars. It defines a complete operational framework for Martian dates, calendar arithmetic, interoperability and software implementation. Marian uses 12 months comprising 24 minths, with 668- and 669-sol years governed by a deterministic intercalation rule. Its civil-week architecture deliberately permits shortened terminal weeks, maintaining regular month and minth boundaries without omitting any physical sol. The protocol distinguishes the continuous passage of time from the civil calendar used to organise settlement life. This normative release includes: The complete Marian Protocol v1.0 technical specification. Calendar arithmetic, date representation and machine-readable conventions. Python and JavaScript reference implementations. Conformance datasets, test fixtures and independent verification tools. Governance, provenance, licensing and implementation documentation. Three explanatory technical companions covering the protocol, evidence and prior art, and comparison with the Darian calendar. The release contains 86 files, corresponding exactly to commit 19ce1850b66b34ea76dc09296d8b4d95133737fc in the public Marian GitHub repository. The calendar's computational rules have undergone automated conformance testing, including a 66,859-sol century-scale validation. Independent high-precision SPICE verification remains outstanding, and the future settlement-era founding epoch has not yet been instantiated. No institutional adoption or official Martian calendar designation is claimed. Licensing: Original technical documentation and data are provided under Creative Commons Attribution 4.0 (CC BY 4.0), while original reference implementations and testing software are provided under Apache License 2.0. Individual file licensing and third-party exclusions are documented within the archive. This release is distinct from the previously published Marian research preprint (DOI: 10.5281/zenodo.22687143) and computational reproducibility package (DOI: 10.5281/zenodo.22686413). The separately published illustrated book, Marian: An Operating Calendar for Human Mars, by JB Bullock, is available at https://iamjbcom.github.io/marian/. The book and its illustrations remain separately copyrighted and are not included in this technical archive. Author: Jonathan Bullock, Independent Researcher, Hertfordshire, United Kingdom. ORCID: 0009-0009-2044-5043 Version: 1.0
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.
O. Salo, P. Abrahamsson· IET Software· 238 citations· ⚡9
Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.
D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al.· Journal of Systems and Softw...· 236 citations· ⚡13
The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.
P. Abrahamsson, Antti Hanhineva, H. Hulkko et al.· Conference on Object-Oriente...· 225 citations· ⚡18
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.
MIT News · Artificial Intelligence· news.mit.eduOct 6, 2026
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.