Operational Methods in the Environment of a Computer Algebra System

This article presents the principal results of the doctoral thesis “Direct Operational Methods in the Environment of a Computer Algebra System” by Margarita Spiridonova (Institute of mathematics and Informatics, BAS), successfully defended before the Specialised Academic Council for Informatics and Mathematical Modelling on 23 March, 2009.

A Method for Classification of Doubly Resolvable Designs and Its Application

This article presents the principal results of the Ph.D. thesis Investigation and classification of doubly resolvable designs by Stela Zhelezova (Institute of Mathematics and Informatics, BAS), successfully defended at the Specialized Academic Council for Informatics and Mathematical Modeling on 22 February 2010.

Towards New Teaching in Mathematics How to Realize Inquiry Based and Problem Oriented Mathematics Lessons?

Дагмар Рааб Математиката е вълнуваща и забавна. Можем ли да убедим учениците, че това може да стане действителност. Задачите са най-важните инструменти за учителите по математика, когато планират уроците си. Планът трябва да съдържа идеи как да се очертае и как да се жалонира пътят, по който учениците ще стигнат до решението на дадена задача. Учителите не трябва да очакват от учениците си просто да кажат кой е отговорът на задачата, а да ги увлекат в процеса на решаване с подходящи въпроси. Ролята на учителя е да помогне на учениците • да бъдат активни и резултатни при решаването на задачи; • самите те да поставят задачи; • да модифицират задачи; • да откриват закономерности; • да изготвят стратегии за решаване на задачи; • да откриват и изследват различни начини за решаване на задачи; • да намират смислена връзка между математическите си знания и проблеми от ежедневието. В доклада са представени избрани и вече експериментирани примери за това как учители и ученици могат да намерят подходящ път към нов тип преживявания в преподаването и изучаването на училищната математика.

On some Properties of Boolean Functions and Their Binary Decision Diagrams

Иво Й. Дамянов - Манипулирането на булеви функции е основнo за теоретичната информатика, в това число логическата оптимизация, валидирането и синтеза на схеми. В тази статия се разглеждат някои първоначални резултати относно връзката между граф-базираното представяне на булевите функции и свойствата на техните променливи.

Informatika, telekommunikáció és gazdasági stabilitás (Information technology, telecommunications and economic stability)

Fizikai példákon és matematikai modelleken bemutatjuk, hogy a rendszerek működésének hatékonyságnövekedése instabilitást eredményezhet. Megvizsgáljuk, hogy az informatika és a telekommunikáció fejlődése okozhat-e rendszerszintű instabilitást, illetve milyen gazdasági eszközök vannak a stabilitás fenntartására. / === / Using examples from physics and mathematical modeling, the paper shows that increasing efficiency in systems can lead to instability. The question thus arises whether the development of information and telecommunication technology can lead to instability in the economic system. The policy tools used to maintain stability are also discussed.

Reconstructing direct and indirect interactions in networked public goods game

W.-X.W. was supported by NNSFC under Grant No. 61573064 and Grant No. 61074116, Beijing Nova Programme, China, and the Fundamental Research Funds for the Central Universities. Y.-C.L. was supported by ARO under Grant W911NF-14-1-0504.

Thick-walled composite tubes for offshore applications : an example of stress and failure analysis for filament-wound multi-layered pipes

Peer reviewed

Cascade failure analysis of power grid using new load distribution law and node removal rule

The work is supported in part by NSFC (Grant no. 61172070), IRT of Shaanxi Province (2013KCT-04), EPSRC (Grant no.Ep/1032606/1).

Structure and mechanics of active colloids

11 pages Acknowledgments MCM thanks Xingbo Yang and Lisa Manning for their contribution to some aspects of the work reviewed here and for fruitful discussions. MCM was supported by NSF-DMR-305184. MCM and AP acknowledge support by the NSF IGERT program through award NSF-DGE-1068780. MCM, AP and DY were additionally supported by the Soft Matter Program at Syracuse University. AP acknowledges use of the Syracuse University HTC Campus Grid which is supported by NSF award ACI-1341006. YF was supported by NSF grant DMR-1149266 and the Brandeis Center for Bioinspired Soft Materials, an NSF MRSEC, DMR-1420382.

Thick-walled composite tubes for offshore applications : an example of stress and failure analysis for filament-wound multi-layered pipes

Peer reviewed

Cascade failure analysis of power grid using new load distribution law and node removal rule

The work is supported in part by NSFC (Grant no. 61172070), IRT of Shaanxi Province (2013KCT-04), EPSRC (Grant no.Ep/1032606/1).

Structure and mechanics of active colloids

11 pages Acknowledgments MCM thanks Xingbo Yang and Lisa Manning for their contribution to some aspects of the work reviewed here and for fruitful discussions. MCM was supported by NSF-DMR-305184. MCM and AP acknowledge support by the NSF IGERT program through award NSF-DGE-1068780. MCM, AP and DY were additionally supported by the Soft Matter Program at Syracuse University. AP acknowledges use of the Syracuse University HTC Campus Grid which is supported by NSF award ACI-1341006. YF was supported by NSF grant DMR-1149266 and the Brandeis Center for Bioinspired Soft Materials, an NSF MRSEC, DMR-1420382.

Heat transport in low dimensions : introduction and phenomenology

Review paper, to appear in the Springer Lecture Notes in Physics volume "Thermal transport in low dimensions: from statistical physics to nanoscale heat transfer" (S. Lepri ed.)

Immunization and targeted destruction of networks using explosive percolation

7 pages, 6 figures

Potentials and Limits to Basin Stability Estimation

5 pages, 4 figures