( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
AGM and Jellyfish Swarms of Elliptic Curves.

, , , и . Am. Math. Mon., 130 (4): 355-369 (апреля 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Wei-Ding Tsai

Wei-Ding Tsai

Wei-in Tsai

Sheng-wei Tsai

Angelika Lun

 

Другие публикации лиц с тем же именем

PyCT: A Python Concolic Tester., , , , и . APLAS, том 13008 из Lecture Notes in Computer Science, стр. 38-46. Springer, (2021)A Low-Complexity Mixed-Radix FFT Rotator Architecture., , и . APCCAS, стр. 183-186. IEEE, (2018)Reconfigurable Radix-2k×3 Feedforward FFT Architectures., , и . ISCAS, стр. 1-5. IEEE, (2019)Modeling fitting-function-based fuzzy time series patterns for evolving stock index forecasting., , и . Appl. Intell., 41 (2): 327-347 (2014)Solving Not-Substring Constraint withFlat Abstraction., , , , , , , , и . APLAS, том 13008 из Lecture Notes in Computer Science, стр. 305-320. Springer, (2021)Generating Construction Safety Observations via CLIP-Based Image-Language Embedding., , и . ECCV Workshops (7), том 13807 из Lecture Notes in Computer Science, стр. 366-381. Springer, (2022)SEMU: A Framework of Simulation Environment for Wireless Sensor Networks with Co-simulation Model., , , , , и . GPC, том 4459 из Lecture Notes in Computer Science, стр. 672-677. Springer, (2007)AutoQ: An Automata-Based Quantum Circuit Verifier., , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 139-153. Springer, (2023)A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)., , и . CADE, том 14132 из Lecture Notes in Computer Science, стр. 170-189. Springer, (2023)An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits., , , , , и . Proc. ACM Program. Lang., 7 (PLDI): 1218-1243 (2023)