Our Work

Most of our work has resulted in scholarly publications. On this page you can review our publications to get an idea about our work.

Law and Order: Tax Law Autoformalization

October, 2026 • Preprint
Han, Sophia, Takashima, Yoshiki, Anjiang, Wei, Zhaoyu, Liu, Genesereth, Michael

imap_processing

October, 2026 • Software
IMAP Science Data Center Developers

The Interstellar Mapping and Acceleration Probe (IMAP) is a project aimed at studying the interstellar medium and investigating the acceleration mechanisms of particles within our galaxy. IMAP utilize…

Interstellar Mapping and Acceleration Probe (IMAP)LASPNASAScience Operations Center (SOC)Science Data Center (SDC)

Datos de validación experimental de una aplicación móvil de navegación interior basada en BLE y asistencia auditiva

October, 2026 • Dataset
Orendo, Salazar

Elements of Linear Algebra, Differential and Integral Calculus

October, 2026 • Book
Matzakos, Nikolaos

A first-year university textbook that develops linear algebra and differential and integral calculus as a single course, written for students of engineering and the sciences. No previous knowledge of …

calculusdifferential calculusintegral calculusengineering mathematicsundergraduate textbook

Marie Curie e os caminhos da ciência experimental

October, 2026 • Book
BORTOLOTTI, Mônica Aparecida, GOMES, Samantha Nascimento

 Livro temático em homenagem a Marie Curie, reunindo pesquisas que discutem sua contribuição para o desenvolvimento da ciência experimental e seus impactos na fí…

OʻZBEKISTON FOND BOZORIDA AKSIYALARNING SHARTLI OʻZGARUVCHANLIGI VA PASAYISH RISKINI GARCH–MONTE-KARLO USULIDA BAHOLASH

October, 2026 • Dataset
Raximov Abduxalil Toshbotirovich

Oʻzbekiston Respublikasi Prezidentining 2021-yil 13-apreldagi PF-6207-son Farmoni bilan erkin muomaladagi qimmatli qogʻozlar hajmini yalpi ichki mahsulotning kamida 5 foiziga yetkazish hamda yirik ban…

FACTOR: a framework for formulating systematic review questions in economics and the social sciences, adapted from PICOC and CIMO

October, 2026 • Working paper
Restrepo-Morales, Jorge Aníbal

FACTOR is a framework for formulating systematic review questions in economics and the social sciences. It adapts PICOC and the CIMO logic of Denyer, Tranfield and van Aken (2008) to observational evi…

systematic reviewreview protocolPICOCCIMOPRISMA 2020

CliMA/ClimaCore.jl: v1.0.3

October, 2026 • Software
Charles Kawczynski, Simon Byrne, Gabriele Bozzola, Valeria Barra, Sriharsha Kandala et al.

ClimaCore v1.0.3 Diff since v1.0.2 📢 API Changes: 🚀 Features 📑 Documentation 🐛 Fixes

QADIMGI BAQTRIYA VA KUSHONLAR DAVRI E'TIQODLARIDA ZOOMORFIK OBRAZLAR SEMANTIKASI: TERMIZ ARXEOLOGIYA MUZEYIDAGI CHAYON RELEYEFLI STATUETKA TAHLILI

October, 2026 • Journal article
Odilov Odiljon, B. Salimov

Mazkur maqolada Qadimgi Baqtriya va Kushonlar davri e’tiqodlari tizimida zoomorfik obrazlarning semantik mazmuni, ularning diniy-mifologik qarashlar hamda marosimiy amaliyotlardagi o‘rni t…

HighFEM-2 pretrained weights

October, 2026 • Model
Dirmeier, Simon, Palgunadi, Kadek Hendrawan

Pretrained weights of HighFEM-2, a generative waveform model that synthesises broadband three-component ground-motion records from a low-frequency conditioning waveform and source and site metadata. C…

On Losses, Pauses, Jumps and the Wideband E-Model – IEEE Xplore Document

There is an increasing interest in upgrading the EModel, a parametric tool for speech quality estimation, to the wideband and super-wideband contexts. The

NUAV – a testbed for developing autonomous Unmanned Aerial Vehicles – IEEE Xplore Document

Contemporary models of Unmanned Aerial Vehicles (UAVs) are largely developed using simulators. In a typical scheme, a flight simulator is dovetailed with a

NUAV – a testbed for developing autonomous Unmanned Aerial Vehicles

 

Simulators as Drivers of Cutting Edge Research – IEEE Xplore Document

Undertaking engineering research can be compounding for beginning graduate students and thwarting even for seasoned researchers. With a wealth of academic

Simulators as Drivers of Cutting Edge Research

Evolutionary speech quality estimation in VoIP

A Methodology for Deriving VoIP Equipment Impairment Factors for a Mixed NB/WB Context

Real-Time, Non-intrusive Speech Quality Estimation: A Signal-Based Mod
Real-Time, Non-intrusive Evaluation of VoIP

VoIP speech quality estimation in a mixed context with genetic programming

An Evolutionary Approach to Speech Quality Estimation

Real-Time Non-Intrusive VoIP Evaluation Using Second Generation Network Processor

Non-intrusive quality evaluation of VoIP using genetic programming

 

Photo by Hackley Public Library

Leave a Reply

Your email address will not be published. Required fields are marked *