Search Results - "Boolean variables" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Cover Image

Asymptotic Estimates of a High Degree of Accuracy for the Complexity of a Universal Multipole in a Model of Cellular Circuits

by Lozhkin, S. A., Zizov, V. S.
Published in Moscow University mathematics bulletin (01.08.2025)

Get full text

Journal Article

Cover Image

Revenue Maximization for Content-Oriented Wireless Caching Networks (CWCNs) With Repair and Recommendation Considerations

by Fu, Yaru, Yu, Quan, Quek, Tony Q. S., Wen, Wanli
Published in IEEE transactions on wireless communications (01.01.2021)

Get full text

Journal Article

Cover Image

CILP: An Arbitrary-bit Precision All-digital Compute-in-memory Solver for Integer Linear Programming Problems

by Yang, Mengtian, Wang, Yipeng, Xie, Shanshan, Lo, Chieh-Pu, Wang, Meizhi, Oruganti, Sirish, Sehgal, Rishabh, Kulkarni, Jaydeep P.
Published in Proceedings of the Custom Integrated Circuits Conference (21.04.2024)

Get full text

Conference Proceeding

Cover Image

A Novel One-Class Classification Framework for Highly Imbalanced Binary Outcomes: the OC-Cat Approach

by Fassio, Federico, Leoni, Jessica, Fattore, Rebecca, Scaglione, Giovanni, De Capitani, Giovanni, Borgonovo, Fabio, Conflitti, Claudia, Zizzo, Daniele, Gidaro, Antonio, Calloni, Maria, Casella, Francesco, Cogliati, Chiara, Gori, Andrea, Foschi, Antonella, Colaneri, Marta, Breschi, Valentina
Published in Epidemiology, biostatistics, and public health (08.09.2025)

Get full text

Journal Article

Cover Image

Modeling Investments in Technical Renewal and Growth of ESG Rating of Companies

Published in Èkonomika. Nalogi. Pravo (Online)

Get full text

Journal Article

Cover Image

Rate Splitting Based Asymmetric Uplink-Downlink Cooperative Transmission in Dynamic TDD MIMO Small Cell Networks

by Su, Xin, Li, Lihua, Zhang, Ping
Published in 2018 IEEE International Conference on Communications (ICC) (01.05.2018)

Get full text

Conference Proceeding

Cover Image

THE METHOD OF SELECTING MEASURES TO PROTECT THE WEB APPLICATION AGAINST ATTACKS

by Tetskyi, Artem
Published in Сучасні інформаційні системи (26.12.2018)

Get full text

Journal Article

Cover Image

Optimum stacking sequence design of symmetric hybrid laminates undergoing free vibrations

by Adali, S, Verijenko, V.E
Published in Composite structures (01.11.2001)

Get full text

Journal Article Conference Proceeding

Cover Image

Optimal Placement of PMUs for Power System Observability Using Topology Based Formulated Algorithms

by Mohammadi, B.
Published in Journal of applied sciences (Asian Network for Scientific Information) (01.07.2009)

Get full text

Journal Article

Cover Image

Recovering fitness gradients for interprocedural Boolean flags in search-based testing

Published in Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis

Get full text

Conference Proceeding

Cover Image

Direct multiplicative methods for sparse matrices. Newton methods

by Sviridenko, Anastasiya Borisovna
Published in Kompʹûternye issledovaniâ i modelirovanie (Online) (01.10.2017)

Get full text

Journal Article

Cover Image

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic

Published in Proceedings of the ... AAAI Conference on Artificial Intelligence

Get full text

Journal Article

Cover Image

An improved semidefinite programming relaxation for the satisfiability problem

by Anjos, Miguel F.
Published in Mathematical programming (01.04.2005)

Get full text

Journal Article

Cover Image

Moccasin: Efficient Tensor Rematerialization for Neural Networks

by Bartan, Burak, Li, Haoming, Teague, Harris, Lott, Christopher, Dilkina, Bistra
Year of Publication 27.04.2023

Get full text

Journal Article

Cover Image

Model analysis of the bases of multistationarity in the humoral immune response

by Kaufman, M., Thomas, R.
Published in Journal of theoretical biology (21.11.1987)

Get full text

Journal Article

Cover Image

Solving a Telecommunications Feature Subscription Configuration Problem

by Lesaint, David, Mehta, Deepak, O’Sullivan, Barry, Quesada, Luis, Wilson, Nic
Published in Principles and Practice of Constraint Programming (2008)

Get full text

Book Chapter

Cover Image

Moccasin: Efficient Tensor Rematerialization for Neural Networks

by Bartan, Burak, Li, Haoming, Teague, Harris, Lott, Christopher, Dilkina, Bistra
Published in arXiv.org (30.05.2023)

Get full text

Paper

Cover Image

Quantifying Trust Metrics of Recommendation Systems in Ad-Hoc Networks

by Huafei Zhu, Feng Bao
Published in 2007 IEEE Wireless Communications and Networking Conference (01.03.2007)

Get full text

Conference Proceeding

Cover Image

Transactions on Computational Science II

by Hutchison, David, Kanade, Takeo, Kittler, Josef, Yao, Yiyu Y, Wang, Guoyin
Year of Publication 2008

Get full text

eBook

Cover Image

Optimum stacking sequence design of symmetric hybrid laminates undergoing free vibrations

by Adali, S, Verijenko, V E
Published in Composite structures (11.01.2000)

Get full text

Journal Article