This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The 11 full papers presented togethe...
详细信息
ISBN:
(数字)9783319048970
ISBN:
(纸本)9783319048963
This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The 11 full papers presented together with 4 idea papers were carefully reviewed and selected from 55 submissions. The symposium features the following topics: model-based security, formal methods, web and mobile security and applications.
This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ir...
详细信息
ISBN:
(数字)9783319070469
ISBN:
(纸本)9783319070452
This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014. The 33 papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers focus on constraint programming and global constraints; scheduling modelling; encodings and SAT logistics; MIP; CSP and complexity; parallelism and search; and data mining and machine learning.
This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics and Management, MS 2016, held in Teruel, Spain, in July 2016. The event was co-organized...
详细信息
ISBN:
(数字)9783319405063
ISBN:
(纸本)9783319405056
This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics and Management, MS 2016, held in Teruel, Spain, in July 2016. The event was co-organized by the AMSE Association and the University of Zaragoza through the GESES Research Group, with the support of the SoGReS-MF Research Group from University Jaume I. This edition of the conference paid special attention to modeling and simulation in diverse fields of business management.;The 20 papers in this book were carefully reviewed and selected from 52 submissions. They are organized in topical sections on modeling and simulation in finance and accounting; modeling and simulation in business management and economy; and engineering and other general applications.
This book examines how fuzzy methods can be employed to manage service levels in business and IT alignment. It starts by mapping the dependencies of service level agreements, coming up with gradual and bi-polar concep...
详细信息
ISBN:
(数字)9783319597164
ISBN:
(纸本)9783319597157;9783319866840
This book examines how fuzzy methods can be employed to manage service levels in business and IT alignment. It starts by mapping the dependencies of service level agreements, coming up with gradual and bi-polar concepts to eventually classify the level of coupling by intuitionistic fuzzy sets. The second part presents an approach to analyze the impact of service failures using intuitionistic fuzzy methods (IFSFIA). Lastly, the third part of the book extends the concept towards business and IT-aligned service-level engineering and provides two use cases.
The two volumes IFIP AICT 478 and 479 constitute the refereed post-conference proceedings of the 9th IFIP WG 5.14 International Conference on computer and Computing Technologies in Agriculture, CCTA 2015, held in Beij...
详细信息
ISBN:
(数字)9783319483573
ISBN:
(纸本)9783319483566;9783319839202
The two volumes IFIP AICT 478 and 479 constitute the refereed post-conference proceedings of the 9th IFIP WG 5.14 International Conference on computer and Computing Technologies in Agriculture, CCTA 2015, held in Beijing, China, in September 2015. The 122 revised papers included in this volume were carefully selected from 237 submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including intelligent sensing, monitoring and automatic control technology; key technology and models of the Internet of things; intelligent technology for agricultural equipment; computer vision; computer graphics and virtual reality; computer simulation, optimization and modeling; cloud computing and agricultural applications; agricultural big data; decision support systems and expert systems; 3s technology and precision agriculture; quality and safety of agricultural products; detection and tracing technology; and agricultural electronic commerce technology.
Informatik ist ein Kunstwort der deutschen Sprache, in dem die Worte Information und mathematik stecken. Die mathematik ist eine wesentliche Wurzel der Informatik: In allen ihren Bereichen werden immer wieder mathemat...
详细信息
ISBN:
(数字)9783322919892
Informatik ist ein Kunstwort der deutschen Sprache, in dem die Worte Information und mathematik stecken. Die mathematik ist eine wesentliche Wurzel der Informatik: In allen ihren Bereichen werden immer wieder mathematische Methoden verwendet, mathemati sche Vorgehensweisen sind typisch für die Arbeit des Informatikers. Ich glaube, dass der engen Verzahnung der beiden Disziplinen in den Lehrbüchern bisher zu wenig Aufmerk samkeit gewidmet wird. Dieses Buch enthält die wesentlichen Gebiete der mathematik, die für das Verständnis der Informatik benötigt werden. Darüber hinaus stelle ich für die mathematischen Techniken immer wieder konkrete Anwendungen in der Informatik vor. So wird etwa die Logik zum Testen von Programmen verwendet, Methoden der linearen Algebra werden in der Robotik und der graphischen Datenverarbeitung eingesetzt. Die Theorie algebrai scher Strukturen erweist sich als nützlich beim Hashing, in der Kryptographie und zur Datensicherung. Die Differenzialrechnung wird benutzt um Interpolationskurven zu berechnen, die Fourierentwicklung spielt eine wichtige Rolle bei der Datenkompression. An vielen weiteren Stellen werden Verbindungen zwischen mathematik und Informatik aufgedeckt. In der Darstellung geht es mir dabei nicht nur um die Ergebnisse, ein wichtiges Ziel ist das Einüben mathematischer Methoden bei der Lösung von Problemen. Die Tätigkeit des Informatikers verlangt das gleiche analytische Herangehen an Aufgabenstellungen.
暂无评论