Please enter a valid search term.

Currently Displaying Results
269951-269975 of 1543550

View book details for Swarm, Evolutionary, and Memetic Computing

5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers
Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2014, held in Bhubaneswar, India, in December 2014.The total of 96 papers presented in this volume was carefully reviewed and …
Hema Singh, R. Chandini, Rakesh Mohan Jha
In this book, the RCS of a parallel-fed linear and planar dipole array is derived using an approximate method. The signal propagation within the phased array system determines the radar cross section (RCS) of phased array. The reflection and transmission …
Ngoc Thanh Nguyen
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical …

View book details for Haptics: Perception, Devices, Control, and Applications

10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II
Fernando Bello, Hiroyuki Kajimoto, Yon Visell
The two-volume set LNCS 9774 and 9775 constitutes the refereed proceedings of the 10th International Conference EuroHaptics 2016, held in London, UK, in July 2016.The 100 papers (36 oral presentations and 64 poster presentations) presented were carefully reviewed and selected …

View book details for Advances in Cryptology -- CRYPTO 2015

35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II
Rosario Gennaro, Matthew Robshaw
The two volume-set, LNCS 9215 and LNCS 9216, constitutes the refereed proceedings of the 35th Annual International Cryptology Conference, CRYPTO 2015, held in Santa Barbara, CA, USA, in August 2015. The 74 revised full papers presented were carefully reviewed and …

View book details for New Horizons in Web Based Learning

ICWL 2014 International Workshops, SPeL, PRASAE, IWMPL, OBIE, and KMEL, FET, Tallinn, Estonia, August 14-17, 2014, Revised Selected Papers
Yiwei Cao, Terje Väljataga, Jeff K.T. Tang, Howard Leung, Mart Laanpere
This book constitutes the revised selected papers of the workshops of the 13th International Conference of Web-based Learning, ICWL 2014, held in Tallinn, Estonia, in August 2014. This volume comprises papers of six workshops: 1. The Seventh International Workshop on …

View book details for Structured Object-Oriented Formal Language and Method

6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from …

View book details for Engineering Multi-Agent Systems

Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Matteo Baldoni, Luciano Baresi, Mehdi Dastani
This book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015. The 10 full papers, presented with two invited talks, were carefully reviewed and selected from 19 …

View book details for Knowledge Science, Engineering and Management

7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings
Robert Buchmann, Claudiu Vasile Kifor, Jian Yu
This book constitutes the refereed proceedings of the 7th International Conference on Knowledge Science, Engineering and Management, KSEM 2014, held in Sibiu, Romania, in October 2014. The 30 revised full papers presented together with 5 short papers and 3 keynotes …

View book details for Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Barbara Jobstmann, K. Rustan M. Leino
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 …

View book details for Post-Quantum Cryptography

7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings
Tsuyoshi Takagi
This book constitutes the refereed proceedings of the 7th International Workshop on Post-Quantum Cryptography, PQCrypto 2016, held in Fukuoka, Japan, in February 2016. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover …

View book details for Logic and Its Applications

7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Sujata Ghosh, Sanjiva Prasad
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the …

View book details for Artificial Intelligence and Soft Computing

15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II
Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada
The two-volume set LNAI 9692 and LNAI 9693 constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2016, held in Zakopane, Poland in June 2016.The 134 revised full papers presented were carefully reviewed …

View book details for Reachability Problems

9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov
This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected …

View book details for Model-Based Safety and Assessment

5th International Symposium, IMBSA 2017, Trento, Italy, September 1113, 2017, Proceedings
Marco Bozzano, Yiannis Papadopoulos
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are …

View book details for Algorithms and Models for the Web Graph

13th International Workshop, WAW 2016, Montreal, QC, Canada, December 1415, 2016, Proceedings
Anthony Bonato, Fan Chung Graham, Paweł Prałat
This book constitutes the proceedings of the 13th International Workshop on Algorithms and Models for the Web Graph, WAW 2016, held in Montreal, QC, Canada, in December 2016.The 13 full papers presented in this volume were carefully reviewed and selected …

View book details for Distributed Computing and Internet Technology

11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings
Raja Natarajan, Gautam Barua, Manas Ranjan Patra
This book constitutes the refereed proceedings of the 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, held in Bhubaneswar, India, in February 2015. The 12 revised full papers presented together with 30 short papers and 9 invited …

View book details for Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Nir Piterman
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. …
Mieczyslaw Pokorski
Lung cancer is the leading cause of mortality worldwide, with a low survival rate. Carcinogenesis generally requires a constellation of entwined steps, involving both innate cellular and environmental factors. This book shares the updated knowledge on the origin and development …

View book details for Service-Oriented Computing ICSOC 2015 Workshops

WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers
Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam
This book constitutes the revised selected papers of the 13th International Conference on Service-Oriented Computing, ICSOC 2015, held in Goa, India in November 2015. The conference hosted the following seven workshops: 11th International Workshop on Engineering Service-Oriented Applications, WESOA 2015; …

View book details for Database and Expert Systems Applications

27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II
Sven Hartmann, Hui Ma
This two volume set LNCS 9827 and LNCS 9828 constitutes the refereed proceedings of the 27th International Conference on Database and Expert Systems Applications, DEXA 2016, held in Porto, Portugal, September 2016. The 39 revised full papers presented together with …
Mohamed A. Barakat, Rajeev Kumar
In this brief, a comprehensive review of the UV/visible-TiO2 photocatalytic oxidation process is presented with an insight into the mechanisms involved, the role of titanium dioxide as a catalyst, irradiation sources, types of reactors, and a comparison between various modes …
Md. Shahidul Islam
Hypertension: from basic research to clinical practice contains a unique collection of selected chapters written by experts and enthusiasts engaged in research and treatment of hypertension, a condition that affects around a billion people in the world. The chapters describe …

View book details for Logic-Based Program Synthesis and Transformation

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Gopal Gupta, Ricardo Peña
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013.The 13 revised full papers presented together with 2 invited talks were carefully …

View book details for Image and Graphics

8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II
Yu-Jin Zhang
This book constitutes the refereed conference proceedings of the 8th International Conference on Image and Graphics, ICIG 2015 held in Tianjin, China, in August 2015. The 164 revised full papers and 6 special issue papers were carefully reviewed and selected …
Currently Displaying Results
269951-269975 of 1543550