Search

Your search keyword '"Woźna A"' showing total 30 results
Start Over Author "Woźna A" Publisher springer berlin heidelberg

Refine your results

more »

more »

30 results on '"Woźna A"'

4. SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic

Author

Woźna-Szcześniak, Bożena, Zbrzezny, Agnieszka M., Zbrzezny, Andrzej, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Boella, Guido, editor, Elkind, Edith, editor, Savarimuthu, Bastin Tony Roy, editor, Dignum, Frank, editor, and Purvis, Martin K., editor

Published
2013
Full Text
View/download PDF

5. SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems

Author

Woźna-Szcześniak, Bożena, Zbrzezny, Agnieszka, Zbrzezny, Andrzej, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Balsamo, Maria Simonetta, editor, Knottenbelt, William J., editor, and Marin, Andrea, editor

Published
2013
Full Text
View/download PDF

6. SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems

Author

Woźna-Szcześniak, Bożena, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Correia, Luís, editor, Reis, Luís Paulo, editor, and Cascalho, José, editor

Published
2013
Full Text
View/download PDF

7. SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems

Author

Woźna-Szcześniak, Bożena, Zbrzezny, Andrzej, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Baldoni, Matteo, editor, Dennis, Louise, editor, Mascardi, Viviana, editor, and Vasconcelos, Wamberto, editor

Published
2013
Full Text
View/download PDF

8. Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge

Author

Męski, Artur, Penczek, Wojciech, Szreter, Maciej, Woźna-Szcześniak, Bożena, Zbrzezny, Andrzej, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Jezic, Gordan, editor, Kusek, Mario, editor, Nguyen, Ngoc-Thanh, editor, Howlett, Robert J., editor, and Jain, Lakhmi C., editor

Published
2012
Full Text
View/download PDF

9. SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems

Author

Woźna-Szcześniak, Bożena, Zbrzezny, Andrzej, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Jezic, Gordan, editor, Kusek, Mario, editor, Nguyen, Ngoc-Thanh, editor, Howlett, Robert J., editor, and Jain, Lakhmi C., editor

Published
2012
Full Text
View/download PDF

10. Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge

Author

Woźna-Szcześniak, Bożena, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Szmuc, Tomasz, editor, Szpyrka, Marcin, editor, and Zendulka, Jaroslav, editor

Published
2012
Full Text
View/download PDF

11. The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems

Author

Woźna-Szcześniak, Bożena, Zbrzezny, Agnieszka, Zbrzezny, Andrzej, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Antunes, Luis, editor, and Pinto, H. Sofia, editor

Published
2011
Full Text
View/download PDF

13. A Complete and Decidable Axiomatisation for Deontic Interpreted Systems

Author

Lomuscio, Alessio, Woźna, Bożena, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goble, Lou, editor, and Meyer, John-Jules Ch., editor

Published
2006
Full Text
View/download PDF

14. A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results

Author

Lomuscio, Alessio, Woźna, Bożena, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baldoni, Matteo, editor, Endriss, Ulle, editor, Omicini, Andrea, editor, and Torroni, Paolo, editor

Published
2006
Full Text
View/download PDF

29. Improved production of doubled haploids of winter and spring triticale hybrids via combination of colchicine treatments on anthers and regenerated plants

Author

Hanna Pudelska, Tomasz Pniewski, Aurelia Ślusarkiewicz-Jarzina, and Jolanta Woźna

Subjects
0106 biological sciences, 0301 basic medicine, Anther culture, Stamen, Flowers, Biology, Haploidy, Colchicine treatment, 01 natural sciences, Tissue Culture Techniques, 03 medical and health sciences, chemistry.chemical_compound, Plant Genetics • Original Paper, Botany, Genetics, Colchicine, Hybrid, Chromosome, General Medicine, Triticale, Moderate extent, Culture Media, Horticulture, Plant Breeding, 030104 developmental biology, chemistry, Doubled haploids, Winter and spring triticale hybrids, Ploidy, 010606 plant biology & botany
Abstract

Double haploids (DH), obtained during androgenesis in vitro or by genome diploidisation in regenerated haploids, are one type of basic materials used in triticale breeding programmes. The aim of this study was to improve DH production by a combination of colchicine treatment methods on a sample of five winter and five spring triticale hybrids. Colchicine was applied in vitro either in the C17 medium to induce embryo-like structures (ELS) or in the 190-2 medium for green plant (GP) development. Regenerants which remained haploid were immersed in a colchicine solution either when placed on the medium prior to transferring to soil or when growing in pots, followed by the application or absence of cooling. Colchicine treatment during anther culture affected neither ELS nor GP development, but significantly increased the number of DH plants in comparison to spontaneous chromosome doubling. The highest efficiency was recorded when colchicine was applied in the induction medium (55%) versus the regeneration medium (44.5%) or no colchicine treatment (30%). The effectiveness of chromosome duplication in haploid plants ranged from 32 to 64.5% and it was the highest for the treatment on the medium followed by cooling. Individual hybrids differed regarding their capability of regeneration and chromosome doubling, which were consistent only to a low or moderate extent. However, taken together, winter and spring hybrids did not differ significantly. Combined colchicine application resulted in a high yield of DH production, 82.6% for all triticale hybrids, and can provide a considerable number of fertile DH lines for triticale breeding programmes. Electronic supplementary material The online version of this article (doi:10.1007/s13353-016-0387-9) contains supplementary material, which is available to authorized users.

Published
2017

30. √erics: A Tool for Verifying Timed Automata and Estelle Specifications

Author

Maciej Szreter, Bożena Woźna, Agata Półrola, Paweł Janowski, Andrzej Zbrzezny, Agata Janowska, Piotr Dembinski, and Wojciech Penczek

Subjects
Model checking, Reachability, Programming language, Computer science, Computer Science::Logic in Computer Science, Bounded function, Automatic translation, Timed automaton, Specification language, computer.software_genre, computer, Computer Science::Formal Languages and Automata Theory, Automaton
Abstract

The paper presents a new tool for automated verification of Timed Automata as well as protocols written in the specification language Estelle. The current version offers an automatic translation from Estelle specifications to timed automata, and two complementary methods of reachability analysis. The first one is based on Bounded Model Checking (BMC), while the second one is an on-the-fly verification on an abstract model of the system.

Published
2003
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results