Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 49 dokumen yang sesuai dengan query
cover
Roberto Moreno-Díaz, editor
Abstrak :
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools, software applications, computation and simulation in modelling biological systems, intelligent information processing, heurist problem solving, computer aided systems optimization, model-based system design, simulation, and verification, computer vision and image processing, modelling and control of mechatronic systems, biomimetic software systems, computer-based methods for clinical and academic medicine, modeling and design of complex digital systems, mobile and autonomous transportation systems, traffic behaviour, modelling and optimization, mobile computing platforms and technologies, and engineering systems applications.
Berlin: [, Springer-Verlag], 2012
e20409076
eBooks  Universitas Indonesia Library
cover
Abstrak :
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named, SAT and SMT based methods, automata, model checking, case studies, memory models and termination, internet protocol verification, stochastic model checking, synthesis, provers and analysis techniques, tool demonstrations, and competition on software verification.
Berlin: Springer-Verlag, 2012
e20410289
eBooks  Universitas Indonesia Library
cover
Roberto Moreno-Díaz, editor
Abstrak :
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools, software applications, computation and simulation in modelling biological systems, intelligent information processing, heurist problem solving, computer aided systems optimization, model-based system design, simulation, and verification, computer vision and image processing, modelling and control of mechatronic systems, biomimetic software systems, computer-based methods for clinical and academic medicine, modeling and design of complex digital systems, mobile and autonomous transportation systems, traffic behaviour, modelling and optimization, mobile computing platforms and technologies, and engineering systems applications.
Berlin : [, Springer-Verlag], 2012
e20410619
eBooks  Universitas Indonesia Library
cover
Sergienko, Ivan V.
Abstrak :
This work presents lines of investigation and scientific achievements of the Ukrainian school of optimization theory and adjacent disciplines. These include the development of approaches to mathematical theories, methodologies, methods, and application systems for the solution of applied problems in economy, finances, energy saving, agriculture, biology, genetics, environmental protection, hardware and software engineering, information protection, decision making, pattern recognition, self-adapting control of complicated objects, personnel training, etc. The methods developed include sequential analysis of variants, nondifferential optimization, stochastic optimization, discrete optimization, mathematical modeling, econometric modeling, solution of extremum problems on graphs, construction of discrete images and combinatorial recognition, etc. Some of these methods became well known in the world's mathematical community and are now known as classic methods.
New York: [Springer, ], 2012
e20419614
eBooks  Universitas Indonesia Library
cover
Casasnovas, Julia Poncela
Abstrak :
The thesis explores the interface between the underlying structure of a given population and the outcome of the cooperative dynamics taking place on top of it, (namely, the Prisoner's Dilemma Game). The first part of this work analyzes the case of a static system, where the pattern of connections is fixed, so it does not evolve over time. The second part develops two models for growing topologies, where the growth and the dynamics are entangled.
Berlin : [Springer, ], 2012
e20425159
eBooks  Universitas Indonesia Library
cover
Antoulas, Athanasios C.
Abstrak :
Mathematical models are used to simulate, and sometimes control, the behavior of physical and artificial processes such as the weather and very large-scale integration (VLSI) circuits. The increasing need for accuracy has led to the development of highly complex models. However, in the presence of limited computational, accuracy, and storage capabilities, model reduction (system approximation) is often necessary. Approximation of Large-Scale Dynamical Systems provides a comprehensive picture of model reduction, combining system theory with numerical linear algebra and computational considerations. It addresses the issue of model reduction and the resulting trade-offs between accuracy and complexity. Special attention is given to numerical aspects, simulation questions, and practical applications.
Philadelphia : Society for Industrial and Applied Mathematics, 2005
e20443011
eBooks  Universitas Indonesia Library
cover
Shafira Alyssa Leadi
Abstrak :
ABSTRAK
Tingkat pertumbuhan industri di Indonesia yang cenderung tinggi menuntut setiap industri untuk memiliki performa yang baik sehingga mampu bersaing secara kompetitif. Performa perusahaan yang baik dipengaruhi oleh produktivitas pekerja yang dipengaruhi oleh tingkat Job Satisfaction yang dimiliki oleh setiap pegawai. Secara langsung maupun tidak langsung Job Satisfaction dapat mempengaruhi banyak aspek bagi suatu perusahaan termasuk Customer Satisfaction yang merupakan focus utama bagi perusahan yang bergerak di bidang service. Ada banyak teori yang mendukung mengenai pentingnya meningkatkan Job Satisfaction bagi suatu perusahaan. Salah satunya Herzberg‟s Two Factors Theory yang menekankan bahwa terdapat 2 faktor utama yang dapat mempengaruhi Job Satisfaction pegawai yaitu Motivators dan Hygiene Factors. Pada penelitian ini, penulis melakukan pengujian Herzberg‟s Two Factors Theory pada salah satu Professional Service Firm di Indonesia. Penelitian ini melakukan pengujian terhadap 156 responden melalui kusioner Job Descriptive Index dan kuisioner berlandaskan Herzberg‟s Two Factors Theory.Penelitian ini bertujuan untuk mengukur tingkat Job Satisfaction pegawai dan mencari faktor dominan yang mempengaruhi Job Satisfaction pegawai. Setelah itu penelitian ini juga dilanjutkan dengan perancangan strategi menggunakan System Analysis Tools (SAT) guna meningkatkan Job Satisfaction pegawai di Professional Service Firm tersebut.
ABSTRACT
The growth rate of Industries in Indonesia has grown so significance that made this country has to increase its industrial performance that influence industrial competiveness. Industrial performance influenced by workers' productivity. Many aspects that influence workers' productivity organization commitment, work engagement and Job Satisfaction. Job Satisfaction has a big impact for a company espescially for service company since Job Satisfaction affects Customer Sarisfaction. There are many theories that support the importance of improve Job Satisfaction for company. Herzberg?s Two Factors theory explained about the factors that affecting Employee Job Satisfaction. They are Motivator Factors and Hygiene Factors. This research examined Herzberg?s Two Factors Theory in Professional Service Firm in Indonesia. There are about 156 respondends that participate in this research. The dominant factors were found through Job Descriptive Index and questionnaire that related with Herzberg‟s Two Factors Theory were used in this research. At the end, based on the results, researchers was trying to make a strategy to imptove Job Satisfaction Level in Professional Service Firm
2016
S63915
UI - Skripsi Membership  Universitas Indonesia Library
cover
Jacob, Birgit
Abstrak :
This book provides a self-contained introduction to the theory of infinite-dimensional systems theory and its applications to port-Hamiltonian systems. Many physical systems can be formulated using a Hamiltonian framework, leading to models described by ordinary or partial differential equations. For the purpose of control and for the interconnection of two or more Hamiltonian systems it is essential to take into account this interaction with the environment. This book is the first textbook on infinite-dimensional port-Hamiltonian systems. An abstract functional analytical approach is combined with the physical approach to Hamiltonian systems. This combined approach leads to easily verifiable conditions for well-posedness and stability.
Basel: Springer, 2012
e20420478
eBooks  Universitas Indonesia Library
cover
Abstrak :
This book discusses the latest advances in research and development, design, operation and analysis of transportation systems and their complementary infrastructures. It reports on both theories and case studies on road and rail, aviation and maritime transportation. Further, it covers a wealth of topics, from accident analysis, vehicle intelligent control, and human-error and safety issues to next-generation transportation systems, model-based design methods, simulation and training techniques, and many more. A special emphasis is placed on smart technologies and automation in transport, and on the user-centered, ergonomic and sustainable design of transport systems. The book, which is based on the AHFE 2018 International Conference on Human Factors in Transportation, held in Orlando, Florida, USA on July 21–25, 2018, mainly addresses the needs of transportation system designers, industrial designers, human–computer interaction researchers, civil and control engineers, as well as vehicle system engineers. Moreover, it represents a timely source of information for transportation policy-makers and social scientists whose work involves traffic safety, management, and sustainability issues in transport.
Switzerland: Springer Cham, 2019
e20501659
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 >>