Academic literature on the topic 'Polymorphic systems'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Polymorphic systems.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "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.
Full textDELGADO, 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.
Full textLabine-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.
Full textMnguni, 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.
Full textvan 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.
Full textGordon, 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.
Full textLiu, 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.
Full textGOTO, 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.
Full textHoshizaki, 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.
Full textChauhan, 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.
Full textDissertations / Theses on the topic "Polymorphic systems"
Towler, Christopher. "Nucleation in polymorphic systems." Thesis, University of Manchester, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.520283.
Full textMathieson, John T. J. "Towards Polymorphic Systems Engineering." Thesis, The George Washington University, 2021. http://pqdtopen.proquest.com/#viewpdf?dispub=28257912.
Full textLopes, 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.
Full textPetrucciani, Tommaso. "Polymorphic set-theoretic types for functional languages." Thesis, Sorbonne Paris Cité, 2019. http://www.theses.fr/2019USPCC067.
Full textWe 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/.
Full textSimone, 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.
Full textHogan, J. L. "The polymorphism of headgroup methylated phosphatidylethanolamines." Thesis, University of Southampton, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235235.
Full textConnor, R. C. H. "Types and polymorphism in persistent programming systems." Thesis, University of St Andrews, 1991. http://hdl.handle.net/10023/13487.
Full textFonseca, 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.
Full textJohansson, 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.
Full textBooks on the topic "Polymorphic systems"
Tandem repeat polymorphisms: Genetic plasticity, neural diversity, and disease. New York, N.Y: Springer Science+Business Media, 2012.
Find full textNakov, Svetlin. Fundamentals of Computer Programming with C#: The Bulgarian C# Book. Sofia, Bulgaria: Svetlin Nakov, 2013.
Find full textBernstein, Joel. Polymorphism in Molecular Crystals. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780199655441.001.0001.
Full textRoach, Andrew Kennedy. The bus structure for a polymorphic computer system. 1986.
Find full textPolymorphism in condensed matter model systems: Recent progress via scale-bridging modeling. Courtaboeuf, France: EDP Sciences ; [Berlin], 2007.
Find full textMinelli, Alessandro. Evolvability and Its Evolvability. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199377176.003.0007.
Full textTesting for cytochrome P450 polymorphisms in adults with non-psychotic depression treated with selective serotonin reuptake inhibitors (SSRIs). Rockville, MD: AHRQ, 2007.
Find full textB, 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.
Find full textWhitworth, Caroline, and Stewart Fleming. Malignant hypertension. Edited by Neil Turner. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199592548.003.0216.
Full textBook chapters on the topic "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.
Full textAlhazov, 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.
Full textStoica, 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.
Full textBernardy, 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.
Full textPande, 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.
Full textSekiyama, 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.
Full textCraig, 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.
Full textHenglein, 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.
Full textToninho, 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.
Full textSeco, 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.
Full textConference papers on the topic "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.
Full textLerner, 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.
Full textMendis, 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.
Full textSeilert, 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.
Full textVeenhuis, 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.
Full textCiobanu, 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.
Full textAbia, 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.
Full textFiser, 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.
Full textMessie, 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.
Full textRuzicka, 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.
Full textReports on the topic "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.
Full textMiller, 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.
Full textCao, 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.
Full textYuan, 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.
Full textHuang, 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.
Full textFunkenstein, 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.
Full textFunkenstein, 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.
Full textPerl-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.
Full textDroby, 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.
Full text