الصفحة 1
الصفحة 1
NETWORKING 2006 : Networking technologies, services, protocols ; performance of computer and communication networks ; Mobile and wireless communications systems ; 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006, Proceedings
Networking 2006 was organized by the University of Coimbra, Portugal, and it was the fifth event in a series of International Conferences on Networking sponsored by the IFIP Technical Committee on Communication Systems (TC 6). Previous events were held in Paris (France) in 2000, Pisa (Italy) in 2002, Athens (Greece) in 2004, and Waterloo (Canada) in 2005. Networking 2006 brought together active and proficient members of the networking community, from both academia and industry, thus contributing to scientific, strategic, and practical advances in the broad and fast-evolving field of communications. The conference comprised highly technical sessions organized thematically, keynote talks, tutorials offered by experts, as well as workshops and panel discussions on topical themes. Plenary sessions with keynote talks opened the daily sessions, which covered Networking Technologies, Services and Protocols, Performance of Computer and Communication Networks, and Mobile and Wireless Communications Systems.
NETWORKING 2002 : Networking technologies, services, and protocols ; performance of computer and communication Networks, mobile and wireless communications ; 2nd International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002 Proceedings
This book constitutes the refereed proceedings of the Second IFIP-TC6 Netw- king Conference, Networking 2002. Networking 2002 was sponsored bythe IFIP Working Groups 6.2, 6.3, and 6.8. For this reason the conference was structured into three tracks: i) Networking Technologies, Services, and Protocols, ii) Perf- mance of Computer and Communication Networks, and iii) Mobile and Wireless Communications. This year the conference received 314 submissions coming from 42 countries from all ?ve continents Africa (4), Asia (84), America (63), Europe (158), and Oc- nia (5).
Modern Sliding Mode Control Theory : New Perspectives and Applications
This book is a collection of invited chapters covering several areas of modern sliding mode control theory. The authors identify key contributions defining the theoretical and applicative state of the art of the sliding mode control theory and the most promising trends of the ongoing research activities. The contributions is divided in four main parts: Part I: Basic Theory. Part II: Design Methods. Part III: Observers and Fault Detection. Part IV: Applications.
Mathematics Education in Different Cultural Traditions- A Comparative Study of East Asia and the West : The 13th ICMI Study
The volume covers a very wide field including the contexts of mathematics education, the curriculum, teaching and learning, and teachers’ values and beliefs. Within these broad parameters some of the particular cross-cultural issues that are discussed include intuition and logical reasoning, influences of Confucianism and Ancient Greek traditions, basic skills and process abilities, learners’ perspectives, assessment practices, text books and ICT multimedia.
Internationalisation and Globalisation in Mathematics and Science Education
This book aims to: Develop theoretical frameworks of the phenomena of internationalisation and globalisation and identify related ethical, moral, political and economic issues facing mathematics and science educators. Provide a venue for the publication of results of international comparisons on cultural differences and similarities rather than merely on achievement and outcomes. Provide a forum for critical discussion of the various models and forms of international projects and collaborations. Provide a representation of the different voices and interests from around the world rather than consensus on issues.
Integrated Research in GRID Computing : CoreGRID Integration Workshop 2005 (Selected Papers) November 28-30, Pisa, Italy
Integrated Research in Grid Computing presents a selection of the best papers presented at the CoreGRID Integration Workshop (CGIW2005). The aim of CoreGRID is to strengthen and advance scientific and technological excellence in the area of Grid and Peer-to-Peer technologies in order to overcome the current fragmentation and duplication of effort in this area.
Institutional Context of Education Systems in Europe : A Cross-Country Comparison on Quality and Equity
In this volume, the authors take up the challenge of considering what a European ‘settlement’ might look like. In doing so, they take into account worldwide trends and the increasing evidence of convergence across educational systems. The outcomes of comparative analyses seem to suggest that strong education systems in terms of finance, governance and choice could be preferable. To a greater or lesser extent, therefore, all the systems of education currently in use in Europe face some common challenges. The way in which these challenges are addressed will determine the future of these systems.
Improving a Country’s Education : PISA 2018 Results in 10 Countries
This book compares and contrasts the results of international student assessments in ten countries. The OECD’s Programme for International Student Assessment (PISA) released the results of its 2018 assessment in December 2019. This book reflects the debates that typically follow the release of these results and focuses on the causes of differences between countries. Such causes include continuous decline in one country, improvement combined with increasing internal inequalities in another country, or rapid improvement in spite of an outdated curriculum in yet another.
Hybrid Systems: Computation and Control ; 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
Constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007.
How does the Galaxy Work? : A Galactic Tertulia with Don Cox and Ron Reynolds
Presents a multi-disciplinary approach to the physical mechanisms which structure the shape, evolution and fate of the Galaxy. It contains 4 panel sessions (the recording transcripts of the galactic 'tertulias'), an introductory historical overview on the Galaxy research, 17 reviews, and the proceedings of more than 50 oral and poster contributions. This book is not a new edition of a previous volume but it is in some way related to the book "The Formation of the Milky Way" (1995; Cambridge University Press), which contains the proceedings of the first IAA-IAC-University of Pisa meeting, held in Granada ten years ago, on the formation of the Milky Way, (see Shore's introduction). Where many other books focus their attention on singular galactic components or specific driving forces, this title provides a wide overview on the gaseous and stellar components and on the physical mechanisms which maintain the dynamical equilibrium of such a complex system as the Galaxy. The book, intended for graduate students and researchers, provides a valuable overview on the different physical mechanisms which drive the galactic gas-stars feedback.
From Cells to Proteins : Imaging Nature across Dimensions ; Proceedings of the NATO Advanced Study Institute, held in Pisa, Italy, 12-23 September 2004
This book offers updated information on how much information we are able to obtain in the exploration of the inner details of biological specimens in their native structure and composition. And deals with the implementation of laser beam and stage scanning systems incorporating confocal optics or multiphoton microscopy; the advent of new electro-optical detectors with great sensitivity, linearity, and dynamic range; the possibility of 2D fast image enhancement, reconstruction, restoration, analysis and 3D display, and the application of luminescence techniques.
Foundations of information and knowledge systems ; 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers presented together with 9 revised short papers and 3 invited lectures were carefully selected during two rounds of reviewing and improvement from from 79 submissions. The papers deal with any foundational aspect of information and knowledge systems, including submissions from researchers working in fields such as discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, geometry, analysis, statistics and optimisation who are interested in applying their ideas, theories and methods to research on information and knowledge systems.
Formal techniques for networked and distributed systems - FORTE 2005 ; 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The 25th FORTE was held from Sunday to Wednesday, October 2–5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC.
Formal Methods and Software Engineering ; Vol. 3785 ; 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, were encouraged to - tend, and to help advance the state of the art. The conference was supported by sponsorships from Microsoft Research, USA, the Software Engineers Association of Japan, the University of Man- ester, Manchester City Council, FormalMethods Europe (FME) and the British Computer Society FormalAspects ofComputing Specialist Group(BCS-FACS). We wish to thank these sponsors for their generosity. The ?nal programme consisted of 3 invited talks and 30 technical papers selected from a total of 74 submissions. The invited speakers were: Anthony Hall, independent consultant, UK; Egon B] orger, University of Pisa, Italy; John Rushby, SRI, USA. Their talks were sponsored by BCS-FACS, Microsoft - search and FME respectively. We wish to thank the invited speakers for their inspiring talks.
Equity, Equality and Diversity in the Nordic : Model of Education
Does the Nordic model of education still stand by its original principles and safeguard education for all? This Open Access volume is a carefully crafted collection of chapters that investigate the different aspects of equity, equality and diversity across the education systems in the Nordic countries.
Environmental UV radiation : Impact on ecosystems and human health and predictive models ; Proceedings of the NATO Advanced Study Institute on Environmental UV Radiation: Impact on Ecosystems and Human Health and Predictive Models Pisa, Italy, June 2001
This volume originates from the NATO Advanced Study Institute Environmental UV Radiation: Impact on Ecosystems and Human Health and Predictive Models, held in Pisa, Italy in June 2001.
Engineering Interactive Systems ; 2nd Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
This book constitutes the combined proceedings of the second working conference on Human-Centred Software Engineering (HCSE 2008) and the 6th International Workshop on TAsk MOdels and DIAgrams (TAMODIA 2008); jointly held as EIS 2008, the international event on Engineering Interactive Systems, in Pisa, Italy, in September 2008.
Digital Libraries : Research and Development; 1st International DELOS Conference, Pisa, Italy, February 13-14, 2007, Revised Selected Papers
This book presented similarity search, architectures, personalization, interoperability, evaluation, miscellaneous, preservation, video data management, 3D objects, and peer to peer.
Computer Music Modeling and Retrieval Vol. 3902 ; 3rd International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval Symposium, CMMR 2005. the papers address a broad variety of topics. The papers are organized in topical sections on sound synthesis; music perception and cognition; interactive music: interface, interaction, gestures and sensors, music composition; music retrieval: music performance, music analysis, music representation; as well as interdisciplinarity and computer music.
Combinatorial pattern matching ; 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings
This book constitutes the refereed proceedings of the 19th Annual Symposium on Combinatorial Pattern Matching, CPM 2008, held in Pisa, Italy, in June 2008.
