This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV ...
详细信息
ISBN:
(数字)9783540456056
ISBN:
(纸本)9783540439134
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies. The ?rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic methods in Veri?cation.
作者：
HERR, DONALD HONORARYMEMBERTHE AUTHOR:Mr.Herr
Honorary Member of the A.S.N.E. has the B.S. in E.E. M.S. in E.E. and E.E. degrees. He was National Coffin Foundation Fellow of the General Electric Company National Tau Beta Pi Fellow and National Sigma Tau Fellow at the Moore School of Electrical Engineering University of Pennsylvania and at M.I.T. prior to World War II. He was also awarded a National Gordon McKay Fellowship by Harvard University and received the A. Atwater Kent Award in Electrical Engineering from the University of Pennsylvania. A licensed radio amateur at 12 Mr. Herr first worked summers at RCA and Bell Laboratories and was with the General Electric Company in 1939 and 1940 as development engineer before volunteering for over five years of active Naval duty. He served as Officer-in-Charge Electrical Minesweeping Group Bureau of Ships December 1940 to April 1943 as Acting Design Superintendent and Officer-in-Charge
Los Angeles-Long Beach Harbor Surge Investigation U. S. Naval Shipyard Terminal Island to November 1944 and as Research-Patents Liaison Officer
Office of Naval Research to January 1946 returning to inactive duty as lieutenant commander U.S.N.R. Mr. Herr received two Navy letters of commendation. Since 1946 he was assistant to vice president in charge of the engineering division of Control Instrument Company Brooklyn New York and is project engineer at the Reeves Instrument Corporation responsible for new servo and computer component developments. Mr. Herr has been associated with Dean Harold Pender and Professor Ernst Guillemin in advanced network theory and has specialized for 12 years in development and design of servomechanisms differential analyzers computers and fire control systems utilizing advanced network analysis and synthesis methods. He has contributed frequently to the JournalOF THE AmericanSocietyOF NavalEngineersand was the Society's 1945 Prize Essayist on the subject: “Engineering in the Navy as seen by an Active Reserve Officer.” He is senior member of the I.R.E
Recently, emotion analysis and classification of tweets have become a crucial area of research. The Arabic language had experienced difficulties with emotion classification on Twitter(X), needing preprocessing more th...
详细信息
Recently, emotion analysis and classification of tweets have become a crucial area of research. The Arabic language had experienced difficulties with emotion classification on Twitter(X), needing preprocessing more than other languages. Emotion detection is a major challenge in Natural Language Processing (NLP), which allows machines to ascertain the emotions expressed in the text. The task includes recognizing and identifying human feelings such as fear, anger, sadness, and joy. The discovered sentiments and feelings expressed in tweets have gained much recognition in recent years. The Arab region has played a substantial role in international politics and the global economy needs to scrutinize the emotions and sentiments in the Arabic language. Lexicon-based and machine-learning techniques are two common models that address the problems of emotion classification. This study introduces a Chimp Optimization Algorithm with a Deep Learning-Driven Arabic Fine-grained Emotion Recognition (COADL-AFER) technique. The presented COADL-AFER technique mainly aims to detect several emotions in Arabic tweets. In addition to its academic significance, the COADL-AFER technique has practical applications in various fields, including enhancing applications of E-learning, aiding psychologists in recognising terrorist performance, improving product quality, and enhancing customer service. The COADL-AFER technique applies the long short-term memory (LSTM) model for emotion detection. Finally, the hyperparameter selection of the LSTM method can be accomplished by COA. The experimental validation of the COADL-AFER system, a crucial step in our research, is verified utilizing the Arabic tweets dataset. The simulation results stated the betterment of the COADL-AFER technique, further reinforcing the reliability of our research.
Computational Intelligence (CI) has been a tremendously active area of - search for the past decade or so. There are many successful applications of CI in many sub elds of biology, including bioinformatics, computatio...
详细信息
ISBN:
(数字)9783540785347
ISBN:
(纸本)9783540785330;9783642097300
Computational Intelligence (CI) has been a tremendously active area of - search for the past decade or so. There are many successful applications of CI in many sub elds of biology, including bioinformatics, computational - nomics, protein structure prediction, or neuronal systems modeling and an- ysis. However, there still are many open problems in biology that are in d- perate need of advanced and e cient computational methodologies to deal with tremendous amounts of data that those problems are plagued by. - fortunately, biology researchers are very often unaware of the abundance of computational techniques that they could put to use to help them analyze and understand the data underlying their research inquiries. On the other hand, computational intelligence practitioners are often unfamiliar with the part- ular problems that their new, state-of-the-art algorithms could be successfully applied for. The separation between the two worlds is partially caused by the use of di erent languages in these two spheres of science, but also by the relatively small number of publications devoted solely to the purpose of fac- itating the exchange of new computational algorithms and methodologies on one hand, and the needs of the biology realm on the other. The purpose of this book is to provide a medium for such an exchange of expertise and concerns. In order to achieve the goal, we have solicited cont- butions from both computational intelligence as well as biology researchers.
This book discusses computer-supported medical diagnosis with a particular focus on ovarian tumor diagnosis – since ovarian cancer is difficult to diagnose and has high mortality rates, especially in Central and East...
详细信息
ISBN:
(数字)9783319670058
ISBN:
(纸本)9783319670041;9783319883632
This book discusses computer-supported medical diagnosis with a particular focus on ovarian tumor diagnosis – since ovarian cancer is difficult to diagnose and has high mortality rates, especially in Central and Eastern Europe. It presents the theoretical foundations (both medical and mathematical) of the intelligent OvaExpert system, which supports decision-making in tumor diagnosis. OvaExpert was created primarily to help gynecologists predict the malignancy of ovarian tumors by applying the existing diagnostic models and using modern methods of computational intelligence that accommodate imprecise and imperfect medical data, both of which are common features of everyday medical practice. The book presents novel methods based on interval-valued fuzzy sets and the theory of their cardinalities.
This book constitutes the proceedings of the 17th International Workshop on Formal methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012.;The 14 papers presented were carefully rev...
详细信息
ISBN:
(数字)9783642324697
ISBN:
(纸本)9783642324680
This book constitutes the proceedings of the 17th International Workshop on Formal methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012.;The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
The errors in structural computations are assessed and bounds are established on their magnitude. The matrix decomposition approach is shown to be most useful in error analysis. Both positive definite and positive sem...
The errors in structural computations are assessed and bounds are established on their magnitude. The matrix decomposition approach is shown to be most useful in error analysis. Both positive definite and positive semi-definite matrices are treated. The discrete finite-digit representation of numbers in a digital computer and the nature of digital computer calculations are considered in the development.
This book presents a selection of revised and extended versions of the best papers from the First International Conference on Social Networking and Computational Intelligence (SCI-2018), held in Bhopal, India, from Oc...
详细信息
ISBN:
(数字)9789811520716
ISBN:
(纸本)9789811520709
This book presents a selection of revised and extended versions of the best papers from the First International Conference on Social Networking and Computational Intelligence (SCI-2018), held in Bhopal, India, from October 5 to 6, 2018. It discusses recent advances in scientific developments and applications in these areas.
暂无评论