Kooperativer Bibliotheksverbund

UID:

Format: 1 online resource (542 pages)

Edition: 1st ed.

ISBN: 9789811937552

Additional Edition: Print version: Lomanto, Davide Mastering Endo-Laparoscopic and Thoracoscopic Surgery Singapore : Springer,c2022 ISBN 9789811937545

Language: English

Keywords: Electronic books.

URL: Click to View

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: Click here to view book

URL: lizenzpflichtig

UID:

Format: 1 online resource (181 pages)

Edition: 1st ed.

ISBN: 9783030474874

Note: Intro -- Foreword -- Acknowledgements -- Contents -- Contributors -- 1 Peter Marwedel and the Department of Computer Science of the TU Dortmund University -- 1.1 Introduction -- 1.2 Teaching -- 1.3 Academic Self-Government -- 1.4 Basic Research and SFB 876 -- 1.5 Technology Transfer and ICD -- 1.6 Conclusion -- 2 Testing Implementation Soundness of a WCET Analysis Tool -- 2.1 Introduction -- 2.1.1 Tool Qualification -- 2.1.2 Predictability -- 2.1.3 WCET Analysis -- 2.1.4 The Central Idea: Proving Safety Properties -- 2.1.5 Terminology -- 2.2 Validation of Our WCET Analysis Tool -- 2.2.1 Control-Flow Graph Reconstruction -- 2.2.2 Value Analysis -- 2.2.3 Microarchitectural Analysis: Trace Validation -- 2.2.3.1 Semi-Automatic Derivation of the Abstract Architecture Model -- 2.2.3.2 Trace Validation -- 2.3 Conclusion -- References -- 3 The Dynamic Random Access Memory Challenge in Embedded Computing Systems -- 3.1 Introduction -- 3.2 Bandwidth and Latency -- 3.3 Power Consumption -- 3.4 Temperature vs. Reliability -- 3.5 Safety and Security -- 3.6 Conclusion -- References -- 4 On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems -- 4.1 Introduction -- 4.2 Formal Analysis Based on Schedule Functions -- 4.2.1 Preemptive EDF -- 4.2.2 Preemptive Fixed-Priority Scheduling Algorithms -- 4.3 Utilization-Based Analyses for Fixed-Priority Scheduling -- 4.4 Probabilistic Schedulability Tests -- 4.5 Conclusion -- References -- 5 ASSISTECH: An Accidental Journey into Assistive Technology -- 5.1 The Beginning: Mainly a Facilitator (2000-2005) -- 5.2 Early Phase: Focus on Embedded Systems (2005-2010) -- 5.2.1 ASSISTECH and COP315 -- 5.2.2 SmartCane -- 5.2.3 OnBoard -- 5.3 Collaborations and Research: Formation of ASSISTECH (2010-2013) -- 5.3.1 Student Projects to Research -- 5.3.2 NVDA Activities -- 5.3.3 TacRead and DotBook. , 5.4 Change of Focus: Technology to Users (2013-2016) -- 5.4.1 Tactile Graphics Project -- 5.4.2 More Research Projects and International Collaboration -- 5.5 Consolidation and Growth (2016 - ) -- 5.5.1 RAVI -- 5.5.2 MAVI -- 5.5.3 NAVI -- 5.5.4 Outreach Through Conferences -- 5.5.5 Major Recognitions -- 5.6 Conclusion -- References -- 6 Reflecting on Self-Aware Systems-on-Chip -- 6.1 Introduction to Self-Aware Systems-on-Chip -- 6.1.1 Computational Self-Awareness -- 6.1.2 Cyber-Physical Systems-on-Chip -- 6.2 Reflective System Models -- 6.2.1 Middleware for Reflective Decision-Making -- 6.3 Managing Energy-Efficient Chip Multiprocessors -- 6.3.1 Single Input Single Output Controllers -- 6.3.2 Multiple Input Multiple Output Controllers -- 6.3.3 Adaptive Control Methods -- 6.3.4 Hierarchical Controllers -- 6.4 Heterogeneous Mobile Governors: Energy-Efficient Mobile System-on-a-Chip -- 6.4.1 Sensors to Capture Dynamism -- 6.4.2 Toward Self-Aware Governors -- 6.5 Adaptive Memory: Managing Runtime Variability -- 6.5.1 Sharing Distributed Memory Space -- 6.5.2 Memory Phase Awareness -- 6.5.3 Quality-Configurable Memory -- 6.6 What's Ahead? -- 6.6.1 Example Use Case: Autonomous Driving -- 6.7 Summary -- References -- 7 Pushing the Limits of Parallel Discrete Event Simulation for SystemC -- 7.1 Introduction -- 7.2 RISC Framework -- 7.2.1 RISC Compiler -- 7.2.1.1 Segment Graph Construction -- 7.2.1.2 Conflict Analysis -- 7.2.1.3 Source Code Instrumentation -- 7.2.2 RISC Simulator -- 7.2.3 RISC Analysis and Transformation Tools -- 7.3 Experiments -- 7.3.1 Mandelbrot Renderer -- 7.4 RISC Open Source Project -- 7.4.1 Open Source Code and Documentation -- 7.4.2 Binary Image for ``Plug-and-Play'' Evaluation -- 7.5 Conclusion -- References -- 8 Impact of Negative Capacitance Field-Effect Transistor (NCFET) on Many-Core Systems -- 8.1 Introduction. , 8.1.1 Negative Capacitance Field-Effect Transistor (NCFET) -- 8.2 Modeling NCFET at the System Level -- 8.2.1 Processor-Level Investigation -- 8.2.2 Simulation of NCFET-Based Many-Core -- 8.3 Performance, Power, and Cooling Trade-Offs with NCFET-based Many-Cores -- 8.3.1 Impact of NCFET on Performance -- 8.3.2 Impact of NCFET on Cooling Requirements -- 8.3.3 Impact of NCFET on Power Management Techniques -- 8.4 NCFET-Aware Voltage Scaling -- 8.4.1 Importance of NCFET-Aware DVS -- 8.4.2 NCFET-Aware DVS Technique -- 8.4.2.1 Design-Time Models -- 8.4.2.2 Runtime Models -- 8.4.3 Operating Voltage Selection -- 8.4.4 Evaluation -- 8.4.4.1 Experimental Setup -- 8.4.4.2 NCFET-Aware DVS Results and Analysis -- 8.5 Conclusion -- References -- 9 Run-Time Enforcement of Non-functional Program Properties on MPSoCs -- 9.1 Introduction -- 9.2 Preliminaries and Definitions -- 9.2.1 System Model -- 9.2.2 *-Predictability -- 9.3 Run-Time Requirement Enforcement -- 9.4 Taxonomy of Run-Time Requirement Enforcers -- 9.4.1 Enforcement Automata (EA) -- 9.4.2 i-lets and e-lets -- 9.5 Case Study -- 9.5.1 Enforcement Problem Description -- 9.5.2 Power, Latency, and Energy Model -- 9.5.3 Energy-Minimized Timing Enforcement -- 9.5.4 Distributed Enforcement -- 9.5.5 Centralized Enforcement -- 9.5.6 Lower Latency Bound Enforcement and Range Extenders -- 9.6 Conclusions -- References -- 10 Compilation for Real-Time Systems a Decade After Predator -- 10.1 Introduction -- 10.2 Challenges and State-of-the-Art in WCET-Aware Compilation During Predator -- 10.3 Integration of Task Coordination into WCET-Aware Compilation -- 10.4 Analysis and Optimization of Multi-Processor Systems on Chip -- 10.5 Multi-Objective Compiler Optimizations Under Real-Time Constraints -- 10.6 Conclusions -- References -- Index.

Additional Edition: Print version: Chen, Jian-Jia A Journey of Embedded and Cyber-Physical Systems Cham : Springer International Publishing AG,c2020 ISBN 9783030474867

Language: English

Keywords: Electronic books. ; Festschrift ; Festschriften. ; Festschriften.

URL: Click to View

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: ProQuest Ebook Central

URL: SpringerLink

URL: lizenzpflichtig

UID:

Format: XVII, 399 S. : , Ill., graph. Darst.

Edition: 2. ed.

ISBN: 978-1-4614-1098-0 , 978-1-4614-1099-7

Series Statement: Universitext

Additional Edition: Erscheint auch als Online-Ausgabe 10.1007/978-1-4614-1099-7

Language: English

Subjects: Mathematics

Keywords: Matrizentheorie ; Lehrbuch

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024163437&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Inhaltsverzeichnis

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024163437&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Cover

URL: Inhaltstext

URL: Verlagsangaben

URL: Autorenbiografie

URL: Inhaltsverzeichnis

Author information: Zhang, Fuzhen 1961-

UID:

Format: 286 S.

Edition: 1. Aufl.

ISBN: 3518424645 , 9783518424643

Note: 1963 : Aufzeichnungen von einer ersten Begegnung mit Russland -- 1966 : Gekritzelte Tagebuchnotizen von einer Reise durch die Sowjetunion und ihren Folgen -- 2015 : Prämissen -- 1967-1970 : Erinnerungen an einen Tumult -- 1970 ff. : Danach -- Personenregister.

Language: German

Subjects: German Studies

Keywords: Enzensberger, Hans Magnus 1929-2022 ; Autobiografie ; Biographie 1963-

URL: Inhaltstext

URL: Inhaltsverzeichnis

URL: Rezension

URL: Rezension

URL: Rezension

Author information: Enzensberger, Hans Magnus 1929-2022

UID:

Format: 1 Online-Ressource (VII, 292 Seiten) , Illustrationen, Diagramme, Karten

ISBN: 9789811517884

Series Statement: The China Geological Survey Series

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-981-151-787-7

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-981-151-789-1

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-981-151-790-7

Language: English

Subjects: Earth Sciences

Keywords: Zhejiang ; Anhui ; Geowissenschaften ; Geologie ; Ökologie ; Fossil ; Geologische Kartierung

DOI: 10.1007/978-981-15-1788-4

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: ProQuest Ebook Central

URL: SpringerLink

URL: OverDrive

URL: Excerpt

URL: Image

UID:

Format: 1 online resource (551 pages)

Edition: 1st ed.

ISBN: 94-6463-447-2

Series Statement: Advances in Computer Science Research Series ; v.111

Note: Intro -- Preface -- Organization -- Contents -- Peer-Review Statements -- The Effect of Photovoltaic Industrial Policies on Enterprise Innovation Performance -- Research on Risk Factors of Smart Community Construction Based on WSR-ISM -- Research on risk prediction of subway shield construction based on triangular fuzzy function-entropy weight method -- Layout optimization of thyristor production line of F Company -- The Implementation Research of Data Mining Algorithms in Production Process Optimization and Management -- Study on carbon emission evaluation and influencing factors of prefabricated buildings -- Research on the Influence of Trust on Knowledge Sharing in Online Community of Engineering Projects -- Deep Learning-Based Strategies for Improving Industrial Production Efficiency -- Infrastructure construction project management whole process risk management-Building a Risk Assessment Framework Based on Meta-Network Analysis -- Research on Sustainable Development Strategies of Resource Depleted Cities under Eod Innovation Mode -- Innovative exploration on the electricity safety management system for high-rise buildings based on the trinity of government, power utility and users -- Intelligent Logistics Path Optimization and Real-Time Dispatching System Design Based on Big Data Analysis -- Influence Paths of Public Participation and Social Management in Non-Heritage Conservation Projects -- Construction Schedule Optimization Based on Genetic Algorithm -- Evolutionary game analysis of coal miners' burnout intervention -- Analysis of Effective Control Measures of Construction Noise -- Research on the Impact of Government Carbon Tax and Subsidy Policies on Outsourcing Remanufacturing -- Production Scheduling of Small Batch Materials Based on BP Neural Network. , Research on Workshop Layout Based on Genetic Algorithm of Machine Learning K-means Clustering -- Research on the Influence of Green Finance on Rural Revitalization and Development in Hunan Province- -An Empirical Analysis Based on Spatial Dubin Model -- Research on the Problems and Countermeasures of Risk Management for Small and Medium sized Enterprises under the Supervision of District and County Governments: A Case Study of Zhangqiu District -- Design and Implementation of an Indoor Radiation Accident Emergency Training System -- Clustering Algorithm for IoT Data Stream Based on K-Dimensional Tree and Self-Organizing Density -- Integrating EfficientNet, Cosine Annealing, and Advanced Data Augmentation for Enhanced Aircraft Detection in Satellite Imagery -- Research on the Green Development of the HVAC Industry -- Research on Cold Chain Logistics of Agricultural Products in Guangxi Based on The Perspective of the Internet of Things -- A Study of Three-Party Evolutionary Game in the Context of Carbon Disclosure -- Research on Supplier Selection for EPC Projects Based on G1 Empowerment Approach -- Structure Modeling and Key Node Analysis of Equipment Development Project Based on Hyper-Network -- How does Employees' Increasing Challenge Demands Affect their Job Involvement and Work Alienation? An Explanation from Self-determination Theory -- Enhancing Code Completion with Round Splitting and Unique Traversal of Abstract Syntax Tree -- Enhancing Code Retrieval through Deep Learning and Information Retrieval Fusion -- Non-Linear Analysis of Influencing Factors of Commercial Vitality Within the Radiation Range of Metro Stations -- The Application of Realistic 3D in Passenger Cableway Route Selection and Planning -- Optimization of Workshop Layout Based on Adaptive Genetic Algorithm. , Augmented Gray Wolf-Cuckoo Algorithm-Based Research on Flexible Job-Shop Scheduling -- Research on Decoupling and Influencing Factors of Carbon Emissions in the Construction Industry of Coastal Provinces -- Automated Report Generation and Knowledge Management System for Photovoltaic Power Stations using Knowledge Graphs -- Route Optimization of Multimodal Transportation Considering Customer Satisfaction -- Logistics Privacy Protection Scheme Based on Multi-Authority Attribute-Based Encryption -- Decision-Making Study of Assembly Building Supply and Demand Bodies Under Different Government Subsidy Strategies -- Lying Flat in the Context of Digital Media: Mechanisms of Addiction -- Pricing of Dual Channel Supply Chain Based on Manufacturer Network Channel Selection Research on Service Decision Making -- Study on the Influencing Factors of Falling Object Accidents in Urban Buildings -- Crowd Counting and People Density Detection: An Overview -- Language/Cognition Gene Polymorphism Patterns Potentially Associated with Novel Teaching/Learning Technology Based on Brain-Computer Interface -- Assessing and Forecasting Sinopec's Sustainability through ESG Performance: A Combined Approach integrating TOPSIS, GM (1,1), and Pearson Analysis -- A Reliability Evaluation Method for Non-electronic Product Storage Based on Inventory Rotation Data -- The Application of Big Data in Intelligent Management of Engineering Materials under the New Situation -- Research on Comprehensive Evaluation of Strategic Emerging Industries Operational Status Based on Interpretative Structural Model -- Dynamic Calculation and Analysis of the Fee Rate for Safe and Civilized Construction in Railway Transportation Engineering Based on PSO-SVM -- Governance Pathways for Public Digital Cultural Data in a Multi-Source Heterogeneous Context. , Cost Factor Analysis of Prefabricated Components Based on Adversarial interpretive structure model Method.

Additional Edition: ISBN 94-6463-446-4

Language: English

Keywords: Electronic books. ; Electronic books.

URL: https://public.ebookcentral.proquest.com/choice/PublicFullRecord.aspx?p=31554460

URL: EBSCOhost

URL: Click to View

UID:

Format: 1 online resource (335 pages)

Edition: 1st ed.

ISBN: 9789048553228

Series Statement: Asian History Ser.

Additional Edition: Print version: Siebert, Martina Making the Palace Machine Work Amsterdam : Amsterdam University Press,c2021

Language: English

Subjects: History

Keywords: Electronic books. ; Electronic books. ; History.

URL: Click to View

URL: kostenfrei

URL: De Gruyter

URL: De Gruyter

URL: JSTOR

URL: View this content on Open Research Library.

URL: Biblioboard

URL: De Gruyter, Cover

URL: Image

URL: Click here to view book

URL: lizenzpflichtig

UID:

Format: 1 online resource (281 pages)

ISBN: 9781000800982

Additional Edition: Print version: Davy, Ulrike Law and Social Policy in the Global South Milton : Taylor & Francis Group,c2022 ISBN 9781032151670

Language: English

Keywords: Electronic books. ; Electronic books.

URL: Click to View

URL: kostenfrei

URL: Click here to view book

URL: lizenzpflichtig

UID:

Format: 1 online resource (208 pages)

ISBN: 9781439862070 , 1439862079 , 9786613274601 , 6613274607 , 1283274604 , 9781283274609 , 1439862052 , 9781439862056 , 9781138075405 , 113807540X , 9780429063350 , 0429063350 , 9781000218619 , 1000218619

Content: In semiconductor manufacturing, understanding how various materials behave and interact is critical to making a reliable and robust semiconductor package. Semiconductor Packaging: Materials Interaction and Reliability provides a fundamental understanding of the underlying physical properties of the materials used in a semiconductor package. The book focuses on an important step in semiconductor manufacturing--package assembly and testing. It covers the basics of material properties and explains how to determine which behaviors are important to package performance. The authors also discuss how.

Note: Front Cover; Contents; Preface; Authors; Partial list of abbreviations, acronyms, and symbols; Chapter 1: History and background; Chapter 2: Package form factors and families; Chapter 3: Surface-mount technology; Chapter 4: Other packaging needs; Chapter 5: Reliability testing; Chapter 6: Polymers; Chapter 7: Metals; Chapter 8: Ceramics and glasses; Chapter 9: Trends and challenges; Chapter 10: Light-emitting diodes; Glossary; Appendix A: Analytical tools; Appendix B: Destructive tools and tests; Back Cover.

Additional Edition: Print version: Chen, Andrea. Semiconductor Packaging : Materials Interaction and Reliability. Hoboken : CRC Press, ©2011 ISBN 9781439862056

Language: English

Keywords: Electronic resource. ; Electronic resource.

URL: https://www.taylorfrancis.com/books/9780429063350

URL: CRCnetBASE

URL: MyiLibrary

UID:

Format: IX, 211 S.

ISBN: 978-1-84844-894-0 , 1-84844-894-5

Language: English

Subjects: Political Science , Sociology

Keywords: Nichtstaatliche Organisation ; Globalisierung

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025316718&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Inhaltsverzeichnis

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025316718&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA