synthesis

  1. Home
  2. search page
  3. keyword

synthesis

정의: Synthesis or synthesize may refer to:

📄 키워드 상세정보

핵심 연구 분야Verification
주요 연도2020년
주요 연관 키워드software
좋아요 수0

키워드별 논문 목록 (21건)

MAGAN: multi-head attention generative adversarial network for remote sensing image classification
저자: Ke Li , Zhonghua Luo , Keyong Shen , Jie Lu , Zhijun Li
키워드: #neural #experiments #convergence #patternnet #synthesis
파트: Artificial Intelligence | 연도: 2025
A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing
저자: Rolando Ramírez-Rueda , Edgard Benítez-Guerrero , Carmen Mezura-Godoy , Everardo Bárcenas
키워드: #research #software #2024 #synthesis #ieee
파트: Artificial Intelligence | 연도: 2025
Composing Reinforcement Learning Policies, with Formal Guarantees
저자: Florent Delgrange , Guy Avni , Anna Lukina , Christian Schilling , Ann Nowé , Guillermo A Pérez
키워드: #graph #planner #markov #synthesis #design
파트: Artificial Intelligence | 연도: 2025
Finger and Hand Vein Spoof GANs: Assessment of Extended Presentation Attack Instrument Sample Sets
저자: Andreas Vorderleitner , Jutta Hämmerle-Uhl , Andreas Uhl
키워드: #attack #attacks #increased #biometric #synthesis
파트: Infrastructure | 연도: 2025
Design and Analysis of Deployment Mechanism Based on Sliding Disc for Solid Surface Deployable Antenna
저자: Hao Li , Xiaofei Ma , Dayu Zhang , Guanlong Su , Huanxiao Li , Zexing Yu
키워드: #algorithm #optimization #theorem #synthesis #kinematic
파트: Software Development | 연도: 2025
Named Entity Recognition for Performance and Synthesis Information of Perovskite Solar Cells Using SpaCy
저자: Song Min Gyu , Mary Zuleika Jiménez-Díaz , Alexander Sepúlveda-Sepúlveda , Mónica Botero-Londoño
키워드: #computational #scientific #photovoltaic #library #synthesis
파트: Databases | 연도: 2025
ControlNet-XS: Rethinking the Control of Text-to-Image Diffusion Models as Feedback-Control Systems
저자: Denis Zavadski , Johann-Friedrich Feiden , Carsten Rother
키워드: #training #trained #years #analysing #synthesis
파트: Software Development | 연도: 2024
Assurance Case Synthesis from a Curated Semantic Triplestore
저자: Saswata Paul , Baoluo Meng , Kit Siu , Abha Moitra , Michael Durling
키워드: #interactive #mapping #synthesis #curated #triplestore
파트: Verification | 연도: 2024
Digital Design Flow Based on Open Tools for Programmable Logic Devices
저자: Pablo Navarro-Torrero , Luis Felipe Rojas-Muñoz , Macarena C. Martínez-Rodríguez , Ángel Barriga-Barros , Carlos J. Jiménez-Fernández , María Brox , Piedad Brox
키워드: #academic #hardware #synthesis #programmable #programming
파트: Verification | 연도: 2024
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation
저자: Michele Pasqua , M. Ceccato , Paolo Tonella
키워드: #algorithms #experimental #testing #synthesis #hypertest
파트: Verification | 연도: 2024