Hasil Pencarian  ::  Simpan CSV :: Kembali

"This monograph presents selected new developments in such areas of dependability research as system modelling, tools and methodologies for system analysis, data security, secure system design and specific dependability aspects in specialized technical applications. Many practical cases illustrate the universal rule that complexity and multiplicity of system processes, their concurrency and their reliance on embedded intelligence (human and artificial) significantly impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods."

"This festschrift contains 20 papers that showcase the important scientific contributions of this remarkable man, describes the history of the field of parameterized complexity, and also reflects on other parts of Mike Fellows’s unique and broad range of interests, including his work on the popularization of discrete mathematics for young children. "

"This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, in Saarbrücken, Germany, in September 2011. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms, fixed-parameter tractability results, parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications, applications of parameterized and exact computation, and implementation issues of parameterized and exact algorithms."

"This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2012, and the 16th International Workshop on Randomization and Computation, RANDOM 2012, held in Cambridge, Massachusetts, USA, in August 2011. The volume contains 28 contributed papers, selected by the APPROX Program Committee out of 70 submissions, and 28 contributed papers, selected by the RANDOM Program Committee out of 67 submissions. APPROX focuses on algorithmic and complexity issues surrounding the development of efficient approximate solutions to computationally difficult problems. RANDOM is concerned with applications of randomness to computational and combinatorial problems."

"This book constitutes the refereed proceedings of the IFIP WG 8.4, 8.9, TC 5 International Cross Domain Conference and Workshop on Availability, Reliability and Security, CD-ARES 2012, held in Prague, Czech Republic, in August 2012. The 50 revised papers presented were carefully reviewed and selected for inclusion in the volume. The papers concentrate on the many aspects of information systems bridging the gap between research results in computer science and the many application fields. They are organized in the following topical sections, cross-domain applications, aspects of modeling and validation, trust,security, privacy, and safety, mobile applications, data processing and management, retrieval and complex query processing, e-commerce, and papers from the colocated International Workshop on Security and Cognitive Informatics for Homeland Defense, SeCIHD 2012."

"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."

"The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting began with 5 workshops which offered an ideal opportunity to explore specific topics in evolutionary computation, bio-inspired computing and metaheuristics. PPSN 2012 also included 8 tutorials. The papers are organized in topical sections on evolutionary computation, machine learning, classifier systems, image processing, experimental analysis, encoding, EDA, GP; multiobjective optimization, swarm intelligence, collective behavior, coevolution and robotics, memetic algorithms, hybridized techniques, meta and hyperheuristics, and applications."

"The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting began with 6 workshops which offered an ideal opportunity to explore specific topics in evolutionary computation, bio-inspired computing and metaheuristics. PPSN 2012 also included 8 tutorials. The papers are organized in topical sections on evolutionary computation, machine learning, classifier systems, image processing, experimental analysis, encoding, EDA, GP, multiobjective optimization, swarm intelligence, collective behavior, coevolution and robotics, memetic algorithms, hybridized techniques, meta and hyperheuristics, and applications."