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

76 833 (0,21s)

Result

The Intermediate Set and Limiting Superdi erential for Coalition Games: Between the Core and the Weber Set

We introduce the intermediate set as an interpolating solution concept between set (Clarke superdi erential). It is shown that the intermediate set is a non comparison between the intermediate

Statistics and probability

  • 2017
  • Jimp
  • Link
Result

English Intermediate-Task Training Improves Zero-Shot Cross-Lingual Transfer Too

intermediate-task transfer in a zero-shot cross-lingual setting on the XTREME benchmark. WeIntermediate-task training—fine-tuning a pretrained model on an intermediate substantially on language understanding tasks...

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

  • 2020
  • O
  • Link
Result

Decision Problems of some Intermediate Logics and Their Fragments

Complexity of decision problem of propositional logics extending the intuitionistic logic, also under the restriction on the number of allowed atoms and the set of logical connectives, is discussed....

BA - Obecná matematika

  • 2010
  • O
Result

Admissible Rules in the Implication?Negation Fragment of Intuitionistic Logic

IPC and its consistent axiomatic extensions (intermediate logics). A Kripke implication?negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of IPC form a PSPACE-complete set

BA - Obecná matematika

  • 2010
  • Jx
Result

Legal position of an agency intermediating surrogacy in the Czech republic

. This article is focused on the possibility of setting up such an intermediating agency (with courage and calculation) to operate an agency intermediating surrogate motherhood....

Law

  • 2020
  • JSC
  • Link
Result

Intermediate quantifiers in partial fuzzy type theory

In this paper, we extend the partial fuzzy type theory (pFTT) by additional special connectives and prove some of their properties. Then we introduce the theory of intermediate quantifiers initially developed in the standard fuzzy type theo...

Pure mathematics

  • 2021
  • Jimp
  • Link
Result

Computing Superdifferentials of Lovász Extension with Application to Coalitional Game

superdifferential and the Weber set with Clarke superdifferential for the Lovász extension, respectively. We introduce the intermediate set as the limiting superdifferential and show, the intermediate set...

BA - Obecná matematika

  • 2016
  • D
  • Link
Result

A DEA model for measuring financial intermediation

on their behaviour; yet, even the intermediation approach does not measure actually the success-to-deposit ratio that captures rather size or depth of financial intermediation proposes a model of financial intermediation t...

Applied mathematics

  • 2021
  • Jimp
  • Link
Result

Scheduling the flowshop with zero intermediate storage using chaotic Discrete Artificial Bee Algorithm

This paper analyses the application of the Chaos driven Discrete Artificial Bee Algorithm to the flowshop with zero intermediate storage problem. Nine unique chaos maps are embedded in the Discrete Artificial Bee Algorithm alongside the Mers...

IN - Informatika

  • 2014
  • D
  • Link
Result

Optimal Parameters of Simulated Annealing Algorithm for Scheduling of Batch Processes

input data that consist of set-up, transfer, processing and clean-up times: unlimited intermediate storage (UIS), finite intermediate storage (FIS), no intermediate......

CI - Průmyslová chemie a chemické inženýrství

  • 2001
  • D
  • 1 - 10 out of 76 833