Dr. Violet R. Syrotiuk

Dra. Violet R. Syrotiuk

Adaptive Topology and Load-Aware Medium Access Control in Wireless Networks

Abstract:  The medium access control (MAC) protocol is responsible for managing access to a shared communication channel. From the perspective of a transmitter it entails answering the question: When can I transmit next? The time at which the next transmission occurs depends on the specifics of the MAC protocol, such as whether it is contention-based, schedule-based, randomized, or deterministic.  Using a distributed negotiation protocol, we compute the ideal node persistences — the fraction of time each node is permitted to transmit — for a given network topology and traffic load, and supply them as input to a contention-based MAC protocol. We present performance results from an implementation on a wireless test-bed in Belgium, demonstrating adaptation to dynamic network conditions. (This is joint work with colleagues at the University of Palermo in Italy.)

Bio: Violet R. Syrotiuk earned her Ph.D. in Computer Science from the University of Waterloo (Canada). She is an Associate Professor of Computer Science and Engineering at Arizona State University. Her research has been supported by grants from NSF, ONR, and DSTO (Australia), and contracts with LANL, Raytheon, General Dynamics, and ATC. She serves on the editorial boards of Computer Networks and Computer Communications, as well as on the technical program and organizing committees of several major conferences sponsored by ACM and IEEE.

Dr. Pablo Noriega

Dr. Pablo Noriega

The Challenge of Social Intelligence

Abstract: We are living a social reality that was unforeseeable a few years ago. Internet, as a technological and social phenomenon, has enabled forms of social interaction that have changed our traditional notions of distance, persistence, territory or presence. It is not difficult to see that the social use of IT is also enabling collective activities that involve intelligent entities that may be not-human. What other traditional conceptions will such activities challenge? are we creating new understandings of what is to collaborate? what is to create new knowledge? what makes an individual rational? what is autonomy? How should we adapt our current practices and institutions to deal with that reality? Perhaps we should start doing proper science and engineering to address these questions.

Bio:  Pablo Noriega is currently a tenured scientist in the Artificial Intelligence Research Institute of the Spanish Scientific Research Council (IIIA – CSIC). He received his Ph.D in Computer Science from the Autonomous University of Barcelona, in 1997 with a thesis on multiagent systems. He is the author of more than one hundred scientific publications and his research is centred on regulated multi-agent systems and electronic institutions in particular. His current interests include norm-regulated environments, agreement technologies and social intelligence in general.

He was a founding member of the IFAMAS (International Foundation of Autonomous Agents and Multi-agent Systems) and EUMAS (European MAS workshop) boards. He is currently a member of the steering committee of the COIN (Coordination Organizations, Institutions and Norms in Multiagent Systems) workshops, NorMAS (Normative Multiagent Systems) and AMPLE (Agent-based modelling for policy engineering). He is in the editorial board of Springer’s series on Law, Governance and Technology, is a reviewer of several journals and part of the program committee of numerous conferences and workshop in IT.

He has held various academic positions in Mexico, among others at the Institute for Advanced Studies of the Nat. Polytechnic Inst., IBM Mex. Scientific Centre and Anahuac University where he got his undergraduate degree in Actuarial Science. He held appointments in the Mexican government as CTO of the National Institute of Statistics, Geography and Informatics (1998-99) and chief IT policy maker for the Mexican Government (1989-94). He was one of the founders of the Mexican AI research institute (LANIA) and the President of its Board of Directors from 1992 to 2002. He is a past president of the Mexican AI Society (SMIA) and of the Mexican National Actuarial Association (CONAC). In 2002 he was awarded a Ramon y Cajal fellowship by the Spanish Ministry of Education and moved to the IIIA in Barcelona.

Dra. Eva Navarro

Dra. Eva Navarro

Hybrid systems neuroscience

Abstract:  The dynamical behaviour of networks of billions of neurons in the human brain is still poorly understood, as is its relationship to the emergence of learning and memory. Pre-existing models are still fairly limited. The multi-scale complexity of the problem requires the combination of paradigms from different fields, mainly: hybrid dynamical systems, control engineering, formal methods of computer science, and network science. In this talk, we will explore how all these theories can be combined and define the field of hybrid systems neuroscience as the reformulation of hybrid system models, analysis tools and control schemes for neuronal systems. The field of hybrid systems has been built upon the theories of control and computer science. It has inherited control paradigms – including switching control systems and variable structure systems – originally designed for engineering problems, mainly in the areas of mechanical and electrical systems. Hybrid systems has also inherited computational paradigms originally designed for software systems or programs. The mixture has facilitated solutions to complex dynamical problems. However, the application of these paradigms to neuroscience cannot follow the orthodoxy of control and computational theories, and a new viewpoint is needed to model and analyse the complex and unique behaviours of brain networks. Under the hybrid systems neuroscience framework, new concepts and a new interpretation of hybrid automata are proposed. All these ideas will be illustrated with examples and models that we have recently studied.

Bio:  Eva Navarro López has 3 degrees – in computer science, electronics and physical systems – 2 PhD degrees: in Automatic Control (completed) and Celestial Mechanics and Space Dynamics (unfinished), and a grade of specialist engineer in instrumentation and control from the Mexican Institute of Petroleum. She has worked for the Consejo Superior de Investigaciones Científicas of Spain (Spanish Council for Scientific Research) at the Institute of Industrial Automation in Madrid and in the Institute of Robotics and Industrial Computer Science in Barcelona. After her PhD in Barcelona, she worked at the Mexican Institute of Petroleum in México, D.F., leading a group on modelling, analysis and control of discontinuous dynamical systems, and mechanical vibrations in oil well drillstrings. From 2006 to 2008, she held a Ramón y Cajal Fellowship for outstanding international researchers from the Spanish Government. Since 2008, she has worked within the School of Computer Science in Manchester. She has headed 5 projects and worked in more than 18 projects and consultancies. She serves as the UK representative on the management committee of the recently-formed European Action “Multi-Paradigm Modelling for Cyber-Physical Systems”. She is also a member of the IFAC Technical Committee of Discrete Event and Hybrid Systems, the IFAC Technical Committee of Biological and Medical Systems, the IEEE-CSS Technical Committee on Power Generation Control (Renewable Energy Generation), and the prestigious Turing Centenary Advisory Committee. Eva is one of the founder members of ACM-Women Europe (the Association for Computing Machinery’s Council on Women in Computing in Europe) and the founder of the womENcourage conference series in Europe. She was nominated for the Eni Award 2012 for her contributions to research in energy. Eva´s work has never followed the conventional path and covers research areas such as: control engineering, hybrid systems, cyber-physical systems, formal methods of computer science, applied mathematics, and network science, and recently, neuroscience, ecology and biology. As a control engineer, she is reluctant to make theoretical contributions without applications in real-world problems. Her project DYVERSE was the first funded project in the UK dedicated to the control and formal verification of nonlinear hybrid dynamical systems. Eva’s work has been acknowledged by high profile appearances in the Spanish and British press and media.

Dr. Oscar Mayora

Dr. Oscar Mayora

Does your phone knows more about you than your mother? ….and than yourself?

Bio: Oscar Mayora obtained his Ph. D. at DIBE, University of Genoa, Italy in 2000. In the same year, he joined the Advance Interactive Systems Laboratory at VTT Electronics in Oulu, Finland, as an ERCIM Visiting Research Fellow. In August 2001 he was appointed Associate Professor at Tecnológico de Monterrey and Head of the Graduate Program in Computer Science in January 2002. Dr. Mayora is member of the Mexican National Research System (SNI-level 1) and is Senior Member of the ACM and SIG-CHI. He is the former president of ACM SIG-CHI for Mexico. He has participated as general chair of various conferences and is founder of Pervasive Health Conference, and Latin American Conference on HCI. Dr. Mayora has published several papers in International Conferences and Journals, participated as Guest Editor of special issues of Journals such as IEEE Intelligent Systems, EURASIP Signal Processing, Springer MONET and IMIA Journal on Methods of Information in Medicine. Dr. Mayora has coordinated projects in FP6 and FP7. Currently he is involved in projects in the topic of pervasive healthcare and assistive technologies (such as FP7 NYMPHA-MD on technologies for supporting Bipolar Disorder management where he is the Scientific Project Coordinator. Other relevant projects are FP7 MONARCA pioneer project on Bipolar Disorder where he was the Coordinator, FP7 INTERSTRESS on technologies for managing psychological stress and other projects at national level such as Ambient Aware Assistant –A3- and Occupational Therapy and Rehabilitation-OTR). He is coordinator of a rMARIE CURIE Projectr called UBIHEALTH putting together researchers from Europe, USA, China and Latin America and was part of other Internationally funded projects such as Turn-Out Burnout and Virtual Social Gym together with Philips, University of Trento and Technical University of Eindhoven under the framework of EIT ICT Labs. Dr. Mayora was the head of the former Ubiquitous Interaction Group and is currently leading the MUBIT Group at CREATE-NET. In addition, Dr. Mayora is adjunct professor of at the University of Trento (Faculty of Cognitive Sciences, Interfaces and Communication Technology Program).

Dr. Charles J. ColbournEl Departamento de Computación de CICESE  se complace en invitarlos a la plática del Dr. Charles J. Colbourn (Arizona State University), titulada: “Sequence Covering Arrays”

FECHA: Lunes 5 de Octubre
LUGAR: Sala Audiovisual A de la Facultad de Ciencias de la UABC
HORA: 10 A.M.

Abstract: A paper by Kuhn, Higdon, Kacker, Lawrence, and Lei introduced a novel combinatorial object, the sequence covering array. For parameters n, t, and v, such an array is a set of n permutations of v letters so that every permutation of every t of the v letters appears –in the specified order – in at least one of the n permutations. The motivation for finding sequence covering arrays with small values of n arises in event sequence testing.

Suppose that a process involves a sequence of k tasks. The operator may, unfortunately, fail to do the tasks in the correct sequence. When this happens, errors may occur. But we anticipate that errors can be attributed to the (improper) ordering of a small subset of tasks. When each permutation of a sequence covering array is used in turn to specify a task order, every potential ordering of t or fewer tasks will be tried, and hence all errors found that can be attributed to t or fewer tasks.In this talk, we develop an equivalent combinatorial formulation of sequence covering arrays, and demonstrate some similarities with covering arrays. We develop logarithmic lower and upper bounds on the number n of permutations for given v and t; in addition we improve a known bound on the largest v for which a sequence covering having exactly t! permutations can exist. An efficient greedy algorithm for their construction is developed,
and a useful recursive construction is established when t = 3. Open problems are also discussed.

This is joint work with Yeow Meng Chee (Singapore), Daniel Horsley (Australia), and Junling Zhou (China).

Bio:  After completing his Ph.D. at the University of Toronto in 1980, Charlie Colbourn has held faculty positions at the Universities of Saskatchewan, Waterloo, and Vermont prior to joining Arizona State University in 2001. He is the author of more than 300 refereed journal papers, serves on eight editorial boards, and won the Euler Medal for Lifetime Achievement in research in combinatorics. His research interests include numerous areas in which combinatorial theory, algorithms, and optimization apply to problems in networking, communications, and testing.

Contact: colbourn@asu.edu