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

31546 ta kitob topildi

WebTestBench: Evaluating Computer-Use Agents towards End-to-End Automated Web Testing

Fanheng Kong, Jingyuan Zhang, Yang Yue, Chenxi Sun, Yang Tian, Shi Feng, Xiaocui Yang, Daling Wang, Yu Tian, Jun Du, Wenchong Zeng, Han Li, Kun Gai

PDF4.4 MB
Matematika va axborot texnologiyalariDasturlash
0024 bet
O'qish

Quantum optimisation in cities: Limitations and prospects of urban transport systems

Junxiang Xu, Chence Niu, Divya Jayakumar Nair, Vinayak Dixit

PDF457.5 KB
Matematika va axborot texnologiyalari
0021 bet
O'qish
Operating Systems and Infrastructure in Data Science

Operating Systems and Infrastructure in Data Science

Josef Spillner

PDF1.7 MB
Matematika va axborot texnologiyalari
00172 bet
O'qish

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 texnologiyalariKiberxavfsizlik asoslari
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 texnologiyalariDasturlash
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 texnologiyalariTabiiy tilni qayta ishlash
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 texnologiyalariTabiiy tilni qayta ishlash
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 texnologiyalariKiberxavfsizlik asoslari
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 texnologiyalariDasturlash
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 texnologiyalariNeyron tarmoqlari va chuqur o'qitish
007 bet
O'qish
1234567