Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies."

"This book constitutes the proceedings of the Third International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2012, held in Pisa, Italy, on June 27, 2012. The 17 papers presented were carefully reviewed and selected from 31 submissions during two rounds of reviewing and improvement. The papers present novel technical concepts, clinical needs and applications as well as hardware, software and systems and their validation. The main technological focus is on patient-specific modeling and its use in interventions, image-guided and robotic surgery, real-time tracking and imaging."

"This book constitutes the refereed proceedings of the third International Joint Conference an Ambient Intelligence, AmI 2012, held in Pisa, Italy, in November 2012. The 18 revised full papers and 5 short papers presented were carefully reviewed and selected from 47 (full papers) respectively 14 (short papers) submissions. From a scientific point of view, the papers make a multidisciplinary approach covering fields like computer science, human computer interaction, electrical engineering, industrial design, behavioral sciences, aimed at enriching physical environments with a network of distributed devices, such as sensors, actuators, and computational resources, in order to support users in their everyday activities. "

"The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications (AHPAA), bioinspired computing and applications (BIOCA), computational geometry and applicatons (CGA), chemistry and materials sciences and technologies (CMST), cities, technologies and planning (CTP), 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE), geographical analysis, urban modeling, spatial statistics (Geo-An-Mod), 7335 - optimization techniques and applications (OTA), mobile communications (MC), mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS), remote sensing (RS), 7336 - software engineering processes and applications (SEPA), software quality (SQ), security and privacy in computational sciences (SPCS), soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes, 7333 - computational methods, algorithms and scientific application, 7334 - geometric modelling, graphics and visualization, 7335 - information systems and technologies, 7336 - high performance computing and networks."

"The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications (AHPAA), bioinspired computing and applications (BIOCA), computational geometry and applicatons (CGA), chemistry and materials sciences and technologies (CMST), cities, technologies and planning (CTP); 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE), geographical analysis, urban modeling, spatial statistics (Geo-An-Mod), 7335 - optimization techniques and applications (OTA), mobile communications (MC), mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS), remote sensing (RS), 7336 - software engineering processes and applications (SEPA), software quality (SQ), security and privacy in computational sciences (SPCS), soft computing and data engineering (SCDE). "

"The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications (AHPAA), bioinspired computing and applications (BIOCA), computational geometry and applicatons (CGA), chemistry and materials sciences and technologies (CMST), cities, technologies and planning (CTP), 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE), geographical analysis, urban modeling, spatial statistics (Geo-An-Mod), 7335 - optimization techniques and applications (OTA), mobile communications (MC), mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS), remote sensing (RS), 7336 - software engineering processes and applications (SEPA), software quality (SQ), security and privacy in computational sciences (SPCS), soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes, 7333 - computational methods, algorithms and scientific application, 7334 - geometric modelling, graphics and visualization, 7335 - information systems and technologies, 7336 - high performance computing and networks."

"The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications (AHPAA), bioinspired computing and applications (BIOCA), computational geometry and applicatons (CGA), chemistry and materials sciences and technologies (CMST), cities, technologies and planning (CTP), 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE), geographical analysis, urban modeling, spatial statistics (Geo-An-Mod), 7335 - optimization techniques and applications (OTA), mobile communications (MC), mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS), remote sensing (RS), 7336 - software engineering processes and applications (SEPA), software quality (SQ), security and privacy in computational sciences (SPCS), soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes, 7333 - computational methods, algorithms and scientific application, 7334 - geometric modelling, graphics and visualization, 7335 - information systems and technologies, 7336 - high performance computing and networks."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International ICST Conference on Broadband Communications, Networks and Systems (BROADNETS 2010) held in October 2010 in Athens, Greece. The 39 revised full papers were carefully selected from numerous submissions. The conference was divided in 3 tracks: Optical, Wireless and Internet. The optical track covers topics such as optical switch architectures, reliable optical networking, routing, wavelength assignment, and traffic grooming, network control and management. The wireless track highlights MIMO and OFDM techniques, mobility management, routing protocols, hybrid networks and the internet track covers routing, scheduling, security, trust, semantic technologies and social networks."

"This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings."

"This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages, model transformations, functional and performance modeling and analysis, and model evolution management."