المؤلفون: Олександр Гурський, Андрій Денисенко, Олександр Гончаренко

المصدر: Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, Iss 2, Pp 93-99 (2024)

مصطلحات موضوعية: petri nets, system with controlled structure, discrete-continuous network, automatic synthesis of petri nets, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://journal.iasa.kpi.ua/article/view/309718; https://doaj.org/toc/1681-6048; https://doaj.org/toc/2308-8893

URL الوصول: https://doaj.org/article/370dd1b46f12446ebf8e75e5bcd6a2b2

المؤلفون: Gallardo-Melgarejo, María del Mar, Merino-Gómez, Pedro, Panizo-Jaime, Laura, De-Linares-del-Río, Carlos Antonio

مصطلحات موضوعية: Inundaciones - Control, Control automático, Soporte lógico, Automatic synthesis, Model checking, Flood management, Software controller

Relation: https://hdl.handle.net/10630/30969

الاتاحة: https://hdl.handle.net/10630/30969
https://doi.org/10.1002/spe.1048

المؤلفون: Varricchione, Giovanni, Alechina, Natasha, Dastani, Mehdi, Logan, Brian

المساهمون: Sub Intelligent Systems, Intelligent Systems, Malvone, Vadim, Murano, Aniello

مصطلحات موضوعية: multi-agent reinforcement learning, reward machines, automatic synthesis, Taverne

وصف الملف: application/pdf

Relation: https://dspace.library.uu.nl/handle/1874/431803

الاتاحة: https://dspace.library.uu.nl/handle/1874/431803

المؤلفون: Neves, Ângela Cristina Barrôco

مصطلحات موضوعية: [18F]FDOPA, [11C]UCB-, Imagem PET, micro-ondas, radioquímica, síntese automática, PET imaging, microwave, automatic synthesis, radiochemistry, Domínio/Área Científica::Ciências Médicas::Medicina Básica

الاتاحة: http://hdl.handle.net/10316/100466

المؤلفون: Guchenko Mykola, Shmakov Vitalii, Yudina Anna, Belska Vikroriya, Cejka Jiri, Bartuska Ladislav

المصدر: Logi, Vol 13, Iss 1, Pp 61-72 (2022)

مصطلحات موضوعية: pilot training, flight simulators didactic features, on-board decision support system, mathematical modeling of pilot actions, automatic synthesis of instructions, Transportation engineering, TA1001-1280

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2336-3037

URL الوصول: https://doaj.org/article/e22886acf5a441efb2e175b8924ff2c0

المؤلفون: Dewu Lin, Shun Muroga, Hiroe Kimura, Hirokuni Jintoku, Takashi Tsuji, Kenji Hata, Guohai Chen, Don N. Futaba

مصطلحات موضوعية: Biophysics, Biochemistry, Medicine, Microbiology, Biotechnology, Ecology, Space Science, Biological Sciences not elsewhere classified, complex multivariable systems, balancing competing mechanisms, 50 validation tests, walled carbon nanotube, learning regression model, automatic synthesis reactor, achieved improved results, trained model revealed, overcoming synthetic trade, learning model, trained model, carbon feedstock, taken using, surprising importance, significant advance, significant accomplishment, requires overcoming, ratio ), predictive capability, often come, efficiency synthesis, desirable characteristics

Relation: https://figshare.com/articles/journal_contribution/Addressing_the_Trade-Off_between_Crystallinity_and_Yield_in_Single-Walled_Carbon_Nanotube_Forest_Synthesis_Using_Machine_Learning/24566439

الاتاحة: https://doi.org/10.1021/acsnano.3c07587.s001
https://figshare.com/articles/journal_contribution/Addressing_the_Trade-Off_between_Crystallinity_and_Yield_in_Single-Walled_Carbon_Nanotube_Forest_Synthesis_Using_Machine_Learning/24566439

المؤلفون: Luis Mendes, Joao Caldinhas Vaz, Fabio Passos, Nuno Lourenco, Ricardo Martins

المصدر: IEEE Access, Vol 9, Pp 70353-70368 (2021)

مصطلحات موضوعية: 5G communication, automatic synthesis, CMOS, low-noise amplifier, many-objective, millimeter-wave, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9425518/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/10ec596ec4784706a171664933eb6678

المؤلفون: Philipp Holzinger, Marc Reichenbach

المصدر: IEEE Access, Vol 9, Pp 147212-147236 (2021)

مصطلحات موضوعية: Automatic synthesis, hardware/software interfaces, heterogeneous systems, reconfigurable hardware, virtual memory, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9591561/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/bed5cbdc5b1e4c568f9d2583a4c47cb7

المؤلفون: JiaWen Huang, LiLan Fu, KongZhen Hu, Shun Huang, YanJiang Han, Run Lin, WanBang Xu, Ganghua Tang, Yonghui Huang

المصدر: Frontiers in Oncology, Vol 11 (2022)

مصطلحات موضوعية: cancer-associated fibroblasts, PET/CT, fibroblast activation protein, [18F]AlF-FAPT, automatic synthesis, Neoplasms. Tumors. Oncology. Including cancer and carcinogens, RC254-282

وصف الملف: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fonc.2021.802676/full; https://doaj.org/toc/2234-943X

URL الوصول: https://doaj.org/article/41a4de59888743e6bda0b1438260bcc9

المؤلفون: Alias, Christophe, Plesco, Alexandru

المساهمون: CASH - Compilation and Analysis, Software and Hardware (CASH), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), XtremLogic Lyon

المصدر: CC 2021 - 30th ACM SIGPLAN International Conference on Compiler Construction ; https://inria.hal.science/hal-03143777 ; CC 2021 - 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.1-11, ⟨10.1145/3446804.3446847⟩

مصطلحات موضوعية: High-Level Synthesis, Polyhedral Model, FPGA, ACM: B.: Hardware/B.5: REGISTER-TRANSFER-LEVEL IMPLEMENTATION/B.5.2: Design Aids/B.5.2.0: Automatic synthesis, ACM: B.: Hardware/B.5: REGISTER-TRANSFER-LEVEL IMPLEMENTATION/B.5.2: Design Aids/B.5.2.2: Optimization, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Virtual, South Korea

Relation: hal-03143777; https://inria.hal.science/hal-03143777; https://inria.hal.science/hal-03143777/document; https://inria.hal.science/hal-03143777/file/final.pdf

الاتاحة: https://inria.hal.science/hal-03143777
https://inria.hal.science/hal-03143777/document
https://inria.hal.science/hal-03143777/file/final.pdf
https://doi.org/10.1145/3446804.3446847

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Laboratorio de Tecnología Hombre-Computador (ING EPS-010)

المصدر: Congreso Internacional de Interacción Persona-Ordenador 2009. AIPO, Barcelona, Septiembre 7-9, 2009

مصطلحات موضوعية: Spanish Sign Language, Ubiquitous Computing, Automatic Synthesis, Deaf People, Informática, Telecomunicaciones

URL الوصول: http://hdl.handle.net/10486/667100

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Laboratorio de Tecnología Hombre-Computador (ING EPS-010)

المصدر: X Congreso Internacional de Interacción Persona-Ordenador 2009. AIPO, Barcelona, Septiembre 7-9, 2009

مصطلحات موضوعية: Spanish Sign Language, Classifier Construction, Automatic Synthesis, Deaf People, Informática, Telecomunicaciones

URL الوصول: http://hdl.handle.net/10486/667099

Thesis Advisors: UAM. Departamento de Tecnología Electrónica y de las Comunicaciones, Laboratorio de Tecnología Hombre-Computador (ING EPS-010)

المصدر: ELUA. Estudios de Lingüística Universidad de Alicante 24 (2010): 167-198
0212-7636 (print)
2171-6692 (online)
167
24
198

مصطلحات موضوعية: LSE, Fonología, Síntesis automática, Phonology, Automatic synthesis, Telecomunicaciones

URL الوصول: http://hdl.handle.net/10486/666056

Thesis Advisors: UAM. Departamento de Tecnología Electrónica y de las Comunicaciones, Laboratorio de Tecnología Hombre-Computador (ING EPS-010)

المصدر: Journal of Universal Computer Science 17.3 (2011): 399-425
0948-6968 (online)
0948-695X (print)
399
3
425
17

مصطلحات موضوعية: Automatic synthesis, Classifier constructions, Deaf people, Spanish sign language, Telecomunicaciones

URL الوصول: http://hdl.handle.net/10486/665719

المؤلفون: Xiao Jiang, Xiaoxiong Wang, Taipeng Shen, Yutang Yao, Meihua Chen, Zeng Li, Xiuli Li, Jiaqi Shen, Ying Kou, Shirong Chen, Xing Zhou, Zhifu Luo, Zhuzhong Cheng

المصدر: Frontiers in Oncology, Vol 11 (2021)

مصطلحات موضوعية: fibroblast activation protein inhibitor (FAPI)-PET, fibroblast activation protein inhibitor, automatic synthesis, PET molecular imaging, cancer associated fibroblasts, invasive ductal carcinoma, Neoplasms. Tumors. Oncology. Including cancer and carcinogens, RC254-282

وصف الملف: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fonc.2021.649148/full; https://doaj.org/toc/2234-943X

URL الوصول: https://doaj.org/article/60d67566f1e443299717f397c06c9499

المؤلفون: Leonardo L. Fuscaldi, Danielle V. Sobral, Ana Claudia R. Durante, Fernanda F. Mendonça, Ana Cláudia C. Miranda, Marcelo L. da Cunha, Luciana Malavolta, Jorge Mejia, Marycel F. de Barboza

المصدر: Pharmaceuticals; Volume 14; Issue 5; Pages: 385

مصطلحات موضوعية: PSMA-11, gallium-68, automatic synthesis module, PET imaging, prostate cancer

وصف الملف: application/pdf

Relation: Radiopharmaceutical Sciences; https://dx.doi.org/10.3390/ph14050385

الاتاحة: https://doi.org/10.3390/ph14050385

المؤلفون: Luiza Mascarenhas Balieiro, Henrique Barcellos de Oliveira, Luiz Felipe Teixeira Silva, Maria Helena Bellini, Margareth Mie Nakamura Matsuda, Elaine Bortoleti de Araujo

المصدر: Brazilian Journal of Radiation Sciences, Vol 9, Iss 3 (2021)

مصطلحات موضوعية: 18F-FES, Automatic synthesis, quality control, biodistribution, Science

Relation: https://bjrs.org.br/revista/index.php/REVISTA/article/view/1709; https://doaj.org/toc/2319-0612; https://doaj.org/article/294c94efdb2c4c6082e30371ce5dedee

الاتاحة: https://doi.org/10.15392/bjrs.v9i3.1709
https://doaj.org/article/294c94efdb2c4c6082e30371ce5dedee

المؤلفون: Xiao Jiang, Yingchun Li, Xiaoxiong Wang, Taipeng Shen, Xiuli Li, Yutang Yao, Ge Zhang, Ying Kou, Jiaqi Shen, Zhifu Luo, Zhuzhong Cheng

المصدر: Frontiers in Oncology, Vol 10 (2020)

مصطلحات موضوعية: 16α-[18F]fluoroestradiol, estrogen receptor, automatic synthesis, phase transfer catalyst, breast cancer, Neoplasms. Tumors. Oncology. Including cancer and carcinogens, RC254-282

وصف الملف: electronic resource

Relation: https://www.frontiersin.org/article/10.3389/fonc.2020.577979/full; https://doaj.org/toc/2234-943X

URL الوصول: https://doaj.org/article/99c65f3d52714d65bea855d69d79c822

المؤلفون: Wang, Jie

مصطلحات موضوعية: Computer science, architecture optimization, automatic synthesis, compilation, domain-specific architecture, FPGA, systolic array

URL الوصول: https://escholarship.org/uc/item/8k15d5qr

المؤلفون: Boigelot, Bernard, Godefroid, Patrice

المصدر: Lecture Notes in Computer Science, 1217, 321-333 (1997); Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop (TACAS '97), Enschede, Netherlands [NL]

مصطلحات موضوعية: Automatic Synthesis, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: urn:issn:0302-9743; urn:issn:1611-3349

URL الوصول: https://orbi.uliege.be/handle/2268/74869