6,591 Hits in 2.8 sec

TIP: Tons of Inductive Problems [chapter]

Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
2015 Lecture Notes in Computer Science  
New challenge problems will promote further development of provers which will greatly benefit both developers and users of inductive theorem provers.  ...  This paper describes our collection of benchmarks for inductive theorem provers.  ...  The benchmarks are publicly available at: We have so far collected 340 problems in our benchmark suite, which we have called "TIP", for Tons of Inductive Problems-so  ... 
doi:10.1007/978-3-319-20615-8_23 fatcat:dn6kcrh3sba7zksxqmt3j3y2bi

TIP: Tools for Inductive Provers [chapter]

Dan Rosén, Nicholas Smallbone
2015 Lecture Notes in Computer Science  
TIP is a toolbox for users and developers of inductive provers.  ...  We are using TIP to help maintain a set of benchmarks for inductive theorem provers, where its main job is to encode aspects of the problem that are not natively supported by the respective provers.  ...  We want to add more, stronger, kinds of induction, including recursioninduction and well-founded induction.  ... 
doi:10.1007/978-3-662-48899-7_16 fatcat:sajeuw54gfc7ncvev64zc4iwrm

A Tip of the TOE [article]

Mario Paschke, Volkmar Putz
2003 arXiv   pre-print
Special interest is put on the examination of the sand-wind duality and the interaction of ordinary (non-supersymmetric) sand with the heat field of the earth, as solution of the field inequalities of  ...  Using standard methods from string theory, this paper presents a comprehensive survey about the most important aspects of the theory of sand.  ...  Acknowledgements I would like to thank my colleagues Mario Paschke and Volkmar Putz who made me aware of the reference [22] . Without their support and friendship I would not exist.  ... 
arXiv:physics/0309055v1 fatcat:ict65kk2s5fibksovqutwx2cua

Climate tipping points and solar geoengineering

Garth Heutel, Juan Moreno-Cruz, Soheil Shayegh
2016 Journal of Economic Behavior and Organization  
as remediation in the aftermath of a tipping point.  ...  The presence of tipping points leads to more mitigation and more solar geoengineering use and lower temperatures.  ...  We can solve the regulator's problem via backwards induction.  ... 
doi:10.1016/j.jebo.2016.07.002 fatcat:72mnxdkjivcobgcoxejam2xbte

Cadmium induced changes in cell wall peroxidase isozyme pattern in barley root tips

J. Huttová, MistríkI, M. Ollé-Šimonovičová, L. Tamás
2011 Plant, Soil and Environment  
Despite the inhibition of enzyme activity in most CW fractions, induction of several isoperoxidases was discovered after separation on PAGE.  ...  In fraction CW I inhibition of one cathodic isoperoxidase and activation of two anodic and two cathodic isoperoxidases was detected.  ...  About 38 900 tons of this metal is discharged annually to the environment due to several anthropogenic factors (Gadd and White 1993) .  ... 
doi:10.17221/3437-pse fatcat:46vpywtvdzavzl4dwghz7epany

Scalp Induction Rate Responses to Cytokinins on Proliferating Shoot-Tips of Banana Cultivars (Musa spp.)

2010 American Journal of Agricultural and Biological Science  
Problem statement: The effect of cytokinins on scalp induction from in vitro propagating shoot tips of different banana (Musa spp. AAA and AAB) cultivars was studied.  ...  Approach: Proliferation rate increased with an increasing concentration of Benzyl Amino Purine (BAP) up to 22.2 µM while, lower level of BAP (11.1 µM) increased scalp induction.  ...  annual production of about 88.47 million tons (Kotecha and Desai, 1995) .  ... 
doi:10.3844/ajabssp.2010.128.134 fatcat:dewuvbizo5ffrnmxkfjy46hpeq

In Vitro direct plant regeneration using shoot tip explants in sugarcane (Saccharum officinarum L.) for rapid mass cloning

Rupinder Kaur, Manish Kapoor
2017 Agricultural Science Digest - A Research Journal  
In Vitro direct plant regeneration using shoot tip explants in sugarcane (Saccharum officinarum L.) for rapid mass cloning  ...  However, in terms of per hectare of sugarcane productivity, India (70 ton) stands tenth, the first being Colombia (92.29 ton).  ...  Thus addition of auxin (NAA) was necessary for induction of direct shoot regeneration but elevated concentration of NAA reduced the per cent plant regeneration.  ... 
doi:10.18805/asd.v37i2.7981 fatcat:r3wm4krkzjdr5en5ch2yhnibzi

Paraphernalia of Growth Regulators During In Vitro micro-Propagation of Grapevine (Vitisvinifera L.) from Shoot Tips and Nodal Segments

Md. Arifuzzaman, Sabiha Sultana, Md. Saddam Hossain, Saifullah Saifullah, Rifat Al-Naser, Samiul Alim, Md. Jakir Hasan
2016 Scholars Journal of Agriculture and Veterinary Sciences  
combination for the duration of in vitro micro propagation of grapevine (Vitis vinifera L.) from shoot tips and nodal segments.  ...  As grapevine (Vitis vinifera L.) is rarely produced in Bangladesh because of unavailability of improved varieties, so this study was designed to solve this problem through evaluating the effects of hormonal  ...  The world area of grape is 8.37 million hectares producing 74.30 million tons per annum [3] .  ... 
doi:10.21276/sjavs.2016.3.4.11 fatcat:vx55pcsjazcd7gnbpd5qjhyitm

Establishment the Synchronization System for Mass Clonal Propagation of Sugarcane (Saccharumofficinarum L) through Shoot tip Culture

Mazhar Ali Khaskheli, Shahla Karim Baloch, Muhram Ali, Ghulam Shah Nizamani, Shafqat Yasmeen, Allah Jurio Khaskheli, Sajjad Ahmed Khaskheli, Anees-ur–Rahman Anees-ur–Rahman, Rawal Ahmed, Amna Qazi
2019 International Journal of Environment Agriculture and Biotechnology  
NIA 1026-P7, NIA-87 and SG NIA-2476.A total of 20 explants (apical meristems) shoot tip were inoculated on MS Basal media along with various concentrations of 2, 4 -D, BAP, Kinetin and IAA.  ...  g/l of sugar.  ...  The production of sugarcane described a very promising picture and reached to historical high of 73.6 million tons showing with increase of 12.4 % over the production of 65.5 million tons during 2015-16  ... 
doi:10.22161/ijeab/4.3.9 fatcat:2tyvtbeb7zcxpoh6wvuboe4jti

In vitro Propagation of Banana (Musa paradisiaca L.) Plant Using Shoot Tip Explant

Girmay Mekonen, Meseret Chimdessa Egigu, Manikandan Muthsuwamy
2021 Turkish Journal of Agriculture: Food Science and Technology  
For shoot initiation, shoot tip explants were cultured on MS medium supplemented with 0.5, 1.0, 1.5 and 2.0 mg/L BAP.  ...  Results showed that the highest shoot initiation percent (93.40%), highest mean number of shoots per explant (4.67) and lesser day for shoot induction (11.00) were observed in explant cultured on MS +  ...  Acknowledgements This research was supported by the Ethiopian Ministry of Education.  ... 
doi:10.24925/turjaf.v9i12.2339-2346.2883 fatcat:fjspgdn4vjcazjuzkb4jw6urre

Resistance-resistant antibiotics

Eric Oldfield, Xinxin Feng
2014 TIPS - Trends in Pharmacological Sciences  
New antibiotics are needed because as drug resistance is increasing, the introduction of new antibiotics is decreasing.  ...  Fourth, re-purposing existing drugs can lead to combinations of multi-target therapeutics. Fifth, targets need not be proteins.  ...  Acknowledgments This work was supported in part by the United States Public Health Service (National Institutes of Health grants AI074233, GM065307 and CA158191), a Harriet A.  ... 
doi:10.1016/ pmid:25458541 pmcid:PMC4314344 fatcat:nuhaqvrtojeldedppry37p3qta

Paclobutrazol and branch tip pruning on the flowering induction and quality of mango tree fruits

Girlaine Pereira Oliveira, Dalmo Lopes de Siqueira, Luiz Carlos Chamhum Salomão, Paulo Roberto Cecon, Daniel Lucas Magalhães Machado
2017 Pesquisa Agropecuária Tropical  
This study aimed at evaluating the effect of paclobutrazol, combined with branch tip pruning, on the flowering induction and quality of 'Ubá' mango tree fruits.  ...  The 'Ubá' mango tree cultivar is very important for the juice industry in the "Zona da Mata" region of the Minas Gerais State, in Brazil, but problems such as uneven flowering and low yield have discouraged  ...  The floral induction management may be associated with the removal of the tip of productive branches (branch tip pruning).  ... 
doi:10.1590/1983-40632016v4743861 fatcat:6hxtzq4enbdw3fevyx54fqtbgu

In vitro regeneration of disease free enset [Ensete ventricosum (Welw) Cheesman] planting materials from bacterial wilt diseased plants using shoot tip culture

Gezahegn Genene, Mekbib Firew
2016 African Journal of Biotechnology  
The maximum number of shoots (23.0) was also obtained for Mazia on the same hormone combination as for days of induction.  ...  Shoot tip explants from infected suckers of three clones Arkiya, Digomerza and Mazia were cultured on MS media supplemented with different combinations of benzylaminopurine (BAP) and naphthaleneacetic  ...  yield over 43 ton per hectare bases per year (Atnafua and Endale, 2008) .  ... 
doi:10.5897/ajb2016.15213 fatcat:lrlxsm5lkng75aoca6yxu7gyxu

Clonal Propagation of Strawberry (Fragaria x ananassa Duch.) through In vitro Runner Tip Culture through Incorporation of Growth Hormones

Md. Nasir Uddin Badal, Md. Shoyeb, Md. Abdur Rauf Sarkar, Md. Shahedur Rahman, Shaikh Mizanur Rahman
2019 Biotechnology Journal International  
Runner tips explants of strawberry give rise to multiple shoots when cultured on MS medium supplemented with different concentrations and combinations of BAP with KIN or NAA or GA3.The highest response  ...  The maximum frequency of rooting (83%) and highest number of roots (3.49) was produced in medium containing 1.0 mgl-1 IBA.  ...  ACKNOWLEDGMENT We thank to Department of Genetic Engineering and Biotechnology, Jessore University of Science and Technology, Jessore 7408, Bangladesh for providing us all kinds of laboratory facilities  ... 
doi:10.9734/bji/2018/v22i430063 fatcat:f4pz7rsupneebm74yvsz3cq4q4

Micro-propagation of Colocasia esculenta (cv. Bolosso I) from corm and sprout tip explants

Bogale Adelegn
2018 Journal of Agricultural Biotechnology and Sustainable Development  
Bolosso I) from corm and sprout tip explants.  ...  Two percent NaOCl exposures for 15 and 20 min were found to be optimum for sterilization of sprout tip (83.33) and corm (66.63%) explants.  ...  different concentrations of BAP combined with Kinetin on shoot induction from corm base and sprout tip explants of C. esculenta.  ... 
doi:10.5897/jabsd2018.0305 fatcat:eiyhe7s5evbntbcjl5wvkipouy
« Previous Showing results 1 — 15 out of 6,591 results