×

Found 43 Documents (Results 1–43)

100
MathJax

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
Full Text: DOI

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
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: Link

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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

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
Full Text: DOI

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
Full Text: Link

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

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software