Výsledky vyhledávání - concurrent processing

Verifying concurrent processes using temporal logic / Autor Hailpern, Brent T.

Analysing reliability problems in concurrent fast product development processes / Autor Yuan, Lu

COMPOSITIONALITY, CONCURRENCY AND PARTIAL CORRECTNESS. PROOF THEORIES FOR NETWORKS OF PROCESSES, AND THEIR CONNECTIONS / Autor Zwiers, Jakob

Concurrency Control in Distributed System Using Mutual Exclusion Autor Kanrar, Sukhendu

Concurrent Conceptual Design and Materials Selection of Natural Fiber Composite Products Autor Mansor, Muhd Ridzuan

Dynamic Neuroscience Statistics, Modeling, and Control /

Obsah: “…Introduction -- Part I Statistics & Signal Processing -- Characterizing Complex, Multi-scale Neural Phenomena Using State-Space Models -- Latent Variable Modeling of Neural Population Dynamics -- What Can Trial-to-Trial Variability Tell Us? …”

Dynamic Modeling of Complex Industrial Processes: Data-driven Methods and Application Research Autor Shang, Chao

Obsah: “…Introduction -- Concurrent monitoring of steady state and process dynamics with SFA -- Online monitoring and diagnosis of control performance with SFA and contribution plots -- Recursive SFA algorithm and adaptive monitoring system design -- Probabilistic SFR model and its applications in dynamic quality prediction -- Improved DPLS model with temporal smoothness and its applications in dynamic quality prediction -- Nonlinear and dynamic soft sensing model based on Bayesian framework -- Summary and open problems.…”

Leadership in Islam Thoughts, Processes and Solutions in Australian Organizations / Autor Faris, Nezar

Integration of CAD/CAPP/CAM /

Obsah: “…3. Computer-aided process planning --…”

Exploring Java 9 Build Modularized Applications in Java / Autor Cheng, Fu

Obsah: “…Chapter 1: Introduction -- Chapter 2: Module System -- Chapter 3: jshell -- Chapter 4: Collections, Streams, and Optional -- Chapter 5: Process API -- Chapter 6: Platform logging API and service -- Chapter 7: Reactive streams -- Chapter 8: Variable handles -- Chapter 9: Enhanced method handles -- Chapter 10: Concurrency -- Chapter 11: Nashorn -- Chapter 12: I/O -- Chapter 13: Security -- Chapter 14: User interface -- Chapter 15: JVM -- Chapter 16: Miscellaneous.…”

Intelligent Systems Design and Applications 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) held in Delhi, India, December 14-16, 2017 /

Obsah: “…Enhancing Job Opportunities in Rural India Through Constrained Cognitive Learning Process: Reforming Basic Education -- UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components -- A New Approach for the Diagnosis of Parkinson's Disease Using a Similarity Feature Extractor -- A Novel Restart Strategy for Solving Complex Multi-Modal Optimization Problems using Real-Coded Genetic Algorithm -- Evaluating SPL Quality with Metrics -- Using Sentence Similarity Measure for Plagiarism Detection of Arabic Documents -- Computer Aided Recognition and Classification of Coats of Arms -- Mining Gene Expression Data: Patterns Extraction for Gene Regulatory Networks.…”

Java EE 8 Recipes A Problem-Solution Approach / Autor Juneau, Josh

Learning in Work A Negotiation Model of Socio-personal Learning / Autor Smith, Raymond

The Palgrave Handbook of Relational Sociology

Obsah: “…Relational Thinking in Sociology: Relevance, Concurrence and Dissonance.- 2. The Relation as Magical Operator: Overcoming the Divide between Relational and Processual Sociology.- 3. …”

Responsible Product Innovation Putting Safety First / Autor Zhu, Andy Yunlong

Modern Data Access with Entity Framework Core Database Programming Techniques for .NET, .NET Core, UWP, and Xamarin with C# / Autor Schwichtenberg, Holger

Quality, IT and Business Operations Modeling and Optimization /

Obsah: “…A Conceptual Architectural Design For Intelligent Health Information System: Case Study On India -- A General Framework For Modeling Of Multiple Version Software With Change Point -- An Improved Scoring System For Software Vulnerability Prioritization -- Analysis Of Feature Ranking Techniques For Defect Prediction Software Systems -- Analysis Of Impediments To Sustainability In Food Supply Chain: An Interpretive Structural Modeling Approach -- Analysis Of Module Based Software Reliability Growth Model Incorporating Imperfect Debugging And Fault Reduction Factor -- Analytics For Maintenance Of Transportation In Smart Cities -- Business Strategy Prediction System For Market Basket Analysis -- Defending the OSN-Based Web Applications from XSS Attacks using Dynamic JavaScript Code and Content Isolation -- Defending The Osn-Based Web Applications From Xss Attacks Using Dynamic Javascript Code And Content Isolation -- Development Of Qfd Methodology -- Discrete-Time Framework For Determining Optimal Software Release And Patching Time -- Efa-Ftopsis Based Assessment Of Service Quality: Case Of Shopping Websites -- Finding Efficiency In Data Envelopment Analysis Using Variable Reduction Technique -- Fire Safety Experimental Investigations Of Time To Flashover As A Function Of Humidity In Wood -- Fixing Of Faults And Vulnerabilities Via Single Patch -- Lc-Elm Based Gray Scale Image Watermarking In Wavelet Domain -- Implementing And Evaluating R-Tree Techniques On Concurrency Control And Recovery With Modifications On Non-Spatial Domains -- Inventory Decisions For Imperfect Quality Deteriorating Items With Exponential Declining Demand Under Trade Credit And Partially Backlogged Shortages -- Maintenance In The Era Of Industry 4.0: -- Issues And Challenges -- Modeling Fault Detection Phenomenon In Multiple Sprints For Agile Software Environment -- Optimal Price And Warranty Length For Profit Determination: An Evaluation Based On Preventive Maintenance -- Six Sigma Implementation In Cutting Process Of Apparel Industry -- Forecasting Of Major World Stock Exchanges Using Rule Based Forward And Backward Chaining Expert Systems -- Performance Enhancement Of Aodv Routing Protocol Using Anfis Technique -- Preservation Of Qos And Energy Consumption Based Performance Metrics Routing Protocols In Wireless Sensor Networks -- Reliability Analysis For Up-Graded Software With Up-Dates -- Quantitative Software Process Improvement Program Using Lean Methodology -- Selection Of Optimal Software Reliability Growth Models: A Fuzzy Dea Ranking Approach -- Significance Of Parallel Computation Over Serial Computation Using Openmp, Mpi And Cuda -- Software Release And Patching Time With Warranty Using Change Point -- Two-Dimensional Framework To Optimize Release Time & Warranty -- Technological Capabilities Impacting Business Intelligence Success In Organizations -- Testing Time And Effort Based Successive Release Modeling Of A Software In The Presence Of Imperfect Debugging -- The Role Of Educational Erp In The Isomorphic Development Of The Newly Started Higher Education Institutions -- When to Start Remanufacturing Using Adopter Categorization.…”

Computer and Network Security Essentials

Obsah: “…A Survey and Taxonomy on Data and Pre-processing Techniques of Intrusion Detection Systems -- Chapter 8. …”

Fast-track innovation and commercialization : tools and techniques / Autor Datta, Biplab Kumar

Obsah: “…Intro -- Preface -- Introduction -- References -- Contents -- List of Figures -- List of Tables -- 1 Innovation and Innovation Ecosystem -- 1.1 Innovation -- 1.1.1 Defining Innovation -- 1.1.2 Defining Invention -- 1.1.3 Sustainable Innovation -- 1.1.4 Driving Force Behind Innovation -- 1.1.5 Classification of Innovation Activities -- 1.1.6 Accidental Innovation -- 1.2 Innovation Ecosystem in Corporate World -- 1.2.1 Creating Strategic Innovation Agenda -- 1.3 Innovation Ecosystem for Start-Ups -- 1.3.1 Funding and Valuation of a Start-Up -- References -- 2 Strategic Technology Development Process -- 2.1 Red Ocean Versus Blue Ocean Strategy -- 2.2 Value Creation -- 2.3 Product Life Cycle and Importance of Innovation Management -- 2.4 Pricing Strategy -- 2.5 Communication of Value Proposition -- 2.6 Technology Strategy and Roadmap -- 2.6.1 Creating Technology Roadmap -- 2.6.2 Defining the Problem/Challenge -- 2.6.3 Disclosure of Invention -- 2.6.4 Intellectual Property (IP) -- 2.6.5 Patenting Process -- 2.6.6 Patenting or Keeping Innovation Secret -- 2.6.7 Non-disclosure Agreement -- 2.6.8 Market/IPR Assessment -- 2.6.9 Time to Market -- 2.7 Business Model and Business Model Canvas (BMC) -- References -- 3 Managing Technology Development -- 3.1 Technology Readiness Level (TRL) -- 3.2 Customer Acceptance Level (CAL) -- 3.3 Managing Creative People -- 3.4 Why a Process is Needed -- 3.5 Concurrent Engineering and Its Benefits -- 3.6 Industrializing Innovation Process-Chinese Way [8] -- References -- 4 Systems Engineering Approach -- 4.1 Systems Engineering Management -- 4.2 The Development Process and System Requirements -- 4.2.1 Concept Development -- 4.2.2 Function Means Analysis -- 4.2.3 Process of Creating Systems Requirement Document -- 4.2.4 Requirements Analysis -- 4.2.5 Types of Requirements -- 4.2.6 System Requirements Document.…”

Understanding Construction Contracts Canadian and International Conventions / Autor Surahyo, Akhtar