Kutubxona
Bosh sahifaKatalogVideolarBlogHaqidaQo'llanmaUnilibrary
Kutubxona

Oriental Universitetining elektron kutubxona platformasi. Barcha fanlar bo'yicha kitoblar bir joyda.

Sahifalar

Bosh sahifaKatalogBlogHaqidaQo'llanmaLitsenziyalarKirishRo'yxatdan o'tish

Bog'lanish

info@orientaluniversity.uz
+998 78 113 76 86
@oriental_kutubxona

© 2026 Oriental Universiteti. Barcha huquqlar himoyalangan.

Katalog

5570 ta kitob topildi

Tug-of-War within A Decade: Conflict Resolution in Vulnerability Analysis via Teacher-Guided Retrieval-Augmented Generations

Ziyin Zhou, Jianyi Zhang, Xu ji, Yilong Li, Jiameng Han, Zhangchi Zhao

PDF988.7 KB
Matematika va axborot texnologiyalari
0010 bet
O'qish

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification

Lezhi Ma, Shangqing Liu, Yi Li, Qiong Wu, Han Wang, Lei Bu

PDF1.6 MB
Matematika va axborot texnologiyalari
0023 bet
O'qish

The moduli space of Higgs pairs

Jun Sasaki

PDF337.5 KB
Matematika va axborot texnologiyalari
0025 bet
O'qish

Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy

Yihong Dong, Jianha Xiao, Xue Jiang, Xuyuan Guo, Zhiyuan Fan, Jiaru Qian, Kechi Zhang, Jia Li, Zhi Jin, Ge Li

PDF929.7 KB
Matematika va axborot texnologiyalari
0022 bet
O'qish

EcoThink: A Green Adaptive Inference Framework for Sustainable and Accessible Agents

Linxiao Li, Zhixiang Lu

PDF1.3 MB
Matematika va axborot texnologiyalari
0011 bet
O'qish

An Approach to Generate Attack Graphs with a Case Study on Siemens PCS7 Blueprint for Water Treatment Plants

Lucas Miranda, Carlos Banjar, Daniel Menasche, Anton Kocheturov, Gaurav Srivastava, Tobias Limmer

PDF515.6 KB
Matematika va axborot texnologiyalari
005 bet
O'qish

Multiple positive solutions with prescribed masses for a coupled Schrödinger system: mass mixed and Sobolev critical coupled case

Qing Guo, Qihan He, Wei Shuai, Xuexiu Zhong

PDF686.8 KB
Matematika va axborot texnologiyalari
0045 bet
O'qish

DryRUN: On the Role of Public Tests in LLM-Driven Code Generation

Kaushitha Silva, Srinath Perera

PDF604.9 KB
Matematika va axborot texnologiyalari
009 bet
O'qish

Generative AI for Video Trailer Synthesis: From Extractive Heuristics to Autoregressive Creativity

Abhishek Dharmaratnakar, Srivaths Ranganathan, Debanshu Das, Anushree Sinha

PDF7.1 MB
Matematika va axborot texnologiyalari
007 bet
O'qish

We Need Granular Sharing of De-Identified Data-But Will Patients Engage? Investigating Health System Leaders' and Patients' Perspectives on A Patient-Controlled Data-Sharing Platform

Xi Lu, Di Hu, An T. Nguyen, Brad Morse, Lisa M. Schilling, Kai Zheng, Michelle S. Keller, Lucila Ohno-Machado, Yunan Chen

PDF6 MB
Matematika va axborot texnologiyalari
0033 bet
O'qish

Second gonality of smooth aCM curves on quartic surfaces in $\mathbb{P}^3$

Kenta Watanabe

PDF278.8 KB
Matematika va axborot texnologiyalari
0019 bet
O'qish
Science Data Booklet

Science Data Booklet

Manjunath.R

PDF3.7 MB
Matematika va axborot texnologiyalari
00583 bet
O'qish
1234567