All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

169 403 (0,205s)

Result

Laslett's transform for the Boolean model in R^d

Laslett's transform for the Boolean model in R^d...

BA - Obecná matematika

  • 2006
  • Jx
Result

When does a generalized Boolean quasiring become a Boolean ring?

Generalized Boolean quasirings are algebraic models of quantum mechanics. We characterize when such a quasiring is a Boolean ring......

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018
  • Jimp
  • Link
Result

Boolean Factor Analysis by the Expectation-Maximization Algorithm

Compared are e ciencies of two methods for Boolean factor analysis based and Sahani (2008). Second one is Expectation-Maximization Boolean Factor Analysis, introduced here. Last method is strictly based on the general Boolean

BB - Aplikovaná statistika, operační výzkum

  • 2010
  • D
Result

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

to a direct approach when applying model checking to Boolean GRN analysis. First, ordinary a given property. In comparison, a model checker for Boolean GRNs is preferable sPEcifications", http://turing.iimas.unam....

EB - Genetika a molekulární biologie

  • 2011
  • Jx
  • Link
Result

BNClassifier: Classifying Boolean Models by Dynamic Properties

Partially Specified Boolean Networks (PSBNs) represent a family of Boolean models resulting from possible interpretations of unknown update logics. Hybrid extension of CTL (HCTL) has the power to express complex dynamical p...

Computer and information sciences

  • 2024
  • D
  • Link
Result

Testing histological images of mammary tissues on compatibility with the Boolean model of random sets

Methods for testing the Boolean model assumption from binary images are briefly reviewed. Two hundred binary images of mammary cancer tissue and 200 images of mastopathic tissue were tested individually on the Boolean m...

BB - Aplikovaná statistika, operační výzkum

  • 2011
  • Jx
Result

QUANTUM MULTIDIMENSIONAL MODELS OF COMPLEX SYSTEMS

The paper presents a new methodology how to extend the well-known quantum model this mathematical instrument on additional wave probabilistic functions psi(A(k) boolean AND A(m) boolean AND ... boolean AND A(n)) co...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2019
  • Jimp
  • Link
Result

Maboss for HPC environments: implementations of the continuous time Boolean model simulator for large CPU clusters and GPU accelerators

for leading to phenotypes of interest. In particular, Boolean models are well fit to a very large number of components. With the advance of Boolean model inference techniques, the field is transforming from an art...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2024
  • Jimp
  • Link
Result

Variable Stabilisation in Boolean Monotonic Model Pools

: monotonic model pools and their associated skeleton Boolean networks. Specifically, weOne of the central issues in logical modeling is whether a certain property of the model emerges due to its topological struct...

Computer and information sciences

  • 2022
  • D
  • Link
Result

Estimation of length density for parameterized Boolean Segment Process

The minimum variance unbiased estimators of the length density wasfound for stationary Boolean model of segmentswith parameterized distribution of primary grain with unknownparameters. This estimator require that all segments length...

BA - Obecná matematika

  • 2005
  • Jx
  • 1 - 10 out of 169 403