Manuel Nunez – författare
Visar alla böcker från författaren Manuel Nunez. Handla med fri frakt och snabb leverans.
26 produkter
26 produkter
917 kr
Skickas inom 10-15 vardagar
Nonlinear dynamo theory is central to understanding the magnetic structures of planets, stars and galaxies. In chapters contributed by some of the leading scientists in the field, this text explores some of the recent advances in the field. Both kinetic and dynamic approaches to the subject are considered, including fast dynamos, topological methods in dynamo theory, physics of the solar cycle and the fundamentals of mean field dynamo. Advances in Nonlinear Dynamos is ideal for graduate students and researchers in theoretical astrophysics and applied mathematics, particularly those interested in cosmic magnetism and related topics, such as turbulence, convection, and more general nonlinear physics.
3 185 kr
Skickas inom 7-10 vardagar
Nonlinear dynamo theory is central to understanding the magnetic structures of planets, stars and galaxies. In chapters contributed by some of the leading scientists in the field, this text explores some of the recent advances in the field. Both kinetic and dynamic approaches to the subject are considered, including fast dynamos, topological methods in dynamo theory, physics of the solar cycle and the fundamentals of mean field dynamo. Advances in Nonlinear Dynamos is ideal for graduate students and researchers in theoretical astrophysics and applied mathematics, particularly those interested in cosmic magnetism and related topics, such as turbulence, convection, and more general nonlinear physics.
180 kr
Skickas inom 5-8 vardagar
378 kr
Skickas inom 5-8 vardagar
1 637 kr
Skickas inom 10-15 vardagar
This book offers a unique blend of reports on both theoretical models and their applications in the area of Intelligent Information and Database Systems.
Computational Collective Intelligence
15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings
Häftad, Engelska, 2023
1 305 kr
Skickas inom 7-10 vardagar
This book constitutes the refereed proceedings of the 15th International Conference on Computational Collective Intelligence, ICCCI 2023, held in Budapest, Hungary, during September 27–29, 2023.The 63 full papers included in this book were carefully reviewed and selected from 218 submissions. They are organized in topical sections as follows: collective intelligence and collective decision-making; deep learning techniques; natural language processing; data mining and machine learning; social networks and intelligent systems; cybersecurity, blockchain technology and Internet of Things; cooperative strategies for decision making and optimization; computational intelligence for digital content understanding; knowledge engineering and application for Industry 4.0; computational intelligence in medical applications; and ensemble models and data fusion.
Advances in Computational Collective Intelligence
15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings
Häftad, Engelska, 2023
1 237 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 15th International Conference on Advances in Computational Collective Intelligence, ICCCI 2023, held in Budapest, Hungary, during September 27–29, 2023.The 59 full papers included in this book were carefully reviewed and selected from 218 submissions. They were organized in topical sections as follows: Collective Intelligence and Collective Decision-Making, Deep Learning Techniques, Natural Language Processing, Data Minning and Machine learning, Social Networks and Speek Communication, Cybersecurity and Internet of Things, Cooperative Strategies for Decision Making and Optimization, Digital Content Understanding and Apllication for Industry 4.0 and Computational Intelligence in Medical Applications.
Del 2165 - Communications in Computer and Information Science
Advances in Computational Collective Intelligence
16th International Conference, ICCCI 2024, Leipzig, Germany, September 9–11, 2024, Proceedings, Part I
Häftad, Engelska, 2024
827 kr
Skickas inom 10-15 vardagar
This two-volume set CCIS 2165-2166 constitutes the refereed proceedings of the 16th International Conference on Computational Collective Intelligence, ICCCI 2024, held in Leipzig, Germany, during September 9–11, 2024.The 67 full papers included in this book were carefully reviewed and selected from 234 submissions.The main track, covering the methodology and applications of CCI, included: collective decision-making, data fusion, deep learning techniques, natural language processing, data mining and machine learning, social networks and intelligent systems, optimization, computer vision, knowledge engineering and application, as well as Internet of Things: technologies and applications. The special sessions, covering some specific topics of particular interest, included: cooperative strategies for decision making and optimization, security and reliability of information, networks and social media, anomalies detection, machine learning, deep learning, digital image processing, artificial intelligence, speech communication, IOT applications, natural language processing, innovative applications in data science.
Del 2166 - Communications in Computer and Information Science
Advances in Computational Collective Intelligence
16th International Conference, ICCCI 2024, Leipzig, Germany, September 9–11, 2024, Proceedings, Part II
Häftad, Engelska, 2024
929 kr
Skickas inom 10-15 vardagar
This two-volume set CCIS 2165-2166 constitutes the refereed proceedings of the 16th International Conference on Computational Collective Intelligence, ICCCI 2024, held in Leipzig, Germany, during September 9–11, 2024.The 67 full papers included in this book were carefully reviewed and selected from 234 submissions.The main track, covering the methodology and applications of CCI, included: collective decision-making, data fusion, deep learning techniques, natural language processing, data mining and machine learning, social networks and intelligent systems, optimization, computer vision, knowledge engineering and application, as well as Internet of Things: technologies and applications. The special sessions, covering some specific topics of particular interest, included: cooperative strategies for decision making and optimization, security and reliability of information, networks and social media, anomalies detection, machine learning, deep learning, digital image processing, artificial intelligence, speech communication, IOT applications, natural language processing, innovative applications in data science.
Del 14810 - Lecture Notes in Computer Science
Computational Collective Intelligence
16th International Conference, ICCCI 2024, Leipzig, Germany, September 9–11, 2024, Proceedings, Part I
Häftad, Engelska, 2024
822 kr
Skickas inom 10-15 vardagar
This two-volume set LNAI 14810-14811 constitutes the refereed proceedings of the 16th International Conference on Computational Collective Intelligence, ICCCI 2024, held in Leipzig, Germany, during September 9–11, 2024. The 59 revised full papers presented in these proceedings were carefully reviewed and selected from 234 submissions.
Del 14811 - Lecture Notes in Computer Science
Computational Collective Intelligence
16th International Conference, ICCCI 2024, Leipzig, Germany, September 9–11, 2024, Proceedings, Part II
Häftad, Engelska, 2024
822 kr
Skickas inom 10-15 vardagar
This two-volume set LNAI 14810-14811 constitutes the refereed proceedings of the 16th International Conference on Computational Collective Intelligence, ICCCI 2024, held in Leipzig, Germany, during September 9–11, 2024. The 59 revised full papers presented in these proceedings were carefully reviewed and selected from 234 submissions.
Computational Collective Intelligence
17th International Conference, ICCCI 2025, Ho Chi Minh City, Vietnam, November 12–15, 2025, Proceedings, Part I
Häftad, Engelska, 2025
1 153 kr
Skickas inom 7-10 vardagar
This two-set volume LNAI 16138-16139 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, during November 12–15, 2025.The 67 revised full papers presented in these proceedings were carefully reviewed and selected from 290 submissions. The papers are organized in the following topical sections:Part I: Collective Intelligence and Collective Decision-Making; Co-operative Strategies for Decision-Making & Optimisation; Natural Language Processing; Knowledge Engineering & Industry 4.0 Applications; Data Mining & Machine Learning.Part II: Social Networks and Intelligent Systems; Cyber-Security, Blockchain & IoT; Computational Intelligence in Medical Applications; Computational Intelligence for Digital Content Understanding.
Computational Collective Intelligence
17th International Conference, ICCCI 2025, Ho Chi Minh City, Vietnam, November 12–15, 2025, Proceedings, Part II
Häftad, Engelska, 2025
894 kr
Skickas inom 7-10 vardagar
This two-set volume LNAI 16138-16139 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, during November 12–15, 2025.The 67 revised full papers presented in these proceedings were carefully reviewed and selected from 290 submissions. The papers are organized in the following topical sections:Part I: Collective Intelligence and Collective Decision-Making; Co-operative Strategies for Decision-Making & Optimisation; Natural Language Processing; Knowledge Engineering & Industry 4.0 Applications; Data Mining & Machine Learning.Part II: Social Networks and Intelligent Systems; Cyber-Security, Blockchain & IoT; Computational Intelligence in Medical Applications; Computational Intelligence for Digital Content Understanding.
Advances in Computational Collective Intelligence
17th International Conference, ICCCI 2025, Ho Chi Minh City, Vietnam, November 12–15, 2025, Proceedings, Part I
Häftad, Engelska, 2025
1 129 kr
Skickas inom 7-10 vardagar
This two-volume set CCIS 2747-2748 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, during November 12–15, 2025.The 67 full papers included in this book were carefully reviewed and selected from 290 submissions. The papers are organized in the following topical sections:Part I: Collective Intelligence and Collective Decision-Making; Cooperative Strategies for Decision Making and Optimization; Computational Intelligence for Digital Content Understanding; Data Fusion and Application for Industry 4.0; and Natural Language Processing.Part II: Deep Learning Techniques; Social Networks and Intelligent Systems; Computational Intelligence in Medical Applications; Data Mining and Machine Learning; and Cybersecurity, Blockchain Technology and Internet of Things.
Advances in Computational Collective Intelligence
17th International Conference, ICCCI 2025, Ho Chi Minh City, Vietnam, November 12–15, 2025, Proceedings, Part II
Häftad, Engelska, 2025
1 129 kr
Skickas inom 7-10 vardagar
This two-volume set CCIS 2747-2748 constitutes the refereed proceedings of the 17th International Conference on Computational Collective Intelligence, ICCCI 2025, held in Ho Chi Minh City, Vietnam, during November 12–15, 2025.The 67 full papers included in this book were carefully reviewed and selected from 290 submissions. The papers are organized in the following topical sections:Part I: Collective Intelligence and Collective Decision-Making; Cooperative Strategies for Decision Making and Optimization; Computational Intelligence for Digital Content Understanding; Data Fusion and Application for Industry 4.0; and Natural Language Processing.Part II: Deep Learning Techniques; Social Networks and Intelligent Systems; Computational Intelligence in Medical Applications; Data Mining and Machine Learning; and Cybersecurity Blockchain Technology and Internet of Things.
Del 8368 - Lecture Notes in Computer Science
Software Engineering and Formal Methods
SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Häftad, Engelska, 2014
550 kr
Skickas inom 10-15 vardagar
This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis for new foundations, programming languages and software development methods for communication-intensive distributed systems. The Third Workshop on Formal Methods in the Development of Software (WS-FMDS). The aim was to bring together scientists and practitioners active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based application areas such as in the railway domain, formal methods have reached a level of maturity that already enables the compilation of a so-called body of knowledge. The Second International Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD). The aim was to bring together researchers and practitioner from academia, industry, government and non-government organisations to present research results and exchange experience, ideas and solutions for modelling and analysing complex systems. In particular in areas including economy, governance, health, biology, ecology, climate and poverty reduction. The 7th International Workshop on Foundations and Techniques for Open Source Software Certification (Open Cert). The aim was to bring together researchers from Academia and Industry interested in the quality assessment of OSS projects, as well as the metrics, procedures and tools used in OSS communities and for the measurement and assessment of OSS quality.
Del 9128 - Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Häftad, Engelska, 2015
529 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications;
Del 9329 - Lecture Notes in Computer Science
Computational Collective Intelligence
7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I
Häftad, Engelska, 2015
550 kr
Skickas inom 10-15 vardagar
This two-volume set (LNAI 9329 and LNAI 9330) constitutes the refereed proceedings of the 7th International Conference on Collective Intelligence, ICCCI 2014, held in Madrid, Spain, in September 2015. The 110 full papers presented were carefully reviewed and selected from 186 submissions.
Del 9330 - Lecture Notes in Computer Science
Computational Collective Intelligence
7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II
Häftad, Engelska, 2015
550 kr
Skickas inom 10-15 vardagar
This two-volume set (LNAI 9329 and LNAI 9330) constitutes the refereed proceedings of the 7th International Conference on Collective Intelligence, ICCCI 2014, held in Madrid, Spain, in September 2015. The 110 full papers presented were carefully reviewed and selected from 186 submissions.
1 637 kr
Skickas inom 10-15 vardagar
This book offers a unique blend of reports on both theoretical models and their applications in the area of Intelligent Information and Database Systems.
Applying Formal Methods: Testing, Performance, and M/E-Commerce
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
Häftad, Engelska, 2004
550 kr
Skickas inom 10-15 vardagar
This volume contains the refereed proceedings of the ?rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: - TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce - EPEW: 1st European Performance Engineering Workshop - ITM: 1st International Workshop on Integration of Testing Methodologies In total, the calls for papers of the workshops attracted 62 high-quality s- missions. The program committees of the workshops selected 27 papers after a rigorous review process in which every paper was reviewed by at least three - viewers. In these proceedings,the papersaregrouped accordingto the workshop they belong to. In addition to the selected papers, there was a keynote speech by Prof. Rob Pooley, from the Heriot-Watt University, UK. We wantto express our gratitude for their ?nancial support both to the U- versidaddeCastilla-LaManchaandtotheJuntadeComunidadesdeCastilla-La Mancha.Besides, we are in debt to all the authors who submitted high-quality papers to the workshops: Without their e?ort and interest, it would have been impossible to organize the workshops. We would also like to thank the program committee members of the three workshops for their collaboration during the reviewing process.
Formal Techniques for Networked and Distributed Systems - FORTE 2004
24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Häftad, Engelska, 2004
550 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004),held in Madrid, Spain, September 27-30,2004.FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Three years ago the conference name was changed to its current form. The last ?ve meetings of this well-established conference series were held in Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), Houston, USA (2002), and Berlin, Germany (2003). The scope of the papers presented at FORTE 2004 covered semantic models and application of formal description languages (in particular, automata and Petri Nets), as well as the veri?cation and testing of communication and d- tributedsystems.Theconferencewasprecededby2half-daytutorialsbyRoberto GorrieriandFarnWang.Theproceedingscontainthe20regularpapersaccepted and presented at the conference.They were selected from 54 submitted papers inacarefulselectionprocedurebasedontheassessmentofthreerefereesforeach paper. The proceedings also include the papers contributed by the three invited speakers: Mart' ?n Abadi, Tommaso Bolognesi, and Juan Quemada.
Web Services and Formal Methods
Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Häftad, Engelska, 2006
550 kr
Skickas inom 10-15 vardagar
Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.
Formal Approaches to Software Testing and Runtime Verification
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Häftad, Engelska, 2006
550 kr
Skickas inom 10-15 vardagar
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc. The FATES/RV 2006 workshop selected 14 high-quality papers out of 31 submissions. Each paper underwent at least three anonymous reviews by either PCmembersorexternalreviewersselectedbythem.Inadditiontothe14regular papers, the proceedings contain two papers corresponding to the invited talks by Wolfgang Grieskamp (Microsoft Research, USA) and Oege de Moor (Oxford University, UK). This was the ?rst time that the two workshops, FATES and RV, were held together. The success of this joint edition shows that the integration of these two communities can be pro?table for both of them. Previous editions of these two events were held in the following places: FATES 2001 was held in A- borg (Denmark) and FATES 2002 in Brno (Czech Republic). In both cases, the workshop was a?liated with CONCUR. FATES 2003 and FATES 2004 were held in Montreal(Canada)and Vienna (Austria), respectively,in a?liationwith ASE.FATES 2005wasco-locatedwith CAV in Edinburgh(UK). Since 2003,the FATES workshop proceedings have been published by Springer (LNCS series).
550 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.
438 kr
Skickas inom 5-8 vardagar