Szokoli, Mátyás; Kiss, Attila Enhanced type inference for binding-time analysis. (English) Zbl 07443568 Acta Univ. Sapientiae, Inform. 12, No. 2, 232-250 (2020). MSC: 68N18 68N15 03B38 PDF BibTeX XML Cite \textit{M. Szokoli} and \textit{A. Kiss}, Acta Univ. Sapientiae, Inform. 12, No. 2, 232--250 (2020; Zbl 07443568) Full Text: DOI OpenURL
Andrews, Bartholomew; Conduit, Gareth Absence of diagonal force constants in cubic Coulomb crystals. (English) Zbl 1472.82022 Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. 476, No. 2244, Article ID 20200518, 16 p. (2020). MSC: 82C22 82C20 PDF BibTeX XML Cite \textit{B. Andrews} and \textit{G. Conduit}, Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. 476, No. 2244, Article ID 20200518, 16 p. (2020; Zbl 1472.82022) Full Text: DOI arXiv OpenURL
Likhachev, V. N.; Vinogradov, G. A. Quantum problem of polaron localization and justification of the Su-Schrieffer-Heeger approximation. (English. Russian original) Zbl 1434.82047 Theor. Math. Phys. 199, No. 2, 719-725 (2019); translation from Teor. Mat. Fiz. 199, No. 2, 283-290 (2019). MSC: 82C20 82D20 PDF BibTeX XML Cite \textit{V. N. Likhachev} and \textit{G. A. Vinogradov}, Theor. Math. Phys. 199, No. 2, 719--725 (2019; Zbl 1434.82047); translation from Teor. Mat. Fiz. 199, No. 2, 283--290 (2019) Full Text: DOI OpenURL
Abdollahyan, Maryam; Elgar, Greg; Smeraldi, Fabrizio Identifying potential regulatory elements by transcription factor binding site alignment using partial order graphs. (English) Zbl 1416.92057 Int. J. Found. Comput. Sci. 29, No. 8, 1345-1354 (2018). MSC: 92C40 05C90 90C39 PDF BibTeX XML Cite \textit{M. Abdollahyan} et al., Int. J. Found. Comput. Sci. 29, No. 8, 1345--1354 (2018; Zbl 1416.92057) Full Text: DOI OpenURL
Likhachov, V. N.; Vinogradov, G. A. Integral characteristics of wave packets in the problem of the evolution of a wave function on a one-dimensional lattice. (English. Russian original) Zbl 1411.82023 Theor. Math. Phys. 197, No. 2, 1615-1625 (2018); translation from Teor. Mat. Fiz. 197, No. 2, 257-268 (2018). MSC: 82C20 82C70 PDF BibTeX XML Cite \textit{V. N. Likhachov} and \textit{G. A. Vinogradov}, Theor. Math. Phys. 197, No. 2, 1615--1625 (2018; Zbl 1411.82023); translation from Teor. Mat. Fiz. 197, No. 2, 257--268 (2018) Full Text: DOI OpenURL
Druedahl, Jeppe; Jørgensen, Thomas Høgholm A general endogenous grid method for multi-dimensional models with non-convexities and constraints. (English) Zbl 1401.65063 J. Econ. Dyn. Control 74, 87-107 (2017). MSC: 65K05 90C39 90C15 91G60 PDF BibTeX XML Cite \textit{J. Druedahl} and \textit{T. H. Jørgensen}, J. Econ. Dyn. Control 74, 87--107 (2017; Zbl 1401.65063) Full Text: DOI Link OpenURL
Chernodub, M. N. The Nielsen-Ninomiya theorem, \(\mathcal{PT}\) -invariant non-hermiticity and single 8-shaped Dirac cone. (English) Zbl 1377.82031 J. Phys. A, Math. Theor. 50, No. 38, Article ID 385001, 16 p. (2017). MSC: 82C10 81Q12 82C20 PDF BibTeX XML Cite \textit{M. N. Chernodub}, J. Phys. A, Math. Theor. 50, No. 38, Article ID 385001, 16 p. (2017; Zbl 1377.82031) Full Text: DOI arXiv OpenURL
Leung, Ka Yin; Diekmann, Odo Dangerous connections: on binding site models of infectious disease dynamics. (English) Zbl 1364.92048 J. Math. Biol. 74, No. 3, 619-671 (2017). Reviewer: Paul Georgescu (Iaşi) MSC: 92D30 92D25 34D20 60J28 PDF BibTeX XML Cite \textit{K. Y. Leung} and \textit{O. Diekmann}, J. Math. Biol. 74, No. 3, 619--671 (2017; Zbl 1364.92048) Full Text: DOI arXiv OpenURL
Kodolov, Vladimir Ivanovitch (ed.); Korepanov, Mikhail A. (ed.) Applied mathematical models and experimental approaches in chemical science. (English) Zbl 1349.92002 Innovations in Chemical Physics and Mesoscopy. Boca Raton, FL: CRC Press/Apple Academic Press (ISBN 978-1-77188-382-5/hbk; 978-1-77188-383-2/ebook). xxiv, 403 p. (2017). Reviewer: Irina Ioana Mohorianu (Oxford) MSC: 92-02 92Exx 82D80 80A25 80A30 80A50 78A45 00A71 00A79 PDF BibTeX XML Cite \textit{V. I. Kodolov} (ed.) and \textit{M. A. Korepanov} (ed.), Applied mathematical models and experimental approaches in chemical science. Boca Raton, FL: CRC Press/Apple Academic Press (2017; Zbl 1349.92002) Full Text: Link OpenURL
Halman, Nir A deterministic fully polynomial time approximation scheme for counting integer knapsack solutions made easy. (English) Zbl 1348.68295 Theor. Comput. Sci. 645, 41-47 (2016). MSC: 68W25 68Q25 90C27 90C39 90C59 PDF BibTeX XML Cite \textit{N. Halman}, Theor. Comput. Sci. 645, 41--47 (2016; Zbl 1348.68295) Full Text: DOI OpenURL
Tobisawa, Kazunori A meta lambda calculus with cross-level computation. (English) Zbl 1345.68078 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 383-393 (2015). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{K. Tobisawa}, in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 383--393 (2015; Zbl 1345.68078) Full Text: DOI OpenURL
Pal, Biplab; Chakrabarti, Arunava Engineering bands of extended electronic states in a class of topologically disordered and quasiperiodic lattices. (English) Zbl 1298.82073 Phys. Lett., A 378, No. 37, 2782-2789 (2014). MSC: 82D30 82C20 82C70 83C10 PDF BibTeX XML Cite \textit{B. Pal} and \textit{A. Chakrabarti}, Phys. Lett., A 378, No. 37, 2782--2789 (2014; Zbl 1298.82073) Full Text: DOI arXiv OpenURL
Martínez, L. A.; Sanjinés, D.; Gallinar, J.-P. Semiclassical tight-binding dynamics in rapidly oscillating fields plus a static arbitrary potential. (English) Zbl 1297.82017 Int. J. Mod. Phys. B 28, No. 25, Article ID 1450173, 16 p. (2014). MSC: 82C20 82C10 81Q20 PDF BibTeX XML Cite \textit{L. A. Martínez} et al., Int. J. Mod. Phys. B 28, No. 25, Article ID 1450173, 16 p. (2014; Zbl 1297.82017) Full Text: DOI OpenURL
Ducournau, Roland Implementing statically typed object-oriented programming languages. (English) Zbl 1293.68072 ACM Comput. Surv. 43, No. 3, Paper No. 6, 48 p. (2011). MSC: 68N15 68N19 68N20 68-02 PDF BibTeX XML Cite \textit{R. Ducournau}, ACM Comput. Surv. 43, No. 3, Paper No. 6, 48 p. (2011; Zbl 1293.68072) Full Text: DOI Link OpenURL
Rosenmüller, Marko Towards flexible feature composition: static and dynamic binding in software product lines. (English) Zbl 1235.68020 Madgeburg: Univ. Magdeburg, Fakultät für Informatik (Diss.). xiv, 175 p. (2011). MSC: 68-02 68N30 PDF BibTeX XML Cite \textit{M. Rosenmüller}, Towards flexible feature composition: static and dynamic binding in software product lines. Madgeburg: Univ. Magdeburg, Fakultät für Informatik (Diss.) (2011; Zbl 1235.68020) OpenURL
Atolia, Manoj; Einarsson, Tor; Marquis, Milton Understanding liquidity shortages during severe economic downturns. (English) Zbl 1232.91456 J. Econ. Dyn. Control 35, No. 3, 330-343 (2011). MSC: 91B51 PDF BibTeX XML Cite \textit{M. Atolia} et al., J. Econ. Dyn. Control 35, No. 3, 330--343 (2011; Zbl 1232.91456) Full Text: DOI OpenURL
Kim, Sunghyun Henry; Kollmann, Robert; Kim, Jinill Solving the incomplete market model with aggregate uncertainty using a perturbation method. (English) Zbl 1179.91008 J. Econ. Dyn. Control 34, No. 1, 50-58 (2010). MSC: 91-08 91B51 91B64 91B69 PDF BibTeX XML Cite \textit{S. H. Kim} et al., J. Econ. Dyn. Control 34, No. 1, 50--58 (2010; Zbl 1179.91008) Full Text: DOI OpenURL
Zhang, Ai-Xia; Xue, Ju-Kui The dynamics and stabilities of Bose-Einstein condensates in deep optical lattices. (English) Zbl 1217.82059 Phys. Lett., A 372, No. 8, 1147-1154 (2008). MSC: 82C26 78A37 82C22 35Q51 82C27 PDF BibTeX XML Cite \textit{A.-X. Zhang} and \textit{J.-K. Xue}, Phys. Lett., A 372, No. 8, 1147--1154 (2008; Zbl 1217.82059) Full Text: DOI OpenURL
Zhang, Lihai; Gardiner, Bruce S.; Smith, David W.; Pivonka, Peter; Grodzinsky, Alan J. IGF uptake with competitive binding in articular cartilage. (English) Zbl 1149.92322 J. Biol. Syst. 16, No. 2, 175-195 (2008). MSC: 92C50 92C30 35Q92 PDF BibTeX XML Cite \textit{L. Zhang} et al., J. Biol. Syst. 16, No. 2, 175--195 (2008; Zbl 1149.92322) Full Text: DOI OpenURL
Butler, Alastair Scope control and grammatical dependencies. (English) Zbl 1160.03303 J. Logic Lang. Inf. 16, No. 3, 241-264 (2007). MSC: 03B65 68T50 91F20 PDF BibTeX XML Cite \textit{A. Butler}, J. Logic Lang. Inf. 16, No. 3, 241--264 (2007; Zbl 1160.03303) Full Text: DOI OpenURL
Kim, Sang-Yong; Takagi, Hideaki Dynamic control of the adress binding update for mobile nodes in a hierarchical mobile IP network. (English) Zbl 1142.90339 J. Oper. Res. Soc. Japan 50, No. 2, 82-100 (2007). MSC: 90B18 90C40 PDF BibTeX XML Cite \textit{S.-Y. Kim} and \textit{H. Takagi}, J. Oper. Res. Soc. Japan 50, No. 2, 82--100 (2007; Zbl 1142.90339) Full Text: DOI OpenURL
Wen, Qi; Li, Guanglai; Tang, Jay X.; Huber, Greg Switching statistics of a flagellar motor: first-passage time and dynamic binding. (English) Zbl 1118.92006 J. Stat. Phys. 128, No. 1-2, 257-267 (2007). MSC: 92C17 82C31 PDF BibTeX XML Cite \textit{Q. Wen} et al., J. Stat. Phys. 128, No. 1--2, 257--267 (2007; Zbl 1118.92006) Full Text: DOI OpenURL
Kiselyov, Oleg; Shan, Chung-chieh; Sabry, Amr Delimited dynamic binding. (English) Zbl 1321.68128 Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 26-37 (2006). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{O. Kiselyov} et al., in: Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP '06, Portland, OR, USA, September 18--20, 2006. New York, NY: Association for Computing Machinery (ACM). 26--37 (2006; Zbl 1321.68128) Full Text: DOI Link OpenURL
Wexler, Ydo; Zilberstein, Chaya; Ziv-Ukelson, Michal A study of accessible motifs and RNA folding complexity. (English) Zbl 1302.92103 Apostolico, Alberto (ed.) et al., Research in computational molecular biology. 10th annual international conference, RECOMB 2006, Venice, Italy, April 2–5, 2006, Proceedings. Berlin: Springer (ISBN 978-3-540-33295-4/pbk). Lecture Notes in Computer Science 3909. Lecture Notes in Bioinformatics, 473-487 (2006). MSC: 92D20 PDF BibTeX XML Cite \textit{Y. Wexler} et al., Lect. Notes Comput. Sci. 3909, 473--487 (2006; Zbl 1302.92103) Full Text: DOI OpenURL
Ko, Eung Nam An intelligent QoS model for adaptive concurrency control running on ubiquitous computing environments. (English) Zbl 1127.93343 Huang, De-Shuang (ed.) et al., Intelligent control and automation. International conference on intelligent computing, ICIC 2006, Kunming, China, August 16–19, 2006. Berlin: Springer (ISBN 3-540-37255-5/pbk). Lecture Notes in Control and Information Sciences 344, 1012-1021 (2006). MSC: 93C83 93C40 PDF BibTeX XML Cite \textit{E. N. Ko}, Lect. Notes Control Inf. Sci. 344, 1012--1021 (2006; Zbl 1127.93343) OpenURL
Kataoka, S.; Kajiya, M. Dynamic programming and lower-bound approaches to the minimum binding problem. (English) Zbl 1070.90126 Int. J. Syst. Sci. 35, No. 11, 629-636 (2004). MSC: 90C39 PDF BibTeX XML Cite \textit{S. Kataoka} and \textit{M. Kajiya}, Int. J. Syst. Sci. 35, No. 11, 629--636 (2004; Zbl 1070.90126) Full Text: DOI OpenURL
Bierman, Gavin; Hicks, Michael; Sewell, Peter; Stoyle, Gareth; Wansbrough, Keith Dynamic rebinding for marshalling and update, with destruct-time \(\lambda\). (English) Zbl 1315.68047 Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 99-110 (2003). MSC: 68N18 68M14 PDF BibTeX XML Cite \textit{G. Bierman} et al., in: Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP '03, Uppsala, Sweden, August 25--29, 2003. New York, NY: Association for Computing Machinery (ACM). 99--110 (2003; Zbl 1315.68047) Full Text: DOI OpenURL
Holler, Manfred J.; Illing, Gerhard Introduction to game theory. 5., überarbeitete Aufl. (Einführung in die Spieltheorie.) (German) Zbl 1014.91001 Springer-Lehrbuch. Berlin: Springer. xiii, 424 p. (2003). Reviewer: Gerald A.Heuer (Nye) MSC: 91-01 91Axx PDF BibTeX XML Cite \textit{M. J. Holler} and \textit{G. Illing}, Einführung in die Spieltheorie. 5., überarbeitete Aufl. Berlin: Springer (2003; Zbl 1014.91001) OpenURL
Baskiyar, S. Efficient execution of pure object-oriented programs by follow-up compilation. (English) Zbl 1239.68022 Computing 69, No. 4, 273-289 (2002). MSC: 68N20 68N19 68N15 68N25 PDF BibTeX XML Cite \textit{S. Baskiyar}, Computing 69, No. 4, 273--289 (2002; Zbl 1239.68022) Full Text: DOI OpenURL
von Oheimb, David; Nipkow, Tobias Hoare logic for NanoJava: Auxiliary variables, side effects, and virtual methods revisited. (English) Zbl 1064.68543 Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 89-105 (2002). MSC: 68N30 68N15 68T15 PDF BibTeX XML Cite \textit{D. von Oheimb} and \textit{T. Nipkow}, Lect. Notes Comput. Sci. 2391, 89--105 (2002; Zbl 1064.68543) Full Text: Link OpenURL
Baude, Francoise; Caromel, Denis; Sagnol, David Distributed objects for parallel numerical applications. (English) Zbl 1039.68026 M2AN, Math. Model. Numer. Anal. 36, No. 5, 837-861 (2002). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{F. Baude} et al., M2AN, Math. Model. Numer. Anal. 36, No. 5, 837--861 (2002; Zbl 1039.68026) Full Text: DOI Numdam EuDML OpenURL
Hashimoto, Masatomo First-class contexts in ML. (English) Zbl 1319.68051 Int. J. Found. Comput. Sci. 11, No. 1, 65-87 (2000). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{M. Hashimoto}, Int. J. Found. Comput. Sci. 11, No. 1, 65--87 (2000; Zbl 1319.68051) Full Text: DOI OpenURL
Moreau, Luc A syntactic theory of dynamic binding. (English) Zbl 0934.68038 High.-Order Symb. Comput. 11, No. 3, 233-279 (1998). MSC: 68N18 PDF BibTeX XML Cite \textit{L. Moreau}, High.-Order Symb. Comput. 11, No. 3, 233--279 (1998; Zbl 0934.68038) Full Text: DOI OpenURL
Poo, Danny C. C.; Kiong, Derek B. K. Object-oriented programming and Java. (English) Zbl 0928.68015 Singapore: Springer. xvii, 316 p. (1998). Reviewer: T.Bălănescu (Bucureşti) MSC: 68N15 68-01 PDF BibTeX XML Cite \textit{D. C. C. Poo} and \textit{D. B. K. Kiong}, Object-oriented programming and Java. Singapore: Springer (1998; Zbl 0928.68015) OpenURL
Graba, Jan Up and running with C++. (English) Zbl 0912.68013 Berlin: Springer. ix, 304 p. (1998). Reviewer: T.Bălănescu (Bucureşti) MSC: 68N15 68-01 PDF BibTeX XML Cite \textit{J. Graba}, Up and running with C++. Berlin: Springer (1998; Zbl 0912.68013) OpenURL
Dami, Laurent A lambda-calculus for dynamic binding. (English) Zbl 0895.68015 Theor. Comput. Sci. 192, No. 2, 201-231 (1998). MSC: 68N15 PDF BibTeX XML Cite \textit{L. Dami}, Theor. Comput. Sci. 192, No. 2, 201--231 (1998; Zbl 0895.68015) Full Text: DOI OpenURL
Gupta, Gopal; Pontelli, Enrico Extended dynamic dependent and-parallelism in ACE. (English) Zbl 0923.68055 Hitz, Markus (ed.) et al., Second international symposium on parallel symbolic computation, PASCO ’97, Maui, HI, USA, July 20–22, 1997. New York, NY: ACM Press. 68-79 (1997). MSC: 68Q10 PDF BibTeX XML Cite \textit{G. Gupta} and \textit{E. Pontelli}, in: Second international symposium on parallel symbolic computation, PASCO '97, Maui, HI, USA, July 20--22, 1997. New York, NY: ACM Press. 68--79 (1997; Zbl 0923.68055) OpenURL
Kracht, Marcus Syntactic codes and grammar refinement. (English) Zbl 0833.03009 J. Logic Lang. Inf. 4, No. 1, 41-60 (1995); erratum No. 4, 359-380 (1995). MSC: 03B65 68Q42 03B45 PDF BibTeX XML Cite \textit{M. Kracht}, J. Logic Lang. Inf. 4, No. 1, 41--60 (1995; Zbl 0833.03009) Full Text: DOI OpenURL
Wilson, Leslie B.; Clark, Robert G. Comparative programming languages. 2nd ed. (English) Zbl 0844.68015 Amsterdam: Addison-Wesley. 480 p. (1993). Reviewer: G.E.Tseytlin (Kiev) MSC: 68N15 68N17 68-01 68P05 PDF BibTeX XML Cite \textit{L. B. Wilson} and \textit{R. G. Clark}, Comparative programming languages. 2nd ed. Amsterdam: Addison-Wesley (1993; Zbl 0844.68015) OpenURL
Pagin, Peter; Westerståhl, Dag Predicate logic with flexibly binding operators and natural language semantics. (English) Zbl 0794.03043 J. Logic Lang. Inf. 2, No. 2, 89-128 (1993). MSC: 03B65 PDF BibTeX XML Cite \textit{P. Pagin} and \textit{D. Westerståhl}, J. Logic Lang. Inf. 2, No. 2, 89--128 (1993; Zbl 0794.03043) Full Text: DOI OpenURL
Jones, Neil D. Static semantics, types, and binding time analysis. (English) Zbl 0796.68050 Theor. Comput. Sci. 90, No. 1, 95-118 (1991). MSC: 68N15 68Q55 68N20 PDF BibTeX XML Cite \textit{N. D. Jones}, Theor. Comput. Sci. 90, No. 1, 95--118 (1991; Zbl 0796.68050) Full Text: DOI OpenURL
Bovier, Anton The density of states in the Anderson model at weak disorder: A renormalization group analysis of the hierarchical model. (English) Zbl 0718.60121 J. Stat. Phys. 59, No. 3-4, 745-779 (1990). MSC: 60K40 82C21 82C44 PDF BibTeX XML Cite \textit{A. Bovier}, J. Stat. Phys. 59, No. 3--4, 745--779 (1990; Zbl 0718.60121) Full Text: DOI OpenURL
Prini, Gianfranco Stack implementation of shallow binding in languages with mixed scoping. (English) Zbl 0421.68012 Inf. Process. Lett. 9, 143-154 (1979). MSC: 68N01 PDF BibTeX XML Cite \textit{G. Prini}, Inf. Process. Lett. 9, 143--154 (1979; Zbl 0421.68012) Full Text: DOI OpenURL