Filtry
Calculus and applications of Studniarski's derivatives to sensitivity and implicit function theorems
We first discuss basic calculus rules for Studniarski's derivatives. Then, we apply these derivatives to sensitivity analysis of solutions to inclusions and to computing the derivative of impliciti multifunctions....
BA - Obecná matematika
- 2014 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
An implicational logic for orthomodular lattices
It is derived an axiom system and derivation rules for the logic based on orthomodular lattices.
BA - Obecná matematika
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Deriv - the Word Derivation Tool
derivation for Czech. The derivation of some derivational types in Czech is comparatively regular. It can be described by formal rules. A new version of the web interface Deriv derivation rul...
AI - Jazykověda
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Generalized chain rules and applications to Stieltjes differential and integral equations
We present new generalizations of the chain rule, which involve Stieltjes derivatives and integrals. The results are subsequently used to obtain the power rules for two generalizations of the exponential function, and to in...
Pure mathematics
- 2024 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Using of Deductive Rules in Analysis and Design of IS
Deductive rules are important in terms of knowledge independence. Contribution focuses on data derivation rules and rules for integrity constrains....
JC - Počítačový hardware a software
- 2000 •
- D
Rok uplatnění
D - Stať ve sborníku
Formál Rules for derivatiom of Deverbativs by -č
processing of the derivational relations (Deriv) and its proper usage is tested for delimination of the word formations formal rules and of the list of possible overgenerations andhomonyms (5). The formal rules co...
AI - Jazykověda
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Mathematics.
Basic themes in document: defferential calculus; derivate; chain rule; integral calculus; basic methods og integration.
BA - Obecná matematika
- 2003 •
- B
Rok uplatnění
B - Odborná kniha
Corpus as a Source of Word-formation Analysis
The objective of the present paper is a corpus-based analysis of Czech derivational morphology. Our goal is: 1) To specify the derivational rules quoted in Czech claims concerning the word-formation rules (stem/roo...
AI - Jazykověda
- 2011 •
- O
Rok uplatnění
O - Ostatní výsledky
Corpus as a Source of Word-formation Analysis
The objective of the present paper is a corpus-based analysis of Czech derivational morphology. Our goal is: 1) To specify the derivational rules quoted in Czech claims concerning the word-formation rules (stem/roo...
AI - Jazykověda
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
String-partitioning Systems
on grammatical rules. Each of these rules are a pure context-free rules whose left hand derivation or reduction step, this system divides the current string into several parts. These systems defi...
JC - Počítačový hardware a software
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 53 554