Autor der Publikation

Satisfiability and integer programming as complementary tools.

, , und . ASP-DAC, Seite 879-882. IEEE Computer Society, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Projection based Active Gaussian Process Regression for Pareto Front Modeling., , , , und . CoRR, (2020)Worst case analysis for evaluating VLSI circuit performance bounds using an optimization method., , und . VLSI-SoC, Seite 102-105. IEEE, (2011)A DSP-based turbo codec for 3G communication systems., , , und . ICASSP, Seite 2685-2688. IEEE, (2002)An efficient leakage-aware thermal simulation approach for 3D-ICs using corrected linearized model and algebraic multigrid., , , und . DATE, Seite 1207-1212. IEEE, (2017)A novel single-arm-worn 24 h heart disease monitor empowered by machine intelligence., , und . Biomed. Signal Process. Control., (2018)Implementations of FFT and STBD for MIMO-OFDM on a Reconfigurable Baseband Platform., , , , und . IEICE Trans. Inf. Syst., 93-D (4): 811-821 (2010)An Efficient Bayesian Optimization Approach for Automated Optimization of Analog Circuits., , , , , , und . IEEE Trans. Circuits Syst. I Regul. Pap., 65-I (6): 1954-1967 (2018)An Efficient Bayesian Optimization Approach for Analog Circuit Synthesis via Sparse Gaussian Process Modeling., , , , , und . DATE, Seite 67-72. IEEE, (2020)Application of Deep Learning Algorithm in Feature Mining and Rapid Identification of Colorectal Image., , , , und . IEEE Access, (2020)Efficient Rare Failure Analysis Over Multiple Corners via Correlated Bayesian Inference., , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (10): 2029-2041 (2020)