Armenia

  1. Home
  2. search page
  3. country

Armenia

주요파트: Verification

주요 키워드: #computing #wireless #algorithmic
주요 기관: #Russian-Armenian University 0051 Yerevan Republic of Armenia
주요 저자: #R. Sargsyan #R. Sahakyan #E. Gazazyan #S. Sargsyan #H. Astsatryan

📄 국가 상세정보

출판수15
총 인용수44
평균 인용수2.93
기관 수17
저자 수24
좋아요 수0
연도별 출판 논문
파트별 논문
국가 키워드
공동 국가 관계도

국가별 논문 목록 (15건)

Evaluation of Differential Equation Solutions through Traditional Techniques and Neural Networks in Quantum Simulations
저자: R. Sargsyan , R. Sahakyan , E. Gazazyan , Sh. Sargsyan , S. Sargsyan , H. Astsatryan
키워드: #neural #algorithms #computing #mathematical #conducting
파트: Artificial Intelligence | 연도: 2024
Ethics of sleep tracking: techno-ethical particularities of consumer-led sleep-tracking with a focus on medicalization, vulnerability, and relationality
저자: Regina Müller , Eva Kuhn , Robert Ranisch , Jonathan Hunger , Nadia Primc
키워드: #mobile #apps #smartphones #sleeping #sleep
파트: Infrastructure | 연도: 2023
Content caching in mobile edge computing: a survey
저자: Yasar Khan , Saad Mustafa , Raja Wasim Ahmad , Tahir Maqsood , Faisal Rehman , Javid Ali , Joel J.P.C. Rodrigues
키워드: #increasing #wireless #enhanced #increased #ipads
파트: Infrastructure | 연도: 2024
Adiabatic States and Suppression of Dissipative Processes
저자: E. A. Gazazyan , G. G. Grigoryan
키워드: #quantum #electromagnetic #adiabatic #analytical #corrections
파트: Infrastructure | 연도: 2024
Relation Between Student Characteristics, Git Usage and Success in Programming Courses
저자: Aleksandar Karakaš , Denis Helic
키워드: #students #academic #university #student #semester
파트: Software Development | 연도: 2023
Into the unknown: active monitoring of neural networks (extended version)
저자: Konstantin Kueffner , Anna Lukina , Christian Schilling , Thomas A. Henzinger
키워드: #classes #trained #algorithmic #class #retraining
파트: Software Development | 연도: 2023
BinSide : Static Analysis Framework for Defects Detection in Binary Code
저자: Hayk Aslanyan , Mariam Arutunian , Grigor Keropyan , Shamil Kurmangaleev , Vahagn Vardanyan
키워드: #software #tools #mistakes #analyzers #defects
파트: Verification | 연도: 2020
Securing GPU via region-based bounds checking
저자: Jaewon Lee , Yonghae Kim , Jiashen Cao , Euna Kim , Jaekyu Lee , Hyesoon Kim
키워드: #computing #nvidia #gpus #gpu #intel
파트: Verification | 연도: 2022
Secure delivery of program properties through optimizing compilation
저자: Son Tuan Vu , Karine Heydemann , Arnaud de Grandmaison , Albert Cohen
키워드: #engineering #security #software #optimizing #robust
파트: Verification | 연도: 2020
CHERIoT: Complete Memory Safety for Embedded Devices
저자: Saar Amar , David Chisnall , Tony Chen , Nathaniel Wesley Filardo , Ben Laurie , Kunyan Liu , Robert M Norton , Simon W. Moore , Yucong Tao , Robert N. M. Watson , Hongyan Xia
키워드: #technologies #expensive #hardware #hungry #microbenchmarks
파트: Verification | 연도: 2023