Results 31 to 40 of about 160,574 (308)

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory [PDF]

, 2013
There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking algorithms; the ...
A. Børjesson, A.N. Prior, D. Kozen, D.N. Yetter, G. Boudol, G. Bruns, G. Bruns, H. Fecher, H. Fecher, J.-B. Raclet, J.-Y. Girard, J.B. Hart, K.G. Larsen, K.G. Larsen, K.G. Larsen, L. Caires, M. Hennessy, M. Hennessy, M. Ward, N. Beneš, N. Beneš, P. Blackburn, S.S. Bauer, W. Fokkink   +23 more
core   +5 more sources

Improving Agarwood (Aquilaria malaccensis Lamk.) Plantlet Formation Using Various Types and Concentrations of Auxins

Caraka Tani: Journal of Sustainable Agriculture, 2022
Aquilaria malaccensis Lamk. is one of the most widespread agarwood-producing plants that face extinction due to overexploitation. Agarwood propagation using in vitro culture techniques is capable of producing large quantities of plants in a shorter time ...
Maulana Tamyiz, Lucky Prayoga, Rendie Prasetyo, Erik Harry Murchie, Sugiyono Sugiyono   +4 more
doaj   +1 more source

Initial state of the QGP from perturbative QCD + saturation [PDF]

, 2001
The production of the initial state of the QGP in very high-energy $AA$ collisions is discussed within the framework of perturbative QCD and saturation. The next-to-leading order computation of the transverse energy of minijets is reviewed. Saturation of
Eskola, K. J.
core   +2 more sources

3D Anodic Alumina Nanoarchitectures: A Decade of Progress from Foundational Science to Functional Metamaterials

Advanced Materials, EarlyView.
Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley   +1 more source

Respons Planlet Stevia (Stevia rebaudiana) terhadap Penambahan berbagai Konsentrasi Thidiazuron (TDZ) dan Naphthalene Acetic Acid (NAA) secara in Vitro

Jurnal Agro Industri Perkebunan, 2023
Stevia can be developed by vegetative and generative propagation, while the generative propagation of stevia can be done through seeds. Conventional provision of seeds or seedlings has a low success rate.
Muhammad Dimas, Wiwik Indrawati, Dedi Supriyatdi   +2 more
doaj   +1 more source

Regeneration of begonia plantlets by direct organogenesis [PDF]

, 2009
The economic importance of ornamentals worldwide suggests a bright future for ornamental breeding. Rapid progress in plant molecular biology has great potentials to contribute to the breeding of novel ornamental plants utilizing recombinant DNA ...
Curuk, P., Eldoğan, S., Gencel, G., Kocaman, E., Mendi, Yalçın Y., Unek, C., Çetiner, Selim   +6 more
core  

Thidiazuron-induced shoot organogenesis from mature leaf explants of scented Pelargonium capitatum cultivars [PDF]

, 2011
Shoot organogenesis from mature leaf tissues of two scented Pelargonium capitatum cultivars, ‘Attar of Roses’ and ‘Atomic Snowflake’, grown in the greenhouse, were optimized in the presence of thidiazuron (TDZ).
Arshad, Muhammad, Dumat, Camille, Kallerhoff, Jean, Merlina, Georges, Pinelli, Eric, Silvestre, Jérôme   +5 more
core   +2 more sources

Trapped Fluorine Enables Thermally Stable Broadband Photodetection in Graphene/Fluorinated Graphene Heterostructure

Advanced Materials Technologies, EarlyView.
Fluorinated graphene has opened new opportunities for real‐world applications; however, its working and thermal stability are key issues for practical use. This study successfully demonstrates the stability of a fluorinated graphene‐based photodetector, achieved through a graphene, fluorinated graphene heterostructure (Gr/F‐Gr HS).
Mukesh Kumar Thakur, Javier Varillas, Oleksandr Volochanskyi, Golam Haider, Jan Plšek, Farjana J. Sonia, Álvaro Rodríguez, Jaganandha Panda, Martin Mergl, Otakar Frank, Jana Vejpravová, Martin Kalbáč   +11 more
wiley   +1 more source

Batch-in-Batch: a new adversarial training framework for initial perturbation and sample selection

Complex & Intelligent Systems
Adversarial training methods commonly generate initial perturbations that are independent across epochs, and obtain subsequent adversarial training samples without selection.
Yinting Wu, Pai Peng, Bo Cai, Le Li
doaj   +1 more source

In vitro cultivation and regeneration of Solanum melongena (L.) using stem, root and leaf explants

Nepal Journal of Biotechnology, 2011
The treatment combinations was BAP (0, 2.0, 3.0 and 4.0 mg/L) and NAA (0, 0.1, 0.5, and 1.0 mg/L). The rate of callus formation varied in different treatments.
Bishnu Pada Ray, Lutful Hassan, Smreeti Kana Sarker   +2 more
doaj   +1 more source