Academic literature on the topic 'Dynamic Type System'
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 'Dynamic Type System.'
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 "Dynamic Type System"
Han, Ning, and Qingjie Cao. "Multiple Bifurcations of a Cylindrical Dynamical System." Journal of Theoretical and Applied Mechanics 46, no. 1 (March 1, 2016): 33–52. http://dx.doi.org/10.1515/jtam-2016-0003.
Full textYonezawa, Takuo, and Yukiyoshi Kameyama. "A Type System for Dynamic Delimited Continuations." IPSJ Digital Courier 4 (2008): 182–92. http://dx.doi.org/10.2197/ipsjdc.4.182.
Full textBui, Van-Phuoc, and Young-Bok Kim. "A Study on the Development of Dynamic Positioning System for Barge Type Surface Vessels." Journal of the Korea Society For Power System Engineering 16, no. 2 (April 30, 2012): 66–74. http://dx.doi.org/10.9726/kspse.2012.16.2.066.
Full textAbadi, M., L. Cardelli, B. Pierce, and D. Rémy. "Dynamic typing in polymorphic languages." Journal of Functional Programming 5, no. 1 (January 1995): 111–30. http://dx.doi.org/10.1017/s095679680000126x.
Full textWon, Jang-Seok, Seongnam-si, Hui-Su Jang, and Goyang-si. "DYNAMIC TYPE UNIT WITH MULTIPLE MAGNETIC FIELD SYSTEM." Journal of the Acoustical Society of America 132, no. 4 (2012): 2767. http://dx.doi.org/10.1121/1.4757771.
Full textWAKUI, Tetsuya, Takahiro HASHIKAWA, Ryohei YOKOYAMA, and Takashi KANEKO. "ICOPE-15-1075 Dynamic Cycle Simulation of a Multi-split Type Electric Air-Conditioning System for Buildings." Proceedings of the International Conference on Power Engineering (ICOPE) 2015.12 (2015): _ICOPE—15——_ICOPE—15—. http://dx.doi.org/10.1299/jsmeicope.2015.12._icope-15-_55.
Full textWang, Dawei, Hongbo Zou, and Jili Tao. "A new design of fractional-order dynamic matrix control with proportional–integral–derivative-type structure." Measurement and Control 52, no. 5-6 (April 29, 2019): 567–76. http://dx.doi.org/10.1177/0020294019843939.
Full textKupershlyak-Yuzefovich, G. M. "Dynamic errors in a resistance-type strain-measuring system." Strength of Materials 21, no. 9 (September 1989): 1254–60. http://dx.doi.org/10.1007/bf01529308.
Full textOhno, Y. "Dynamic Roadway Lighting Measuring System with Split Type Photocells." Journal of the Illuminating Engineering Society 16, no. 2 (July 1987): 137–51. http://dx.doi.org/10.1080/00994480.1987.10748694.
Full textKlein, Helen Altman, and Katherine D. Lippa. "Type 2 Diabetes Self-Management: Controlling a Dynamic System." Journal of Cognitive Engineering and Decision Making 2, no. 1 (March 2008): 48–62. http://dx.doi.org/10.1518/155534308x284363.
Full textDissertations / Theses on the topic "Dynamic Type System"
Demiray, Turhan Hilmi. "Simulation of power system dynamics using dynamic phasor models /." Zürich : ETH, 2008. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=17607.
Full textPiriquito, Maria Margarida Lameira da Cunha. "Type System for the ComponentJ Programming Language." Master's thesis, FCT - UNL, 2009. http://hdl.handle.net/10362/2015.
Full textWith the constant evolution of software systems need arises for more structured implementations, where processes like software updates and changes in systems can be easily made, with no need to change what had previously been implemented. One possible solution to this problem is the use of component-based programming languages. This kind of programming languages tries to promote not only code reuse but also a black-box discipline where it is not needed how a service is implemented, but only its interface so that it can be used. The ComponentJ programming language seeks to provide a simple way to perform component creation and composition, making this new programming paradigm somewhat easy to use. Because ComponentJ is meant to be an extension to the Java programming language it becomes possible to implement components using the whole expressiveness of this language. It is also possible, in ComponentJ, to dynamically change components and the object structure based on runtime decisions. This dynamic reconfiguration process allows, for instance, to perform changes/updates to a certain software system without having to stop its execution. The goal for this project is to implement a type system for the ComponentJ programming language, based on the work presented in [32, 28]. Type verification is syntax driven, and uses structural equivalence of types. Advanced techniques such as subtyping and type inference are also included in order to make the language more flexible. Besides the static type checker, a dynamic checker is also included, allowing the type safe application of runtime changes to the system (dynamic reconfiguration of objects) before their application.
Ramos, Pablo D. Jr. "SYSTEM IDENTIFICATION OF A BRIDGE-TYPE BUILDING STRUCTURE." DigitalCommons@CalPoly, 2013. https://digitalcommons.calpoly.edu/theses/944.
Full textMartinez-Flores, Rene. "DAMAGE ASSESSMENT POTENTIAL OF A NOVEL SYSTEM IDENTIFICATION TECHNIQUE - EXPERIMENTAL VERIFICATION." Diss., Tucson, Arizona : University of Arizona, 2005. http://etd.library.arizona.edu/etd/GetFileServlet?file=file:///data1/pdf/etd/azu%5Fetd%5F1028%5F1%5Fm.pdf&type=application/pdf.
Full textHammarbäck, Madelene. "Development of a dynamic ex vivo culture system for human islets of langerhans." Thesis, Uppsala universitet, Institutionen för kvinnors och barns hälsa, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-353398.
Full textChoi, Wonbae. "Dynamic phasor modeling of type 3 wind turbine generators for large-scale power system transient stability studies." Thesis, University of British Columbia, 2017. http://hdl.handle.net/2429/63007.
Full textApplied Science, Faculty of
Electrical and Computer Engineering, Department of
Graduate
Venkateswaran, Jayendran. "PRODUCTION AND DISTRIBUTION PLANNING FOR DYNAMIC SUPPLY CHAINS USING MULTI-RESOLUTION HYBRID MODELS." Diss., Tucson, Arizona : University of Arizona, 2005. http://etd.library.arizona.edu/etd/GetFileServlet?file=file:///data1/pdf/etd/azu%5Fetd%5F1185%5F1%5Fm.pdf&type=application/pdf.
Full textGeller, Felix, Robert Hirschfeld, and Gilad Bracha. "Pattern Matching for an object-oriented and dynamically typed programming language." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4303/.
Full textRushton, Matthew V. "Static and dynamic type systems." Diss., Connect to the thesis Connect to the thesis, 2004. http://hdl.handle.net/10066/1483.
Full textCaronni, Germano. "Dynamic security in communication systems /." [S.l.] : [s.n.], 1999. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=13156.
Full textBooks on the topic "Dynamic Type System"
Shah, Suril Vijaykumar. Dynamics of Tree-Type Robotic Systems. Dordrecht: Springer Netherlands, 2013.
Find full textShah, Suril Vijaykumar, Subir Kumar Saha, and Jayanta Kumar Dutt. Dynamics of Tree-Type Robotic Systems. Dordrecht: Springer Netherlands, 2013. http://dx.doi.org/10.1007/978-94-007-5006-7.
Full textAwrejcewicz, J. Smooth and nonsmooth high dimensional chaos and the Melnikov-type methods. Singapore: World Scientific, 2007.
Find full textCardiovascular dynamics: A psychophysiological study : behavioral control, type A, task performance, test anxiety, and cardiovascular responses. Berwyn [Pa.]: Swets North America, 1986.
Find full textKuprina, Elena. Co-creation in music and music education. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1019193.
Full textBeaser, Richard S. Outsmarting diabetes: A dynamic approach for reducing the effects of insulin-dependent diabetes. Minneapolis, MN: Chronimed Pub., 1994.
Find full textVol'vak, Sergey. Hydraulics. Workshop. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1045068.
Full text1973-, Warzel Simone, ed. Random operators: Disorder effects on quantum spectra and dynamics. Providence, Rhode Island: American Mathematical Society, 2015.
Find full textHerrmann, Samuel. Stochastic resonance: A mathematical approach in the small noise limit. Providence, Rhode Island: American Mathematical Society, 2014.
Find full textGermany) International Conference on p-adic Functional Analysis (13th 2014 Paderborn. Advances in non-Archimedean analysis: 13th International Conference on p-adic Functional Analysis, August 12-16, 2014, University of Paderborn, Paderborn, Germany. Edited by Glöckner Helge 1969 editor, Escassut Alain editor, and Shamseddine Khodr 1966 editor. Providence, Rhode Island: American Mathematical Society, 2016.
Find full textBook chapters on the topic "Dynamic Type System"
Deng, Hongguang, Xindu Chen, PingYu Zhu, and Wen Zheng. "Dynamic Simulation Analysis of Human Arch Type Vibration Isolation System." In Proceedings of IncoME-V & CEPE Net-2020, 29–38. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-75793-9_4.
Full textShivkumar, Bhargav, Enrique Naudon, and Lukasz Ziarek. "Putting Gradual Types to Work." In Practical Aspects of Declarative Languages, 54–70. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-67438-0_4.
Full textOzaki, Masahiro, Koji Koyama, Yoshinori Adachi, and Naohiro Ishii. "Web Type CAI System with Dynamic Text Change from Database by Understanding." In Lecture Notes in Computer Science, 567–72. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45226-3_78.
Full textShin, Seok-san, Bong-soeb Kim, Dong-won Lee, and Seong-jin Kwon. "Vehicle Dynamic Analysis for the Ball-Screw Type Energy Harvesting Damper System." In AETA 2016: Recent Advances in Electrical Engineering and Related Sciences, 853–62. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-50904-4_86.
Full textMohamed, Ahmed, Hani Hagras, Sid Shakya, Anne Liret, Raphael Dorne, and Gilbert Owusu. "Hierarchical Type-2 Fuzzy Logic Based Real Time Dynamic Operational Planning System." In Research and Development in Intelligent Systems XXXI, 255–67. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-12069-0_19.
Full textYao, Bo, Hani Hagras, Danniyal Al Ghazzawi, and Mohammed J. Alhaddad. "An Interval Type-2 Fuzzy Logic System for Human Silhouette Extraction in Dynamic Environments." In Autonomous and Intelligent Systems, 126–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31368-4_15.
Full textKolpakova, Ekaterina A. "Solution for a System of Hamilton–Jacobi Equations of Special Type and a Link with Nash Equilibrium." In Static & Dynamic Game Theory: Foundations & Applications, 53–66. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-92988-0_5.
Full textChauvin, Christine, Farida Said, and Sabine Langlois. "Does the Type of Visualization Influence the Mode of Cognitive Control in a Dynamic System?" In Advances in Intelligent Systems and Computing, 751–57. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-11051-2_114.
Full textOchoa, Patricia, Oscar Castillo, José Soria, and Prometeo Cortes-Antonio. "Differential Evolution Algorithm Using a Dynamic Crossover Parameter with High-Speed Interval Type 2 Fuzzy System." In Advances in Soft Computing, 369–78. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04491-6_28.
Full textWang, Jeen-Shing, Hung-Yi Lin, Yu-Liang Hsu, and Ya-Ting Yang. "Using a Wiener-Type Recurrent Neural Network with the Minimum Description Length Principle for Dynamic System Identification." In Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 192–201. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74205-0_22.
Full textConference papers on the topic "Dynamic Type System"
Sandholm, Anders, and Michael I. Schwartzbach. "A type system for dynamic Web documents." In the 27th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/325694.325733.
Full textLi, Shuangqing, and John B. Shung. "Dynamic Analysis of Trochoidal-Type Machine." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/dac-1468.
Full textHoque, Md Emdadul, Takeshi Mizuno, Yuji Ishino, and Masaya Takasaki. "A Modular-Type Three-Axis Vibration Isolation System Using Negative Stiffness." In ASME 2010 Dynamic Systems and Control Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/dscc2010-4128.
Full textSu, Y., S. Cheng, and J. Wen. "Power System Dynamic Stability Analysis and Stability Type Discrimination." In 2006 International Conference on Power System Technology. IEEE, 2006. http://dx.doi.org/10.1109/icpst.2006.321774.
Full textSu, Y. C., S. J. Cheng, J. Y. Wen, and J. Zhang. "Power System Dynamic Stability Analysis and Stability Type Discrimination." In 41st International Universities Power Engineering Conferenc. IEEE, 2006. http://dx.doi.org/10.1109/upec.2006.367531.
Full textCodres, Bogdan, Gheorghe Puscasu, Gabriel Murariu, Alexandru Codres, and Alexandru Stancu. "Sliding mode control for a dynamic system, helicopter type." In 2013 4th International Symposium on Electrical and Electronics Engineering (ISEEE). IEEE, 2013. http://dx.doi.org/10.1109/iseee.2013.6674322.
Full textLi, Yuwei, David Donghyun Kim, and Brian Anthony. "HapticWall: An Encountered-Type Two-Dimensional Vertical System for Virtual Reality." In ASME 2020 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/dscc2020-3105.
Full textJohn Yanhao Chen and Boxu Xiao. "Time pattern study for a dynamic-type air cushion." In 2010 International Conference on System Science and Engineering (ICSSE). IEEE, 2010. http://dx.doi.org/10.1109/icsse.2010.5551823.
Full textMalecha, Gregory, and Stephen Chong. "A more precise security type system for dynamic security tests." In the 5th ACM SIGPLAN Workshop. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1814217.1814221.
Full textJizhong Zhu, Qiaobo Liu, Ziyu Chen, Shenglin Li, and Tengyan Luo. "Power system dynamic economic dispatch with multi-type renewable energy." In 8th Renewable Power Generation Conference (RPG 2019). Institution of Engineering and Technology, 2019. http://dx.doi.org/10.1049/cp.2019.0349.
Full textReports on the topic "Dynamic Type System"
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.
Full textBodie, 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.
Full text