Expertini Research Research

Browse Research Papers

157,829+ open-access research outputs.

✕ Clear
🔍 program development 📄 Preprint
Showing 157829 results for "program development" · Preprint
Physics Preprint PDF DOI

The SVOM mission, its profile and its system

B. Cordier, J. Y. Wei, S. N. Zhang, S. Basa, J. -L. Atteia, A. Claret, A. Coleiro, F. Daigne, N. Dagoneau, J. S. Deng, Y. W. Dong, O. Godet, D. Gotz, X. H. Han, C. Lachaud, E. W. Liang, F. Piron, Y. L. Qiu, S. Schanne, D. Turpin, S. D. Vergani, J. Wang, C. Wu, L. P. Xin, B. Zhang, M. Bai, S. Crepaldi, K. Feng, F. Gonzalez, M. Huang, D. Li, Y. Liu, H. Louvin, K. Mercier, J. Jaubert, R. Sun, M. Y. Wei, X. F. Zhang, Y. Zhang, the SVOM collaboration · 2026

The SVOM (Space-based Variable Objects Monitor) mission, launched into low Earth orbit on 22 June 2024, is a French-Chinese multi-wavelength observatory dedicated to the study of the transient sky. In…

Read Paper →
Physics Preprint PDF DOI

SVOM Science User Support at FSC

A. Claret, D. Turpin, C. Moreau, J.-C. Thome, T. Sadibekova, F. Daigne, B. Cordier, F. Agneray, M. Brunet, N. Dagoneau, A. Formica, O. Godet, D. Gotz, H. Louvin, J. Palmerio, F. Piron, J. Rodriguez, T. Roland, K. Tazhenova · 2026

The SVOM mission, a Sino-French collaboration dedicated to Gamma-Ray Bursts (GRBs) and transient sources, began scientific operations in 2025. This paper describes the ground computing infrastructure …

Read Paper →
Physics Preprint PDF DOI

The SVOM French Science Center Infrastructure

H. Louvin, D. Corre, A. Formica, L. Jouvin, K. Tazhenova, T. Sadibekova, J. Palmerio, N. Dagoneau, A. Sauvageon, A. Claret, F. Agneray, C. Moreau, T. Fenouillet, Y. Roehlly, J-C. Thome, L. Michel, P. Maggi, L. Kleiver, P. Maeght, U. Jacob, F. Piron, P. Bacon, N. Bellemont, C. Cavet, F. Daigne, F. Lacreu, G. Tcherniatinsky, J. Wang, Y. Canton, I. Jegouzo, N. Leroy, S. Du, S. Lion, R. Le Montagner, C. Van Hove, J. Alaux, M. Boiziot, T. Auphan · 2026

At the heart of the SVOM French ground segment, the French Science Center is a cloud-based platform which provides services and tools for the management, storage, scientific processing and visualizati…

Read Paper →
Physics Preprint PDF DOI

SVOM Science User Support Services at Chinese Science Center

Xu-hui Han, Li-ping Xin, Jing Wang, Yu-jie Xiao, Pin-pin Zhang, Ruo-song Zhang, Hong-bo Cai, Hui-jun Chen, Jin-song Deng, Wen-long Dong, Lei Huang, Lin Lan, Hua-li Li, Guang-wei Li, Xiao-meng Lu, Yu-lei Qiu, Chao Wu, Wen-jin Xie, Da-wei Xu, Jing-ran Xu, Yang Xu, Zhu-heng Yao, Mo Zhang, Xue-ying Zhao, Wei-kang Zheng, Ya-tong Zheng, Xiao-xiao Zhou, Jian-yan Wei · 2026

The Chinese-French SVOM (Space-based Multi-band Astronomical Variable Objects Monitor) mission is dedicated to the study of gamma-ray bursts (GRBs) from the distant universe. A key component of the SV…

Read Paper →
Physics Preprint PDF DOI

Nitrogen doping induced metal-insulator transition with iso-symmetric character in rutile VO2

Baichen Lin, Shanquan Chen, Yubo Zhang, Yangyang Si, Haoliang Huang, Chuanrui Huo, Frans Munnik, Yongqi Dong, Lu You, Jian Shao, Yu-Chieh Ku, Nguyen Nhat Quyen, Aryan Keshri, Zhenlin Luo, Weiwei Zhao, Chun-Fu Chang, Chih-Wei Luo, Sujit Das, Shiqing Deng, Chang-Yang Kuo, Zuhuang Chen · 2026

Metal-insulator transitions (MITs) in correlated oxides offer immense potential for next-generation Mottronic devices. However, their integration into practical applications is often hindered by the c…

Read Paper →
AI & Data Science Preprint PDF DOI

Graph-augmented Segmentation of Complex Shapes in Laser Powder bed Fusion for Enhanced In Situ Inspection

Stefano Raimondo, Matteo Bugatti, Marco Grasso (Department of Mechanical Engineering, Politecnico di Milano, Milan, Italy) · 2026

The technological maturity of in situ inspection and monitoring methods in additive manufacturing is steadily increasing, enabling more efficient and practical qualification procedures. In this contex…

Read Paper →
Computer Science Preprint PDF DOI

Mapping Emerging Climate Misinformation Playbooks in the Global South

Marcelo Sartori Locatelli, Wenchao Dong, Pedro Loures Alzamora, Pedro Dutenhefner, Wagner Meira Jr., Meeyoung Cha, Virgilio Almeida · 2026

Climate misinformation continues to erode support for climate action, a challenge that is especially acute in the Global South, where high climate vulnerability intersects with development pressures. …

Read Paper →
Computer Science Preprint PDF DOI

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation

Yifan Zhang, Jianmin Ye, Jiahao Yang, Xi Wang · 2026

As the complexity of System-on-Chip (SoC) designs grows, the shift-left paradigm necessitates the rapid development of high-fidelity reference models (typically written in SystemC) for early architect…

Read Paper →
Physics Preprint PDF DOI

The SOXS Spectrograph Instrument Control Software

Davide Ricci, Bernardo Salasnich, Andrea Baruffolo, Jani Achren, Matteo Aliverti, Jose A. Araiza-Duran, Iair Arcavi, Laura Asquini, Federico Battaini, Sagi Ben-Ami, Alex Bichkovsky, Anna Brucalassi, Rachel Bruch, Lorenzo Cabona, Sergio Campana, Giulio Capasso, Enrico Cappellaro, Riccardo Claudi, Mirko Colapietro, Rosario Cosentino, Francesco D'Alessio, Paolo D'Avanzo, Sergio D'Orsi, Massimo Della Valle, Rosario Di Benedetto, Simone Di Filippo, Avishay Gal-Yam, Matteo Genoni, Marcos Hernandez Diaz, Ofir Hershko, Jari Kotilainen, Hanindyo Kuncarayakti, Marco Landoni, Gianluca Li Causi, Laurent Marty, Seppo Mattila, Matteo Munari, Luca Oggioni, Hector Perez Ventura, Giorgio Pariani, Giuliano Pignata, Kalyan Kumar Radhakrishnan Santhakumari, Stephen Smartt, Michael Rappaport, Marco Riva, Adam Rubin, Salvatore Savarese, Pietro Schipani, Salvatore Scuderi, Maximilian Stritzinger, Fabrizio Vitali, David Young, Ricardo Zanmar Sanchez, Gerard Zins · 2026

SOXS (Son Of X-Shooter) is a new spectrograph for the European Southern Observatory (ESO), recently installed at the New Technology Telescope (NTT) at the La Silla Observatory, Chile. The main instrum…

Read Paper →
Computer Science Preprint PDF DOI

Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis

Jiahong Xiang, Xiaoyang Xu, Xiaopan Chu, Hongliang Tian, Yuqun Zhang · 2026

Autonomous agents for automated program repair represent a promising frontier in software engineering, yet their effectiveness is often hindered by reliance on post-mortem, coarse-grained execution fe…

Read Paper →
Computer Science Preprint PDF DOI

ZFLean: a framework for set-level mathematics in Lean

Vincent Trelat · 2026

We present ZFLean, a Lean 4 library for doing core mathematics inside a model of ZFC with the ergonomics expected of typed Mathlib developments. Building on Mathlib's ZFC model, we contribute a relati…

Read Paper →
Mathematics Preprint PDF DOI

A Bornological Perspective on the Representability of Derived Moduli Stacks of Solutions to PDEs

Rhiannon Savage · 2026

Proving representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations generally requires significant analytic machinery. In this paper, we instead show t…

Read Paper →
Computer Science Preprint PDF DOI

The Ethical Knowledge Gap: Dispersed Knowledge, Sensemaking Failures, and Epistemic Dependence

Jan Gogoll · 2026

Ethical software development remains stubbornly difficult despite two decades of normative frameworks, professional codes, and participatory methodologies. This paper offers a diagnostic rather than p…

Read Paper →
Computer Science Preprint PDF DOI

The Alignment Target Problem: Divergent Moral Judgments of Humans, AI Systems, and Their Designers

Benjamin Minhao Chen, Xinyu Xie · 2026

The quest to align machine behavior with human values raises fundamental questions about the moral frameworks that should govern AI decision-making. Much alignment research assumes that the appropriat…

Read Paper →
AI & Data Science Preprint PDF DOI

Nautile-370M: Spectral Memory Meets Attention in a Small Reasoning Model

Maixent Chenebaux · 2026

We present Nautile-370M, a 371-million-parameter small language model designed for efficient reasoning under strict parameter and inference budgets. Nautile-370M uses a hybrid backbone in which two Se…

Read Paper →
Computer Science Preprint PDF DOI

New Convex Programming Technique for Nash Social Welfare and Scheduling

Yuda Feng, Weijiang Hu, Shi Li · 2026

We propose a new convex programming relaxation for the weighted Nash social welfare (NSW) problem that achieves a matching $(e^{1/e}\approx 1.445)$-approximation via the rounding algorithm of Feng and…

Read Paper →
AI & Data Science Preprint PDF DOI

minAction.net: Energy-First Neural Architecture Design -- From Biological Principles to Systematic Validation

Martin G. Frasch · 2026

Modern machine learning optimizes for accuracy without explicit treatment of internal computational cost, even though physical and biological systems operate under intrinsic energy constraints. We eva…

Read Paper →
Computer Science Preprint PDF DOI

Dynamic Grammar-Compressed Self-Index in $\delta$-Optimal Space

Takaaki Nishimoto, Yasuo Tabei · 2026

A compressed self-index stores a string in compressed form while supporting locate queries without decompression. For highly repetitive strings (arising in web crawls, versioned documents, and genomic…

Read Paper →
AI & Data Science Preprint PDF DOI

PeeriScope: A Multi-Faceted Framework for Evaluating Peer Review Quality

Sajad Ebrahimi, Soroush Sadeghian, Ali Ghorbanpour, Negar Arabzadeh, Sara Salamat, Seyed Mohammad Hosseini, Hai Son Le, Mahdi Bashari, Ebrahim Bagheri · 2026

The increasing scale and variability of peer review in scholarly venues has created an urgent need for systematic, interpretable, and extensible tools to assess review quality. We present PeeriScope, …

Read Paper →
AI & Data Science Preprint PDF DOI

QEVA: A Reference-Free Evaluation Metric for Narrative Video Summarization with Multimodal Question Answering

Woojun Jung, Junyeong Kim · 2026

Video-to-text summarization remains underexplored in terms of comprehensive evaluation methods. Traditional n-gram overlap-based metrics and recent large language model (LLM)-based approaches depend h…

Read Paper →
← Prev Page 14 of 7892 Next →