Stochastic Modeling of Thermal Fatigue Crack Growth

Stochastic Modeling of Thermal Fatigue Crack Growth PDF Author: Vasile Radu
Publisher: Springer
ISBN: 3319128779
Category : Science
Languages : en
Pages : 89

Get Book

Book Description
The book describes a systematic stochastic modeling approach for assessing thermal-fatigue crack-growth in mixing tees, based on the power spectral density of temperature fluctuation at the inner pipe surface. It shows the development of a frequency-temperature response function in the framework of single-input, single-output (SISO) methodology from random noise/signal theory under sinusoidal input. The frequency response of stress intensity factor (SIF) is obtained by a polynomial fitting procedure of thermal stress profiles at various instants of time. The method, which takes into account the variability of material properties, and has been implemented in a real-world application, estimates the probabilities of failure by considering a limit state function and Monte Carlo analysis, which are based on the proposed stochastic model. Written in a comprehensive and accessible style, this book presents a new and effective method for assessing thermal fatigue crack, and it is intended as a concise and practice-oriented guide for all undergraduate students, young scientists and researchers dealing with probabilistic assessment of structural integrity.

Runtime Verification

Runtime Verification PDF Author: Yliès Falcone
Publisher: Springer
ISBN: 3319469827
Category : Computers
Languages : en
Pages : 512

Get Book

Book Description
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Emerging Therapies in Neurorehabilitation II

Emerging Therapies in Neurorehabilitation II PDF Author: José L. Pons
Publisher: Springer
ISBN: 3319249010
Category : Technology & Engineering
Languages : en
Pages : 318

Get Book

Book Description
This book reports on the latest technological and clinical advances in the field of neurorehabilitation. It is, however, much more than a conventional survey of the state-of-the-art in neurorehabilitation technologies and therapies. It was written on the basis of a week of lively discussions between PhD students and leading research experts during the Summer School on Neurorehabilitation (SSNR2014), held September 15-19 in Baiona, Spain. Its unconventional format makes it a perfect guide for all PhD students, researchers and professionals interested in gaining a multidisciplinary perspective on current and future neurorehabilitation scenarios. The book addresses various aspects of neurorehabilitation research and practice, including a selection of common impairments affecting CNS function, such as stroke and spinal cord injury, as well as cutting-edge rehabilitation and diagnostics technologies, including robotics, neuroprosthetics, brain-machine interfaces and neuromodulation.

Enterprise Information Systems

Enterprise Information Systems PDF Author: Slimane Hammoudi
Publisher: Springer
ISBN: 3319291335
Category : Computers
Languages : en
Pages : 656

Get Book

Book Description
This book contains revised papers from the 17th International Conference on Enterprise Information Systems, ICEIS 2015, held in Barcelona, Spain, in April 2015. The 31 papers presented in this volume were carefully reviewed and selected from a total of 327 submissions. The book also contains one full-paper invited talk. The selected papers reflect state-of-the-art research that is oriented toward real-world applications and highlight the benefits of information systems and technology for industry and services. They are organized in topical sections on databases and information systems integration, artificial intelligence and decision support systems, information systems analysis and specification, software agents and Internet computing, human–computer interaction, and enterprise architecture.

Advances in Artificial Life and Evolutionary Computation

Advances in Artificial Life and Evolutionary Computation PDF Author: Clara Pizzuti
Publisher: Springer
ISBN: 3319127454
Category : Computers
Languages : en
Pages : 213

Get Book

Book Description
This book constitutes the revised selected papers of the 9th Italian Workshop on Advances in Artificial Life and Evolutionary Computation held in Vietri sul Mare, Italy, in May 2014, in conjunction with the 24th Italian Workshop on Neural Networks, WIRN 2014. The 16 papers presented have been thoroughly reviewed and selected from 40 submissions. They cover the following topics: artificial neural networks; fuzzy inference systems; rough set; approximate reasoning; and optimization methods such as evolutionary computation, swarm intelligence, particle swarm optimization.

Artificial Intelligence and Soft Computing

Artificial Intelligence and Soft Computing PDF Author: Leszek Rutkowski
Publisher: Springer
ISBN: 3319393782
Category : Computers
Languages : en
Pages : 786

Get Book

Book Description
The two-volume set LNAI 9692 and LNAI 9693 constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2016, held in Zakopane, Poland in June 2016. The 134 revised full papers presented were carefully reviewed and selected from 343 submissions. The papers included in the first volume are organized in the following topical sections: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; agent systems, robotics and control; and pattern classification. The second volume is divided in the following parts: bioinformatics, biometrics and medical applications; data mining; artificial intelligence in modeling and simulation; visual information coding meets machine learning; and various problems of artificial intelligence.

Artificial Intelligence Applications and Innovations

Artificial Intelligence Applications and Innovations PDF Author: Lazaros Iliadis
Publisher: Springer
ISBN: 3319449443
Category : Computers
Languages : en
Pages : 711

Get Book

Book Description
This book constitutes the refereed proceedings of the 12th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2016, and three parallel workshops, held in Thessaloniki, Greece, in September 2016. The workshops are the Third Workshop on New Methods and Tools for Big Data, MT4BD 2016, the 5th Mining Humanistic Data Workshop, MHDW 2016, and the First Workshop on 5G - Putting Intelligence to the Network Edge, 5G-PINE 2016.The 30 revised full papers and 8 short papers presented at the main conference were carefully reviewed and selected from 65 submissions. The 17 revised full papers and 7 short papers presented at the 3 parallel workshops were selected from 33 submissions. The papers cover a broad range of topics such as artificial neural networks, classification, clustering, control systems - robotics, data mining, engineering application of AI, environmental applications of AI, feature reduction, filtering, financial-economics modeling, fuzzy logic, genetic algorithms, hybrid systems, image and video processing, medical AI applications, multi-agent systems, ontology, optimization, pattern recognition, support vector machines, text mining, and Web-social media data AI modeling.

Databases Theory and Applications

Databases Theory and Applications PDF Author: Mohamed A. Sharaf
Publisher: Springer
ISBN: 3319195484
Category : Computers
Languages : en
Pages : 334

Get Book

Book Description
This book constitutes the refereed proceedings of the 26th Australasian Database Conference, ADC 2015, held in Melbourne, VIC, Australia, in June 2015. The 24 full papers presented together with 5 demo papers were carefully reviewed and selected from 43 submissions. The Australasian Database Conference is an annual international forum for sharing the latest research advancements and novel applications of database systems, data driven applications and data analytics between researchers and practitioners from around the globe, particularly Australia and New Zealand. The mission of ADC is to share novel research solutions to problems of today’s information society that fulfill the needs of heterogeneous applications and environments and to identify new issues and directions for future research. ADC seeks papers from academia and industry presenting research on all practical and theoretical aspects of advanced database theory and applications, as well as case studies and implementation experiences.

Software Technologies

Software Technologies PDF Author: Andreas Holzinger
Publisher: Springer
ISBN: 3319255797
Category : Computers
Languages : en
Pages : 385

Get Book

Book Description
This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014. The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security; distributed systems; and software project management.

Advances in Visual Computing

Advances in Visual Computing PDF Author: George Bebis
Publisher: Springer
ISBN: 3319278630
Category : Computers
Languages : en
Pages : 856

Get Book

Book Description
The two volume set LNCS 9474 and LNCS 9475 constitutes the refereed proceedings of the 11th International Symposium on Visual Computing, ISVC 2015, held in Las Vegas, NV, USA in December 2015. The 115 revised full papers and 35 poster papers presented in this book were carefully reviewed and selected from 260 submissions. The papers are organized in topical sections: Part I (LNCS 9474) comprises computational bioimaging; computer graphics; motion and tracking; segmentation; recognition; visualization; mapping; modeling and surface reconstruction; advancing autonomy for aerial robotics; medical imaging; virtual reality; observing humans; spectral imaging and processing; intelligent transportation systems; visual perception and robotic systems. Part II (LNCS 9475): applications; 3D computer vision; computer graphics; segmentation; biometrics; pattern recognition; recognition; and virtual reality.

Stochastic Modeling of Thermal Fatigue Crack Growth

Stochastic Modeling of Thermal Fatigue Crack Growth PDF Author: Vasile Radu
Publisher: Springer
ISBN: 3319128779
Category : Science
Languages : en
Pages : 89

View

Book Description
The book describes a systematic stochastic modeling approach for assessing thermal-fatigue crack-growth in mixing tees, based on the power spectral density of temperature fluctuation at the inner pipe surface. It shows the development of a frequency-temperature response function in the framework of single-input, single-output (SISO) methodology from random noise/signal theory under sinusoidal input. The frequency response of stress intensity factor (SIF) is obtained by a polynomial fitting procedure of thermal stress profiles at various instants of time. The method, which takes into account the variability of material properties, and has been implemented in a real-world application, estimates the probabilities of failure by considering a limit state function and Monte Carlo analysis, which are based on the proposed stochastic model. Written in a comprehensive and accessible style, this book presents a new and effective method for assessing thermal fatigue crack, and it is intended as a concise and practice-oriented guide for all undergraduate students, young scientists and researchers dealing with probabilistic assessment of structural integrity.

Runtime Verification

Runtime Verification PDF Author: Yliès Falcone
Publisher: Springer
ISBN: 3319469827
Category : Computers
Languages : en
Pages : 512

View

Book Description
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Emerging Therapies in Neurorehabilitation II

Emerging Therapies in Neurorehabilitation II PDF Author: José L. Pons
Publisher: Springer
ISBN: 3319249010
Category : Technology & Engineering
Languages : en
Pages : 318

View

Book Description
This book reports on the latest technological and clinical advances in the field of neurorehabilitation. It is, however, much more than a conventional survey of the state-of-the-art in neurorehabilitation technologies and therapies. It was written on the basis of a week of lively discussions between PhD students and leading research experts during the Summer School on Neurorehabilitation (SSNR2014), held September 15-19 in Baiona, Spain. Its unconventional format makes it a perfect guide for all PhD students, researchers and professionals interested in gaining a multidisciplinary perspective on current and future neurorehabilitation scenarios. The book addresses various aspects of neurorehabilitation research and practice, including a selection of common impairments affecting CNS function, such as stroke and spinal cord injury, as well as cutting-edge rehabilitation and diagnostics technologies, including robotics, neuroprosthetics, brain-machine interfaces and neuromodulation.

Enterprise Information Systems

Enterprise Information Systems PDF Author: Slimane Hammoudi
Publisher: Springer
ISBN: 3319291335
Category : Computers
Languages : en
Pages : 656

View

Book Description
This book contains revised papers from the 17th International Conference on Enterprise Information Systems, ICEIS 2015, held in Barcelona, Spain, in April 2015. The 31 papers presented in this volume were carefully reviewed and selected from a total of 327 submissions. The book also contains one full-paper invited talk. The selected papers reflect state-of-the-art research that is oriented toward real-world applications and highlight the benefits of information systems and technology for industry and services. They are organized in topical sections on databases and information systems integration, artificial intelligence and decision support systems, information systems analysis and specification, software agents and Internet computing, human–computer interaction, and enterprise architecture.

Advances in Artificial Life and Evolutionary Computation

Advances in Artificial Life and Evolutionary Computation PDF Author: Clara Pizzuti
Publisher: Springer
ISBN: 3319127454
Category : Computers
Languages : en
Pages : 213

View

Book Description
This book constitutes the revised selected papers of the 9th Italian Workshop on Advances in Artificial Life and Evolutionary Computation held in Vietri sul Mare, Italy, in May 2014, in conjunction with the 24th Italian Workshop on Neural Networks, WIRN 2014. The 16 papers presented have been thoroughly reviewed and selected from 40 submissions. They cover the following topics: artificial neural networks; fuzzy inference systems; rough set; approximate reasoning; and optimization methods such as evolutionary computation, swarm intelligence, particle swarm optimization.

Artificial Intelligence and Soft Computing

Artificial Intelligence and Soft Computing PDF Author: Leszek Rutkowski
Publisher: Springer
ISBN: 3319393782
Category : Computers
Languages : en
Pages : 786

View

Book Description
The two-volume set LNAI 9692 and LNAI 9693 constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2016, held in Zakopane, Poland in June 2016. The 134 revised full papers presented were carefully reviewed and selected from 343 submissions. The papers included in the first volume are organized in the following topical sections: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; agent systems, robotics and control; and pattern classification. The second volume is divided in the following parts: bioinformatics, biometrics and medical applications; data mining; artificial intelligence in modeling and simulation; visual information coding meets machine learning; and various problems of artificial intelligence.

Artificial Intelligence Applications and Innovations

Artificial Intelligence Applications and Innovations PDF Author: Lazaros Iliadis
Publisher: Springer
ISBN: 3319449443
Category : Computers
Languages : en
Pages : 711

View

Book Description
This book constitutes the refereed proceedings of the 12th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2016, and three parallel workshops, held in Thessaloniki, Greece, in September 2016. The workshops are the Third Workshop on New Methods and Tools for Big Data, MT4BD 2016, the 5th Mining Humanistic Data Workshop, MHDW 2016, and the First Workshop on 5G - Putting Intelligence to the Network Edge, 5G-PINE 2016.The 30 revised full papers and 8 short papers presented at the main conference were carefully reviewed and selected from 65 submissions. The 17 revised full papers and 7 short papers presented at the 3 parallel workshops were selected from 33 submissions. The papers cover a broad range of topics such as artificial neural networks, classification, clustering, control systems - robotics, data mining, engineering application of AI, environmental applications of AI, feature reduction, filtering, financial-economics modeling, fuzzy logic, genetic algorithms, hybrid systems, image and video processing, medical AI applications, multi-agent systems, ontology, optimization, pattern recognition, support vector machines, text mining, and Web-social media data AI modeling.

Databases Theory and Applications

Databases Theory and Applications PDF Author: Mohamed A. Sharaf
Publisher: Springer
ISBN: 3319195484
Category : Computers
Languages : en
Pages : 334

View

Book Description
This book constitutes the refereed proceedings of the 26th Australasian Database Conference, ADC 2015, held in Melbourne, VIC, Australia, in June 2015. The 24 full papers presented together with 5 demo papers were carefully reviewed and selected from 43 submissions. The Australasian Database Conference is an annual international forum for sharing the latest research advancements and novel applications of database systems, data driven applications and data analytics between researchers and practitioners from around the globe, particularly Australia and New Zealand. The mission of ADC is to share novel research solutions to problems of today’s information society that fulfill the needs of heterogeneous applications and environments and to identify new issues and directions for future research. ADC seeks papers from academia and industry presenting research on all practical and theoretical aspects of advanced database theory and applications, as well as case studies and implementation experiences.

Software Technologies

Software Technologies PDF Author: Andreas Holzinger
Publisher: Springer
ISBN: 3319255797
Category : Computers
Languages : en
Pages : 385

View

Book Description
This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014. The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security; distributed systems; and software project management.

Advances in Visual Computing

Advances in Visual Computing PDF Author: George Bebis
Publisher: Springer
ISBN: 3319278630
Category : Computers
Languages : en
Pages : 856

View

Book Description
The two volume set LNCS 9474 and LNCS 9475 constitutes the refereed proceedings of the 11th International Symposium on Visual Computing, ISVC 2015, held in Las Vegas, NV, USA in December 2015. The 115 revised full papers and 35 poster papers presented in this book were carefully reviewed and selected from 260 submissions. The papers are organized in topical sections: Part I (LNCS 9474) comprises computational bioimaging; computer graphics; motion and tracking; segmentation; recognition; visualization; mapping; modeling and surface reconstruction; advancing autonomy for aerial robotics; medical imaging; virtual reality; observing humans; spectral imaging and processing; intelligent transportation systems; visual perception and robotic systems. Part II (LNCS 9475): applications; 3D computer vision; computer graphics; segmentation; biometrics; pattern recognition; recognition; and virtual reality.