×

Found 23 Documents (Results 1–23)

On the hardness of energy minimisation for crystal structure prediction. (English) Zbl 1440.82010

Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 587-596 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the flora of asynchronous locally non-monotonic Boolean automata networks. (English) Zbl 1401.68140

Paulevé, Loïc (ed.) et al., Post-proceedings of the 6th international workshop on static analysis and systems biology (SASB 2015), Saint-Malo, France, September 8, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 326, 3-25 (2016).
MSC:  68Q45 68R10 92C42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Orthology relation and gene tree correction: complexity results. (English) Zbl 1367.92086

Pop, Mihai (ed.) et al., Algorithms in bioinformatics. 15th international workshop, WABI 2015, Atlanta, GA, USA, September 10–12, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48220-9/pbk; 978-3-662-48221-6/ebook). Lecture Notes in Computer Science 9289. Lecture Notes in Bioinformatics, 66-79 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Deleting edges to restrict the size of an epidemic: a new application for treewidth. (English) Zbl 1475.92159

Lu, Zaixin (ed.) et al., Combinatorial optimization and applications. 9th international conference, COCOA 2015, Houston, TX, USA, December 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9486, 574-585 (2015).
MSC:  92D30
PDFBibTeX XMLCite
Full Text: DOI Link

Learning of digital spiking neuron and its application potentials. (English) Zbl 1161.37366

In, Visarath (ed.) et al., Applications of nonlinear dynamics. Model and design of complex systems. Berlin: Springer (ISBN 978-3-540-85631-3/hbk; 978-3-540-85632-0/e-book). Understanding Complex Systems; Springer: Complexity, 273-285 (2009).
MSC:  37N25 92C20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software