Výsledky vyhledávání - Parallel Functional Programming

Stylish F# Crafting Elegant Functional Code for .NET and .NET Core / Autor Eason, Kit

Obsah: “…Chapter 1: The Sense of Style -- Chapter 2: Designing Functions Using Types -- Chapter 3: Missing Data -- Chapter 4: Working Effectively with Collections Functions -- Chapter 5: Immutability and Mutation -- Chapter 6: Pattern Matching -- Chapter 7: Record Types -- Chapter 8: Classes -- Chapter 9: Programming With Functions -- Chapter 10: Asynchronous and Parallel Programming -- Chapter 11: Railway Oriented Programming -- Chapter 12: Performance -- Chapter 13: Layout and Naming -- Chapter 14: Summary.…”

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures Autor Weichslgartner, Andreas

Pro iPhone Development with Swift 4 Design and Manage Top Quality Apps / Autor Maskrey, Molly

Mathematical Geosciences Hybrid Symbolic-Numeric Methods / Autor Awange, Joseph L.

Obsah: “…Solution of algebraic polynomial systems -- Homotopy solution of nonlinear systems -- Over and underdeterminated systems -- Simulated annealing -- Genetic algorithm -- Particle swarm optimization -- Integer programming -- Multiobjective optimization -- Approximation with radial bases functions -- Support vector machines (SVM) -- Symbolic regression -- Quantile regression -- Robust regression -- Stochastic modeling -- Parallel computations.…”

Engineering Asset Management 2016 Proceedings of the 11th World Congress on Engineering Asset Management /

Obsah: “…A Model for Increasing Effectiveness and Profitability of Maintenance Performance: A Case Study -- Maintenance Process Improvement Model by Integrating LSS and TPM for Service Organisations -- Group Replacement Policies for Repairable N-Component Parallel Systems -- Low Speed Bearing Condition Monitoring - A Case Study -- Program Control-Flow Integrity Checking Based Soft Error Detection Method for DSP -- Research on the Fault Diagnosis of Planetary Gearbox -- Bridge Condition Assessment under Moving Loads using Multi-sensor Measurements and Vibration Phase Technology -- EcoCon: A System for Monitoring Economic and Technical Performance of Maintenance -- An Adaptive Power-Law Degradation Model for Modelling Wear Processes -- A Comparison Study on Intelligent Fault Diagnostics for Condition Based Maintenance of High-Pressure LNG Pump -- Rotating machine prognostics using system-level models -- Study on the Poisson's Ratio of Solid Rocket Motor by the Visual Non-Contact Measurement Teleoperation -- Reliability Allocation of Multi-Function Integrated Transmission System Based on the Improved AGREE Method -- A Study of Sustained Attention Improving by Fuzzy Sets in Supervisory Tasks -- Waukesha 70 Gas Engine Failure Investigation -- Construction of Index System of Comprehensive Evaluation of Equipment Maintenance Material Suppliers -- Addressing missing data for diagnostic and prognostic purposes -- Imperfect Coverage Analysis for Cloud-RAID -- Research on Data Analysis of Materiel System Based on Agent Simulation -- Research on the Fault Diagnosis Method of Equipment Functionally Significant Instrument Based on BP Neural Network -- Asset Performance Measurement: A Focus on Mining Concentrators -- Mobile Technologies in Asset Maintenance.- Essential Elements in Providing Engineering Asset Management Related Training and Education Courses -- Optimizing the unrestricted wind turbine placements with different turbine hub heights -- Predicting Maintenance Requirements for School Assets in Queensland -- Research on Armored Equipment RMS Indexes Optimization Method Based on System Effectiveness and Life Cycle Cost -- Dealing with Uncertainty in Risk Based Optimization -- The Design and Realization of Virtual Maintenance and Training System of Certain Type of Tank -- Measures to Ensure the Quality of Space Mechanisms -- A Decision-making Model of Condition-based Maintenance about Functionally Significant Instrument -- Research on the Fault Diagnosis Method of Equipment Functionally Significant Instrument Based on BP Neural Network -- Gearbox Fault Diagnosis Based on Fast Empirical Mode Decomposition and Correlated Kurtosis -- Bulge Deformation in the Narrow Side of the Slab during Continuous Casting.…”

Circuits, Systems and Signal Processing A Tutorials Approach / Autor Dutta Roy, Suhash Chandra

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.…”

Advances in Dependability Engineering of Complex Systems Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017,...

Obsah: “…Zarandi -- 16.Comparative analysis of calculations in cryptographic protocols using a combination of different bases of finite fields -- 17.Dynamic Redundancy in Communication Network of Air Traffic Management System -- 18.Availability models and maintenance strategies for smart building automation systems considering attacks on component vulnerabilities -- 19.Concept of multi-criteria evaluation of the airport security control process -- 20.Extending Continuous Integration with post-mortem debug automation of unhandled exceptions occurred in kernel or user mode applications -- 21.The Methodology of Studying of Active Traffic Management Module Self-Oscillation Regime -- 22.Effectiveness examination of a multi-channel CSMA/CA detector -- 23.IaaS vs. traditional hosting for web applications - cost effectiveness analysis for a local market -- 24.High quality stabilization of an inverted pendulum using the controller based on trigonometric function -- 25.The application of RFID technology in supporting the process of reliable identification of objects in video surveillance systems -- 26.Aspect-oriented management of service requests for assurance of high performance and dependability -- 27.Process of mobile application development from the security perspective -- 28.Managing and Enhancing Performance Benchmarks;Jakub Maleszewski and Janusz Sosnowski -- 29.Reliability Optimization for Controller Placement in Software-Defined Networks -- 30.Agent Approach to Network Systems Experimental Analysis in Case of Critical Situations -- 31.RELIABILITY ASSESSMENT OF DRIVING SYSTEMS OF CITY BUSES;Marek M3yñczak -- 32.Testing the significance of parameters of models estimating execution time of parallel program loops according to the Open MPI standard -- 33.On application of regime-switching models for short-term traffic flow forecasting -- 34.Critical information infrastructure protection model and methodology -- 35.The method of creating players in the marketing strategy;Henryk Piech -- 36.Principles of mobile walking robot control in scope of technical monitoring tasks -- 37.Computer Systems - Simple -- 38.Improving FPGA Implementations of BLAKE and BLAKE2 Algorithms with Memory Resources -- 39.Assurance Case Patterns On-line Catalogue;Monika Szczygielska and Aleksander Jarzêbowicz -- 40.Information system as a cause of cargo handling process disruption in intermodal terminal -- 42.Stability Enhancement Against Fluctuations in Complex Networks by Optimal Bandwidth Allocation -- 43.The scope of the collected data for a holistic risk assessment performance in the road freight transport companies -- 44.Language Processing Modelling Notation - orchestration of NLP microservices -- 45.Type Variety Principle and the Algorithm of Strategic Planning of Diversified Portfolio of Electricity Generation Sources.…”