|
Showing 1 - 21 of
21 matches in All Departments
The proceedings brings together a selection of papers from the 7th
International Workshop of Advanced Manufacturing and Automation
(IWAMA 2017), held in Changshu Institute of Technology, Changshu,
China on September 11-12, 2017. Most of the topics are focusing on
novel techniques for manufacturing and automation in Industry 4.0.
These contributions are vital for maintaining and improving
economic development and quality of life. The proceeding will
assist academic researchers and industrial engineers to implement
the concepts and theories of Industry 4.0 in industrial practice,
in order to effectively respond to the challenges posed by the 4th
industrial revolution and smart factories.
How the enabling technologies in 5G as an integral or as a part can
seamlessly fuel the IoT revolution is still very challenging. This
book presents the state-of-the-art solutions to the theoretical and
practical challenges stemming from the integration of 5G enabling
technologies into IoTs in support of a smart 5G-enabled IoT
paradigm, in terms of network design, operation, management,
optimization, privacy and security, and applications. In
particular, the technical focus covers a comprehensive
understanding of 5G-enabled IoT architectures, converged access
networks, privacy and security, and emerging applications of
5G-eabled IoT.
This volume discusses traditional and current techniques that are
successfully used to diagnose plant viruses and study molecular
plant-virus interactions. The chapters in this book cover topics
such as in vivo detection of double-stranded RNA, developing rice
mutant using CRISPR-Cas9-based technology, protein-protein
interaction assays, purification and transfection of protoplasts,
protocols for gene silencing, and transmission electron microscopy.
Written in the highly successful Methods in Molecular Biology
series format, chapters include introductions to their respective
topics, lists of the necessary materials and reagents,
step-by-step, readily reproducible laboratory protocols, and tips
on troubleshooting and avoiding known pitfalls. Cutting-edge and
practical, Plant Virology: Methods and Protocols is a valuable
resource for plant pathologists, microbiologists, virologists,
graduate students, and teachers who are interested in learning more
about the developments in plant virology research.
|
Dark Energy (Hardcover)
Miao Li, Xiaodong Li, Shuang Wang, Yi Wang
|
R2,651
Discovery Miles 26 510
|
Ships in 12 - 17 working days
|
This book introduces the current state of research on dark energy.
It consists of three parts. The first part is for preliminary
knowledge, including general relativity, modern cosmology, etc. The
second part reviews major theoretical ideas and models of dark
energy. The third part reviews some observational and numerical
works. The aim of this book is to provide a sufficient level of
understanding of dark energy problems, so that the reader can both
get familiar with this area quickly and also be prepared to tackle
the scientific literature on this subject. It will be useful for
graduate students and researchers who are interested in dark
energy.
Contemporary spinal surgeons, whether orthopedic or neurosurgeons,
are increasingly recognizing minimally invasive spine surgery
(MISS) as a valuable option for managing advanced degenerative
diseases. MISS techniques minimize blood loss and surgical site
pain, while speeding recovery. Thus, the combination of MISS with
adult spinal deformity was a natural choice. Currently, the
techniques, technologies, and education of surgeons have finally
reached a point where MISS deformity surgeries are becoming
commonplace. Nevertheless, the field is young enough (and still
evolving) that no comprehensive texts have addressed the unique
challenges it poses for surgeons. This book fills that gap.
This Festschrift, dedicated to Bengt Jonsson on the occasion of his
60th birthday, contains papers written by many of his friends and
collaborators.Bengt has made major contributions covering a wide
range of topics including verification and learning. His works on
verification, in finite state systems, learning, testing,
probabilistic systems, timed systems, and distributed systems
reflect both the diversity and the depth of his research. Besides
being an excellent scientist, Bengt is also a leader who has
greatly influenced the careers of both his students and his
colleagues. His main focus throughout his career has been in the
area of formal methods, and the research papers dedicated to him in
this volume address related topics, particularly related to model
checking, temporal logic, and automata learning.
The proceedings brings together a selection of papers from the 7th
International Workshop of Advanced Manufacturing and Automation
(IWAMA 2017), held in Changshu Institute of Technology, Changshu,
China on September 11-12, 2017. Most of the topics are focusing on
novel techniques for manufacturing and automation in Industry 4.0.
These contributions are vital for maintaining and improving
economic development and quality of life. The proceeding will
assist academic researchers and industrial engineers to implement
the concepts and theories of Industry 4.0 in industrial practice,
in order to effectively respond to the challenges posed by the 4th
industrial revolution and smart factories.
This volume of Advances in Soft Computing and Lecture Notes in
Computer th Science vols. 5551, 5552 and 5553, constitute the
Proceedings of the 6 Inter- tional Symposium of Neural Networks
(ISNN 2009) held in Wuhan, China during May 26-29, 2009. ISNN is a
prestigious annual symposium on neural networks with past events
held in Dalian (2004), Chongqing (2005), Chengdu (2006), N- jing
(2007) and Beijing (2008). Over the past few years, ISNN has
matured into a well-established series of international conference
on neural networks and their applications to other fields.
Following this tradition, ISNN 2009 provided an a- demic forum for
the participants to disseminate their new research findings and
discuss emerging areas of research. Also, it created a stimulating
environment for the participants to interact and exchange
information on future research challenges and opportunities of
neural networks and their applications. ISNN 2009 received 1,235
submissions from about 2,459 authors in 29 co- tries and regions
(Australia, Brazil, Canada, China, Democratic People's Republic of
Korea, Finland, Germany, Hong Kong, Hungary, India, Islamic
Republic of Iran, Japan, Jordan, Macao, Malaysia, Mexico, Norway,
Qatar, Republic of Korea, Singapore, Spain, Taiwan, Thailand,
Tunisia, United Kingdom, United States, Venezuela, Vietnam, and
Yemen) across six continents (Asia, Europe, North America, South
America, Africa, and Oceania). Based on rigorous reviews by the
Program Committee members and reviewers, 95 high-quality papers
were selected to be published in this volume.
|
Cutting-Edge Research Topics on Multiple Criteria Decision Making - 20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings (Paperback, 2009 ed.)
Yong Shi, Shouyang Wang, Yi Peng, Jian-Ping Li, Yong Zeng
|
R3,913
R3,374
Discovery Miles 33 740
Save R539 (14%)
|
Out of stock
|
MCDM 2009, the 20th International Conference on Multiple-Criteria
Decision M- ing, emerged as a global forum dedicated to the sharing
of original research results and practical development experiences
among researchers and application developers from different
multiple-criteria decision making-related areas such as
multiple-criteria decision aiding, multiple criteria
classification, ranking, and sorting, multiple obj- tive continuous
and combinatorial optimization, multiple objective metaheuristics,
multiple-criteria decision making and preference modeling, and
fuzzy multiple-criteria decision making. The theme for MCDM 2009
was "New State of MCDM in the 21st Century." The conference seeks
solutions to challenging problems facing the development of
multiple-criteria decision making, and shapes future directions of
research by prom- ing high-quality, novel and daring research
findings. With the MCDM conference, these new challenges and tools
can easily be shared with the multiple-criteria decision making
community. The workshop program included nine workshops which
focused on different topics in new research challenges and
initiatives of MCDM. We received more than 350 submissions for all
the workshops, out of which 121 were accepted. This includes 72
regular papers and 49 short papers. We would like to thank all
workshop organizers and the Program Committee for the excellent
work in maintaining the conference's standing for high-quality
papers.
This volume contains the proceedings of FORMATS 2005, the Third
Inter- tional Conference on Formal Modelling and Analysis of Timed
Systems, held in Uppsala, Sweden, September 26-28, 2005, in
conjunction with ARTIST2 s- mer school, September 29-October 2,
2005, on Component Modelling, Testing and Veri?cation, and Static
Analysis of Embedded Systems. FORMATS is an annual workshop series
initiated in 2003. It is dedicated to the advancement of
formaltheories,
techniquesandsoftwaretoolsformodellingandanalysisoftimed systems.
FORMATS 2003 wasassociatedto CONCUR 2003(International C- ference
on Concurrency Theory), held in Marseilles, France. FORMATS 2004
was organized in conjunction with FTRTFT (Formal Techniques in
Real-Time and Fault Tolerant Systems), Grenoble, France. This year,
FORMATS received 43 submissions out of which 19 papers were
selected for presentation by the ProgramCommittee. Each of the
submitted - pers has been reviewed by at least three PC members and
their sub-reviewers. The scienti?c program of FORMATS 2005
contained three invited talks: Lothar
Thiele(ModularPerformanceAnalysisofDistributedEmbeddedSystems),
Karl- ? Erik Arz en (Timing Analysis and Simulation Tools for
Real-Time Control) and Parosh Abdulla (Veri?cation of Parameterised
Timed Systems). The 19 - lected contributions cover work on
semantics and modelling of timed systems, formalisms for modelling
and veri?cation including timed automata, hybrid automata, and
timed Petri nets, games for veri?cation and synthesis, mod-
checking, case studies and issues related to implementation,
security and perf- mance analysis."
|
Cryptology and Network Security - 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings (Paperback, 2005 ed.)
Yvo G. Desmedt, Huaxiong Wang, Yi Mu, Yongqing Li
|
R1,640
Discovery Miles 16 400
|
Out of stock
|
The 4th International Conference on Cryptology and Network Security
(CANS 2005) was held in Xiamen, Fujian Province, China, December
14-16, 2005. The conference was sponsored by the Fujian Normal
University and Fujian Digital Certi?cate Authority Co. Ltd and was
organized in cooperation with the Int- national Association for
Cryptologic Research (IACR). The ?rst International Workshop on
Cryptology and Network Security was in Taipei, Taiwan, 2001. The
second one was in San Francisco, California, USA, September 26-28,
2002, and the third in Miami, Florida, USA, September 24-26, 2003.
CANS 2005 was the ?rst CANS with proceedings published in the
Lecture Notes in Computer Science series by Springer. The Program
Committee received 118 submissions, and accepted 28 papers from
which 1 withdrew and thus 27 papers were included in the
proceedings. The reviewing process took eight weeks, each paper was
carefully evaluated by at least three members from the Program
Committee. We appreciate the hard work of the members of the
ProgramCommittee and external referees who gave manyhoursoftheir
valuabletime.Thanksto CarlEllison,GoceJakimoski,Bart Preneel,
Yongge Wang, Christopher Wolf and Shouhuai Xu, who acted as the
shepherds of 6 papers included in the proceedings. In addition to
the contributed papers, there were two invited talks: Wenbo Mao
spoke on "Research Issues in Network Security" - a practical
viewpoint; and Matt Franklin on "Research Issues in Network
Security" - a foundations viewpoint.
This book constitutes the refereed proceedings of the 7th
International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, TACAS 2001.
The 36 revised full papers presented together with an invited
contribution were carefully reviewed and selected from a total of
125 submissions. The papers are organized in sections on symbolic
verification, infinite state systems - deduction and abstraction,
application of model checking techniques, timed and probabilistic
systems, hardware - design and verification, software verification,
testing - techniques and tools, implementation techniques,
semantics and compositional verification, logics and model
checking, and ETAPS tool demonstration.
How the enabling technologies in 5G as an integral or as a part can
seamlessly fuel the IoT revolution is still very challenging. This
book presents the state-of-the-art solutions to the theoretical and
practical challenges stemming from the integration of 5G enabling
technologies into IoTs in support of a smart 5G-enabled IoT
paradigm, in terms of network design, operation, management,
optimization, privacy and security, and applications. In
particular, the technical focus covers a comprehensive
understanding of 5G-enabled IoT architectures, converged access
networks, privacy and security, and emerging applications of
5G-eabled IoT.
This volume discusses traditional and current techniques that are
successfully used to diagnose plant viruses and study molecular
plant-virus interactions. The chapters in this book cover topics
such as in vivo detection of double-stranded RNA, developing rice
mutant using CRISPR-Cas9-based technology, protein-protein
interaction assays, purification and transfection of protoplasts,
protocols for gene silencing, and transmission electron microscopy.
Written in the highly successful Methods in Molecular Biology
series format, chapters include introductions to their respective
topics, lists of the necessary materials and reagents,
step-by-step, readily reproducible laboratory protocols, and tips
on troubleshooting and avoiding known pitfalls. Cutting-edge and
practical, Plant Virology: Methods and Protocols is a valuable
resource for plant pathologists, microbiologists, virologists,
graduate students, and teachers who are interested in learning more
about the developments in plant virology research.
|
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Paperback, 1st ed. 2015)
Xuandong Li, Zhiming Liu, Wang Yi
|
R2,464
R931
Discovery Miles 9 310
Save R1,533 (62%)
|
Out of stock
|
This book constitutes the refereed proceedings of the First
International Symposium on Dependable Software Engineering:
Theories, Tools, and Applications, SETTA 2015, held in Nanjing,
China, in November 2015. The 20 full papers presented together with
3 invited talks were carefully reviewed and selected from 60
submissions.The papers are organized on topical sections on
probabilistic systems; hybrid and cyber-physical systems; testing,
simulation and inference; bisimulation and correctness; design and
implementation; symbolic execution and invariants; and verification
and case studies.
This proceeding is a compilation of selected papers from the 8th
International Workshop of Advanced Manufacturing and Automation
(IWAMA 2018), held in Changzhou, China on September 25 - 26, 2018.
Most of the topics are focusing on novel techniques for
manufacturing and automation in Industry 4.0 and smart factory.
These contributions are vital for maintaining and improving
economic development and quality of life. The proceeding will
assist academic researchers and industrial engineers to implement
the concepts and theories of Industry 4.0 in industrial practice,
in order to effectively respond to the challenges posed by the 4th
industrial revolution and smart factory.
These books, with of a total of 40 chapters, are a comprehensive
and complete introductory text on the synthesis, characterization,
and applications of nanomaterials. They are aimed at graduate
students and researchers whose background is chemistry, physics,
materials science, chemical engineering, electrical engineering,
and biomedical science.
The first part emphasizes the chemical and physical approaches
used for synthesis of nanomaterials. The second part emphasizes the
techniques used for characterizing the structure and properties of
nanomaterials, aiming at describing the physical mechanism, data
interpretation, and detailed applications of the techniques. The
final part focuses on systems of different nanostructural materials
with novel properties and applications.
|
|