Filters
Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets
unfoldings of unbounded hybrid Petri nets. The unfolding is a useful partial-order method unfoldings for hybrid Petri nets is that this technique can cope well with the so-called of the unfoldings for autonomous h...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Unfoldings of Bounded Hybrid Petri Nets
The unfolding is a useful partial-order method for analysis and verification of the hybrid Petri net properties.
IN - Informatika
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Computing differentential of an unfolded contact diffeomorphism
The first order approximation of the differomorphism linking the actual solution set with an unfolded normal form is computed.
BA - Obecná matematika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Fully baysian unfolding in high energy physics
The process of unfolding is a crucial part of many particle physics analyses levels. Compared to other commonly used methods, the Fully Bayesian Unfolding (FBU) returns not only an unfolded value and its uncertainty, but pr...
Particles and field physics
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Unfolding a Paragraph Theme
Using a corpus of three registers, the paper explores a particular type of paragraphs where the P-theme is unfolded. It offers their typology and compares central and peripheral instances....
AI - Jazykověda
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Extending the Fully Bayesian Unfolding with Regularization Using a Combined Sampling Method
Regularization extensions to the Fully Bayesian Unfolding are implemented an unfolded result of a desired property, like smoothness. Three regularization conditions collisions. The existence of a minimum of a chi(2) between the ...
Optics (including laser optics and quantum optics)
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Unfoldings of Bounded Hybrid Petri Nets
The unfolding is a useful partial-order based method for analysis and verification of the Petri net properties. This technique can cope well with the so-called state space explosion problem, especially for the Petri nets with a lot of concur...
IN - Informatika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets
The paper describes a technique for computing algorithm for constructing unfoldings of unbounded hybrid Petri nets. The motivation for introducing unfoldings for hybrid Petri nets is that this technique can cope well with the so-cal...
Computer hardware and architecture
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Some remarks on two-scale convergence and periodic unfolding
The paper discusses some aspects of the adjoint definition of two-scale convergence based on periodic unfolding. As is known this approach removes problems concerning choice of the appropriate space for admissible test functions. The paper p...
BA - Obecná matematika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A model for swelling changes in a covalently crosslinked gel generated by unfolding of folded domains
A model for swelling changes in a covalently crosslinked gel generated by unfolding of folded domains...
BM - Fyzika pevných látek a magnetismus
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 878