Software Engineering Books
Springer Fachmedien Wiesbaden Programmieren in C#: Von den ersten Gehversuchen
Book SynopsisLernen Sie Programmieren mit Freude. Zahlreiche Beispiele machen den Einstieg in schwierige Themen einfach. Datenstrukturen und Algorithmen werden so in ihrem vollen Umfang anschaulich dargestellt. Anhand vieler Übungsaufgaben kann das Erlernte direkt ausprobiert werden. Ausführliche Lösungen erleichtern das Selbststudium und sichern den Lernerfolg. Table of ContentsEinführung in die objektorientierte Programmierung - Darstellung von Daten - Das NET-Framework - Vordefinierte Datentypen - Arrays - Operationen und Ausdrücke - Statische Methoden und Variablen - Programmsteuerung - Klassen und Objekte
£28.49
Springer Fachmedien Wiesbaden Programmieren in Pascal: Ein einführendes
Book Synopsis0 Einleitung und Notationen.- 0.1 Historische Entwicklung.- 0.2 Einführende Beispiele.- 0.3 Schreibweisen.- 0.4 Testfragen.- 1 Einfache Datentypen und Ein/Ausgabe.- 1.1 AufZählungstypen und Unterbereichstypen.- 1.2 CHAR, siehe A.2.2.- 1.3 BOOLEAN, siehe A.2.2.- 1.4 Ordinale und Simple Typen.- 1.5 Zahlbezeichnungen.- 1.6 INTEGER, siehe A.2.2.- 1.7 REAL, siehe A.2.2.- 1.8 String, vgl. 5.3.- 1.9 Einfache Ein/Ausgabe mit READ, WRITE.- 1.10 Testfragen.- 2 Einfacher Programmaufbau.- 2.1 Verfügbarmachung externer Dateien, vgl. 8.- 2.2 Vereinbarungen.- 2.3 Testfragen.- 3 Ausdrücke.- 3.1 Primärausdrücke.- 3.2 Ausdrücke, allgemein.- 3.3 Testfragen.- 4 Anweisungen.- 4.1 Assignment Statement.- 4.2 Empty Statement.- 4.3 IF Statement.- 4.4 CASE Statement.- 4.5 Schleifen.- 4.6 Folgen von Anweisungen (compound statement).- 4.7 Label, GOTO Statement.- 4.8 Testfragen.- 5 Reihung (Array) und Mengenbildung (SET).- 5.1 Reihungstyp, Komponente.- 5.2 PACKED, vgl. A.2.5.2.- 5.3 String, vgl. 1.8.- 5.4 Potenzmengentyp, Mengen-Aggregat.- 5.5 Testfragen.- 6 Zeiger und Verbund.- 6.1 Zeiger (^ Symbol).- 6.2 Verbund (RECORD).- 6.3 Testfragen.- 7 Unterprogramme.- 7.1 Unterprogramm-Technik.- 7.2 Parameterübergabe.- 7.3 Konforme Reihungsschemata (level 1 implementation).- 7.4 Prozedur (PROCEDURE).- 7.5 Funktion (FUNCTION).- 7.6 Rundreise-Problem.- 7.7 Bereichsschachtelung.- 7.8 Testfragen.- 8 Datei (File).- 8.l Sequentieller Dateityp, Modus, Komponente.- 8.2 Text-Datei (TEXT), siehe A.2.2/5/6.- 8.3 Testfragen.- A Anhang.- A. l Syntax-Diagramme.- A.2 Standard-Bibliothek (Vordefinierte Vereinbarungen).- A.2.1 Standard-Konstanten.- A.2.2 Standard-Typen.- A.2.3 Standard-Operationen.- A.2.3.1 Arithmetic Operations.- A.2.3.2 Relational Operations.- A.2.3.3 Boolean Operations.- A.2.3.4 Set Operations.-A.2.3.5 Other Operations'.- A.2.4 Standard-Funktionen.- A.2.4.1 Arithmetic Functions.- A.2.4.2 Boolean Functions (Predicates).- A.2.4.3 Transfer Functions.- A.2.4.4 Further Standard Functions.- A.2.5 Standard-Prozeduren.- A.2.5.1 Dynamic Allocation Procedures.- A.2.5.2 Data Transfer Procedures.- A.2.5.3 File Handling Procedures.- A.2.5.4 Input- Procedures READ and READLN.- A.2.5.5 Output-Procedures WRITE and WRITELN.- A.2.6 Standard-Dateien INPUT, OUTPUT.- Übg Übungsaufgaben.- Geordnet nach dem ACM-Index.- Lit Literaturverzeichnis.- Lit. l Lehrbücher.- Lit.2 Anwendungen.- Ind Alphabetischer Index.- Fachausdrücke, deutsch/englisch.Table of Contents0 Einleitung und Notationen.- 0.1 Historische Entwicklung.- 0.2 Einführende Beispiele.- 0.2.1 Anzahl der Buchstaben E/e in einem Satz.- 0.2.2 Turm von Hanoi, rekursive Lösung.- 0.3 Schreibweisen.- 0.3.1 Quelltext-Zeichen und lexikalische Symbole.- 0.3.2 Verwendung des Syntax-Diagramms, siehe A.1.- 0.3.3 Kommentar.- 0.4 Testfragen.- 1 Einfache Datentypen und Ein/Ausgabe.- 1.1 AufZählungstypen und Unterbereichstypen.- 1.2 CHAR, siehe A.2.2.- 1.3 BOOLEAN, siehe A.2.2.- 1.4 Ordinale und Simple Typen.- 1.5 Zahlbezeichnungen.- 1.6 INTEGER, siehe A.2.2.- 1.7 REAL, siehe A.2.2.- 1.8 String, vgl. 5.3.- 1.9 Einfache Ein/Ausgabe mit READ, WRITE.- 1.10 Testfragen.- 2 Einfacher Programmaufbau.- 2.1 Verfügbarmachung externer Dateien, vgl. 8.- 2.2 Vereinbarungen.- 2.2.1 Zielvereinbarung (LABEL).- 2.2.2 Konstantenvereinbarung (CONST).- 2.2.3 Typvereinbarung (TYPE).- 2.2.4 Variablenvereinbarung (VAR).- 2.3 Testfragen.- 3 Ausdrücke.- 3.1 Primärausdrücke.- 3.1.1 Aufrufe von Standard-Funktionen, siehe A.2.4.- 3.1.2 Rundung ROUND, Abschneiden TRUNC.- 3.2 Ausdrücke, allgemein.- 3.2.1 Prioritäten von Operatoren.- 3.2.2 Ganzahlige Division DIV, Rest MOD.- 3.3 Testfragen.- 4 Anweisungen.- 4.1 Assignment Statement.- 4.2 Empty Statement.- 4.3 IF Statement.- 4.4 CASE Statement.- 4.5 Schleifen.- 4.5.1 FOR Statement.- 4.5.2 WHILE Statement.- 4.5.3 REPEAT Statement.- 4.6 Folgen von Anweisungen (compound statement).- 4.7 Label, GOTO Statement.- 4.8 Testfragen.- 5 Reihung (Array) und Mengenbildung (SET).- 5.1 Reihungstyp, Komponente.- 5.2 PACKED, vgl. A.2.5.2.- 5.3 String, vgl. 1.8.- 5.4 Potenzmengentyp, Mengen-Aggregat.- 5.5 Testfragen.- 6 Zeiger und Verbund.- 6.1 Zeiger (^ Symbol).- 6.1.1 Zeigertyp, Allokation, Selektor.- 6.2 Verbund (RECORD).- 6.2.1 Verbundtyp, Komponente, Selektor.- 6.2.2 Namensabkürzung für Komponenten (WITH).- 6.3 Testfragen.- 7 Unterprogramme.- 7.1 Unterprogramm-Technik.- 7.1.1 Unterprogramm-Vereinbarung, FORWARD- Spezifikation.- 7.1.2 Unterprogramm-Aufruf, Rekursion.- 7.2 Parameterübergabe.- 7.2.1 Wert-Parameter.- 7.2.2 VAR -Parameter.- 7.2.3 Unterprogramm-Parameter.- 7.3 Konforme Reihungsschemata (level 1 implementation).- 7.4 Prozedur (PROCEDURE).- 7.5 Funktion (FUNCTION).- 7.6 Rundreise-Problem.- 7.7 Bereichsschachtelung.- 7.7.1 Vereinbart / nicht vereinbart.- 7.7.2 Lokal / global.- 7.7.3 Erzeugt / nicht erzeugt, Ausnahmen.- 7.7.4 Aufrufbar / unterdrückt.- 7.7.5 Bereichsfreie Größen, Speicherbereinigung,u.a.m..- 7.8 Testfragen.- 8 Datei (File).- 8.l Sequentieller Dateityp, Modus, Komponente.- 8.2 Text-Datei (TEXT), siehe A.2.2/5/6.- 8.3 Testfragen.- A Anhang.- A. l Syntax-Diagramme.- A.2 Standard-Bibliothek (Vordefinierte Vereinbarungen).- A.2.1 Standard-Konstanten.- A.2.2 Standard-Typen.- A.2.3 Standard-Operationen.- A.2.3.1 Arithmetic Operations.- A.2.3.2 Relational Operations.- A.2.3.3 Boolean Operations.- A.2.3.4 Set Operations.- A.2.3.5 Other ‘Operations’.- A.2.4 Standard-Funktionen.- A.2.4.1 Arithmetic Functions.- A.2.4.2 Boolean Functions (Predicates).- A.2.4.3 Transfer Functions.- A.2.4.4 Further Standard Functions.- A.2.5 Standard-Prozeduren.- A.2.5.1 Dynamic Allocation Procedures.- A.2.5.2 Data Transfer Procedures.- A.2.5.3 File Handling Procedures.- A.2.5.4 Input- Procedures READ and READLN.- A.2.5.5 Output-Procedures WRITE and WRITELN.- A.2.6 Standard-Dateien INPUT, OUTPUT.- Übg Übungsaufgaben.- Geordnet nach dem ACM-Index.- Lit Literaturverzeichnis.- Lit. l Lehrbücher.- Lit.2 Anwendungen.- Ind Alphabetischer Index.- Fachausdrücke, deutsch/englisch.
£40.84
Springer Fachmedien Wiesbaden Pattern Recognition and Image Processing in C++
Book SynopsisParts of this text were used for several years by students in a one~term under graduate course in computer science. The students had to prepare projects in small groups (2~4 students).1 This book emphasizes practical experience with image processing. It offers a comprehensive study of • image processing and image analysis, • basics of speech processing, • object~oriented programming, • software design, • and programming in C++. The book is divided into four parts. In the first part we introduce image processing, image analysis, programming tools, and the basics of C++. In the second part we describe object~oriented programming in general and the possible applications of object~oriented concepts in C++. Several appli cations of object~oriented programming for image processing are discussed as well. The new features of C++ are introduced entirely through the use of examples. We cover the proper representation of the data that is a result of pattern analysis as well. The third part describes a complete system for image segmentation. Some of the material covered refers to the exercises found in the first and second parts: this verifies our belief that an image segmentation system of programs can be developed while simultaneously acquainting others to C++. We combine the data representation described in the second part with the algorithms that use and manipulate them here in the third part.Table of ContentsI Introductions.- 1 Pattern Recognition.- 1.1 Images and Sound.- 1.2 Applications of Pattern Recognition.- 1.3 Environment, Problem Domain, and Patterns.- 1.4 Characterization of Pattern Recognition.- 1.5 Recording of Speech Signals.- 1.6 Video Cameras and Projections.- 1.7 From Continuous to Digital Signals.- 1.8 Sampling Theorem in Practice.- 1.9 Visualization and Sound Generation.- 2 From C to C++.- 2.1 Syntax Notation.- 2.2 Principle of C++ Compilation.- 2.3 Function Calls and Arguments.- 2.4 Declaration and Definition of Variables.- 2.5 Unix-File Access via Standard Functions.- 2.6 Formatted Input and Output.- 2.7 Main Program.- 2.8 Preprocessor Directives.- 2.9 Conditional Compilation.- 3 Software Development.- 3.1 Software for Pattern Recognition.- 3.2 Principles of Software Development.- 3.3 Modular and Structured Programming.- 3.4 Comments and Program Layout.- 3.5 Documentation.- 3.6 Teamwork.- 3.7 Efficiency.- 3.8 Tools for Software Development with Unix.- 3.9 PUMA.- 4 Expressions, Statements, Functions.- 4.1 Instructions and Expressions.- 4.2 Logical Values and Conditionals.- 4.3 Function Definition.- 4.4 Loops.- 4.5 Declarations and Scope.- 4.6 Switches.- 4.7 Linkage.- 4.8 Programming with Modules.- 4.9 Control Structures.- 5 Classification and Pattern Analysis.- 5.1 Classification.- 5.2 Preprocessing.- 5.3 Feature Extraction.- 5.4 Analysis.- 5.5 Image Segmentation.- 5.6 Speech Segmentation.- 5.7 Pattern Understanding.- 5.8 Active Vision and Real Time Processing.- 5.9 Top-Level Loop for Speech Analysis.- 6 Arrays and Pointers.- 6.1 Vectors and Matrices.- 6.2 Pointers.- 6.3 Vectors vs. Pointers.- 6.4 Vector Initialization.- 6.5 Strings.- 6.6 Pointers Operations and Allocation.- 6.7 Pointer and Array Arguments.- 6.8 Pointer to Pointer.- 6.9 Main Function Arguments.- 7 Statistics for Pattern Recognition.- 7.1 Axioms.- 7.2 Discrete Random Variables.- 7.3 Continuous Random Variables.- 7.4 Mean and Variance.- 7.5 Moments of a Distribution.- 7.6 Random Vectors.- 7.7 Statistical Features and Entropy.- 7.8 Signal-to-Noise Ratio.- 7.9 Histograms.- 8 C++ as a better C.- 8.1 Type Declaration.- 8.2 Type Conversion for Pointers.- 8.3 Bit- and Shift-Operations.- 8.4 Type Specifiers and Variable Declaration.- 8.5 Type-Safe Linkage.- 8.6 Overloaded Function Names.- 8.7 Return Value and Arguments.- 8.8 Macros and Inline Functions.- 8.9 Function Pointers.- II Object-Oriented Pattern Analysis.- 9 Object-Oriented Programming.- 9.1 Object-Oriented Software Techniques.- 9.2 Basic Concepts.- 9.3 Data Abstraction and Modules.- 9.4 Inheritance.- 9.5 Abstract Classes.- 9.6 Object-Oriented Classification.- 9.7 Polymorphism.- 9.8 Other Object-Oriented Concepts.- 9.9 Class Libraries.- 10 Classes in C++.- 10.1 Structures.- 10.2 Methods and ADT’s.- 10.3 Class Declarations.- 10.4 Object Construction.- 10.5 Destruction of Objects.- 10.6 Overloaded Operators.- 10.7 Advanced Methods and Constructors.- 10.8 Vector Class.- 10.9 Class Design.- 11 Intensity Images.- 11.1 Array Class.- 11.2 Templates in C++.- 11.3 Images.- 11.4 External Data Formats.- 11.5 Binary Images.- 11.6 Color Images.- 11.7 Sub Images.- 11.8 Image Transformation and Registration.- 11.9 Neighborhood.- 12 Inheritance in C++-Classes.- 12.1 Motivation and Syntax.- 12.2 Base Class Access.- 12.3 Construction and Destruction.- 12.4 Pointer to Objects.- 12.5 Virtual Functions.- 12.6 Abstract Classes.- 12.7 Image Class Hierarchy.- 12.8 Multiple Inheritance.- 12.9 Implementation Issues.- 13 Edge Detection and Edge Images.- 13.1 Motivation.- 13.2 Strategies.- 13.3 Discrete Derivative of the Intensity.- 13.4 Sobel and Prewitt Operator.- 13.5 Bit Fields in C++.- 13.6 Unions in C++.- 13.7 Edge Class.- 13.8 Edge Images.- 13.9 Color Edge Operators.- 14 Class Libraries.- 14.1 Stream Input and Output.- 14.2 NIH Class Library.- 14.3 Dynamic Class Descriptions.- 14.4 Static Class Members.- 14.5 Input and Output for Objects.- 14.6 Strings.- 14.7 Container Classes.- 14.8 Time and Date.- 14.9 More Classes.- 15 Hierarchy of Picture Processing Objects.- 15.1 General Structure.- 15.2 Hippos Object.- 15.3 Images and Matrices.- 15.4 Chain Code Class.- 15.5 Enumerations and Scope Resolution.- 15.6 Polygonal Representation.- 15.7 Atomic Objects.- 15.8 Segmentation Objects.- 15.9 External Representation.- 16 Spectral Features and Speech Processing.- 16.1 Fourier Series and Fourier Transform.- 16.2 Discrete Fourier Transform.- 16.3 Fast Fourier Transform.- 16.4 2D Fourier Transform.- 16.5 Short time Fourier analysis.- 16.6 Linear Predictive Coding.- 16.7 Dynamic Time Warping.- 16.8 Hidden Markov Models.- 16.9 Different Types of Hidden Markov Modells.- III Pattern Recognition Algorithms.- 17 An Image Analysis System.- 17.1 Data Flow.- 17.2 Design of ANIMALS.- 17.3 XDR.- 17.4 Display and Capture.- 17.5 Graphical User Interfaces.- 17.6 Geometric Distortions.- 17.7 Polymorphic image processing.- 17.8 Efficiency.- 17.9 Image Segmentation Program.- 18 Synthetic Signals and Images.- 18.1 Synthetic Sound.- 18.2 Geometric Patterns.- 18.3 Pixel Noise.- 18.4 Gaussian Noise.- 18.5 Salt-and-Pepper Noise.- 18.6 Different Views of a 3D Polyhedral Object.- 18.7 Digits and Letters.- 18.8 Single Stereo Images.- 18.9 Spectrogram.- 19 Filtering and Smoothing Signals.- 19.1 Mean-Filter and Gaussian-Filter.- 19.2 Median-Filter.- 19.3 Smoothed Median-Filter.- 19.4 Edge Preserving Smoothing.- 19.5 K-Nearest Neighbor Averaging.- 19.6 Conditional Average Filter.- 19.7 Linear Reconstruction.- 19.8 Elimination of Noisy Image Rows.- 19.9 Resolution Hierarchies.- 20 Histogram Algorithms.- 20.1 Discriminant and Least Squares Threshold.- 20.2 Histogram Entropy Thresholding.- 20.3 Multithresholding.- 20.4 Local Histogram Equalization.- 20.5 Lookup Table Transformation.- 20.6 A Class for Histograms.- 21 Edge Images.- 21.1 Robert’s Cross.- 21.2 Second Derivative.- 21.3 Edge Model Masks.- 21.4 Alternative Methods.- 21.5 Thinning of Edge Images.- 21.6 Edge Thresholding.- 21.7 Non Maxima Suppression.- 21.8 Non Maxima Absorption.- 21.9 Class Edge Revisited.- 22 Line Detection Algorithms.- 22.1 Line Detection.- 22.2 Local Connectivity.- 22.3 Hysteresis Thresholds.- 22.4 Closing of Gaps.- 22.5 Zero crossings in Laplace-Images.- 22.6 Hough Transform.- 22.7 Canny Line Detection.- 22.8 Shen and Castan.- 22.9 Representation as Segmentation Objects.- 23 Chain Codes.- 23.1 Length of a Chain.- 23.2 Smoothing.- 23.3 Digital Linear Lines.- 23.4 Similarity.- 23.5 Intersections.- 23.6 Rotation.- 23.7 Conversion.- IV Appendix.- A Basics of C++.- A.1 History.- A.2 Identifier and Constants.- A.3 Basis Data Types in C and C++.- B Software Development Tools.- B.1 Groups and ID’s with Unix.- B.2 Program Building with make.- B.3 The Use of Libraries.- B.4 Version and Access Control with rcs.- C Source Codes and Tools.- C.1 List of Tools.- C.2 How to get the sources.- C.3 X11.- C.4 Slides.- C.5 Addresses.- C.6 Headers and Source Files.- C.7 Dummy Definitions.- C.7.1 Listing of animals/dummy/Dictionary.h.- C.7.2 Listing of animals/dummy/OIOxdr.h.- C.7.3 Listing of animals/ dummy/Represent.h.- C.7.4 Listing of animals/dummy/SeqCltn.h.- C.7.5 Listing of animals/dummy/Set.h.- C.7.6 Listing of animals/dummy/dummies. C.- References.- Figures.- Tables.- Index for Exercises.
£98.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1
Book SynopsisC. Amting Directorate General Information Society, European Commission, Brussels th Under the 4 Framework of European Research, the European Systems and Soft ware Initiative (ESSI) was part ofthe ESPRIT Programme. This initiative funded more than 470 projects in the area ofsoftware and system process improvements. The majority of these projects were process improvement experiments carrying out and taking up new development processes, methods and technology within the software development process ofa company. In addition, nodes (centres ofexper tise), European networks (organisations managing local activities), training and dissemination actions complemented the process improvementexperiments. ESSI aimed at improving the software development capabilities of European enterprises. It focused on best practice and helped European companies to develop world class skills and associated technologies to build the increasingly complex and varied systems needed to compete in the marketplace. The dissemination activities were designed to build a forum, at European level, to exchange information and knowledge gained within process improvement ex periments. Their major objective was to spread the message and the results of experiments to awider audience, through a variety ofdifferent channels. The European Experience Exchange ~UR~X) project has been one ofthese dis semination activities within the European Systems and Software Initiative.~UR~)( has collected the results of practitioner reports from numerous workshops in Europe and presents, in this series of books, the results of Best Practice achieve ments in European Companies over the last few years.Table of ContentsI SPI, ESSI, EUREX.- 1 Software Process Improvement.- 1.1 Introduction.- 1.2 Objectives—Scope of the Initiative.- 1.3 Strategy.- 1.4 Target Audience.- 1.5 Dimensions of Software Best Practice.- 1.6 European Dimension.- 1.7 Types of Projects.- 1.7.1 Stand Alone Assessments.- 1.7.2 Process Improvement Experiments (PIEs).- 1.7.3 Application Experiments.- 1.7.4 Dissemination Actions.- 1.7.5 Experience/User Networks.- 1.7.6 Training Actions.- 1.7.7 ESSI PIE Nodes (ESPINODEs).- 1.7.8 Software Best Practice Networks (ESBNETs).- 2 The EUREX Project.- 2.1 Target Audience and Motivation.- 2.2 Objectives and Approach.- 2.3 Partners.- 2.4 Related Dissemination and Training Actions.- 2.4.1 Software Improvement Case Studies Initiative (SISSI).- 2.4.2 ESPITI.- 3 The EUREX Taxonomy.- 3.1 Analysis and Assessment of PIEs.- 3.2 Classification into Problem Domains.- 3.2.1 First Regional Classification.- 3.2.2 Result of First Regional Classification.- 3.2.3 Consolidation and Iteration.- 3.2.4 Update of Regional Classification.- 3.2.5 Mapping of Attributes.- 3.2.6 Review of Classification and Mapping into Subject Domains.- 3.2.7 Subject Domains Chosen.- 3.2.8 Unclassified PIEs.- 3.3 Testing, Verification, and Quality Management.- II Testing, Verification, and Quality Management.- 4 Perspectives.- 4.1 Introduction to the Subject Domain.- 4.2 Software Verification & Validation Introduced.- 4.2.1 Verification & Validation with Respect to the Product Development Process.- 4.2.2 The Main Weaknesses of the Testing Process.- 4.2.3 An Improved Process Model.- 4.2.4 How to Improve: the Road to Process Improvement.- 4.2.5 Cost/Benefit Analysis.- 4.3 Testware.- 4.3.1 A Testing Definition.- 4.3.2 Customer Needs.- 4.3.3 Types of Testing.- 4.3.4 Debugging.- 4.3.5 Other Techniques.- 4.3.6 Tools.- 4.3.7 Testware.- 4.3.8 Benefits and Limits.- 4.3.9 References.- 4.4 Classic Testing Mistakes.- 4.4.1 Theme One: The Role of Testing.- 4.4.2 Theme Two: Planning the Testing Effort.- 4.4.3 Theme Three: Personnel Issues.- 4.4.4 Theme Four: The Tester at Work.- 4.4.5 Theme Five: Technology Run Rampant.- 4.4.6 Acknowledgements.- 4.4.7 References.- 5 Resources for Practitioners.- 5.1 Methods and Tools.- 5.2 Books.- 5.2.1 Introductory Reference Books on Software Quality.- 5.2.2 Classics on Testing.- 5.2.3 Key Books on Testing.- 5.2.4 Key Books on Inspections.- 5.3 Organisations.- 5.4 Important Conferences.- 5.5 Web Sites.- 6 Experience Reports.- 6.1 PI3 Project Summary.- 6.1.1 Participants.- 6.1.2 Business Motivation and Objectives.- 6.1.3 The Experiment.- 6.1.4 Impact and Experience.- 6.1.5 References.- 6.2 PROVE Project Summary.- 6.2.1 Participants.- 6.2.2 Business Motivation and Objectives.- 6.2.3 The Experiment.- 6.2.4 Impact and Experience.- 6.3 TRUST Project Summary.- 6.3.1 Participants.- 6.3.2 Business Motivation and Objectives.- 6.3.3 The Experiment.- 6.3.4 Impact and Experience.- 6.4 FCI-STDE Project Summary.- 6.4.1 Participants.- 6.4.2 Business Motivation and Objectives.- 6.4.3 The Experiment.- 6.4.4 Impact and Experience.- 6.5 TESTLIB Project Summary.- 6.5.1 Participants.- 6.5.2 Business Motivation and Objectives.- 6.5.3 The Experiment.- 6.5.4 Impact and Experience.- 6.6 ATECON Project Summary.- 6.6.1 Participants.- 6.6.2 Business Motivation and Objectives.- 6.6.3 The Experiment.- 6.6.4 Impact and Experience.- 6.7 GUI-Test Project Summary.- 6.7.1 Participants.- 6.7.2 Business Motivation and Objectives.- 6.7.3 The Experiment.- 6.7.4 Impact and Experience.- 7 Lessons from the EUREX Workshops.- 7.1 Second Italian Workshop.- 7.1.1 Introduction.- 7.1.2 The Workshop Experts.- 7.1.3 Testing Web-based Applications.- 7.1.4 Workshop Conclusions.- 7.1.5 Workshop Discussions.- 7.2 Third Spanish Workshop.- 7.2.1 Introduction.- 7.2.2 Expert Presentation.- 7.2.3 Workshop Discussion and Conclusions.- 7.3 Pilot German Workshop.- 7.3.1 Introduction.- 7.3.2 Expert Presentation.- 7.3.3 Workshop Discussion and Conclusions.- 7.4 Lessons Learned from the Workshops.- 7.4.1 People Issues.- 7.4.2 Business Issues.- 7.4.3 Technical Issues.- 7.4.4 Final Conclusions.- 8 Significant Results.- 8.1 Barriers Preventing Change of Practices.- 8.1.1 Ignorance of the Software Product Quality Methods.- 8.1.2 Uncertainty about the Return on Investment and Fear of Raising Development Costs to an Unacceptable Level.- 8.1.3 Still Not Enough Pressure on Software Producers to Increase Quality Standards.- 8.2 Best Practices Recommended by Experts.- 8.2.1 Investing in the Acquisition of New Skills.- 8.2.2 Formalising the Verification Process and Integrating it with the Development Process.- 8.2.3 Investing Carefully but Inevitably in Automation.- 8.2.4 Measuring Results and Return on Investment.- 8.3 Revisiting the Classic Testing Mistakes.- 8.3.1 Mistakes in the Role of Testing.- 8.3.2 Mistakes in Planning the Complete Testing Effort.- 8.3.3 Mistakes in Personnel Issues.- 8.3.4 Mistakes in the Tester-at-Work.- 8.3.5 Mistakes in Test Automation.- 8.3.6 Mistakes in Code Coverage.- 8.4 The EUREX Process.- III Process Improvement Experiments.- 9 Table of PIEs.- 10 Summaries of PIE Reports.- 10.1 ACIQIM 21757.- 10.2 AERIDS 10965.- 10.3 ALCAST 10146.- 10.4 AMIGO 21222.- 10.5 ARETES 24148.- 10.6 ASTEP 23860.- 10.7 ASTERIX 23951.- 10.8 ATECON 10464.- 10.9 ATM 21823.- 10.10 ATOS 21530.- 10.11 AUTOMA 10564.- 10.12 AUTOQUAL 24143.- 10.13 AVAL 21362.- 10.14 AVE 21682.- 10.15 BEPTAM 21284.- 10.16 CALM 21826.- 10.17 CITRATE 23671.- 10.18 CLEANAP 21465.- 10.19 CLISERT 24206.- 10.20 CONFITEST 24362.- 10.21 DATM-RV 21265.- 10.22 DOCTES 21306.- 10.23 EMINTP 21302.- 10.24 ENG-MEAS 21162.- 10.25 EXOTEST 24266.- 10.26 FCI-STDE 24157.- 10.27 FI-TOOLS 21367.- 10.28 GRIPS 23887.- 10.29 GUI-TEST 24306.- 10.30 IDEA 23833.- 10.31 IMPACTS2 24078.- 10.32 INCOME 21733.- 10.33 MAGICIAN 23690.- 10.34 METEOR 21224.- 10.35 MIST 10228.- 10.36 ODP 10788.- 10.37 OMP/CAST 24053.- 10.38 PCFM 23743.- 10.39 PET 10438.- 10.40 PI3 21199.- 10.41 PIE-TEST 24344.- 10.42 PREV-DEV 23705.- 10.43 PROVE 21417.- 10.44 QUALITAS 23834.- 10.45 RESTATE 23978.- 10.46 SDI-WAN 10494.- 10.47 SIMTEST 10824.- 10.48 SMUIT 21612.- 10.49 SPIDER 21394.- 10.50 SPI 23750.- 10.51 SPIRIT 21799.- 10.52 STOMP 24193.- 10.53 STUT-IU 21160.- 10.54 SWAT 23855.- 10.55 TEPRIM 21385.- 10.56 TESTART 23683.- 10.57 TESTING 21170.- 10.58 TESTLIB 21216.- 10.59 TRUST 23754.- 10.60 USST 23843.- 10.61 VERA 23732.- 10.62 VERDEST 21712.- 10.63 VISTA 24153.- 10.64 STAR 27378.
£42.74
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Software Engineering 3: Domains, Requirements, and Software Design
Book SynopsisThe final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." The book covers the process from the development of domain descriptions, through the derivation of requirements prescriptions from domain models, to the refinement of requirements into software architectures and component design.Trade ReviewFrom the reviews: "The presentation is focused on the fundamental ideas of domain engineering, requirements engineering and computer system engineering. … The rigorous treatment and the author’s original style of viewing the software engineering approaches are important, outstanding features … . is of special interest for both software engineering theorists and practitioners … . The style is very concise, but at the same time very friendly. … Undoubtedly, readers coming from a large variety of fields of interest will appreciate the novelty and usefulness … ." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)Table of ContentsOpening.- The Triptych Paradigm.- Documents.- Conceptual Framework.- Methods and Methodology.- Models and Modelling.- Descriptions: Theory and Practice.- Phenomena and Concepts.- On Defining and on Definitions.- Jackson’s Description Principles.- Domain Engineering.- Overview of Domain Engineering.- Domain Stakeholders.- Domain Attributes.- Domain Facets.- Domain Acquisition.- Domain Analysis and Concept Formation.- Domain Verification and Validation.- Towards Domain Theories.- The Domain Engineering Process Model.- Requirements Engineering.- Overview of Requirements Engineering.- Requirements Stakeholders.- Requirements Facets.- Requirements Acquisition.- Requirements Analysis and Concept Formation.- Requirements Verification and Validation.- Requirements Satisfiability and Feasibility.- The Requirements Engineering Process Model.- Computing Systems Design.- Hardware/Software Codesign.- Software Architecture Design.- A Case Study in Component Design.- Domain-Specific Architectures.- Etcetera: Coding and All That!.- The Computing Systems Design Process Model.- Closing.- The Triptych Development Process Model.- Finale.
£89.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Software Product Line Engineering: Foundations, Principles and Techniques
Book SynopsisSoftware product line engineering has proven to be the methodology for developing a diversity of software products and software intensive systems at lower costs, in shorter time, and with higher quality. In this book, Pohl and his co-authors present a framework for software product line engineering which they have developed based on their academic as well as industrial experience gained in projects over the last eight years. They do not only detail the technical aspect of the development, but also an integrated view of the business, organisation and process aspects are given. In addition, they explicitly point out the key differences of software product line engineering compared to traditional single software system development, as the need for two distinct development processes for domain and application engineering respectively, or the need to define and manage variability. Table of ContentsPart I Introduction Introduction to Software Product Line Engineering. - A Framework for Software Product Line Engineering. - Overview on the Example Domain: Home Automation Part II Variability Principles of Variability. - Documenting Variability in Requirements. - Documenting Variability in Design. - Documenting Variability in Realisation Part III Domain Engineering Product Management. - Domain Requirements Engineering. - Domain Design. - Domain Realisation. - Domain Testing. - Using COTS Components as Domain Artefacts Part IV Application Engineering Application Requirements Engineering. - Application Design. - Application Realisation. - Application Testing Part V Organisation Aspects Organisation. - Transition Process Part VI Experiences Experiences with Software Product Lines Appendix
£49.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Software Process Improvement: Results and
Book SynopsisFor over a decade, software process improvement (SPI) has been promoted as an approach to improve systematically the way software is developed and managed. Mostly this research and the relevant experience reports have focused on large software companies. This book collects the main results from four Norwegian industrial research and development projects on SPI carried out between 1996 and 2005. It concentrates on small and medium-sized companies, typically characterized by fast-changing environments.Trade ReviewFrom the reviews: "The continuous improvement of software processes has been a managerial focus for several decades. This book, written by Norwegian academics, ‘mainly targets researchers and graduate students in empirical software engineering.’ … The papers are varied and well written … . Academics in both information technology and software engineering will find a basis for further research projects in this title." (David Bellin, Computing Reviews, December, 2006)Table of ContentsSoftware Process Improvement – General Principles and Methods.- Lessons Learned and Recommendations from Two Large Norwegian SPI Programmes.- Improvisation in Small Software Organizations.- An Empirical Investigation of the Key Factors for Success in Software Process Improvement.- Evidence-Based Software Engineering for Practitioners.- Challenges and Recommendations when Increasing the Realism of Controlled Software Engineering Experiments.- Knowledge Management for SPI.- Postmortem Reviews: Purpose and Approaches in Software Engineering.- Value-Based Knowledge Management – the Contribution of Postmortem Reviews and Process Workshops.- A Dynamic Model of Software Engineering Knowledge Creation.- An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company.- An Empirical Study on the Utility of Formal Routines to Transfer Knowledge and Experience.- Process Modelling and Electronic Process Guides.- Tailoring RUP to a Defined Project Type: A Case Study.- A Workshop-Oriented Approach for Defining Electronic Process Guides – A Case Study.- Empirical Investigation on Factors Affecting Software Developer Acceptance and Utilization of Electronic Process Guides.- Six Theses on Software Process Research.- Estimation Methods.- A Review of Studies on Expert Estimation of Software Development Effort.- Reuse of Software Development Experiences – A Case Study.- Effort Estimation of Use Cases for Incremental Large-Scale Software Development.- Empirical Studies in OO and Component-based Systems.- Experiences from Introducing UML-based Development in a Large Safety-Critical Project.- An Empirical Study on Off-the-Shelf Component Usage in Industrial Projects.- Evaluating the Effect of a Delegated versus Centralized Control Style on the Maintainability of Object-Oriented Software.
£118.35
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Multimedia Systems
Book SynopsisMultimedia Systems discusses the basic characteristics of multimedia operating systems, networking and communication, and multimedia middleware systems. The overall goal of the book is to provide a broad understanding of multimedia systems and applications in an integrated manner: a multimedia application and its user interface must be developed in an integrated fashion with underlying multimedia middleware, operating systems, networks, security, and multimedia devices. Fundamental characteristics of multimedia operating and distributed communication systems are presented, especially scheduling algorithms and other OS supporting approaches for multimedia applications with soft-real-time deadlines, multimedia file systems and servers with their decision algorithms for data placement, scheduling and buffer management, multimedia communication, transport, and streaming protocols, services with their error control, congestion control and other Quality of Service aware and adaptive algorithms, synchronization services with their skew control methods, and group communication with their group coordinating algorithms and other distributed services. Table of Contents1 Introduction.- 2 Quality of Service.- 3 Multimedia Operating Systems.- 4 Media Server.- 5 Networks.- 6 Communication.- 7 Group Communication.- 8 Synchronization.
£42.74
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Software Architecture: A Comprehensive Framework and Guide for Practitioners
Book SynopsisAs a software architect you work in a wide-ranging and dynamic environment. You have to understand the needs of your customer, design architectures that satisfy both functional and non-functional requirements, and lead development teams in implementing the architecture. And it is an environment that is constantly changing: trends such as cloud computing, service orientation, and model-driven procedures open up new architectural possibilities. This book will help you to develop a holistic architectural awareness and knowledge base that extends beyond concrete methods, techniques, and technologies. It will also help you to acquire or expand the technical, methodological, and social competences that you need. The authors place the spotlight on you, the architect, and offer you long-term architectural orientation. They give you numerous guidelines, checklists, and best practices to support you in your practical work. "Software Architecture" offers IT students, software developers, and software architects a holistic and consistent orientation across relevant topics. The book also provides valuable information and suggestions for system architects and enterprise architects, since many of the topics presented are also relevant for their work. Furthermore, IT project leads and other IT managers can use the book to acquire an enhanced understanding of architecture. Further information is available at www.software-architecture-book.org.Trade Review"Among the numerous books on the theory and practice of software architecture, we are extremely fortunate to have one that takes a broader perspective on this complex topic, covering not only the requisite technical tricks of the trade, but also the additional challenges arising from the social, business, and cultural contexts that must be fully accounted for in the design process. For seasoned professionals this text will serve as a very handy reference, while, for aspiring architects, it will uncover and explain (perhaps for the first time) the full set of skills required to do the job." - Bran Selic, Malina Software Corp., Ottawa, ON, Canada“I am really looking forward to the latest edition of this book. I can highly recommend it for anyone who needs to deal with the topic of software architecture. It provides a comprehensive starting point for conscious architectural thinking.” - Karin Dürmeyer, IBM Distinguished Engineer, IBM IOT Northeast IT Architect Profession Leader "The book provides an excellent, structured, and fundamental but equally comprehensive orientation in the complex topic of software architecture. I like the fact that instead of looking at specific technologies, it focuses more on concepts and explicitly considers the people and social aspects." - Bernd Oestereich (oose)Table of ContentsIntroduction.- Architecture Orientation Framework.- Architectures and Architecture Disciplines (WHAT).- Architecture Perspectives (WHERE).- Architecture Requirements (WHY).- Architecture Means (WITH WHAT).- Architecture Means (WITH WHAT).- Architecture Method (HOW).-
£66.49
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Feature-Oriented Software Product Lines: Concepts and Implementation
Book SynopsisWhile standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it often does not address smaller market segments, nor the needs and wishes of individual customers. Software product lines reconcile mass production and standardization with mass customization in software engineering. Ideally, based on a set of reusable parts, a software manufacturer can generate a software product based on the requirements of its customer. The concept of features is central to achieving this level of automation, because features bridge the gap between the requirements the customer has and the functionality a product provides. Thus features are a central concept in all phases of product-line development. The authors take a developer’s viewpoint, focus on the development, maintenance, and implementation of product-line variability, and especially concentrate on automated product derivation based on a user’s feature selection. The book consists of three parts. Part I provides a general introduction to feature-oriented software product lines, describing the product-line approach and introducing the product-line development process with its two elements of domain and application engineering. The pivotal part II covers a wide variety of implementation techniques including design patterns, frameworks, components, feature-oriented programming, and aspect-oriented programming, as well as tool-based approaches including preprocessors, build systems, version-control systems, and virtual separation of concerns. Finally, part III is devoted to advanced topics related to feature-oriented product lines like refactoring, feature interaction, and analysis tools specific to product lines. In addition, an appendix lists various helpful tools for software product-line development, along with a description of how they relate to the topics covered in this book. To tie the book together, the authors use two running examples that are well documented in the product-line literature: data management for embedded systems, and variations of graph data structures. They start every chapter by explicitly stating the respective learning goals and finish it with a set of exercises; additional teaching material is also available online. All these features make the book ideally suited for teaching – both for academic classes and for professionals interested in self-study.Trade Review“The book provides a systematic introduction to feature-oriented software product lines, and leads the reader to more advanced topics in its second half. The authors distill the concepts and principles underlying the field with remarkable clarity, providing a much-needed foundation for the field. They also illustrate these concepts and principles using concrete examples, showcasing languages, tools, and systems from both industrial practice and latest research. (…) There is no better team than these four authors to write about feature-oriented software product lines. The authors have made fundamental scientific and engineering contributions to the field.” from the foreword by Krzysztof Czarnecki, University of Waterloo, CanadaTable of ContentsPart I Software Product Lines.- Software Product Lines.- A Development Process for Feature-Oriented Product Lines.- Part II Variability Implementation.- Basic Concepts, Classification, and Quality Criteria.- Classic, Language-Based Variability Mechanisms.- Classic, Tool-Driven Variability Mechanisms.- Advanced, Language-Based Variability Mechanisms.- Advanced, Tool-Driven Variability Mechanisms.- Part III Advanced Topics.- Refactoring of Software Product Lines.- Feature Interactions.- Analysis of Software Product Lines.- Tool Support.
£71.24
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Software Architecture: A Comprehensive Framework and Guide for Practitioners
Book SynopsisAs a software architect you work in a wide-ranging and dynamic environment. You have to understand the needs of your customer, design architectures that satisfy both functional and non-functional requirements, and lead development teams in implementing the architecture. And it is an environment that is constantly changing: trends such as cloud computing, service orientation, and model-driven procedures open up new architectural possibilities. This book will help you to develop a holistic architectural awareness and knowledge base that extends beyond concrete methods, techniques, and technologies. It will also help you to acquire or expand the technical, methodological, and social competences that you need. The authors place the spotlight on you, the architect, and offer you long-term architectural orientation. They give you numerous guidelines, checklists, and best practices to support you in your practical work. "Software Architecture" offers IT students, software developers, and software architects a holistic and consistent orientation across relevant topics. The book also provides valuable information and suggestions for system architects and enterprise architects, since many of the topics presented are also relevant for their work. Furthermore, IT project leads and other IT managers can use the book to acquire an enhanced understanding of architecture. Further information is available at www.software-architecture-book.org.Trade Review"Among the numerous books on the theory and practice of software architecture, we are extremely fortunate to have one that takes a broader perspective on this complex topic, covering not only the requisite technical tricks of the trade, but also the additional challenges arising from the social, business, and cultural contexts that must be fully accounted for in the design process. For seasoned professionals this text will serve as a very handy reference, while, for aspiring architects, it will uncover and explain (perhaps for the first time) the full set of skills required to do the job." - Bran Selic, Malina Software Corp., Ottawa, ON, Canada“I am really looking forward to the latest edition of this book. I can highly recommend it for anyone who needs to deal with the topic of software architecture. It provides a comprehensive starting point for conscious architectural thinking.” - Karin Dürmeyer, IBM Distinguished Engineer, IBM IOT Northeast IT Architect Profession Leader "The book provides an excellent, structured, and fundamental but equally comprehensive orientation in the complex topic of software architecture. I like the fact that instead of looking at specific technologies, it focuses more on concepts and explicitly considers the people and social aspects." - Bernd Oestereich (oose)Table of ContentsIntroduction.- Architecture Orientation Framework.- Architectures and Architecture Disciplines (WHAT).- Architecture Perspectives (WHERE).- Architecture Requirements (WHY).- Architecture Means (WITH WHAT).- Architecture Means (WITH WHAT).- Architecture Method (HOW).-
£47.49
Springer Fachmedien Wiesbaden Grundkurs Microsoft Dynamics AX: Die
Book SynopsisPraktiker, IT-Verantwortliche und Berater erhalten eine konkrete und leicht verständliche Anleitung zur Arbeit in Microsoft Dynamics AX 2009. Dieses von Microsoft als Premium-Lösung für den Mittelstand positionierte ERP-System ist für alle Unternehmen interessant, die ein leistungsfähiges System suchen, das dennoch einfach zu bedienen ist. Über ein zur besseren Verständlichkeit einfach gehaltenes, durchgängiges Fallbeispiel - die Modellfirma "Anso Technologies GmbH" - erhalten Sie das erforderliche Fachwissen zu Grundlagen und Systemfunktionen und können sämtliche zentrale Geschäftsprozesse in Dynamics AX abwickeln. Übungsaufgaben unterstützen die Erläuterungen, sodass dieses Buch auch für das Selbststudium gut geeignet ist. Das Buch bezieht sich auf die aktuelle Version Dynamics AX 2009. Neuerungen im Vergleich zur Vorgängerversion Dynamics AX 4.0 sind hervorgehoben.Table of ContentsGrundlagen und Architektur - Oberfläche und Bedienung - Logistik und Supply Chain Management - Handel und Vertriebsabwicklung - Produktionsplanung und -steuerung - Finanzmanagement
£36.09
Springer Fachmedien Wiesbaden IT-Lösungen auf Basis von SysML und UML:
Book SynopsisDas Buch fokussiert auf Eclipse-UML-Designer und Eclipse Papyrus in Bezug auf Erstellen und Visualisierung von UML- und SysML-Diagrammen im Bereich der Energietechnik. Die visuellen Modellierungs-Entwicklungsumgebungen UML-Designer (Obeo-Designer) und Papyrus werden dargestellt. Neue Features von Java 16–19 und C++20 werden zum Ermöglichen der Programmierung der Anwendungen für die Energiebranche mittels des Konzepts „Modelling4Programming“ oder „M4P“ erläutert. Jakarta-EE-Platform (Version 9.1) wird zum Erstellen von Enterprise-Anwendungen mithilfe eines Applikationsservers wie Glassfish (Version 6.2.5) dargestellt.Table of ContentsEclipse-UML/SysML-Werkzeug Papyrus.- Modellierungen der Funktionen der Stromversorgungen.- Eclipse -Neon/-Oxygen.- Eclipse -UML-Designer(Obeo Designer).- SysML Traceability.- IT-Lösungen für die Stromversorgungen.- Softwarearchitekturen.
£31.34
Springer Fachmedien Wiesbaden Architektur- und Entwurfsmuster der
Book SynopsisArchitekturen von Softwaresystemen sollen einfach erweiterbar und weitestgehend standardisiert sein, damit die Entwickler sich leicht über Architekturen austauschen können. Für den objektorientierten Entwurf haben sich zahlreiche wertvolle Architektur- und Entwurfsmuster herausgebildet. Diese Muster basieren auf objektorientierten Prinzipien. Im Buch werden zuerst die wichtigsten objektorientierten Prinzipien erklärt. Anschließend wird gezeigt, wie diese objektorientierten Prinzipien in den verschiedenen Architektur- und Entwurfsmustern umgesetzt werden. Die Muster werden durch lauffähige Beispiele in Java illustriert.Für die neue Auflage wurden alle Muster komplett überarbeitet. Dabei wurden die relevanten Diagramme konsequent an UML 2 angepasst. Ebenso wurden die Programmbeispiele in eine einheitliche Form gebracht und sind nun mit der aktuellen Java-Version kompatibel. Der Musterkatalog wurde um das Entwurfsmuster "Memento" ergänzt. Insgesamt wurde der Musterkatalog neu gegliedert, sodass jetzt Muster der gleichen Kategorie zusammen in einem Kapitel zu finden sind.Das Buch richtet sich an Studierende der Informatik und der ingenieurwissenschaftlichen Disziplinen, sowie an berufliche Umsteiger*innen und Entwickler*innen in der Praxis.Table of Contents Softwarearchitekturen Muster Entwurfs- und Konstruktionsprinzipien zur Realisierung von Mustern Übersicht über den behandelten Katalog von Entwurfsmustern Strukturmuster Verhaltensmuster Erzeugungsmuster Übersicht über die behandelten Architekturmuster Architekturmuster zur Strukturierung eines Systems Architekturmuster für adaptierbare Systeme Architekturmuster für verteilte Systeme Architekturmuster für interaktive Systeme
£29.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Technologieinduzierte Entwicklung neuer
Book SynopsisDie Digitalisierung der meisten Branchen spiegelt sich in einem wachsenden Anteil der Software an der Gesamtwertschöpfung wider. Unternehmen eröffnen sich dadurch neue Möglichkeiten für technologische Innovationen. Gleichzeitig stehen sie aber vor der ständigen Herausforderung, diese Innovationen in Produkte zu überführen, die für den Kunden wertstiftend sind. Dieser Problemstellung widmeten sich bereits eine Reihe an Methoden zur Produkt- und Geschäftsmodellinnovation, die Überführung der hier gewonnenen Erkenntnisse in die konkrete Produktgestaltung bleibt jedoch eine Herausforderung.Genau hier setzt diese Arbeit an, indem sie die methodische Vorgehensweise „Value Proposition Deployment“ vorschlägt, mit der Unternehmen auf Basis technologischer Innovationen neue Wertversprechen entwickeln können. Hierzu verbindet das Value Proposition Deployment Erkenntnisse des Innovationsmanagements mit Methoden der konstruktiven Qualitätssicherung und stellt somit eine Brücke zwischen Innovations- und Qualitätsmanagement dar. Die auf Basis von 15 praxisrelevanten Gestaltungsanforderungen entwickelte Methode wird detailliert erläutert und anhand praxisnaher Fallbeispiele beschrieben.Table of ContentsProblemstellung.- Theoretischer Bezugsrahmen.- Stand der Forschung.- Analyse bestehender Ansätze im Kontext des Innovationsmanagements.- Analyse bestehender Quality Function Deployment-Ansätze.- Gestaltung des Value Proposition Deployments.- Evaluation des Value Proposition Deployments.- Schlussbetrachtung
£49.49
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming
Book SynopsisWith this book, Christopher Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++. It is divided into three parts plus several appendices. Part I provides a foundation for real-time C++ by covering language technologies, including object-oriented methods, template programming and optimization. Next, part II presents detailed descriptions of a variety of C++ components that are widely used in microcontroller programming. It details some of C++’s most powerful language elements, such as class types, templates and the STL, to develop components for microcontroller register access, low-level drivers, custom memory management, embedded containers, multitasking, etc. Finally, part III describes mathematical methods and generic utilities that can be employed to solve recurring problems in real-time C++. The appendices include a brief C++ language tutorial, information on the real-time C++ development environment and instructions for building GNU GCC cross-compilers and a microcontroller circuit. For this fourth edition, the most recent specification of C++20 is used throughout the text. Several sections on new C++20 functionality have been added, and various others reworked to reflect changes in the standard. Also several new example projects ranging from introductory to advanced level are included and existing ones extended, and various reader suggestions have been incorporated. Efficiency is always in focus and numerous examples are backed up with runtime measurements and size analyses that quantify the true costs of the code down to the very last byte and microsecond. The target audience of this book mainly consists of students and professionals interested in real-time C++. Readers should be familiar with C or another programming language and will benefit most if they have had some previous experience with microcontroller electronics and the performance and size issues prevalent in embedded systems programming.Table of ContentsPart I: Language Technologies for Real-Time C++.- 1. Getting Started with Real-Time C++.- 2. Working with a Real-Time C++ Program on a Board.- 3. An Easy Jump Start in Real-Time C++.- 4. Object-Oriented Techniques for Microcontrollers.- 5. C++ Templates for Microcontrollers.- 6. Optimized C++ Programming for Microcontrollers.- Part II: Components for Real-Time C++.- 7. Accessing Microcontroller Registers.- 8. The Right Start.- 9. Low-Level Hardware Drivers in C++.- 10. Custom Memory Management.- 11. C++ Multitasking.- Part III: Mathematics and Utilities for Real-Time C++.- 12. Floating-Point Mathematics.- 13. Fixed-Point Mathematics.- 14. High-Performance Digital Filters.- 15. C++ Utilities.- 16. Extending the C++ Standard Library and the STL.- 17. Using C-Language Code in C++.- Additional Reading.
£56.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Transactions on Large-Scale Data- and
Book SynopsisThe LNCS journal Transactions on Large-Scale Data and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing (e.g., computing resources, services, metadata, data sources) across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability.This, the 50th issue of Transactions on Large-Scale Data and Knowledge-Centered Systems, contains five fully revised selected regular papers. Topics covered include data anonymization, quasi-identifier discovery methods, symbolic time series representation, detection of anomalies in time series, data quality management in biobanks, and the use of multi-agent technology in the design of intelligent systems for maritime transport.Table of ContentsA Parallel Quasi-identifier Discovery Scheme for Dependable Data Anonymisation.- Towards Symbolic Time Series Representation Improved by Kernel Density Estimators.- Anomaly Detection in Time Series.- Designing Intelligent Marine Framework Based on Complex Adaptive System Principle.- Data Item Quality for Biobanks.
£49.49
Springer Fachmedien Wiesbaden 100 Minuten für Anforderungsmanagement: Kompaktes
Book SynopsisIn der Produkt-, System- und Softwareentwicklung spielt der professionelle Umgang mit Anforderungen eine entscheidende Rolle für den Erfolg der gesamten Entwicklung und für das entstehende Produkt. Dieses Buch vermittelt in kompakter Form das notwendige Grundwissen für Anforderungsmanagement. Begleitet werden die Ausführungen von Praxiserfahrungen und Beispielvorlagen.Table of ContentsWarum Anforderungsmanagement – Tätigkeiten und Abläufe im AM – Anforderungen finden, dokumentieren und validieren – Verwaltung und Pflege von Anforderungen – Nachverfolgbarkeit – Kontext Reifegrad- und Vorgehensmodelle – Werkzeuge – Praxiserfahrungen – Beispiele – Vorlagen
£26.59
Springer Fachmedien Wiesbaden Ein Architekturmodell für SAP®-Anwendungen:
Book SynopsisDieses Buch stellt ein neues Programmiermodell vor, das für die Entwicklung von eigenen SAP-Anwendungen verwendet werden kann. Dieses Entwurfsmuster bietet die Möglichkeit, ABAP-Programme so zu strukturieren, dass diese den Anforderungen einer teamorientierten Entwicklung sowie einer effektiven Wartbarkeit und Erweiterbarkeit gerecht werden. Zusätzlich dazu wird ein objektorientiertes Konzept für eine standardisierte und anwendungsübergreifende Implementierung von ALVs vorgestellt. Dieses Konzept kann unkompliziert und schnell eingesetzt werden und ermöglicht eine generische Auswertung von beliebigen Tabellen. Im ersten Teil des Buches werden darüber hinaus theoretische Grundlagen der Sprache ABAP Objects erläutert. Neben einer übersichtlichen Einstiegshilfe werden an dieser Stelle vor allem die Konzepte der Objektorientierung sowie deren Ausprägung innerhalb der Sprache ABAP Objects diskutiert.Table of ContentsEine Einführung in ABAP Objects – Die Konzepte der Objektorientierung in ABAP Objects – Ein neues Architekturmodell für SAP-Eigenentwicklungen – Ein Modell für anwendungsübergreifende, standardisierte ALVs – Ausblick
£31.34
Springer Fachmedien Wiesbaden Grundkurs Microsoft Dynamics AX: Die
Book SynopsisPraktiker, IT-Verantwortliche und Berater erhalten eine konkrete und leicht verständliche Anleitung zur Arbeit in Microsoft Dynamics AX. Dieses von Microsoft als Premium-Lösung für den Mittelstand und internationale Konzerne positionierte ERP-System ist für alle Unternehmen interessant, die ein leistungsfähiges System suchen, das dennoch einfach zu bedienen ist. Über ein zur besseren Verständlichkeit einfach gehaltenes, durchgängiges Fallbeispiel – die Modellfirma "Anso Technologies GmbH" – erhalten Sie das erforderliche Fachwissen zu Grundlagen und Systemfunktionen und können sämtliche zentrale Geschäftsprozesse in Dynamics AX abwickeln. Übungsaufgaben unterstützen die Erläuterungen, sodass dieses Buch auch für das Selbststudium gut geeignet ist. Die vierte Auflage des erfolgreichen Buches bezieht sich auf die aktuelle Version Dynamics AX 2012. Neuerungen im Vergleich zur Vorgängerversion Dynamics AX 2009 sind hervorgehoben.Table of ContentsGrundlagen und Architektur – Oberfläche und Bedienung – Logistik und Supply Chain Management – Handel und Vertriebsabwicklung – Produktionsplanung und -steuerung – Finanzmanagement
£49.49
Springer Verlag, Singapore Foundations of Robotics: A Multidisciplinary
Book SynopsisThis open access book introduces key concepts in robotics in an easy to understand language using an engaging project-based approach. It covers contemporary topics in robotics, providing an accessible entry point to fundamentals in all the major domains. A section is dedicated to introducing programming concepts using Python, which has become a language of choice in robotics and AI. The book also introduces the reader to the Robot Operating System (ROS), the ubiquitous software and algorithmic framework used by researchers and the industry. The book provides an inspired, up-to-date and multidisciplinary introduction to robotics in its many forms, including emerging topics related to robotics on Machine Learning, ethics, Human-Robot Interaction, and Design Thinking. The book also includes interviews with industry experts, providing an additional layer of insight into the world of robotics. The book is made open access through the generous support from Kinova Robotics. The book is suitable as an undergraduate textbook in a relevant engineering course. It is also suitable for students in art and design, high school students, and self-learners who would like to explore foundational concepts in robotics. “This book provides the ‘foundation’ for understanding how robots work. It is the accessible introduction that artists and engineers have been waiting for.” - Ken Goldberg, William S. Floyd Jr. Distinguished Chair in Engineering, UC Berkeley.Table of ContentsPART I: Contextual Design Genealogy of artificial beings: from ancient automata to modern robotics Nicolas Reeves and David St-Onge 1.1 What is a robot? 1.2 A mythical origin 1.3 Early automata 1.4 Anatomical analogies: understanding through replication 1.5 Industrial (r)evolutions 1.6 Modern robotics 1.7 SOCIAL ROBOTICS 1.8 Robotic futures and transrobotics Teaching and learning robotics: A pedagogical perspective Eleni Petraki and Damith Herath 2.1 Learning objective 2.2 Introduction 2.3 Defining the body of knowledge of the robotics field 2.4 Review of research on pedagogies and practices in robotics education 2.5 Assessment practices 2.6 Paving the way for innovative pedagogies and assessment in robotics education 2.7 Chapter summary 2.8 Quiz 2.9 References Design Thinking: from Empathy to Ideation Fanke Peng 3.1 Learning objectives 3.2 Introduction 3.3 Design Thinking Process: Discover, Define, Develop and Deliver 3.4 Conclusion 3.5 Quiz 3.6 References Software building blocks: From Python to Version control Damith Herath, Adam Haskard and Niranjan Shukla 4.1 Learning Objectives 4.2 Introduction 4.3 Python and basics of programming 4.4 Object-Oriented Programming 4.5 Error handling 4.6 Secure Coding 4.7 Case study – Writing your first program in Python 4.8 Version control basics 4.9 Containerising applications 4.10 Chapter summary 4.11 Revision questions 4.12 Further reading 4.13 References The Robot Operating System (ROS1&2): programming paradigms and deployment David St-Onge and Damith Herath 5.1 Learning Objectives 5.2 Introduction 5.3 Why ROS? 5.4 What is ROS? 5.5 Key features from the core 5.6 Additional useful features 5.7 Linux for robotics 5.8 Chapter Summary 5.9 Revision Questions 5.10 Further reading 5.11 References Mathematical building blocks: From geometry to quaternions to Bayesian Rebecca Stower, Bruno Belzile and David St-Onge 6.1 Learning Objectives 6.2 Introduction 6.3 Basic Geometry and Linear Algebra 6.4 Geometric Transformations 6.5 Basic Probability 6.6 Derivatives 6.7 Basic Statistics 6.8 Chapter Summary 6.9 Revision Questions 6.10 Further Reading 6.11 References PART II: Embedded Design What makes robots? Sensors, Actuators and Algorithms Jiefei Wang and Damith Herath 7.1 Learning Objectives 7.2 Introduction 7.3 Sense: Sensing the world with sensors 7.4 Think: Algorithms 7.5 Act: Moving about with actuators 7.6 Computer vision in robotics 7.7 Review questions 7.8 Further reading 7.9 References Mobile robots: Controlling, Navigating and path planning Jiefei Wang and Damith Herath 8.1 Learning Objectives 8.2 Introduction 8.3 Mobile robots 8.4 Controlling robots 8.5 Path planning 8.6 Obstacle avoidance 8.7 Chapter Summary 8.8 Review Questions 8.9 Further Reading 8.10 References Lost in space! Localisation and Mapping Damith Herath 9.1 Learning Objectives 9.2 Introduction 9.3 Robot localisation problem 9.4 The Robot Mapping Problem 9.5 The Simultaneous Localisation and Mapping (SLAM) problem 9.6 The Kalman Filter 9.7 A Case Study: Robot Localisation using the Extended Kalman Filter 9.8 Summary 9.9 Review Questions 9.10 Further Reading 9.11 References How to manipulate? Kinematics, dynamics and architecture of robot arms Bruno Belzile and David St-Onge 10.1 Learning Objectives 10.2 Introduction 10.3 Architectures 10.4 Kinematics of Serial Manipulators 10.5 Kinematics of Parallel Manipulators 10.6 Dynamics 10.7 Chapter Summary 10.8 Revision Questions 10.9 Further Reading 10.10 References Get together! Multi-robot systems: bio-inspired concepts and deployment challenges Vivek Shankar Varadharajan and Giovanni Beltrame 11.1 Objectives of the chapter 11.2 Introduction 11.3 Types of multi-robot systems 11.4 Swarm Programming 11.5 Deployment of real world swarm systems 11.6 Chapter Summary 11.7 Chapter Revision 11.8 Further reading 11.9 References The Embedded design process: CAD/CAM and prototyping Eddi Pianca 12.1 Learning Objectives 12.2 Introduction 12.3 The design process and CAD 12.4 The Design Process vs Design Thinking 12.5 CAD systems 12.6 CAD file types 12.7 CAD parametric modelling - Assembly and part files 12.8 CAD parametric modelling - Drawing Files 12.9 CAD File Transfer 12.10 VR and AR for CAD 12.11 CAM and CNC 12.12 Workshop 12.13 Case study - hexapod robot project 12.14 Revision questions 12.15 References PART II: Interaction Design Social robots: Principles of interaction design and user studies Janie Busby Grant & Damith Herath 13.1 Learning Objectives 13.2 Introduction 13.3 Cobots, Social Robots and Human Robot Interaction 13.4 Why conduct research? 13.5 Deciding on your research variables 13.6 Sampling, reliability & validity 13.7 Ethics 13.8 Chapter Summary 13.9 Revision Questions 13.10 References Safety first: On the safe deployment of robotic systems Bruno Belzile and David St-Onge 14.1 Learning Objectives 14.2 Introduction 14.3 Standards 14.4 Industrial Risk Assessment and Mitigation 14.5 Cobots 14.6 Mobile Robots 14.7 Chapter Summary 14.8 Revision Questions 14.9 Further Reading 14.10 References Managing the world complexity: from linear regression to deep learning Yann Bouteiller 15.1 Objectives of the chapter 15.2 Introduction 15.3 Definitions 15.4 From linear regression to deep learning 15.5 Policy search for robotic control 15.6 Wrapping it up: how to deeply understand the world 15.7 Summary 15.8 Quiz 15.9 Further reading Robot ethics: Ethical design considerations Dylan Cawthorne 16.1 Learning Objectives 16.2 Introduction 16.3 Ethics 16.4 The non-neutrality of technology 16.5 Technological determinism and multiple futures 16.6 Human values in design 16.7 Value sensitive design 16.8 Ethics tools 16.9 Case study: VSD of a Danish healthcare drone 16.10 Responsible research and innovation 16.11 Chapter summary 16.12 Revision questions 16.13 References APPENDIX: Projects Robot Hexapod Build Labs David Hinwood and Damith Herath 17.1 Introduction 17.2 Project One: Defining the Robot System 17.3 Project Two: Modelling the Position Kinematics 17.4 Project Three: Modelling the Velocity Kinematics with Python 17.5 Project Four: Building Communication Protocols 17.6 Some Final Thoughts 17.7 References ROS Mobile Manipulator labs David St-Onge, Corentin Boucher and Bruno Belzile 18.1 Introduction 18.2 Project 1: Discovering ROS and the Dingo 18.3 Project 2: Kalman for differential drive 18.4 Project 3: 3-DoF Kinematics 18.5 Project 4: Let's bring it back together! 18.6 Project 5: Save the day!
£42.74
Springer ServiceOriented Computing
Book Synopsis.- Edge and IoT..- Efficient and Dependency-aware Placement of Serverless Functions on Edge Infrastructures..- POSEIDON: Efficient Function Placement at the Edge using Deep Reinforcement Learning..- ABBA-VSM: Time Series Classification using Symbolic Representation on the Edge..- An Energy-Efficient Partition and Offloading Method for Multi-DNN Applications in Edge-End Collaboration Environments..- Crowdsourcing Task Assignment with Category and Mobile Combined Preference Learning..- Federated Learning as a Service for Hierarchical Edge Networks with Heterogeneous Models..- Optimizing Traffic Allocation for Multi-Replica Microservice Deployments in Edge Cloud..- An Event-B Based Approach for Horizontally Scalable IoT Applications..- Efficient Provisioning of IoT Energy Services..- Attention-driven Conflict Management in Smart IoT-based Systems..- Benchmarking Deep Learning Models for Object Detection on Edge Computing Devices..- Genera
£56.99
Springer ServiceOriented Computing
Book Synopsis.- Cloud Computing..- Cost-Aware Dynamic Cloud Workflow Scheduling using Self-Attention and Evolutionary Reinforcement Learning..- LARE-HPA: Co-optimizing Latency and Resource Efficiency for Horizontal Pod Autoscaling in Kubernetes..- STORELESS: Serverless workflow scheduling with federated storage in sky computing..- Not Best but Fair: Achieving a Fair Service Deployment through Sky Computing for Latency-Sensitive Applications..- QoS and SLA..- Integrated QoS- and Vulnerability-driven Self-Adaptation for Microservices Applications..- SLO-Aware Task Offloading within Collaborative Vehicle Platoons..- Client-Specific Homogeneous Service Composition at Runtime for QoS-Critical Tasks..- Network SLO-Aware Container Orchestration on Kubernetes Clusters..- Microservice..- CSMO: The Cross-Supervision Method for Microservice Optimization through Decentralized Data Management..- BOAM: a Business-Oriented identification Approach of Microservices within legacy systems..- Motif-based Linearizing Graph Transformer for Web API Recommendation..- Leveraging a Microservice Architecture, Access Control and Interoperability Patterns to Manage Privacy-related User Consents..- Service recommendation.,- Deep Reinforcement Learning Approach for Explainable Location-based service Recommendation..- A Toolchain for Checking Domain- and Model-driven Properties of Jolie Microservices..- GSL-Mash: Enhancing Mashup Creation Service Recommendations through Graph Structure Learning..- Emerging technologies and approaches..- Circuit scheduling policies on current QPUs: QCRAFT Scheduler..- MuSS: Multimodal Satellite Service for Unsupervised Land-Cover Classification..- HSC: An Artificial Intelligence Service Composition Dataset from Hugging Face..- Service composition..- Choreography-Defined Network - A Case Study in DoS Mitigation..- Racing the Market: An Industry Support Analysis for Pricing-Driven DevOps in SaaS..- Compositio Prompto: An Architecture to Employ Large Language Models in Automated Service Computing..- Composing Smart Data Services in Shop Floors through Large Language Models..- Blockchain..- A query language to enhance security and privacy of Blockchain as a Service (BaaS)..- Blockchain Based Efficient Pairing-Free Certificateless Authentication Scheme for Vehicular Ad-hoc Network..- A Blockchain-Enhanced Framework for Privacy and Data Integrity in Crowdsourced Drone Services..- Towards an Automated Verification Approach for ERC-based Smart Contracts..- Industry Papers..- Weather-Conditioned Multi-Graph Network for Ride-Hailing Demand Forecasting..- BIS: NL2SQL Service Evaluation Benchmark for BI Scenarios..- How Do Infrastructure-as-Code Practitioners Update their Provider Dependencies? An Empirical Study on the AWS Provider.
£63.74
Springer Nature Singapore Advanced Intelligent Computing Technology and
Book Synopsis
£61.74
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsDesign and Control of Legged Robots.- Leg Mass Influences the Jumping Performance of Compliant One-Legged Robots.- The Topologies Characteristics and Behaviors Design of the Curling Hexapod Robot.- Hierarchical Trajectory Optimization for Humanoid Robot Jumping Motion.- A Navigation and Control Framework of Quadrupedal Robot for Autonomous Exploration in Cave Environments.- Design and Development of The Small Hexapod Walking Robot HexWalker III.- A Rigid-Flexible Coupling Recursive Formulation for Dynamic Modeling of Biped Robots.- Robots in Tunnelling and Underground Space.- Path Planning for Muck Removal Robot of Tunnel Boring Machine.- Research on Snake-Like Robot for Cutter Inspection in Tunnel Boring Machine.- Shield Tail Seal Detection Method Driven by Twin Simulation Model Based on Intelligent Shield.- Support Boot Mechanisms of Shaft Boring Machine for Underground Vertical Tunnel Construction.- Development and Application of Rectangular Tunneling Boring Machine for Trenchless Urban Rail Transit Station Construction.- The Gordian-Innovation Technology and Recent Construction Application of Special-shaped Tunnel Boring Machine.- Research on Visual Localization of Cutter Changing Robot in Unstructured Environments.- Design of Hybrid Shield Cutter-Changing Robot and Its Motion Control Method.- TBM tunnel surrounding rock debris detection based on improved YOLO v8.- Development and application of large curved shape pipe-roof with rectangular jacking machine under the Yangtze River.- A Shield Machine Segment Position Recognition Algorithm Based On Improved Voxel And Seed Filling.- Kinematics and Workspace Analysis of a Disc Cutter Replacement Manipulator for TBM in a Constrained Motion Space.- Mechanism Surrogate Based Model Predictive Control of Hydraulic Segment Assembly Robot with Sliding Friction.- An Investigation into Fatigue Damage and Clearance Evolution of TBM Main Bearings.- Outlier Detection and Correction for Time Series of Tunnel Boring Machine.- Robotic Machining of Complex Components.- Error Sensitivity Analysis and Tolerance Allocation Simulation of a Five-Axis Parallel Machining Robot.- High-Precision Point Cloud Data Acquisition for Robot Based on Multiple Constraints.- Flexible Functional Component for Fluidic Soft Robots.- Passive Rotation Compensation for The Cylindrical Joints of the 6-Ucu Parallel Manipulator.- Research on BP Neural Network Prediction of Position Error Considering the Variation of Industrial Robot Center of Mass.- Real-time Smooth Corner Trajectory Planning for Industrial Robots under Linear and Angular Kinematic Constraints.- Admittance Control for Robot Polishing Force Tracking Based on Reinforcement Learning.- Research on the Milling Process Damping and Stability Considering Additional Vibration.- Deep Learning-Based CNN-LSTM Model Used for Predicting Pose Error of Stewart Platform.- Research on the Influence of Forced Vibration on Process Damping and Stability Boundary in Milling.- Positioning Error Modelling and Compensation Method for Robot Machining Based on RVM.- Design and Implementation of a Novel Agricultural Robot with Multi-Modal Kinematics.- Research on High Precision Scanning Reconstruction Algorithm for Robot with Line Laser Scanner.- Smooth Joint Motion Planning for Robot Polishing by Redundancy Optimization.- Vision-Guided Mobile Robot System for The Assembly of Long Beams on Aircraft Skin.- Generation of Collision-Free Tool Posture for Robotic Belt Grinding Blisk Using Visualization Toolkit.- Clinically Oriented Design in Robotic Surgery and Rehabilitation.- A Segmented Dynamic Movement Primitives-Based Gait Assistive Strategy for Soft Ankle Exosuit.- A Magnetically Actuated Diatom-Biohybrid Microrobot as a Drug Delivery Capsule .- Research on Improved Microscope Calibration Method Based on Coplanar Points.- Kinematics Analysis and Control of a Novel Macro-Micro Integrated Hybrid Robot for Medical Surgery.- Comparative Study of Feature-Based Surface Matching Automatic Coarse Registration Algorithms for Neuronavigation.- The Effect of Channel Ordering Based on the Entropy Weight Graph on the MI-EEG Classification.- Fuzzy Variable Admittance Control -Based End Compliance Control of Puncture Ablation Robot.- Deep Forest Model combined with Neural Networks for Finger Joint continuous Angle Decoding.- 2D/3D Shape Model Registration with X-Ray Images for Patient-Specific Spine Geometry Reconstruction.- Visual and Visual-tactile Perception for Robotics.- Real-Time Detection of Surface Floating Garbage Based on Improved Yolov7 .- Real-Time Map Compression Method Based on Boolean Operation and Moore-Neighborhood Search.- Research on Location Algorithm of 5G Ceramic Filter Based on Machine Vision.- MLP Neural Network-Based Precise Localization of Robot Assembly Parts.
£66.49
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsHuman-centric Technologies for Seamless Human-robot Collaboration.- Method for Identifying Knee Joint Stiffness During Human Standing.- Motion Control and Simulation Analysis of a manipulator Based on Computed Torque Control Method.- Design and Realization of a Multi-DoF Robotic Head for Affective Humanoid Facial Expression Imitation.- Adversarial Attacks on Skeleton-based Sign Language Recognition.- Adaptive Goal-Biased Bi-RRT for Online Path Planning of Robotic Manipulators.- A Novel 3-DOF Spherical Hybrid Mechanism for Wrist Movement: Design, Kinematics, and Simulation.- Dimensional Synthesis of a Novel Redundantly Actuated Parallel Manipulator.- A Novel Hyper-Redundant Manipulator Dynamic Identification Method Based on Whale Optimization and Nonlinear Friction Model.- Study on Shared Compliance Control of Teleoperated Abdominal Ultrasonic Robot.- Construction of Control System on Kinematic Redundant Hybrid Parallel Mechanism for Micro-assembly.- Multimodal Collaborative Perception and Fusion.- Influence of Contact Characteristics on Pressure Sensing of IPMC Sensors.- Optimization-Based Motion Planning Method for a Robot Manipulator under the Conditions of Confined Space and Heavy Load.- Vision-based Categorical Object Pose Estimation and Manipulation.- Animal-Like Eye Vision Assisted Locomotion of a Quadruped Based on Reinforcement Learning.- Abnormal Emotion Recognition Based on Audio-Visual Modality Fusion.- Powerful Encoding and Decoding Computation of Reservoir Computing.- Bidirectional Delay Estimation of Motor Control Systems at Different Muscle Contraction Levels.- Growing Memory Network with Random Weight 3DCNN for Continuous Human Action Recognition.- Sleep-dependent memory replay enables brain-like robustness in neural networks.- Improving Motor Imagery Brain-Computer Interface Per-Formance through Data Screening.- The Impact of Three-Week Passive Robotic Hand Therapy on Stroke Patients.- A Six-Dof Parallel Robot-Assisted Dispensing Platform with Visual Servoing and Force Sensing for Accurate Needle Positioning and Mass Control.- Post-Stroke Motor Function Assessment Based on Brain-Muscle Coupling Analysis.- Factors Affecting the Perception Performance of Biomimetic Tactile Sensing System.- Intelligent Robot Perception in Unknown Environments.- Air-Ground Robots’ Cooperation-Based Mountain Glaciers Thickness Continuous Detection: Systems and Applications.- A Modified Artificial Potential Field Method Based on Subgoal Points for Mobile Robot.- A Modular Tensegrity Mobile Robot with Multi-Locomotion Modes.- Quantum Genetic Algorithm with Fuzzy Control Based on Clustering Analysis.- Design and Research of a Snake-Like Robot Based on Orthogonal Joint and Wheel Modules.- Multi-Sensor Tightly Coupled SLAM Algorithm Based on Feature Planes in Indoor Scenes.- Intelligent Perception Solution for Construction Machinery Based on Binocular Stereo Vision.- Design and Experimental Study of an Intelligent Soft Crawling Robot for Environmental Interactions.- Vision based flame detection using compressed domain motion prediction and multi-feature fusion.- Vision-LiDAR-Inertial Localization and Mapping Dataset of a Mining Cave.- Gesture recognition based on LightViT network against sEMG electrode shift.- Hybrid Scheme for Efficient Deformable Image Registration.- A Trunk Map Construction Method for Long-Term Localization and Navigation for Orchard Robots.- Relational Alignment and Distance Optimization for Cross-modality Person Re-Identification.- RGB-D Camera Based Map Building and Path Planning of Snake Robot.- Map Smoothing Method for Map Distortion with Localization Error.- A Novel Line Approximation Approach for State Updates of Grid Maps.- A Flexible and Highly Sensitive Ultrasonic Transducer for Accurate Three-Dimensional Positioning.- Grasp Compliant Control using Adaptive Admittance Control Methods for Flexible Objects.- Vision-Based Human Robot Interaction and Application.- Research on an Embedded System of Cotton Field Patrol Robot based on AI Depth Camera.- Hard Disk Posture Recognition and Grasping Based on Depth Vision.- Design of a Visual Guidance Robotic Assembly System for Flexible Satellite Equipment Unit Assembly.- Full Resolution Repetition Counting.- Human-robot interactive operating system for underwater manipulators based on hand gesture recognition.- Registration of Structured Light Camera Point Cloud Data with CT Images.- Automatic loading and unloading system with workpiece identification based on YOLOv5.
£75.99
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsPerception and Manipulation of Dexterous Hand for Humanoid Robot.- Dexterous Hand-Object Interaction Control Based on Adaptive Impedance Algorithm.- Design and Control of a Two-Segment Rotatable wire-driven Flexible Arm.- Design and Research of a New Underactuated Manipulator.- Medical Imaging for Biomedical Robotics.- Accelerated Unfolding Network for Medical Image Reconstruction with Efficient Information Flow.- Examining the Impact of Muscle-Electrode Distance in sEMG Based Hand Motion Recognition.- Fast calibration for ultrasound imaging guidance based on depth camera.- Zero-Shot Kidney Stone Segmentation Based on Segmentation Anything Model for Robotic-Assisted Endoscope Navigation.- Sutures and Landmarks Joint Detection Method Based on Convolutional Neural Network for Rat Stereotactic Surgery.- Prior Region Mask R-CNN for thyroid nodule segmentation in ultrasound images.- Digital Twin Model Based Robot-Assisted Needle Insertion Navigation System with Visual and Force Feedback.- A Modified BiSeNet for Spinal Segmentation.- Retinal Vascular Segmentation Based on Depth-Separable Convolution and Attention Mechanisms.- SW-YOLO: Improved YOLOv5s algorithm for Blood Cell Detection.- A Novel Full Prediction Model of 3D Needle Insertion Procedures Combining the Kriging and Local Constrained Method.- Autofocusing for Cleavage-Stage Embryos in Brightfield Microscopy: Towards Automated Preimplantation Genetic Testing.- Advanced Underwater Robot Technologies.- Cooperative pursuit-evasion game for multi-AUVs in the ocean current and obstacle environment.- Rock-climbing fish inspired skeleton-embedded rigid-flexible coupling suction disc design for adhesion enhancement.- An Underwater Inductively Coupled Power Transfer System with a Ring-shaped Coupler for ROV Charging.- Micro-needle Dynamic Anchoring Foot Design for Underwater Drilling Robot.- Adaptive Control for Compact Vector-Propelled ROVs in Underwater Detection: Enhancing Stability and Maneuverability.- Dual-Arm Dynamic Planning with Considering Arm Reachability Constraint in Task Space.- SLAM Algorithm of Underwater Vehicle Based on Multi-beam Sonar.- Design and Development of ROV for Ship Hull Inspection.- Research on Structure Design and Drive Control of Soft Joint on Underwater Snake-like Robot.- Reconfigurable Torso-Based Quadruped Robot for Post-Tilt Recovery.- Innovative Design and Performance Evaluation of Robot Mechanisms - Ⅰ.- Kinematics Analysis of a New Parallel Mechanism with Complete Separation of Constraints and Drives.- Design of Flexure Hinges Using Topology Optimization Based on Isogeometric Analysis.- Design and Workspace Evaluation of a Novel Parallel Grasping Manipulator with Configurable Platform.- Research on Forward Kinematics Solutions of 3RPUPc-UPS Parallel Mechanism Based on Particle-Artificial Bee Colony Algorithm.- Stiffness calculation method and deformation energy of lattice filled structure.- Analytical Backlash Model for 3K-Type Planetary Gear Train with Flexure-Based Anti-Backlash Carrier.- Design and Analysis of a Novel Membrane Deployable Solar Array Based on STACER Deployable Mechanism for CubeSats.- Graded Error Compensation Method for Heavy-Load Manipulators Based on Laser Tracking Measurement.- A Flexible Parallel Robotic Wrist Towards Transluminal Endoscopic Surgery.- Parameterizing Dexterous Workspace of Industrial Robots.- Design and Kinematic Analysis of a Mobile Parallel Mechanism with Over Constrained Branch Chains.- Design and Analysis of Space Extra Long deployable Telescopic Boom Based on Cable Drive.- Extenics Networking Method of Generalized Deployable Units.- Research on Foot Slippage Suppression of Mammal Type Legged Robot based on Optimal Force Allocation.- Evaluation of Wearable Robots for Assistance and Rehabilitation.- Improved Notch Filter Method for Vibration Suppression of Flexible Joint Robots with Harmonic Reducers.- Design of a Locust-Like Robot Based on Metamorphic Mechanism.- A Reconfigurable Cable-Driven Hybrid Robot Synchronous Calibration Method Considering Multiple Mapping Relationships.- Wearable Robots Improve Upper Limb Function in Stroke Patients.- Design and Evaluation of a Pelvic-Assisted Gait Training Method for Mobility Improvement in Stroke Patients.- Effect of Lower Limb Exoskeleton Robot on Walking Function of Stroke Patients.- Design and Control of a Novel Underactuated Soft Exosuit.- Morphology Design of Soft Strain Sensors with Superior Stability for Wearable Rehabilitation Robots.- The Feasibility, Safety and Efficacy of Robot-Assisted Gait Training Based on a Wearable Ankle Robot in Stroke Rehabilitation.- 3D Printing Soft Robots.- Design and Control of a Miniature Soft Robotic Fish Actuated by Artificial Muscles.- A Single-DOF Quadrilateral Pyramid Deployable Unit and Its Networking Mechanism.- A Rigid-Soft Pneumatic Wrist with Fixed Rotation Axes and Active Jamming Variable Stiffness Mechanisms.
£66.49
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of Contents3D Printing Soft Robots.- Adaptive Fault Tolerant Crotroller for Nonlinear Active Suspension.- Ultraviolet Curable Materials for 3d Printing Soft Robots: From Hydrogels to Elastomers and Shape Memory Polymers.- Design and Grasping Experiments of a Three-Branch Dexterous Soft Gripper.- Modelling Analysis of a Soft Robotic Arm Based on Pneumatic-Network Structure.- Integrated DLP and DIW 3D Printer for Flexible Electronics.- Bi-Directional Deformation, Stiffness-Tunable, and Electrically Controlled Soft Actuators Based on LCEs 4D Printing.- Multi-Material Integrated Printing of Reprogrammable Magnetically Actuated Soft Structures.- A Lightweight Jumping Robot with Untethered Actuation.- Dielectric Elastomer Actuators for Soft RoboticsLanding Trajectory and Control Optimization for Helicopter in Tail Rotor Pitch Lockup.- A Dual-Mode Micro Flapping Wing Robot with Water Gliding and Taking-Off Motion.- A Self-Loading Suction Cup Driven by Resonant-Impact Dielectric Elastomer Artificial Muscles.- Model-Free Adaptive Control of Dielectric Elastomer Actuator.- Modeling and Design Optimization of a Pre-Stretched Rolled Dielectric Elastomer Actuator.- Structural Dynamics Modeling with Modal Parameters and Excitation Decoupling Method Based on Energy Distribution.- Force Sensor-Based Linear Actuator Stiffness Rendering Control.- Design, Modeling and Control of a Dielectric Elastomer Actuated Micro-Positioning Stage.- Tension Distribution Algorithm of Flexible Cable Redundant Traction for Stable Motion of Air-Bearing Platform.- Research on High-Frequency Motion Control of Voice Coil Motors Based on Fuzzy PID.- Feedback Linearization with Improved ESO For Quadrotor Attitude Control.- Design and Analysis of a Flexible Joint Actuator Based on Peano-Hasel with Performance Enhancement Characteristics.- Human-like Locomotion and Manipulation.- Walking Stability Analysis of Biped Robot Based on Actuator Response Characteristics.- Design of an Actuator for Biped Robots Based on the Axial Flux Motor.- Omnidirectional Walking Realization of A Biped Robot.- Control of the Wheeled Bipedal Robot on Roads with Large and Unknown Inclination.- Nonsmooth Dynamic Modeling of a Humanoid Robot with Parallel Mechanisms.- Human-Like Dexterous Manipulation for Anthropomorphic Hand-Arm Robotic System via Teleoperation.- Design of a Compact Anthropomorphic Robotic Hand with Hybrid Linkage and Direct Actuation.- Application of Compliant Control in Position-Based Humanoid Robot.- Fast Walking of Position-Controlled Biped Robot Based on Whole-Body Compliance Control.- Whole Body Balance Control for Bipedal Robots Based on Virtual Model Control.- Design and Implementation of Lightweight Thigh Structures for Biped Robots Based on Spatial Lattice Structure and Additive Manufacturing Technology.- Design of a Humanoid Robot Foot with a Lattice Structure for Absorbing Ground Impact Forces.- An Action Evaluation and Scaling Algorithm for Robot Motion Planning.- Design and Control of the Biped Robot HTY.- SPSOC: Staged Pseudo-Spectral Optimal Control Optimization Model For Robotic Chinese Calligraphy.- Obstacle Avoidance Path Planning Method Based on DQN-HER.- Realizing Human-like Walking and Running with Feedforward Enhanced Reinforcement Learning.- Research on Target Trajectory Planning Method of Humanoid Manipulators Based on Reinforcement Learning.- Study on the Impact Performance of the Joint Cycloid Reducer for Legged Robots.- An Optimal Configuration Solution of 8-DOF Redundant Manipulator for Flying Ball.- Smooth Composite-space RRT: An Improved Motion Planner for Manipulators under Incomplete Orientation Constraint.- Cooperative Control of Dual-Arm Robot of Adaptive Impedance Controller Based on RBF Neural Network.- Trajectory Tracking Control for Robot Manipulator under Dynamic Environment.- Pattern Recognition and Machine Learning for Smart Robots.- A High-Temperature Resistant Robot for Fixed-Point Firefighting.- Multiscale Dual-Channel Attention Network for Point Cloud Analysis.- Study on Quantitative Precipitation Estimation and Model’s Transfer Performance by Incorporating Dual Polarization Radar Variables.- Research on Object Detection Methods in Low-light Conditions.- Image Recovery and Object Detection Integrated Algorithms for Robots in Harsh Battlefield Environments.- A Fuzzy-Based Improved Dynamic Window Approach for Path Planning of Mobile Robot.- Is the Encoder Necessary in DETR-Type Models? - Analysis of Encoder Redundancy.- Image Enhancement Algorithm Based on Multi-Scale Convolution Neural Network.
£75.99
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsPattern Recognition and Machine Learning for Smart Robots.- Real-Time Detection and Tracking of Express Parcels Based on Improved YOLOv5+DeepSORT.- Micro Speaker Quality Inspection Based on Time-Frequency Domain Feature Learning .- Micro Speaker Quality Inspection Based on Time-Frequency Domain Feature Learning .- Robotic Tactile Sensation, Perception, and Applications.- FBG Tactile Sensor Integrated on Bronchoscope for Force and Contact Position Sensing.- Soft Humanoid Finger with Magnetic Tactile Perception.- Learning Tactilemotor Policy For Robotic Cable Following via Sim-to-Real Transfer.- Electric Fish-Inspired Proximity and Pressure Sensing Electronic Skin.- A Novel Tactile Palm for Robotic Object Manipulation.- Tactile-Based Slip Detection Towards Robot Grasping.- A Faster and More Robust Momentum Observer for Robot Collision Detection Based on Loop Shaping Techniques.- Dynamic and static performance analysis of a linear solenoid elastic actuator with a large load capacity.- Fully tactile dexterous hand grasping strategy combining visual and tactile senses.- Intelligent Tactile System and Human-Robot Interaction for Collaborative Robots.- Tacformer : A Self-attention Spiking Neural Network for Tactile Object Recognition.- MC-Tac: Modular Camera-based Tactile Sensor for Robot Gripper.- Advanced Sensing and Control Technology for Human-robot Interaction.- Integrated Direct/Indirect Adaptive Robust Control for Electrical Driven Injection Machine Mold Closing with Accurate Parameter Estimations.- Admittance Control of Flexible Joint with Dual-Disturbance Observer.- Physical Reality Constrained Dynamics Identification of Robots Based on CAD Model.- Constant Force Tracking Using Dynamical System with External Force Estimation.- Demonstration Shaped Reward Machine for Robot Assembly Reinforcement Learning Tasks.- The Construction of Intelligent Grasping System Based on EEG.- Comparing of Electromyography and Ultrasound for Estimation of Joint Angle and Torque.- An Efficient Robot Payload Identification Method Based on Decomposed Motion Experimental Approach.- A Force Exertion Method for Redundant Mobile Manipulators Safely Operating in Small Spaces.- Prediction of Elbow Torque Using Improved African Vultures Optimization Algorithm in Neuromusculoskeletal Model.- Usability Evaluation of FURS Robot Control Panel Interface Design Based on SUS.- Knowledge-based Robot Decision-making and Manipulation.- Obstacle-Avoidance State Characterization Models Based on Hybrid Geometric Descriptions for Mobile Manipulators.- Performance Optimization of Robotic Polishing System With a 3-DOF End-Effector Using Trajectory Planning Method.- KGGPT: Empowering Robots with OpenAI's ChatGPT and Knowledge Graph.- Robot Trajectory Optimization with Reinforcement Learning Based on Local Dynamic Fitting.- ChatGPT for Robotics: A New Approach to Human-Robot Interaction and Task Planning.- Precision Control and Simulation Verification of Hydraulic Manipulator under Unknown Load.- Experience Adapter: Adapting Pre-Trained Language Models for Continual Task Planning.- Nonlinear Disturbance Observer-Based Continuous Fixed-Time Tracking Control for Uncertain Robotic Systems.- Optimized Adaptive Impedance Control Based on Robotic Seven-Axis Linkage Grinding Platform.- Decision-Making in Robotic Grasping with Large Language Models.- Language Guided Grasping of Unknown Concepts Based on Knowledge System .- A Review of Nonlinear Systems Based on Optimal Control Theory.- Design and Control of Legged Robots.- A Locust-Inspired Energy Storage Joint for Variable Jumping Trajectory Control.- Design and Control of a Novel Six-Legged Robot for Flat, Downhill, and Uphill Skiing .- Structure Design and Fall Trajectory Planning of an Electrically Driven Humanoid Robot.- HexGuide: A Hexapod Robot for Autonomous Blind Guidance in Challenging Environments.- Force-Estimation Based Interaction of Legged Robots through Whole-Body Dynamics.- Lightweight Design and Property Analysis of Humanoid Robot Thigh Integrated Structure With Appearance.- Joint Torque and Ground Reaction Force Estimation for a One-Legged Hopping Robot.- Predefined-Time External Force Estimation for Legged Robots.- Movement Analysis of a Landing Buffer Mobile Mechanism with Eccentric Load.- A Lightweight Manipulator Design for Quadruped Robots and Stable Locomotion Control with the Manipulator.- Recovery from Injury: Learning Bipedal Jumping Skills with a Motor Output Torque Limit Curriculum.- Recovery Planning for the Legged Mobile Lunar Lander.
£75.99
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsVisual and Visual-tactile Perception for Robotics.- 6D Pose Estimation Method of Metal Parts for Robotic Grasping Based on Semantic-level Line Matching.- GelSplitter: Tactile Reconstruction from Near Infrared and Visible Images.- GelFlow: Self-Supervised Learning of Optical Flow for Vision-Based Tactile Sensor Displacement Measurement.- CLOE: Novelty Detection via Contrastive Learning with Outlier Exposure.- Detection and Positioning of Workpiece Grinding Area in Dark Scenes with Large Exposure.- Hardware-Free Event Cameras Temporal Synchronization Based on Event Density Alignment.-- A Structure-Responsive CNN-Based Approach for Loop Closure Detection in Appearance-Changing Environments.- Visual Sensor Layout Optimization of a Robotic Mobile Adhesive Removal System for Wind Turbine Blade Based on Simulation.- Perception, Interaction, and Control of Wearable Robots.- Kinematic and Static Analysis of Flexible Link Tensegrity Robots.- An Autoencoder-Based Feature Extraction Method Applied to the Detection of Lateral Walking Gait Phase.- Sparse Adaptive Channel Estimation Based on Multi-Kernel Correntropy.- Towards Intercontinental Teleoperation: A Cloud-Based Framework for Ultra-Remote Human-Robot Dual-Arm Motion Mapping.- A Lightweight Ankle Exoskeleton Driven by Series Elastic Actuator.- Simulation Analysis of Synchronous Walking Control for Centaur System.- Kinematics Analysis of the Wearable Waist Rehabilitation Robot.- 3D Human Pose Estimation in Video for Human-Computer/Robot Interaction.- A Real-time AGV Gesture Control Method Based on Body Part Detetcion.- Predict Hip Joint Moment Using CNN for Control.- Marine Robotics and Applications.- Study on design and performance of a bionic fish driven by four IPMC fins.- Optimization of Energy Storage for A Miniature Water Jumping Robot.- Design and Research of Flatworm-inspired Marine Exploration Robot.- Coordinated Passive Maneuvering Target Tracking by Multiple Underwater Vehicles Based on Asynchronous Sequential Filtering.- Robust Tube-Based Model Predictive Control for Marine Ship-mounted Cranes.- Multi-UUV/USV Adaptive Cooperative Search Using Online State Information.- Design and Analysis of Co-Axial Twin-Propeller Trans-Media Vehicle.- Design of an Autonomous Underwater Vehicle for Targeted Water Sampling.- A Novel Motion Planning Algorithm Based on RRT-Connect and Bidirectional Approach for Free-Floating Space Robot.- A Hybrid Workspace Mapping Method Based on Force Feedback for Underwater Teleoperation Systems.- A Lyapunov-based Model Predictive Virtual Vehicle Guidance for Path Following Control of Autonomous Marine Vehicles.- Overview of Technologies in Marine Robotics.- Multi-robot Systems for Real World Applications.- An MFG Online Path Planning Algorithm Based on Upper and Lower Structure.- Intelligent Scalable and Fault-tolerant Coordination Approach for Collective Construction Robots .- Performance Analysis and Configuration Optimization of a Hexapod Platform with Flexure Hinges.- Dynamic Modeling and Control of Winch-Integrated Cable-Driven Parallel Robots Using Singular Perturbation Method.- Multi-input Multi-output Sliding Mode Control with High Precision and Robustness for a 6-PSU Parallel Robot.- Efficient Trajectory Planning for Coordinated Arrival of Fixed-Wing UAV Swarm.- Spontaneous Emergence of Multitasking in Minimal Robotic Systems.- Cooperative Control of Dual-Manipulator System with Unknown Dynamic Parameters.- Disturbance Rejection Fixed Point Control of DELTA Parallel Manipulator Mounted on Autonomous Underwater Vehicle.- Efficient Autonomous Exploration of Unknown Environment using Regions Segmentation and VRP.- Modeling of the electromagnetic launching process for a tethered-net capturing system.- Neural Network-Based Formation Control of Autonomous Underwater Vehicles Under Disturbance in 3D Space.- Event-Triggered Model Predictive Mean-Field Control for Stabilizing Robotic Swarm.- Risk-Aware Motion Planning for Very-Large-Scale Robotics Systems Using Conditional Value-at-Risk.- Physical and Neurological Human-Robot Interaction.- An Adaptive Impedance Control Method for Human-Robot Interaction.- Design of a lower limb rehabilitation training robot based on a double four-bar synchronous motion mechanism.- Upper Limb Motion Rehabilitation Training Robot Based on A Spatial RRSS Rigid-Body Guidance Mechanism.- Mask R-CNN with attention mechanism for detection and segmentation.- Design and Variable Parameter Control Strategy of Weight Support Gait Training Robot.- CMM-based Cooperative Control Strategy of Supernumerary Robotic Limbs for Human Motion.
£66.49
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsPhysical and Neurological Human-Robot Interaction.- Scene-level Surface Normal Estimation from Encoded Polarization Representation.- Configuration Synthesis of four DOF knee rehabilitation parallel mechanism based on multiset theory.- Design and Analysis of a Four-Finger Three-Joint Underactuated Hand Rehabilitation Mechanism.- Human-Computer Interactive Digital-Twin System Driven by Magnetic-Inertia Fusion Data.- Motion Planning for Pelvis-Assisted Walking Training Robot.- Advanced Motion Control Technologies for Mobile Robots.- Research on motion control of underwater robot based on improved active disturbance rejection control.- Autonomous Navigation of Tracked Robot in Uneven Terrains.- DR-Informed-RRT* Algorithm: Efficient Path Planning for Quadruped Robots in Complex Environments.- Game-Theoretic Motion Planning for Multiple Vehicles at Unsignalized Intersection.- To Improve the Energy Efficiency: Modeling and Control for Quadrotor with Tiltable Wing.- Balance Control for inverted pendulum system via SGCMG.- Robot Lateral Following Method with Adaptive Linear Quadratic Regulator.- Research on Outdoor AGV Localization Method based on Adaptive Square Root Cubature Kalman Filter.- Optimization-based Coordinated Motion Planning for Redundant Wheeled Mobile Manipulator.- Efficient and Hierarchical Quadrotor Planner for Fast Autonomous Flight.- Formation Control of Unmanned Ground Vehicles Based on Broad Learning System.- Equilibrium-Compensation-Based Sliding Mode Control for Accurate Steering Tracking of a Single-Track Two-Wheeled Robot.- Adaptive Attitude Controller for a Six Wheel-Legged Robot Based on Impedance Control .- Design and Simulation of a Reconfigurable Multimode Mobile Robot with Folding Platform .- RBSAC: Rolling Balance Controller Based on Soft Actor-Critic Algorithm of the Unicycle Air Robot.- Design and Control of a Mobile Cable-driven Manipulator with Experimental Validation.- Autonomous Exploration for Mobile Robot in Three Dimensional Multi-Layer Space.- Model Predictive Control-based Pursuit-Evasion Game for Unmanned Surface Vessels.- Accelerated Informed RRT*: Fast and Asymptotically Path Planning Method Combined with RRT*-Connect and APF.- Intelligent Inspection Robotics.- Design and Practice of Space Station Manipulator Inspecting for Berthing Manned Spacecraft.- Research on Chain Detection of Coke Oven Inspection Robot in Complex Environment.- Powerline Detection and Accurate Localization Method Based on the Depth Image.- Dexterity of Concentric Magnetic Continuum Robot with Multiple Stiffness.- Efficient and Accurate Detector with Global Feature Aggregation for Steel Surface Defect Detection.- A Novel Radius Measurement Method for Vertical Oil Tank Based on Laser Tracking and Wall-Climbing Robot.- Kinetostatic and Cable-Hole Friction Modeling for Cable-Driven Continuum Robots.- Measurement and Application of Industrial Robot Jitter.- Attitude Control of Flapping-wing Micro Air Vehicles Based on Hyperbolic Tangent Function Sliding Mode Control.- L-EfficientUNet： Lightweight End-to-end Monocular Depth Estimation for mobile robots.- Integrated Device for Controllable Droplet Generation and Detection on Open Array Chip.- Robotics in Sustainable Manufacturing for Carbon Neutrality.- Research on Energy Consumption Prediction of Pump Truck Based on LSTM-Transformer .- Magnetically Controllable Liquid Metal Droplet Robots.- Comparative Carbon Footprint and Environmental Impacts of Lifepo4 - Licoxniymn(1-x-y)O2 Hybrid Batteries Manufacturing.- Wiring Simulation of Electric Control Cabinet Based on Industrial Robot .- Intelligent Identification Approach of Vibratory Roller Working Stages Based on Multi-Dimensional CNN.- Research status and application prospects of magnetically driven micro- and nanorobots.- A Novel Transfer Learning Method for Robot Bearing Fault Diagnosis Based on Deep Convolutional Residual Wasserstein Adversarial Network.- Design and Implementation of a Multifunctional Screw Disassembly Workstation.- Inverse Kinematics Solver Based on Evolutionary Algorithm and Gradient Descent for Free-Floating Space Robot.- Research on Robotic Extractors Based on Potential Energy Recovery Technology for Low-Carbon Footprint.- Innovative Design and Performance Evaluation of Robot Mechanisms - Ⅱ.- Design of a Force-controlled End-effector with Slender Flexible Beams.- Development of an Integrated Grapple Chain for a Simultaneous Three-fingered End-effector.- Screw Dynamics of the Upper Limb of a Humanoid Robot.- Research on Selective Degradation Strategy of Redundant Degrees of Freedom for Planar 6R Parallel Mechanism.- Development and Analysis of a Wheel-legged Mobile Robot for Ground and Rail Inspection.
£66.49
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsInnovative Design and Performance Evaluation of Robot Mechanisms - Ⅱ.- Design and Analysis of a Novel Ring Truss Deployable Antenna Mechanism.- Model-based Performance Enhancement for Compound Twisted and Coiled Actuators.- Lightweight design method of stacker column structure based on multi-parameter sensitivity analysis.- Optimum Design of 3-UPS/S Parallel Humanoid Wrist Joint.- Kinematic Analysis of Overrunning on a Swing Arm Tracked Mobile Chassis.- Design and Implementation of a Modular Self-reconfigurable Spherical Robot Connected by Magnetic Force.- Graph Synthesis of Generalized Parallel Mechanisms with Coupling Sub-Chains.- Analysis of Mechanism Elastodynamic Performance in Automatic Excavating Process of Excavating Robot.- Measurement and Analysis of End Jitter of Six-axis Industrial Robots.- Description of configuration transformation matrix of reconfigurable mechanism and automatic retrieval and recognition of motion mode.- Design of a voice coil motor-driven multi-DOF parallel micropositioning stage.- Structural Design of a Multi mode Variable Coupling Multi axis Parallel Mobile Robot.- Design and Kinematic Analysis of DNA Nanomachines.- Design and analysis of a new type of solar panel.- Cutting-edge Research in Robotics.- Real-Time Monitoring System of Spray-Painting Robot Based on Five-Dimension Digital Twin Model.- A Methodology for Optimization Design of Parallel Manipulators with Similar Stiffness Performance Design.- Collaborative Robot-Oriented Joint Real-time Control Based on Heterogeneous Embedded Platform.- A Novel Sensitivity Analysis Method for Geometric Errors of a Parallel Spindle Head.- A Novel Prognostic Method for Wear of Sliding Bearing based on SFENN.- Accurate Interpolation Algorithm Based on Fir Filters with Local Dynamic Adjustment.- Investigation of Soft Acoustic Waveguide Dispersion for Wearable Strain Sensing in Human Motion Monitoring.- Design and Optimization of Compliant Rotational Hinge Based on Curved Beam.- A Visual-Inertial Fusion Mapping and Localization System Using AprilTag in GNSS-Denied Scenes .- An Orientation Measurement Method for Industry Robot Based on Laser Tracker.- Programming the Motion of Nanofiber Mat Actuator Through an Area Selective Epoxy Coating Method.- Design of a Multi-Robot Digital Twin System with Bidirectional Motion Synchronization Capabilities.
£47.49
Springer Verlag, Singapore Formal Methods and Software Engineering: 24th
Book SynopsisThis book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.Table of ContentsInvited Talk: Verifying Compiler Optimisations.- Regular Papers: An Idealist’s Approach for Smart Contract Correctness.- Active Inference of EFSMs Without Reset.- Learning Mealy Machines with Local Timers.- Compositional Vulnerability Detection with Insecurity Separation Logic.- Dynamic Extrapolation in Extended Timed Automata.- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models.- Trace models of concurrent valuation algebras.- Branch and Bound for Sigmoid-like Neural Network Verification.- Certifying Sequential Consistency of Machine Learning Accelerators.- Guided Integration of Formal Verification in Assurance Cases.- Validation-Driven Development.- Incremental Property Directed Reachability.- Proving Local Invariants in ASTDs.- Doctoral Symposium Papers: Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol.- Early and systematic validation of formal models.- Verifying Neural Networks by Approximating Convex Hulls.- Eager to Stop: Efficient Falsification of Deep Neural Networks.- A Runtime Verification Framework For Cyber-physical Systems Based On Data Analytics And LTL Formula Learning.- Unified Verification of Neural Networks’ Robustness and Privacy in Computer Vision.- IoT Software Vulnerability Detection Techniques through Large Language Model.- Vulnerability Detection via Typestate-Guided Code Representation Learning.
£47.49
APress Expert Oracle Database 10g Administration
Book Synopsis*One-stop reference for administration and management of Oracle 10g Database *9i predecessor was a best seller; this edition covers all new features, with fully field-tested examples—not just "showcase" examples *Contains essential primers on Unix, Linux and Windows NT management and on SQL and PL/SQL programming; ideal for new/aspiring DBAsTable of ContentsA table of contents is not available for this title.
£49.99
APress Pro VB 2008 and the .NET 3.5 Platform
Book SynopsisThis book provides a complete A-to-Z reference for using VB with the .NET 2.0 platform and the .NET 3.0 extensions. It contains new chapters that explore the interactions between the existing framework and the new extensions, offering readers an edge when they evaluate and implement .NET 3.0 for the first time. To provide even more support, the book comes with a bonus CD that provides over 500 pages of carefully selected additional content to help broaden a reader's understanding of both .NET 2.0 and .NET 3.0.Table of ContentsIntroducing Visual Basic 2008 and the .NET Platform.- The Philosophy of .NET.- Building Visual Basic 2008 Applications.- Core VB Programming Constructs.- VB 2008 Programming Constructs, Part I.- VB 2008 Programming Constructs, Part II.- Designing Encapsulated Class Types.- Understanding Inheritance and Polymorphism.- Understanding Structured Exception Handling.- Understanding Object Lifetime.- Advanced VB Programming Constructs.- Working with Interface Types.- Collections, Generics, and Nullable Data Types.- Delegates, Events, and Lambdas.- Operator Overloading and Custom Conversion Routines.- VB 2008-Specific Language Features.- An Introduction to LINQ.- Programming with .NET Assemblies.- Introducing .NET Assemblies.- Type Reflection, Late Binding, and Attribute-Based Programming.- Processes, AppDomains, and Object Contexts.- Building Multithreaded Applications.- .NET Interoperability Assemblies.- Introducing the .NET Base Class Libraries.- File and Directory Manipulation.- Introducing Object Serialization.- ADO.NET Part I: The Connected Layer.- ADO.NET Part II: The Disconnected Layer.- Programming with the LINQ APIs.- Introducing Windows Communication Foundation.- Introducing Windows Workflow Foundation.- Desktop Applications with Windows Forms.- Introducing Windows Forms.- Rendering Graphical Data with GDI+.- Programming with Windows Forms Controls.- Desktop Applications with WPF.- Introducing Windows Presentation Foundation and XAML.- Programming with WPF Controls.- WPF 2D Graphical Rendering, Resources, and Themes.- Building Web Applications with ASP.NET.- Building ASP.NET Web Pages.- ASP.NET Web Controls, Themes, and Master Pages.- ASP.NET State Management Techniques.
£49.99
Taylor & Francis Ltd Computational Design
a huge range and FREE tracked UK delivery on ALL orders.
£137.75
Taylor & Francis Rights for Robots Artificial Intelligence Animal and Environmental Law
a huge range and FREE tracked UK delivery on ALL orders.
£128.25
Taylor & Francis Ltd Knowledge Architectures Structures and Semantics
a huge range and FREE tracked UK delivery on ALL orders.
£128.25
Taylor & Francis Knowledge Architectures Structures and Semantics
a huge range and FREE tracked UK delivery on ALL orders.
£45.99
Taylor & Francis Ltd Secure Resilient and Agile Software Development
a huge range and FREE tracked UK delivery on ALL orders.
£65.54
Taylor & Francis Ltd Blockchain for Cybersecurity and Privacy
a huge range and FREE tracked UK delivery on ALL orders.
£63.64
Taylor & Francis Ltd Software Testing
a huge range and FREE tracked UK delivery on ALL orders.
£71.24
Taylor & Francis Ltd The Cognitive Early Warning Predictive System Using the Smart Vaccine The New Digital Immunity Paradigm for Smart Cities and Critical Infrastructure
a huge range and FREE tracked UK delivery on ALL orders.
£54.14
Taylor & Francis Ltd Advances in Mobile Cloud Computing Systems
a huge range and FREE tracked UK delivery on ALL orders.
£56.99
Taylor & Francis Ltd Simple Statistical Methods for Software Engineering Data and Patterns
a huge range and FREE tracked UK delivery on ALL orders.
£54.14
Taylor & Francis Ltd Formal Languages and Computation Models and Their Applications
a huge range and FREE tracked UK delivery on ALL orders.
£54.14
Taylor & Francis Ltd Creative Efficient and Effective Project Management
a huge range and FREE tracked UK delivery on ALL orders.
£54.14
Taylor & Francis Ltd Software Designers in Action
a huge range and FREE tracked UK delivery on ALL orders.
£56.99
