Dr. Iosif I. Androulidakis has an active presence in the ICT security field having authored more than 90 publications (including 6 books) and having presented more than 120 talks and lectures in international conferences and seminars in 20 countries. Holding 2 Ph.Ds his research interests focus on security issues in PBXs (private telephony exchanges), where he has 20 years of experience, as…
Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and applicational advances in the area. Previous symposia were held in Munich, Seattle, Deauville…
“Modern Logic, 1850–1950, East and West is a memorial volume for the respected historian of logic Irving H. Anellis … . an excellent job identifying the distinctive features of this work in accessible terms and is able to reflect on its historical importance and broader social context from firsthand experience. … an excellent starting point for any historical study of this avenue of mat…
This book discusses the ways in which mathematical, computational, and modelling methods can be used to help understand the dynamics of intracellular calcium. The concentration of free intracellular calcium is vital for controlling a wide range of cellular processes, and is thus of great physiological importance. However, because of the complex ways in which the calcium concentration varies, it…
This volume brings together research on development in three major areas of contemporary global relevance: agriculture and food security, energy, and the institutions of national innovation. Covering six of the largest emerging and developing economies (EDEs) in the world, three Asian (China, India and Malaysia), two Latin American (Brazil and Mexico), and one African (South Africa), the book …
The focus of the book is on different ways of knowing: the western scientific way (reductionist, dualistic and materialist) versus the indigenous approach (holistic, non-dualistic, and spiritual). It discusses both science and medicine in the context of the challenges experienced in introducing science and medicine into Africa through imperialism, colonization, and globalization. It looks at se…
The safety and efficacy of minimal food processing depends on the use of novel preservation technologies. This book first examines what is meant by minimally processed foods, including fresh-cut, cooked-chilled, and part-baked products. Next explored are the technologies or methods to produce quality products in terms of safety and nutrition, including: edible coating, natural preservatives (i.…
Presented here is the story of the mining and sale of uranium and radium ore through biographical vignettes, chemistry, physics, geology, geography, occupational health, medical utilization, environmental safety and industrial history. Included are the people and places involved over the course of over 90 years of interconnected mining and sale of radium and uranium, finally ending in 1991 with…
This monograph presents a unified approach to model-based processing for underwater acoustic arrays. The use of physical models in passive array processing is not a new idea, but it has been used on a case-by-case basis, and as such, lacks any unifying structure. This work views all such processing methods as estimation procedures, which then can be unified by treating them all as a form of joi…
This book argues that modelling should be a component of all school curricula that aspire to provide ‘authentic science education for all’. The literature on modelling is reviewed and a ‘model of modelling’ is proposed. The conditions for the successful implementation of the ‘model of modelling’ in classrooms are explored and illustrated from practical experience. The roles of argum…