Добірка наукової літератури з теми "Type and effect systems"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Type and effect systems".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Type and effect systems"
Nielson, Flemming. "Annotated type and effect systems." ACM Computing Surveys 28, no. 2 (June 1996): 344–45. http://dx.doi.org/10.1145/234528.234745.
Повний текст джерелаSeghier, Zoubida, Ambroise Diby, Vanda Voytekunas, Philip Cheang, and Marc J. M. Abadie. "Effect of filler type, content and size on the UV photocuring dental materials." Chemistry & Chemical Technology 2, no. 1 (March 15, 2008): 15–18. http://dx.doi.org/10.23939/chcht02.01.015.
Повний текст джерелаGalletta, Letterio. "An Abstract Interpretation Framework for Type and Effect Systems." Fundamenta Informaticae 134, no. 3-4 (2014): 355–93. http://dx.doi.org/10.3233/fi-2014-1106.
Повний текст джерелаHage, Jurriaan, and Bastiaan Heeren. "Strategies for Solving Constraints in Type and Effect Systems." Electronic Notes in Theoretical Computer Science 236 (April 2009): 163–83. http://dx.doi.org/10.1016/j.entcs.2009.03.021.
Повний текст джерелаLevy, P. M., and A. Fert. "Effect of crystal fields on the Hall effect in Kondo-type systems." Physical Review B 39, no. 16 (June 1, 1989): 12224–31. http://dx.doi.org/10.1103/physrevb.39.12224.
Повний текст джерелаAminifar, Sadegh, and Arjuna Marzuki. "Uncertainty in Interval Type-2 Fuzzy Systems." Mathematical Problems in Engineering 2013 (2013): 1–16. http://dx.doi.org/10.1155/2013/452780.
Повний текст джерела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.
Повний текст джерелаBelyaev, M., and V. Tsesko. "LLVM-based static analysis tool using type and effect systems." Automatic Control and Computer Sciences 46, no. 7 (December 2012): 324–30. http://dx.doi.org/10.3103/s0146411612070073.
Повний текст джерелаHimelrick, David G., W. A. Dozier Jr, and J. R. Akridge. "EFFECT OF MULCH TYPE IN ANNUAL HILL STRAWBERRY PLASTICULTURE SYSTEMS." Acta Horticulturae, no. 348 (August 1993): 207–12. http://dx.doi.org/10.17660/actahortic.1993.348.32.
Повний текст джерелаZyuzin, Nikita, and Aleksandar Nanevski. "Contextual modal types for algebraic effects and handlers." Proceedings of the ACM on Programming Languages 5, ICFP (August 22, 2021): 1–29. http://dx.doi.org/10.1145/3473580.
Повний текст джерелаДисертації з теми "Type and effect systems"
Kammar, Ohad. "Algebraic theory of type-and-effect systems." Thesis, University of Edinburgh, 2014. http://hdl.handle.net/1842/8910.
Повний текст джерелаBañados, Schwerter Felipe Andrés. "Gradual typing for generic type-and-effect systems." Tesis, Universidad de Chile, 2014. http://www.repositorio.uchile.cl/handle/2250/116891.
Повний текст джерелаLos sistemas de tipos-y-efectos (type-and-effect systems) permiten a los programadores hacer valer invariantes y restricciones sobre los efectos secundarios que se generan durante la evaluación de un programa. Los sistemas de tipos-y-efectos consideran efectos secundarios tales como estado, excepciones y E/S, entre otros. Desafortunadamente, los sistemas de tipos-y-efectos también obligan al programador a introducir anotaciones de efectos, lo que implica un esfuerzo adicional. En la práctica, los sistemas de tipos-y-efectos no son comúnmente usados. Conjeturamos que una de las razones importantes para la limitada adopción de los sistemas de efectos son las dificultades para realizar la transición desde un sistema donde los efectos secundarios son implícitos hacia una disciplina de efectos totalmente estática. Los tipos graduales (Gradual typing) permiten a los programadores combinar la flexibilidad de los lenguajes dinámicamente tipados con las garantías provistas por los sistemas de tipos estáticos. En lenguajes con tipos graduales, las anotaciones de tipos son parte del lenguaje, pero no son obligatorias. Un sistema de tipos gradual utiliza la información disponible para proveer garantías estáticas, rechazando los programas claramente incoherentes, e introduce verificaciones en tiempo de ejecución cuando la información estática no es suficiente para aceptar o rechazar definitivamente un programa. Esta tesis demuestra que las ideas de diseño detrás de los tipos graduales pueden aplicarse a los sistemas de tipos-y-efectos, tanto para aumentar la expresividad de estos sistemas así como para proveer flexibilidad para migrar programas con efectos secundarios impl ́ıcitos e irrestrictos hacia programas con una disciplina de efectos completamente estática. Se adaptaron ideas de tipos graduales para introducir verificación gradual de efectos para sistemas de tipos-y-efectos. La verificación gradual de efectos habilita al programador para decidir dónde y cuándo introducir anotaciones de efectos, agregando verificaciones en tiempo de ejecución cuando las anotaciones estáticas son insuficientes. Para evitar redefinir la verificación gradual de efectos para cada disciplina de tipos-y-efectos, introducimos verificación gradual de efectos para una plataforma genérica de tipos-y-efectos, en la que se puede instanciar cualquier disciplina de efectos monotónica, produciendo un sistema coherente. Presentamos la verificación gradual de efectos basándonos en conceptos de interpretación abstracta para construir la verificación gradual de efectos genérica. Utilizando verificación gradual de efectos genérica, introducimos tipos graduales para sistemas de tipos-y-efectos: un sistema donde las anotaciones de efectos y de tipos no son obligatorias, y donde se introducen verificaciones en tiempo de ejecución y casts cuando la información estática no es suficiente para asegurar la coherencia de un programa. De la manera definida, los tipos graduales para sistemas de tipos-y-efectos permiten migrar desde sistemas carentes de anotaciones de efectos o de tipos hacia una disciplina estática de tipos-y-efectos de manera segura.
Elsaidi, Abdulsalam. "Photovoltaic (PV) type solar generators and their effect on distribution systems." Thesis, University of Missouri - Kansas City, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=1544928.
Повний текст джерелаDistribution systems are designed to operate in radial mode (the simplest system topology) without any generation on the system, unidirectional power flow from the distribution substation to the customers via main feeder(s) and its(their) laterals within a specified range of operating points. The rapid growth of PV module installations on the distribution systems could not only offset the load but also cause a significant impact on the flow of power (active and reactive), voltage level, and fault currents, therefore; concerns about their potential impacts on the stability and operation of the power system have become one of the important issues and may create barriers to their future expansion. The most likely potential impact of the high PV penetration level is losing the voltage regulation, because it is directly related to the amount of reverse power flow. The main goal of this thesis is to approximate the maximum level of PV penetration which the system can accommodate without any impact on the voltage profile, stability, and operation.
Pirie, John. "New developments to Skalpel : a type error slicing method for explaining errors in type and effect systems." Thesis, Heriot-Watt University, 2014. http://hdl.handle.net/10399/2957.
Повний текст джерелаKoeppel, Gaudenz Alesch. "Reliability considerations of future energy systems : multi-carrier systems and the effect of energy storage /." Zürich : ETH, 2007. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=17058.
Повний текст джерелаJames, M. S. "Use of whiskers as model systems for studying surface barriers in type II superconductors." Thesis, University of Bath, 2000. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.311247.
Повний текст джерелаLott, Leslie. "Primary Systems and Voter Turnout: Measuring the Institutional Effect of Primary Type on Voter Turnout." ScholarWorks@UNO, 2009. http://scholarworks.uno.edu/td/956.
Повний текст джерелаNg, H. N. Elaine. "Effects of noise type on speech understanding." Click to view the E-thesis via HKUTO, 2006. http://sunzi.lib.hku.hk/hkuto/record/B37990159.
Повний текст джерелаNg, H. N. Elaine, and 吳凱寧. "Effects of noise type on speech understanding." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2006. http://hub.hku.hk/bib/B37990159.
Повний текст джерелаMcGeorge, Nicolette M. "The effect of training, aim pattern and target type on the ergonomics and efficiency of handheld scanners /." Online version of thesis, 2009. http://hdl.handle.net/1850/10643.
Повний текст джерелаКниги з теми "Type and effect systems"
Albrecht, Fleckenstein, ed. Cardiovascular effects of dihydropyridine-type calcium antagonists and agonists. Berlin: Springer-Verlag, 1985.
Знайти повний текст джерелаMeat Science Research Laboratory (Beltsville, Md.). Bone, cartilage and connective tissue: Effects of quantity, type and removal systems for ground beef : final report. Beltsville, Md: The Laboratory, 1985.
Знайти повний текст джерелаBeaser, Richard S. Outsmarting diabetes: A dynamic approach for reducing the effects of insulin-dependent diabetes. Minneapolis, MN: Chronimed Pub., 1994.
Знайти повний текст джерелаThe oxblood effect. Waterville, Me: Thorndike Press, 2008.
Знайти повний текст джерелаThe Casimir effect in critical systems. Singapore: World Scientific, 1994.
Знайти повний текст джерелаI, Schwartzbach Michael, ed. Object-oriented type systems. Chichester: Wiley, 1994.
Знайти повний текст джерелаNilles, Matthew L., and Danielle L. Jessen Condry, eds. Type 3 Secretion Systems. New York, NY: Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4939-6649-3.
Повний текст джерелаMagahy, E. H. The effect of executive information systems on organisations. Wolverhampton: Wolverhampton Polytechnic, 1990.
Знайти повний текст джерелаS, Simeonov P., ed. Systems with impulse effect: Stability, theory, and applications. Chichester [England]: Ellis Horwood, 1989.
Знайти повний текст джерелаShah, Suril Vijaykumar. Dynamics of Tree-Type Robotic Systems. Dordrecht: Springer Netherlands, 2013.
Знайти повний текст джерелаЧастини книг з теми "Type and effect systems"
Nielson, Flemming, and Hanne Riis Nielson. "Type and Effect Systems." In Lecture Notes in Computer Science, 114–36. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48092-7_6.
Повний текст джерелаNielson, Flemming, Hanne Riis Nielson, and Chris Hankin. "Type and Effect Systems." In Principles of Program Analysis, 283–363. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-662-03811-6_5.
Повний текст джерелаEo, Hyunjun, Ik-Soon Kim, and Kwangkeun Yi. "Type and Effect System for Multi-staged Exceptions." In Programming Languages and Systems, 61–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11924661_4.
Повний текст джерелаLu, Yi, John Potter, Chenyi Zhang, and Jingling Xue. "A Type and Effect System for Determinism in Multithreaded Programs." In Programming Languages and Systems, 518–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28869-2_26.
Повний текст джерелаMahesh, Vishnu, Yueqing Li, and Brian Craig. "Effect of Motion Type and Inclination on Muscle Activity and Edema." In Advances in Intelligent Systems and Computing, 335–42. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-60825-9_36.
Повний текст джерелаKura, Satoshi. "A General Semantic Construction of Dependent Refinement Type Systems, Categorically." In Lecture Notes in Computer Science, 406–26. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_21.
Повний текст джерелаYang, Aileen, Kristian Fredrik Nikolaisen, Sverre Holøs, Kari Thunshelle, Franck René Dauge, and Mads Mysen. "Effect of Filter Type in Ventilation Systems on NO2 Concentrations in Classrooms." In Springer Proceedings in Energy, 911–21. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00662-4_77.
Повний текст джерелаFujisaki, Kiyotaka, and Yuki Yoshigai. "Effect of Parasitic Coil on Communication Performance on Table Type 13.56 MHz RFID Reader." In Advances in Intelligent Systems and Computing, 479–87. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-57811-4_48.
Повний текст джерелаMalcik, Martin, and Miroslava Miklosikova. "Effect of an Emotional Video on Skin Conductance Response of Respondents in Dependence on Personality Type." In Advances in Intelligent Systems and Computing, 266–74. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-73210-7_32.
Повний текст джерелаKurisu, Makio, Toshiro Takabatake, and Hironobu Fujii. "Effect of Pressure on the Electrical Resistivity of a Gap-Type Valence Fluctuating Compound CeNiSn." In Transport and Thermal Properties of f-Electron Systems, 265–69. Boston, MA: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4615-2868-5_27.
Повний текст джерелаТези доповідей конференцій з теми "Type and effect systems"
Long, Yuheng, and Hridesh Rajan. "A type-and-effect system for asynchronous, typed events." In Modularity '16: 15th International Conference on Modularity. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2889443.2889446.
Повний текст джерелаWang, Bo, Yung-Sup Shin, and Eric Norris. "Hull Deformation Effect on Membrane-Type LNG Containment Systems." In ASME 2016 35th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/omae2016-54903.
Повний текст джерелаMarino, Daniel, and Todd Millstein. "A generic type-and-effect system." In the 4th international workshop. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1481861.1481868.
Повний текст джерелаFont, Aytug, Alper Kara, and Ozcan Kalenderli. "Effect of Electrode Type on Arc Flash Testings for AC Systems." In Power and Energy Systems. Calgary,AB,Canada: ACTAPRESS, 2012. http://dx.doi.org/10.2316/p.2012.768-038.
Повний текст джерелаZhu, Biwen, David B. Kaber, Maryam Zahabi, and Janet Ma. "Effect of feedback type and modality on human motivation." In 2017 IEEE International Conference on Systems, Man and Cybernetics (SMC). IEEE, 2017. http://dx.doi.org/10.1109/smc.2017.8123057.
Повний текст джерелаGiannini, Paola, Marco Servetto, and Elena Zucca. "A type and effect system for sharing." In SAC 2017: Symposium on Applied Computing. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3019612.3019890.
Повний текст джерелаFlanagan, Cormac, and Shaz Qadeer. "A type and effect system for atomicity." In the ACM SIGPLAN 2003 conference. New York, New York, USA: ACM Press, 2003. http://dx.doi.org/10.1145/781131.781169.
Повний текст джерелаGieschke, P., Y. Nurcahyo, M. Herrmann, M. Kuhl, P. Ruther, and O. Paul. "CMOS Integrated Stress Mapping Chips with 32 N-Type or P-Type Piezoresistive Field Effect Transistors." In 2009 IEEE 22nd International Conference on Micro Electro Mechanical Systems (MEMS). IEEE, 2009. http://dx.doi.org/10.1109/memsys.2009.4805496.
Повний текст джерелаKashtiban, A. M., A. Vahedi, and A. Halvaei. "Investigation of winding type effect on leakage flux of single phase shell type transformer using FEM." In Proceedings of the Eighth International Conference on Electrical Machines and Systems. IEEE, 2005. http://dx.doi.org/10.1109/icems.2005.202860.
Повний текст джерелаGrunwald, John J., Chava Gal, Marc T. Aronhime, Sigalit Eidelman, Donald W. Johnson, and Eitan Shalom. "The Effect Of Sensitizer Chemistry On Decarboxylation-Type Image Reversal Systems." In 1989 Microlithography Conferences, edited by Elsa Reichmanis. SPIE, 1989. http://dx.doi.org/10.1117/12.953025.
Повний текст джерелаЗвіти організацій з теми "Type and effect systems"
Bodie, Mark, Michael Parker, Alexander Stott, and Bruce Elder. Snow-covered obstacles’ effect on vehicle mobility. Engineer Research and Development Center (U.S.), November 2020. http://dx.doi.org/10.21079/11681/38839.
Повний текст джерелаHeintze, Nevin. Control-Flow Analysis and Type Systems. Fort Belvoir, VA: Defense Technical Information Center, December 1994. http://dx.doi.org/10.21236/ada289338.
Повний текст джерелаMitchell, John C. Advances in Type Systems for Computing. Fort Belvoir, VA: Defense Technical Information Center, June 1996. http://dx.doi.org/10.21236/ada310227.
Повний текст джерелаLiblit, Ben, and Alexander Aiken. Type Systems for Distributed Data Structures. Fort Belvoir, VA: Defense Technical Information Center, November 1999. http://dx.doi.org/10.21236/ada603881.
Повний текст джерелаOsipov, G. S., and N. S. Vashakidze. Computer simulation of mixed-type queuing systems. "The development of science in the era of digitalization: problems, trends, forecasts. ", 2019. http://dx.doi.org/10.18411/ns-mon-24-2019.
Повний текст джерелаCoutts, David Allan. The effect of spacer ribs on Ledinegg type flow instabilities. Office of Scientific and Technical Information (OSTI), September 1993. http://dx.doi.org/10.2172/10185101.
Повний текст джерелаVolpano, Dennis M. A Critique of Type Systems for Global Overloading. Fort Belvoir, VA: Defense Technical Information Center, July 1993. http://dx.doi.org/10.21236/ada278800.
Повний текст джерелаFleming, James W., Bradley A. Williams, and Ronald S. Sheinson. Suppression effectiveness of aerosols: The effect of size and flame type. National Institute of Standards and Technology, January 2002. http://dx.doi.org/10.6028/nist.sp.984.4.
Повний текст джерелаBahri, Abbas, and Paul H. Rabinowitz. Periodic Solutions of Hamiltonian Systems of 3-Body Type. Fort Belvoir, VA: Defense Technical Information Center, August 1989. http://dx.doi.org/10.21236/ada212891.
Повний текст джерелаX. Z. Tang. Finite Amplitude Instability in Takens-Bogdanov-type Dynamical Systems. Office of Scientific and Technical Information (OSTI), December 1998. http://dx.doi.org/10.2172/2384.
Повний текст джерела