( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Design diagnosis using Boolean satisfiability.

, , и . ASP-DAC, стр. 218-223. IEEE Computer Society, (2004)

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.

Alexander William Smith

Alexander William Smith

Stephen Smith

Veronica Smith

David Smith

 

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

Design diagnosis using Boolean satisfiability., , и . ASP-DAC, стр. 218-223. IEEE Computer Society, (2004)Joint Committee on Standards for Graphic Presentation, , , , , , , , , и 7 other автор(ы). Publications of the American Statistical Association, 14 (112): 790--797 (декабря 1915)Logic verification based on diagnosis techniques., , и . ASP-DAC, стр. 93-98. ACM, (2003)Automated Heart and Lung Auscultation in Robotic Physical Examinations., , и . IEEE Robotics Autom. Lett., 7 (2): 4204-4211 (2022)Feeling the Pressure: The Influence of Vibrotactile Patterns on Feedback Perception., , , и . IROS, стр. 634-640. IEEE, (2022)Comparing natural language processing representations of coded disease sequences for prediction in electronic health records., , , , , , , , и . J. Am. Medical Informatics Assoc., 31 (7): 1451-1462 (2024)Spin-transfer torque magnetic random access memory (STT-MRAM)., , , , , , , , , и 2 other автор(ы). JETC, 9 (2): 13:1-13:35 (2013)The editable self: a workbench for personal activity data., , , , , и . CHI Extended Abstracts, стр. 2185-2190. ACM, (2014)Visual Semantics of Memes: (Re)Interpreting Memetic Content and Form for Information Studies., , и . ASIST, том 59 из Proc. Assoc. Inf. Sci. Technol., стр. 800-802. Wiley, (2022)A review of technologies for MVDC circuit breakers., , , , , и . IECON, стр. 3799-3805. IEEE, (2016)