Jin Song Dong – författare

Visar alla böcker från författaren Jin Song Dong. Handla med fri frakt och snabb leverans.

15 produkter

Kategorier

15 produkter

Nature-Inspired Optimizers
Theories, Literature Reviews and Applications
AvSeyedali Mirjalili,Jin Song Dongm. fl.
Inbunden, Engelska, 2019
1 118 kr
Skickas inom 10-15 vardagar
This book covers the conventional and most recent theories and applications in the area of evolutionary algorithms, swarm intelligence, and meta-heuristics. Each chapter offers a comprehensive description of a specific algorithm, from the mathematical model to its practical application. Different kind of optimization problems are solved in this book, including those related to path planning, image processing, hand gesture detection, among others. All in all, the book offers a tutorial on how to design, adapt, and evaluate evolutionary algorithms. Source codes for most of the proposed techniques have been included as supplementary materials on a dedicated webpage.
Nature-Inspired Optimizers
Theories, Literature Reviews and Applications
AvAndrew Lewis,Jin Song Dongm. fl.
E-bok
Engelska, 2019
1 427 kr
Läs direkt efter köp
This book covers the conventional and most recent theories and applications in the area of evolutionary algorithms, swarm intelligence, and meta-heuristics. Each chapter offers a comprehensive description of a specific algorithm, from the mathematical model to its practical application. Different kind of optimization problems are solved in this book, including those related to path planning, image processing, hand gesture detection, among others. All in all, the book offers a tutorial on how to design, adapt, and evaluate evolutionary algorithms. Source codes for most of the proposed techniques have been included as supplementary materials on a dedicated webpage.
Nature-Inspired Optimizers
Theories, Literature Reviews and Applications
AvSeyedali Mirjalili,Jin Song Dongm. fl.
Häftad, Engelska, 2020
1 118 kr
Skickas inom 10-15 vardagar
This book covers the conventional and most recent theories and applications in the area of evolutionary algorithms, swarm intelligence, and meta-heuristics. Each chapter offers a comprehensive description of a specific algorithm, from the mathematical model to its practical application. Different kind of optimization problems are solved in this book, including those related to path planning, image processing, hand gesture detection, among others. All in all, the book offers a tutorial on how to design, adapt, and evaluate evolutionary algorithms. Source codes for most of the proposed techniques have been included as supplementary materials on a dedicated webpage.
Multi-Objective Optimization using Artificial Intelligence Techniques
AvSeyedali Mirjalili,Jin Song Dong
Häftad, Engelska, 2019
751 kr
Skickas inom 10-15 vardagar
This book focuses on the most well-regarded and recent nature-inspired algorithms capable of solving optimization problems with multiple objectives. Firstly, it provides preliminaries and essential definitions in multi-objective problems and different paradigms to solve them. It then presents an in-depth explanations of the theory, literature review, and applications of several widely-used algorithms, such as Multi-objective Particle Swarm Optimizer, Multi-Objective Genetic Algorithm and Multi-objective GreyWolf Optimizer Due to the simplicity of the techniques and flexibility, readers from any field of study can employ them for solving multi-objective optimization problem. The book provides the source codes for all the proposed algorithms on a dedicated webpage.
Multi-Objective Optimization using Artificial Intelligence Techniques
AvJin Song Dong,Seyedali Mirjalili
E-bok
Engelska, 2019
903 kr
Läs direkt efter köp
This book focuses on the most well-regarded and recent nature-inspired algorithms capable of solving optimization problems with multiple objectives. Firstly, it provides preliminaries and essential definitions in multi-objective problems and different paradigms to solve them. It then presents an in-depth explanations of the theory, literature review, and applications of several widely-used algorithms, such as Multi-objective Particle Swarm Optimizer, Multi-Objective Genetic Algorithm and Multi-objective GreyWolf Optimizer Due to the simplicity of the techniques and flexibility, readers from any field of study can employ them for solving multi-objective optimization problem. The book provides the source codes for all the proposed algorithms on a dedicated webpage.
Del 14794 - Lecture Notes in Computer Science
Sports Analytics
First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings
AvJin Song Dong,Masoumeh Izadim. fl.
Häftad, Engelska, 2024
1 609 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the First International Conference on Sports Analytics, ISACE 2024, held in Paris, France, during July 12–13, 2024.The 19 full papers, 1 short paper and 7 Practical Experience papers included in this volume were carefully reviewed and selected from a total of 66 submissions.The vision of this new International Sports Analytics Conference and Exhibition (ISACE) series is to bring leading academics, researchers, coaches, psychologists, managers and technologists together to advance the state-of-the-art of sports analytics.
Sports Analytics
First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings
AvZhe Hou,Masoumeh Izadim. fl.
E-bok
Engelska, 2024
1 962 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the First International Conference on Sports Analytics, ISACE 2024, held in Paris, France, during July 12–13, 2024.
The 19 full papers, 1 short paper and 7 Practical Experience papers included in this volume were carefully reviewed and selected from a total of 66 submissions.
The vision of this new International Sports Analytics Conference and Exhibition (ISACE) series is to bring leading academics, researchers, coaches, psychologists, managers and technologists together to advance the state-of-the-art of sports analytics.
Del 15925 - Lecture Notes in Computer Science
Sports Analytics
Second International Conference, ISACE 2025, Shanghai, China, September 26–27, 2025, Proceedings
AvJin-song Dong,Jing Sunm. fl.
Häftad, Engelska, 2025
748 kr
Skickas inom 5-8 vardagar
This book LNCS 15925 constitutes the refereed proceedings of the Second International Conference on Sports Analytics, ISACE 2025, held in Shanghai, China, during September 26-27, 2025.The 21 full papers were carefully reviewed and selected from 57 submissions. These papers explore the frontiers of sports analytics, which is an interdisciplinary field that integrates artificial intelligence, data science, psychology, and smart devices to enhance athletic performance, strategy, and decision-making.
Sports Analytics
Second International Conference, ISACE 2025, Shanghai, China, September 26-27, 2025, Proceedings
AvKan Jiang,Xiaofei Xiem. fl.
E-bok
Engelska, 2025
985 kr
Läs direkt efter köp
This book LNCS 15925 constitutes the refereed proceedings of the Second International Conference on Sports Analytics, ISACE 2025, held in Shanghai, China, during September 26-27, 2025.The 21 full papers were carefully reviewed and selected from 57 submissions. These papers explore the frontiers of sports analytics, which is an interdisciplinary field that integrates artificial intelligence, data science, psychology, and smart devices to enhance athletic performance, strategy, and decision-making.
Del 10055 - Lecture Notes in Computer Science
Semantic Technology
6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
AvYuan-Fang Li,Wei Hum. fl.
Häftad, Engelska, 2016
579 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed proceedings of the 6th Joint International Semantic Technology Conference, JIST 2016, held in Singapore, Singapore, in November 2016. The main topics of JIST 2016 include among others ontology and reasoning; linked data; knowledge graph. The JIST 2016 conference consists of two keynotes, a main technical track, including (full and short papers) from the research and the in-use tracks, a Poster and Demo session, a workshop and two tutorials.The 16 full and 8 short papers presented were carefully reviewed and selected from 34 submissions. The papers cover the following topics: ontology and data management; linked data; information retrieval and knowledge discovery; RDF and query; knowledge graph; application of semantic technologies.
Semantic Technology
6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
AvYang Liu,Jun Sunm. fl.
E-bok
PDF, Engelska, 2016
739 kr
Läs direkt efter köp
This book constitutes the thoroughly refereed proceedings of the 6th Joint International Semantic Technology Conference, JIST 2016, held in Singapore, Singapore, in November 2016. The main topics of JIST 2016 include among others ontology and reasoning; linked data; knowledge graph. The JIST 2016 conference consists of two keynotes, a main technical track, including (full and short papers) from the research and the in-use tracks, a Poster and Demo session, a workshop and two tutorials.
The 16 full and 8 short papers presented were carefully reviewed and selected from 34 submissions. The papers cover the following topics: ontology and data management; linked data; information retrieval and knowledge discovery; RDF and query; knowledge graph; application of semantic technologies.
Formal Methods and Software Engineering
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
AvJin Song Dong,Jim Woodcock
Häftad, Engelska, 2003
1 152 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great e?orts in the reviewing and selecting process. Weareindebtedtothethreekeynotespeakers,Prof.IanHayesoftheUniv- sity of Queensland, Prof. Mathai Joseph of the Tata Research, Development and DesignCentre,andDr.ColinO’HalloranofQinetiQ,foracceptingourinvitation to address the conference.
Formal Methods and Software Engineering
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
AvJim Woodcock,Jin Song Dong
E-bok
PDF, Engelska, 2003
1 459 kr
Läs direkt efter köp
This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great e?orts in the reviewing and selecting process. Weareindebtedtothethreekeynotespeakers,Prof.IanHayesoftheUniv- sity of Queensland, Prof. Mathai Joseph of the Tata Research, Development and DesignCentre,andDr.ColinO’HalloranofQinetiQ,foracceptingourinvitation to address the conference.
Formal Methods and Software Engineering
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
AvJin Song Dong,Huibiao Zhu
Häftad, Engelska, 2010
1 152 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.
Formal Methods and Software Engineering
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
AvHuibiao Zhu,Jin Song Dong
E-bok
PDF, Engelska, 2010
1 470 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

Företag, bibliotek eller offentlig verksamhet?

Jin Song Dong – författare

Nature-Inspired Optimizers

Nature-Inspired Optimizers

Nature-Inspired Optimizers

Multi-Objective Optimization using Artificial Intelligence Techniques

Multi-Objective Optimization using Artificial Intelligence Techniques

Sports Analytics

Sports Analytics

Sports Analytics

Sports Analytics

Semantic Technology

Semantic Technology

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration