Journal articles on the topic 'Type and effect systems'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Type and effect 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.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
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.
Full textSeghier, 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.
Full textGalletta, 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.
Full textHage, 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.
Full textLevy, 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.
Full textAminifar, 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.
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 textBelyaev, 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.
Full textHimelrick, 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.
Full textZyuzin, 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.
Full textLevy, P. M. "Extraordinary Hall effect in Kondo-type systems: Contributions from anomalous velocity." Physical Review B 38, no. 10 (October 1, 1988): 6779–97. http://dx.doi.org/10.1103/physrevb.38.6779.
Full textZavgorodnii, V. S., and M. G. Karpov. "ortho-effect of hexacarbonyldicobaltacetylene substituents of propargyl type in aromatic systems." Russian Journal of General Chemistry 82, no. 3 (March 2012): 506–7. http://dx.doi.org/10.1134/s1070363212030243.
Full textLevy, P. M., and A. Fert. "Anomalous Velocity Contributions to the Hall Effect in Kondo-Type Systems." Europhysics Letters (EPL) 7, no. 5 (November 1, 1988): 463–68. http://dx.doi.org/10.1209/0295-5075/7/5/015.
Full textLevy, P. M., and A. Fert. "Anomalous Velocity Contributions to the Hall Effect in Kondo-Type Systems." Europhysics Letters (EPL) 8, no. 7 (April 1, 1989): 709. http://dx.doi.org/10.1209/0295-5075/8/7/022.
Full textTalpin, J. P., and P. Jouvelot. "The Type and Effect Discipline." Information and Computation 111, no. 2 (June 1994): 245–96. http://dx.doi.org/10.1006/inco.1994.1046.
Full textWang, Zhaopeng, and Manfred Cuntz. "S-type and P-type Habitable Zones of Stellar Binary Systems: Effect of the Planetary Mass." Research Notes of the AAS 3, no. 5 (May 6, 2019): 70. http://dx.doi.org/10.3847/2515-5172/ab1ea3.
Full textGonzalez-Parra, Gilberto, and Abraham J. Arenas. "A Mathematical Model for Social Security Systems with Dynamical Systems." Ingeniería y Ciencia 10, no. 19 (January 2014): 33–53. http://dx.doi.org/10.17230/ingciencia.10.19.2.
Full textRównicki, Marcin, Robert Lasek, Joanna Trylska, and Dariusz Bartosik. "Targeting Type II Toxin–Antitoxin Systems as Antibacterial Strategies." Toxins 12, no. 9 (September 4, 2020): 568. http://dx.doi.org/10.3390/toxins12090568.
Full textAlgarabel, Salvador, Alfonso Pitarque, Maria José Soler, Juan Carlos Ruiz, Juan Manuel Baixauli, and Carmen Dasí. "Effect of Prime Type on Lexical Decision Time." Perceptual and Motor Skills 64, no. 1 (February 1987): 119–25. http://dx.doi.org/10.2466/pms.1987.64.1.119.
Full textWalker, John W., and R. K. Heitschmidt. "Effect of Various Grazing Systems on Type and Density of Cattle Trails." Journal of Range Management 39, no. 5 (September 1986): 428. http://dx.doi.org/10.2307/3899444.
Full textKiessling, Jürgen, Barbara Brenner, Charlotte Thunberg Jespersen, Jennifer Groth, and Ole Dyrlund Jensen. "Occlusion Effect of Earmolds with Different Venting Systems." Journal of the American Academy of Audiology 16, no. 04 (April 2005): 237–49. http://dx.doi.org/10.3766/jaaa.16.4.5.
Full textIgnatov, M. "Interstimulus Interference Effect with Stroop-Type Stimuli." Perception 25, no. 1_suppl (August 1996): 75. http://dx.doi.org/10.1068/v96p0302.
Full textOrtolani, S., F. Tamburini, and A. Bianchini. "Polarimetric & Spectropolarimetric Properties of FGK Type Stars and Extrasolar Systems." Symposium - International Astronomical Union 213 (2004): 69–72. http://dx.doi.org/10.1017/s007418090019299x.
Full textIe, Yutaka, Yoshikazu Umemoto, Masashi Nitani, and Yoshio Aso. "Perfluoroalkyl-annelated conjugated systems toward n-type organic semiconductors." Pure and Applied Chemistry 80, no. 3 (January 1, 2008): 589–97. http://dx.doi.org/10.1351/pac200880030589.
Full textVan De Water, Thomas R., and Vera Galinovic-Schwartz. "Collagen type ii in the otic extracellular matrix effect on inner ear development." Hearing Research 30, no. 1 (January 1987): 39–47. http://dx.doi.org/10.1016/0378-5955(87)90181-x.
Full textCocchi, Lorenzo, Alessio Picchi, and Bruno Facchini. "Effect of Rotation and Hole Arrangement in Cold Bridge-Type Impingement Cooling Systems." International Journal of Turbomachinery, Propulsion and Power 4, no. 2 (May 29, 2019): 13. http://dx.doi.org/10.3390/ijtpp4020013.
Full textShakib, H., and G. R. Atefatdoost. "Effect of Soil-Structure Interaction on Torsional Response of Asymmetric Wall Type Systems." Procedia Engineering 14 (2011): 1729–36. http://dx.doi.org/10.1016/j.proeng.2011.07.217.
Full textReed, Thomas V., Nathan S. Boyd, P. Christopher Wilson, and Peter J. Dittmar. "Effect of Plastic Mulch Type on Fomesafen Dissipation in Florida Vegetable Production Systems." Weed Science 66, no. 1 (August 14, 2017): 142–48. http://dx.doi.org/10.1017/wsc.2017.48.
Full textKhan, A. A., J. R. Moyne, and D. M. Tilbury. "Favorable effect of time delays on tracking performance of type-I control systems." IET Control Theory & Applications 2, no. 3 (March 1, 2008): 210–18. http://dx.doi.org/10.1049/iet-cta:20070093.
Full textEl-Dabah, Fouad H., Amr Ali El Tohamy, and Mohamed F. Assasa. "Effect of a Specific Type of Stress on Antioxidant Systems in Albino Rats." Egyptian Journal of Forensic Sciences and Applied Toxicology 13, no. 2 (December 2013): 119–26. http://dx.doi.org/10.12816/0005105.
Full textBlázovics, A., I. György, A. J. N. Zsinka, P. Biacs, G. Földiák, and J. Feher. "In VztroScavenger Effect of Dihydroquinoline Type Derivatives in Different Free Radical Generating Systems." Free Radical Research Communications 6, no. 4 (January 1989): 217–26. http://dx.doi.org/10.3109/10715768909073474.
Full textOkamura, Shigeki, and Satoshi Fujita. "Motion Analysis of Pendulum Type Isolation Systems During Earthquakes (Probabilistic Study of Isolation Performance of Base Isolated Structure Considering Characteristic Dispersion of Pendulum Type Isolation Systems)." Journal of Pressure Vessel Technology 129, no. 3 (July 5, 2006): 507–15. http://dx.doi.org/10.1115/1.2748831.
Full textLiesner, Marvin, Wladimir Kirsch, Roland Pfister, and Wilfried Kunde. "Spatial action–effect binding depends on type of action–effect transformation." Attention, Perception, & Psychophysics 82, no. 5 (March 4, 2020): 2531–43. http://dx.doi.org/10.3758/s13414-020-02013-2.
Full textKumar, Pardeep, and Hari Mohan. "Thermosolutal-Convective Instability In Stern’s Type Configuration." WSEAS TRANSACTIONS ON SYSTEMS 20 (July 16, 2021): 149–56. http://dx.doi.org/10.37394/23202.2021.20.17.
Full textChodová, D., E. Tůmová, M. Martinec, Z. Bízková, V. Skřivanová, Z. Volek, and L. Zita. "Effect of housing system and genotype on rabbit meat quality." Czech Journal of Animal Science 59, No. 4 (April 15, 2014): 190–99. http://dx.doi.org/10.17221/7343-cjas.
Full textMillar, Thomas J., and Philip J. Anderton. "Effects of excitatory amino acids and their antagonists on the light response of luminosity and color-opponent horizontal cells in the turtle (Pseudemys scripta elegans) retina." Visual Neuroscience 6, no. 2 (February 1991): 135–49. http://dx.doi.org/10.1017/s095252380001052x.
Full textKruželák, Ján, Richard Sýkora, and Ivan Hudec. "Peroxide vulcanization of natural rubber. Part II: effect of peroxides and co-agents." Journal of Polymer Engineering 35, no. 1 (January 1, 2015): 21–29. http://dx.doi.org/10.1515/polyeng-2014-0035.
Full textProcházka, Lukáš, and Jana Boháčová. "The Effect of Fibers on the Basic Physical-Mechanical Properties of the Alkali-Activated Systems." Solid State Phenomena 296 (August 2019): 118–24. http://dx.doi.org/10.4028/www.scientific.net/ssp.296.118.
Full textHeczko, Oleg, Vít Kopecký, Jan Drahokoupil, Marek Vronka, Oleksiy Perevertov, and Jaromír Kopeček. "Magnetic Shape Memory Effect in Ni-Mn-Ga Single Crystal." Materials Science Forum 879 (November 2016): 738–43. http://dx.doi.org/10.4028/www.scientific.net/msf.879.738.
Full textTůmová, E., M. Skřivan, M. Englmaierová, and L. Zita. "The effect of genotype, housing system and egg collection time on egg quality in egg type hens." Czech Journal of Animal Science 54, No. 1 (February 3, 2009): 17–23. http://dx.doi.org/10.17221/1736-cjas.
Full textBehnisch, J., M. Schwarz, J. Trippel, M. Engelhart, and M. Wagner. "Improving aeration systems in saline water (part II): effect of different salts and diffuser type on oxygen transfer of fine-bubble aeration systems." Water Science and Technology 83, no. 11 (May 11, 2021): 2778–92. http://dx.doi.org/10.2166/wst.2021.185.
Full textKim, Sun-Jin, Myeong-Lok Seol, Byun-Young Chung, Dae-Sic Jang, Jong-Hwan Kim, and Young-Chul Choi. "Patch-Type Vibration Visualization (PVV) Sensor System Based on Triboelectric Effect." Sensors 21, no. 12 (June 9, 2021): 3976. http://dx.doi.org/10.3390/s21123976.
Full textChauret, C., L. Stover, C. Volk, T. S. Dykstra, G. A. Gagnon, and R. C. Andrews. "Effect of disinfectants on microbial ecology in model distribution systems." Journal of Water and Health 3, no. 4 (December 1, 2005): 359–69. http://dx.doi.org/10.2166/wh.2005.050.
Full textGupta, Neha, Chhavi Sharma, Mahesh Kumar, and Rachana Kumar. "Synthesis and comparative charge transfer studies in porphyrin–fullerene dyads: mode of attachment effect." New Journal of Chemistry 41, no. 22 (2017): 13276–86. http://dx.doi.org/10.1039/c7nj01613a.
Full textZeffane, Rachid, Bruce Cheek, and Paul Meredith. "Does user involvement during information systems development improve data quality?" Human Systems Management 17, no. 2 (April 17, 1998): 115–21. http://dx.doi.org/10.3233/hsm-1998-17205.
Full textBéda, Peter B. "On Dynamical Systems at the Portevin-Le Chatelier Effect." Key Engineering Materials 340-341 (June 2007): 301–6. http://dx.doi.org/10.4028/www.scientific.net/kem.340-341.301.
Full textMeerts, W. L., I. Ozier, and J. T. Hougen. "Anomalous transitions in two-level systems driven by the ac Stark effect." Canadian Journal of Physics 79, no. 2-3 (February 1, 2001): 533–45. http://dx.doi.org/10.1139/p00-103.
Full textGHOLAMI, SHAHRZAD, ARIA ALASTY, HASSAN SALARIEH, and MEHDI HOSSEINIAN-SARAJEHLOU. "ON THE CONTROL OF TUMOR GROWTH VIA TYPE-1 AND INTERVAL TYPE-2 FUZZY LOGIC." Journal of Mechanics in Medicine and Biology 15, no. 05 (October 2015): 1550083. http://dx.doi.org/10.1142/s0219519415500839.
Full textLaichaoui, Ahmed, Ablam Zidol, Ratiba Mitiche-Kettab, Abderrahim Bali, and Arezki Tagnit-Hamou. "Effect of the type of superplasticizer on the properties of cementitious systems incorporating slag." Journal of Adhesion Science and Technology 33, no. 2 (November 13, 2018): 187–207. http://dx.doi.org/10.1080/01694243.2018.1527671.
Full textGalkin, N. G., D. L. Goroshko, A. V. Konchenko, E. S. Zakharova, and S. Ts Krivoshchapov. "The hall effect in Fe submonolayer systems on n-and p-type Si(111)." Semiconductors 34, no. 7 (July 2000): 799–802. http://dx.doi.org/10.1134/1.1188076.
Full text