Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed."

"This book constitutes the refereed proceedings of the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012. The 42 revised full papers, 2 full-length invited papers and 4 short tutorial papers, were carefully reviewed and selected from 297 submissions. The contributions have been grouped into the following topical sections, business process model analysis, service and component composition, language and models, system variants and configuration, process mining, ontologies, requirements and goal models, compliance, monitoring and prediction, services, case studies, business process design, feature models and product lines, and human factors."

"These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The fifth volume of ToPNoC contains revised versions of selected papers from workshops and tutorials held in conjunction with the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, as well as a contributed paper selected through the regular submission track of ToPNoC. The 12 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency."

"The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This, the 14th Transactions on Computational Systems Biology volume, guest edited by Ion Petre and Erik de Vink, focuses on Computational Models for Cell Processes and features a number of carefully selected and enhanced contributions, initially presented at the CompMod workshop, which took place in Aachen, Germany, in September 2011. The papers, written from different points of view and following various approaches, cover a wide range of topics within the field of modeling and analysis of biological systems. In addition, two regular submissions deal with models of self-assembling systems and metabolic constraints on the evolution of genetic codes."

"Green supply chain (GSCM) adalah pendekatan yang muncul dalam manajemen rantai pasokan untuk mengurangi dampak lingkungan dari proses yang berkaitan dengan aliran barang dan material. Hal ini dianggap sebagai sistem kejadian diskrit. Salah satu alat yang memungkinkan untuk memodelkan sistem kejadian diskrit adalah jaring Petri. Sebuah model Colored Petri Net (CPN) dari model GSCM tersebut dikembangkan, alasan untuk menggunakan CPN daripada Petri nets biasa adalah karena memungkinkan pelekatan data (atau warna). Tesis ini mengembangkan model CPN untuk jaringan GSCM, dan memverifikasinya dengan menggunakan data sekunder dari penelitian lain sebagai studi kasus untuk membandingkan hasil simulasi rantai pasok ke depan. Setelah model tersebut terbukti serupa, dan oleh karena itu dapat mewakili rantai pasok yang sebenarnya. Model CPN diperluas menjadi CPN jaringan GSCM dengan menggunakan data yang sama dengan studi kasus. Hasil dari simulasi menunjukkan bahwa menerapkan reverse logistic dalam jaringan rantai pasok untuk menjadikannya sebagai jaringan GSCM adalah hal yang memungkinkan dan berpotensi menguntungkan perusahaan.

---

Green supply chain is an emerging approach in supply chain management to reduce environmental impact of the process concerning the flow of goods and material. It is considered as a discrete-event system. One possible tool to model discrete-event systems is Petri nets. A Colored Petri Net (CPN) model of the said green supply chain model is developed, the reason to use a CPN rather than ordinary Petri nets is because it allows the attachment of data (or color). This thesis developed a CPN model for a GSCM network, and verify it by using a secondary data from another research as a case study to compare the results of the forward supply chain simulations. After the model is proven to be similar, and therefore representative of the real supply chain. The CPN model are expanded to be a GSCM network CPN using the same data as the case study. The results of the simulation indicated that implementing reverse logistic in a supply chain network to make it a GSCM network is possible and potentially beneficial to the company."

"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 constitutes the refereed proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012. The 242 revised full papers presented in the three volumes LNCS 7389, LNAI 7390, and CCIS 304 were carefully reviewed and selected from 753 submissions. The papers in this volume (CCIS 304) are organized in topical sections on neural networks, particle swarm optimization and niche technology, kernel methods and supporting vector machines, biology inspired computing and optimization, knowledge discovery and data mining, intelligent computing in bioinformatics, intelligent computing in pattern recognition, intelligent computing in image processing, intelligent computing in computer vision, intelligent control and automation, knowledge representation/reasoning and expert systems, advances in information security, protein and gene bioinformatics, soft computing and bio-inspired techiques in real-world applications, bio-inspired computing and applications."

"This book constitutes the first of 3 volumes of refereed conference proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012. The 242 revised full papers presented were carefully reviewed and selected from 753 submissions. The 84 papers included in this volume are organized in topical sections on evolutionary learning and genetic algorithms, fuzzy theory and models, swarm intelligence and optimization, kernel methods and supporting vector machines, nature inspired computing and optimization, systems biology and computational biology, knowledge discovery and data mining, graph theory and algorithms, machine learning theory and methods, biomedical informatics theory and methods, complex systems theory and methods, pervasive/ubiquitous computing theory and methods, intelligent computing in bioinformatics, intelligent computing in pattern recognition, intelligent computing in image processing, intelligent computing in robotics, intelligent computing in computer vision, intelligent computing in Petri nets/transportation systems, intelligent data fusion and information security, intelligent sensor networks, knowledge representation/reasoning and expert systems, hybrid optimization, and bio-inspired computing and application."

"This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012. The 85 revised full papers presented were carefully reviewed and selected from 753 submissions. The papers are organized in topical sections on neural networks, evolutionar learning and genetic algorithms, granular computing and rough sets, biology inspired computing and optimization, nature inspired computing and optimization, cognitive science and computational neuroscience, knowledge discovery and data mining, quantum computing, machine learning theory and methods, healthcare informatics theory and methods, biomedical informatics theory and methods, complex systems theory and methods, intelligent computing in signal processing, intelligent computing in image processing, intelligent computing in robotics, intelligent computing in computer vision, intelligent agent and web applications, special session on advances in information security 2012."

"This book constitutes the refereed proceedings of the 15th International Conference on Practice and Theory in Public Key Cryptography, PKC 2012, held in Darmstadt, Germany, in May 2012. The 41 papers presented were carefully reviewed and selected from 188 submissions. The book also contains one invited talk. The papers are organized in the following topical sections: homomorphic encryption and LWE, signature schemes, code-based and multivariate crypto, public key encryption, special properties, identity-based encryption, public-key encryption: constructions, secure two-party and multi-party computations, key exchange and secure sessions, public-key encryption: relationships, DL, DDH, and more number theory, and beyond ordinary signature schemes."