Filtry
A decomposition method for CNF minimality proofs
IN - Informatika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Globally Convergent Variable Metric Method for Nonconvex Nondifferentiable Unconstrained Minimization.
BB - Aplikovaná statistika, operační výzkum
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
SHAPES OF DRUMS WITH LOWEST BASE FREQUENCY UNDER NON-ISOTROPIC PERIMETER CONSTRAINTS
Statistics and probability
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
BOOM - a Boolean Minimizer
JC - Počítačový hardware a software
- 2001 •
- O
Rok uplatnění
O - Ostatní výsledky
TT-Min
JC - Počítačový hardware a software
- 2012 •
- R •
- Odkaz
Rok uplatnění
R - Software
Výsledek na webu
FC-Min: A Fast Multi-Output Boolean Minimizer
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Strong Duality in Horn Minimization
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
FACTORISABLE MULTITASK QUANTILE REGRESSION
Statistics and probability
- 2021 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Exclusive and essential sets of implicates of Boolean functions
IN - Informatika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 z 388