Our Work

ACGN is the package for all dependencies, data, artifacts for the paper "Typed Flexible-Arity Slotted E-Graphs: A Soundness Construction and an Alloy Case Study".  Measured times: Smoke: 50&ndas…

ACGN is the package for all dependencies, data, artifacts for the paper "Typed Flexible-Arity Slotted E-Graphs: A Soundness Construction and an Alloy Case Study".  Measured times: Smoke: 50–57 seconds 200-file subset: 93 seconds Lean checks: 23 minutes Full reproduction estimate: 3–6 hours; not rerun this pass.

This thesis analyzes the current state of meat production in Uzbekistan, the economic significance of the livestock sector, and the core factors influencing production efficiency. Furthermore, practic…

This thesis analyzes the current state of meat production in Uzbekistan, the economic significance of the livestock sector, and the core factors influencing production efficiency. Furthermore, practical proposals are developed to scale up meat output by consolidating the forage and fodder base, adopting modern intensive technologies, advancing selective breeding practices, and extending financial and structural support to farming enterprises.

This release supports the reproducibility of the companion paper's Stage 1(image classification) result: macro-F1 = 0.9528 on a leakage-controlled,locked test set, across four road damage classes (D00…

This release supports the reproducibility of the companion paper's Stage 1(image classification) result: macro-F1 = 0.9528 on a leakage-controlled,locked test set, across four road damage classes (D00: longitudinal crack,D10: transverse crack, D20: alligator crack, D40: pothole). Contents:- 21,041 cropped road-damage images (one folder per class), extracted from  94 driving sessions and letterbox-resized to preserve their original  aspect ratio- manifest_with_split_v3.csv: full manifest with each image's session,  frame ID, damage class, and its assigned split (train/validation/test)  under a leakage-controlled protocol that checks for session-level,  temporal, and spatial data overlap (a vehicle re-visiting the same  physical road location across different driving sessions)- Trained model weights (PyTorch) for the final classifier: a partially  fine-tuned YOLOv11n-OBB backbone plus a small classification head- Python code to rebuild the leakage-controlled split, train the model,  and evaluate it on the locked test set Ground truth labels were produced by independent human annotation in CVAT,verified to be independent of any object detector's own predictions. Not included: raw driving-session videos and precise GPS trajectories(privacy), and the sensor time-series data used in a separate, negative-result sensor-fusion experiment described in the companion paper. The classification backbone was pretrained separately on the independentIRDD dataset (Taher, 2026, https://doi.org/10.5281/zenodo.21167531); thatdataset contains no overlap with the images released here. See README.md inside this archive for full documentation, exact folderstructure, and step-by-step reproduction instructions.

Project TALOS is an autonomous research intelligence platform powered by deep reinforcement learning (DDDQN), multi-tier LLM orchestration, and the Grey Wolf Optimizer (GWO). It conducts end-to-end sc…

Project TALOS is an autonomous research intelligence platform powered by deep reinforcement learning (DDDQN), multi-tier LLM orchestration, and the Grey Wolf Optimizer (GWO). It conducts end-to-end scientific literature discovery and evaluation across 16 academic APIs.

Public Repository for the Publication 'Distal Chemical Shift Perturbations Reveal That Ligand Induced Reshaping of Protein Conformational Landscapes is Ubiquitous'

We prove a converse to a Bernstein polynomial inequality for $q$-monotone functions. Let $q\ge2$ and $f\in C[0,1]$. If $f$ satisfies the strengthened inequality of Abel, Leviatan, and Raşa for every $…

We prove a converse to a Bernstein polynomial inequality for $q$-monotone functions. Let $q\ge2$ and $f\in C[0,1]$. If $f$ satisfies the strengthened inequality of Abel, Leviatan, and Raşa for every $n\ge1$ and $0\le y<x\le1$, then $f$ is $q$-monotone. This resolves their open problem under continuity alone, removing the smoothness assumptions in their partial converses. Together with the known direct implication, this yields a characterization of $q$-monotonicity in $C[0,1]$ in terms of Bernstein polynomial inequalities.

Ushbu tezisda IX–X asrlarda arab xattotligining rivojlanish jarayoni hamda mashhur xattot Ibn Muqlaning xattotlik san’ati taraqqiyotidagi o‘rni yoritiladi. Unda Ibn Muqlaning arab yo…

Ushbu tezisda IX–X asrlarda arab xattotligining rivojlanish jarayoni hamda mashhur xattot Ibn Muqlaning xattotlik san’ati taraqqiyotidagi o‘rni yoritiladi. Unda Ibn Muqlaning arab yozuvini tartibga solish, harflar nisbatini belgilash va xattotlikning nazariy asoslarini shakllantirish borasidagi xizmatlari tahlil qilinadi. Shuningdek, uning faoliyati va ilmiy-nazariy qarashlarining keyingi xattotlik maktablari rivojiga ta’siri ko‘rib chiqiladi.

Supplementary material for a manuscript under peer review at Information Development (Sage). Part A reports the provision-level coding matrix for a corpus of 39 Vietnamese legal and policy instruments…

Supplementary material for a manuscript under peer review at Information Development (Sage). Part A reports the provision-level coding matrix for a corpus of 39 Vietnamese legal and policy instruments (2000–2026), giving for each instrument its status, the provisions that reached classification, the outcome of the three coding conditions and the resulting classification. Part B reproduces the interview guide used for 21 semi-structured interviews. Author and affiliation details are withheld while the manuscript is under double-anonymised review and will be added to this record on acceptance. Note: in Part B, "Table 2 of the article" refers to Table 3 of the revised manuscript.

 Maqolada XVI asrda Movarounnahrda hukm surgan Shayboniylar sulolasi hokimiyatining shakllanishi va mustahkamlanishida diniy ulamolar, tasavvuf shayxlari hamda shariat peshvolarining tutgan o'rni…

 Maqolada XVI asrda Movarounnahrda hukm surgan Shayboniylar sulolasi hokimiyatining shakllanishi va mustahkamlanishida diniy ulamolar, tasavvuf shayxlari hamda shariat peshvolarining tutgan o'rni tahlil qilinadi. Tadqiqot yozma manbalar va o'zbek, rus hamda xorijiy tarixshunoslik adabiyotlarini qiyosiy o'rganishga asoslangan. Ulamolarning hukmdorlarga diniy legitimlik berishi, siyosiy mafkurani shakllantirishi, vaqf muassasalari orqali iqtisodiy tayanch yaratishi va tashqi siyosatda g'oyaviy asos taqdim etishi ochib beriladi.

Conjunto de dados brutos, matrizes de extração sistemática (estudos S001 a S011) e rotinas analíticas em Python desenvolvidas no âmbito da tese de doutoramento sobre …

Conjunto de dados brutos, matrizes de extração sistemática (estudos S001 a S011) e rotinas analíticas em Python desenvolvidas no âmbito da tese de doutoramento sobre governança de dados em saúde, Planos de Gestão de Dados (DMP) e princípios FAIR no PPGICS/ICICT/Fiocruz.