Добірка наукової літератури з теми "Polymorphic systems"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Polymorphic systems".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Polymorphic systems"
Du, Dan, Guo-Bin Ren, Ming-Hui Qi, Zhong Li, and Xiao-Yong Xu. "Solvent-Mediated Polymorphic Transformation of Famoxadone from Form II to Form I in Several Mixed Solvent Systems." Crystals 9, no. 3 (March 20, 2019): 161. http://dx.doi.org/10.3390/cryst9030161.
Повний текст джерелаDELGADO, G., M. GUILLEN, and A. J. MORA. "4-METHYL HYPPURIC ACID: A CASE OF POLYMORPHISM AND SOLVATOMORPHISM." Periódico Tchê Química 16, no. 32 (August 20, 2019): 812–19. http://dx.doi.org/10.52571/ptq.v16.n32.2019.830_periodico32_pgs_812_819.pdf.
Повний текст джерелаLabine-Romain, Mackenzie, Sabrina Beckmann, Mohan Bhadbhade, Saroj Bhattacharyya, Michael Manefield, Christopher E. Marjo, and Anne M. Rich. "Polymorphs of Neutral Red, a Redox-Mediating Phenazine in Biological Systems." Australian Journal of Chemistry 70, no. 9 (2017): 1032. http://dx.doi.org/10.1071/ch17141.
Повний текст джерелаMnguni, Malitsatsi J., Joseph P. Michael, and Andreas Lemmerer. "Binary polymorphic cocrystals: an update on the available literature in the Cambridge Structural Database, including a new polymorph of the pharmaceutical 1:1 cocrystal theophylline–3,4-dihydroxybenzoic acid." Acta Crystallographica Section C Structural Chemistry 74, no. 6 (May 23, 2018): 715–20. http://dx.doi.org/10.1107/s2053229618006861.
Повний текст джерелаvan den Ende, Joost, and Herma Cuppen. "Solid-to-solid polymorphic transitions in amino acid crystals." Acta Crystallographica Section A Foundations and Advances 70, a1 (August 5, 2014): C1627. http://dx.doi.org/10.1107/s2053273314083727.
Повний текст джерелаGordon, Colin S. "Polymorphic Iterable Sequential Effect Systems." ACM Transactions on Programming Languages and Systems 43, no. 1 (April 2021): 1–79. http://dx.doi.org/10.1145/3450272.
Повний текст джерелаLiu, Jie, and Wenfei Fan. "Polymorphic queries for P2P systems." Information Systems 36, no. 5 (July 2011): 825–42. http://dx.doi.org/10.1016/j.is.2011.01.001.
Повний текст джерелаGOTO, MATTHEW, RADHA JAGADEESAN, ALAN JEFFREY, CORIN PITCHER, and JAMES RIELY. "An extensible approach to session polymorphism." Mathematical Structures in Computer Science 26, no. 3 (February 23, 2015): 465–509. http://dx.doi.org/10.1017/s0960129514000231.
Повний текст джерелаHoshizaki, Sugihiko. "Detection of isozyme polymorphism and estimation of geographic variation in the brown planthopper, Nilaparvata lugens (Homoptera: Delphacidae)." Bulletin of Entomological Research 84, no. 4 (December 1994): 503–8. http://dx.doi.org/10.1017/s0007485300032739.
Повний текст джерелаChauhan, Ravi, Ulya Sabeel, Alireza Izaddoost, and Shahram Shah Heydari. "Polymorphic Adversarial Cyberattacks Using WGAN." Journal of Cybersecurity and Privacy 1, no. 4 (December 12, 2021): 767–92. http://dx.doi.org/10.3390/jcp1040037.
Повний текст джерелаДисертації з теми "Polymorphic systems"
Towler, Christopher. "Nucleation in polymorphic systems." Thesis, University of Manchester, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.520283.
Повний текст джерелаMathieson, John T. J. "Towards Polymorphic Systems Engineering." Thesis, The George Washington University, 2021. http://pqdtopen.proquest.com/#viewpdf?dispub=28257912.
Повний текст джерелаLopes, Joao Antonio Correia. "An architecture for the compilation of persistent polymorphic reflective higher-order languages." Thesis, University of Glasgow, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360127.
Повний текст джерелаPetrucciani, Tommaso. "Polymorphic set-theoretic types for functional languages." Thesis, Sorbonne Paris Cité, 2019. http://www.theses.fr/2019USPCC067.
Повний текст джерелаWe study set-theoretic types: types that include union, intersection, and negation connectives. Set-theoretic types, coupled with a suitable subtyping relation, are useful to type several programming language constructs – including conditional branching, pattern matching, and function overloading – very precisely. We define subtyping following the semantic subtyping approach, which interprets types as sets and defines subtyping as set inclusion. Our set-theoretic types are polymorphic, that is, they contain type variables to allow parametric polymorphism.We extend previous work on set-theoretic types and semantic subtyping by showing how to adapt them to new settings and apply them to type various features of functional languages. More precisely, we integrate semantic subtyping with three important language features.In Part I we study implicitly typed languages with let-polymorphism and type inference (previous work on semantic subtyping focused on explicitly typed languages). We describe an implicitly typed lambda-calculus and a declarative type system for which we prove soundness. We study type inference and prove results of soundness and completeness. Then, we show how to make type inference more precise when programs are partially annotated with types.In Part II we study gradual typing. We describe a new approach to add gradual typing to a static type system; the novelty is that we give a declarative presentation of the type system, while previous work considered algorithmic presentations. We first illustrate the approach on a Hindley-Milner type system without subtyping. We describe declarative typing, compilation to a cast language, and sound and complete type inference. Then, we add set-theoretic types, defining a subtyping relation on set-theoretic gradual types, and we describe sound type inference for the extended system.In Part III we consider non-strict semantics. The existing semantic subtyping systems are designed for call-by-value languages and are unsound for non-strict semantics. We adapt them to obtain soundness for call-by-need. To do so, we introduce an explicit representation for divergence in the types, allowing the type system to distinguish the expressions that are already evaluated from those that are computations which might diverge
Sattler, Christian. "On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes." Thesis, University of Nottingham, 2015. http://eprints.nottingham.ac.uk/28111/.
Повний текст джерелаSimone, Elena. "Application of process analytical technology (PAT) tools for the better understanding and control of the crystallization of polymorphic and impure systems." Thesis, Loughborough University, 2015. https://dspace.lboro.ac.uk/2134/20098.
Повний текст джерелаHogan, J. L. "The polymorphism of headgroup methylated phosphatidylethanolamines." Thesis, University of Southampton, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235235.
Повний текст джерелаConnor, R. C. H. "Types and polymorphism in persistent programming systems." Thesis, University of St Andrews, 1991. http://hdl.handle.net/10023/13487.
Повний текст джерелаFonseca, Gutierrez Maria del Carmen. "Genetic polymorphism in systemic sclerosis." Thesis, University College London (University of London), 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.409294.
Повний текст джерелаJohansson, Börje. "An implementation of Milner's CCS with a polymorphic type system." Licentiate thesis, Luleå tekniska universitet, EISLAB, 1996. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-18530.
Повний текст джерелаКниги з теми "Polymorphic systems"
Tandem repeat polymorphisms: Genetic plasticity, neural diversity, and disease. New York, N.Y: Springer Science+Business Media, 2012.
Знайти повний текст джерелаNakov, Svetlin. Fundamentals of Computer Programming with C#: The Bulgarian C# Book. Sofia, Bulgaria: Svetlin Nakov, 2013.
Знайти повний текст джерелаBernstein, Joel. Polymorphism in Molecular Crystals. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780199655441.001.0001.
Повний текст джерелаRoach, Andrew Kennedy. The bus structure for a polymorphic computer system. 1986.
Знайти повний текст джерелаPolymorphism in condensed matter model systems: Recent progress via scale-bridging modeling. Courtaboeuf, France: EDP Sciences ; [Berlin], 2007.
Знайти повний текст джерелаMinelli, Alessandro. Evolvability and Its Evolvability. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199377176.003.0007.
Повний текст джерелаTesting for cytochrome P450 polymorphisms in adults with non-psychotic depression treated with selective serotonin reuptake inhibitors (SSRIs). Rockville, MD: AHRQ, 2007.
Знайти повний текст джерелаB, Matchar David, United States. Agency for Healthcare Research and Quality., and Duke University Evidence-based Practice Center., eds. Testing for cytochrome P450 polymorphisms in adults with non-psychotic depression treated with selective serotonin reuptake inhibitors (SSRIs). Rockville, MD: Agency for Healthcare Research and Quality, 2007.
Знайти повний текст джерелаWhitworth, Caroline, and Stewart Fleming. Malignant hypertension. Edited by Neil Turner. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199592548.003.0216.
Повний текст джерелаЧастини книг з теми "Polymorphic systems"
Belo, João Filipe, Michael Greenberg, Atsushi Igarashi, and Benjamin C. Pierce. "Polymorphic Contracts." In Programming Languages and Systems, 18–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19718-5_2.
Повний текст джерелаAlhazov, Artiom, Sergiu Ivanov, and Yurii Rogozhin. "Polymorphic P Systems." In Membrane Computing, 81–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-18123-8_9.
Повний текст джерелаStoica, Adrian, Ricardo Zebulum, and Didier Keymeulen. "Polymorphic Electronics." In Evolvable Systems: From Biology to Hardware, 291–302. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45443-8_26.
Повний текст джерелаBernardy, Jean-Philippe, Patrik Jansson, and Koen Claessen. "Testing Polymorphic Properties." In Programming Languages and Systems, 125–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11957-6_8.
Повний текст джерелаPande, Amit, and Joseph Zambreno. "Polymorphic Wavelet Transform." In Embedded Multimedia Security Systems, 33–65. London: Springer London, 2013. http://dx.doi.org/10.1007/978-1-4471-4459-5_4.
Повний текст джерелаSekiyama, Taro, and Atsushi Igarashi. "Handling Polymorphic Algebraic Effects." In Programming Languages and Systems, 353–80. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-17184-1_13.
Повний текст джерелаCraig, Duncan Q. M. "Characterization of Polymorphic Systems Using Thermal Analysis." In Polymorphism, 43–79. Weinheim, FRG: Wiley-VCH Verlag GmbH & Co. KGaA, 2006. http://dx.doi.org/10.1002/3527607889.ch3.
Повний текст джерелаHenglein, Fritz, and Christian Mossin. "Polymorphic binding-time analysis." In Programming Languages and Systems — ESOP '94, 287–301. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57880-3_19.
Повний текст джерелаToninho, Bernardo, and Nobuko Yoshida. "On Polymorphic Sessions and Functions." In Programming Languages and Systems, 827–55. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-89884-1_29.
Повний текст джерелаSeco, João Costa, and Luís Caires. "Subtyping First-Class Polymorphic Components." In Programming Languages and Systems, 342–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31987-0_24.
Повний текст джерелаТези доповідей конференцій з теми "Polymorphic systems"
Lucassen, J. M., and D. K. Gifford. "Polymorphic effect systems." In the 15th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 1988. http://dx.doi.org/10.1145/73560.73564.
Повний текст джерелаLerner, Sorin, Stephen R. Foster, and William G. Griswold. "Polymorphic Blocks." In CHI '15: CHI Conference on Human Factors in Computing Systems. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2702123.2702302.
Повний текст джерелаMendis, B. S. U., and T. D. Gedeon. "Polymorphic fuzzy signatures." In 2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2010. http://dx.doi.org/10.1109/fuzzy.2010.5584440.
Повний текст джерелаSeilert, Julia, and Eckhard Floter. "Relating polymorphic transition and triglyceride composition." In 2022 AOCS Annual Meeting & Expo. American Oil Chemists' Society (AOCS), 2022. http://dx.doi.org/10.21748/uiuq2084.
Повний текст джерелаVeenhuis, Christian, and Mario Koppen. "Differential evolution with polymorphic schemes." In 2009 IEEE International Conference on Systems, Man and Cybernetics. SMC 2009. IEEE, 2009. http://dx.doi.org/10.1109/icsmc.2009.5346652.
Повний текст джерелаCiobanu, Catalin, Georgi Gaydadjiev, Christian Pilato, and Donatella Sciuto. "Dataflow computing with Polymorphic Registers." In 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII). IEEE, 2013. http://dx.doi.org/10.1109/samos.2013.6621140.
Повний текст джерелаAbia, Mike, and Irwin Brown. "A Polymorphic Model of Information Systems Success." In the 2015 Annual Research Conference. New York, New York, USA: ACM Press, 2015. http://dx.doi.org/10.1145/2815782.2815814.
Повний текст джерелаFiser, Petr, and Vaclav Simek. "Optimum polymorphic circuits synthesis method." In 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS). IEEE, 2018. http://dx.doi.org/10.1109/dtis.2018.8368585.
Повний текст джерелаMessie, D., and J. C. Oh. "SWARMs of self-organizing polymorphic agents." In Fifth International Conference on Hybrid Intelligent Systems (HIS'05). IEEE, 2005. http://dx.doi.org/10.1109/ichis.2005.101.
Повний текст джерелаRuzicka, Richard, Vaclav Simek, and Lukas Sekanina. "Behavior of CMOS polymorphic circuits in high temperature environment." In Systems (DDECS). IEEE, 2011. http://dx.doi.org/10.1109/ddecs.2011.5783134.
Повний текст джерелаЗвіти організацій з теми "Polymorphic systems"
Levisohn, Sharon, Maricarmen Garcia, David Yogev, and Stanley Kleven. Targeted Molecular Typing of Pathogenic Avian Mycoplasmas. United States Department of Agriculture, January 2006. http://dx.doi.org/10.32747/2006.7695853.bard.
Повний текст джерелаMiller, Andrew C., Barry S. Payne, and Fawn M. Burns. Zebra Mussel Research. Introduction and Spread of Dreissena polymorpha in the U.S. Inland Waterway System, 1992-1993. Fort Belvoir, VA: Defense Technical Information Center, October 1995. http://dx.doi.org/10.21236/ada303351.
Повний текст джерелаCao, Xianling, Xuanyou Zhou, Naixin Xu, Songchang Chang, and Chenming Xu. Association of IL-4 and IL-10 Polymorphisms with Preterm Birth Susceptibility: A Systematic Review and Meta-Analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, April 2022. http://dx.doi.org/10.37766/inplasy2022.4.0044.
Повний текст джерелаYuan, Qihang. Circulating Leptin Level, Soluble Leptin Receptor Level and Their Gene Polymorphism in Patients with Systemic Lupus Erythematosus: A Systematic Review and Meta-analysis. INPLASY - International Platform of Registered Systematic Review Protocols, April 2020. http://dx.doi.org/10.37766/inplasy2020.4.0137.
Повний текст джерелаHuang, Kecheng, Aiyue Luo, Rvnfeng Yang, Wenyu Pei, Chen Zhang, Chuqin Wu, Zhilan Chen, et al. Polymorphism of rs1799782 (c.580C>T) is associated with outcome of NSCLC patients treated with platinum-based chemotherapy: a system review and meta-analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, September 2021. http://dx.doi.org/10.37766/inplasy2021.9.0052.
Повний текст джерелаFunkenstein, Bruria, and Shaojun (Jim) Du. Interactions Between the GH-IGF axis and Myostatin in Regulating Muscle Growth in Sparus aurata. United States Department of Agriculture, March 2009. http://dx.doi.org/10.32747/2009.7696530.bard.
Повний текст джерелаFunkenstein, Bruria, and Cunming Duan. GH-IGF Axis in Sparus aurata: Possible Applications to Genetic Selection. United States Department of Agriculture, November 2000. http://dx.doi.org/10.32747/2000.7580665.bard.
Повний текст джерелаPerl-Treves, Rafael, Rebecca Grumet, Nurit Katzir, and Jack E. Staub. Ethylene Mediated Regulation of Sex Expression in Cucumis. United States Department of Agriculture, January 2005. http://dx.doi.org/10.32747/2005.7586536.bard.
Повний текст джерелаDroby, Samir, Joseph W. Eckert, Shulamit Manulis, and Rajesh K. Mehra. Ecology, Population Dynamics and Genetic Diversity of Epiphytic Yeast Antagonists of Postharvest Diseases of Fruits. United States Department of Agriculture, October 1994. http://dx.doi.org/10.32747/1994.7568777.bard.
Повний текст джерела