%{search_type} search results

• A Survey of Diversity Oriented Optimization: Problems, Indicators, and Algorithms.- Global Multi-Objective Optimization by Means of Cell Mapping Techniques.- Percentile via Polynomial Chaos Expansion: Bridging Robust Optimization with Reliability.- Evolutionary Equilibrium Detection in Multicriteria Games.- A New Estimation of Distribution Algorithm for Nash Equilibria Detection.- Multi-Objective Optimisation by Self-Adaptive Evolutionary Algorithm.- Evidence Based Multidisciplinary Robust Optimization for Mars Micro Entry Probe Design.- A Simulation-Based Algorithm for the Probabilistic Traveling Salesman Problem.- Average Cuboid Volume as a Convergence Indicator and Selection Criterion for Multi-Objective Biochemical Optimization.
• (source: Nielsen Book Data)

This book comprises nine selected works on numerical and computational methods for solving multiobjective optimization, game theory, and machine learning problems. It provides extended versions of selected papers from various fields of science such as computer science, mathematics and engineering that were presented at EVOLVE 2013 held in July 2013 at Leiden University in the Netherlands. The internationally peer-reviewed papers include original work on important topics in both theory and applications, such as the role of diversity in optimization, statistical approaches to combinatorial optimization, computational game theory, and cell mapping techniques for numerical landscape exploration. Applications focus on aspects including robustness, handling multiple objectives, and complex search spaces in engineering design and computational biology.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• CLEF Steering Committee
• Contents
• Full Papers
• A Pinch of Humor for Short-Text Conversation: An Information Retrieval Approach
• 1 Introduction
• 2 Related Work
• 3 Data
• 3.1 Joke Collection
• 3.2 Yahoo!Answers
• 4 Retrieval Models
• 4.1 BM25
• 4.2 Query Term Reweighting Model (QTR)
• 4.3 doc2vec
• 5 Evaluation
• 5.1 Yahoo!Answers
• 5.2 Lab Evaluation
• 6 Conclusion and Future Work
• References
• A Component-Level Analysis of an Academic Search Test Collection.
• 1 Introduction
• 2 Component-Level Evaluation in Academic Search

• 3 Study Configurations
• 3.1 Test Collection and Test IR System
• 3.2 Component-Level Configurations
• 3.3 Analysis Steps
• 4 Analyzing Component Performance
• 4.1 Document and Topic Structure
• 4.2 IR System Components
• 5 Conclusion
• References
• A Component-Level Analysis of an Academic Search Test Collection.
• 1 Introduction
• 2 Query Performance Prediction
• 3 Study Configurations
• 3.1 Test Collection and Test IR System
• 3.2 Analysis Steps
• 4 Analyzing Query Performance
• 4.1 Recall Base
• 4.2 Topic Specificity
• 4.3 Semantic Heterogeneity of Topic Terms

• 5 Conclusion
• References
• Improving the Reliability of Query Expansion for User-Generated Speech Retrieval Using Query Performance Prediction
• 1 Introduction
• 2 Previous Work on QE for Spoken Content
• 3 UGS Test Collection
• 3.1 UGS Document Set
• 3.2 Query and Relevance Sets
• 4 Initial Investigation of QE for UGS Retrieval
• 4.1 Retrieval Model
• 4.2 Query Expansion
• 4.3 Passage-Based QE
• 4.4 Experimental Results
• 5 Query Performance Prediction for QE
• 5.1 Query Performance Prediction Methods
• 5.2 Evaluation
• 6 Adaptive Passage-Based QE for UGS Retrieval

• 7 Conclusions and Further Studies
• References
• Optimized Convolutional Neural Network Ensembles for Medical Subfigure Classification
• 1 Introduction
• 2 Revisiting Participation at ImageCLEF 2016
• 3 Dataset Analysis
• 3.1 Data Generation Process
• 3.2 Problems of the Dataset
• 3.3 Suggestions for Future Datasets
• 4 Methodology
• 5 Evaluation
• 5.1 Results Without Additional Images from ImageCLEF 2013
• 5.2 Self-training Using a PubMedCentral Database Snapshot
• 6 Conclusion
• References
• IRIT-QFR: IRIT Query Feature Resource
• 1 Introduction
• 2 Query Features

• 2.1 Document Collection Independent Pre-retrieval Features: WordNet-Based and Other Linguistic Features
• 2.2 Document Collection Dependent Pre-retrieval Features
• 2.3 Post-retrieval Features
• 2.4 Collections for Which the Features Have Been Estimated
• 3 Analysis of the Resource
• 3.1 Descriptive Analysis
• 4 Applications
• 5 Conclusion
• References
• Evaluating and Improving the Extraction of Mathematical Identifier Definitions
• 1 Introduction
• 2 Related Work
• 2.1 Statistical Feature Analysis (ST)
• 2.2 Pattern Matching (PM)
• 2.3 Machine Learning
• 3 Methodology

This book constitutes the refereed proceedings of the 8th International Conference of the CLEF Initiative, CLEF 2017, held in Dublin, Ireland, in September 2017. The 7 full papers and 9 short papers presented together with 6 best of the labs papers were carefully reviewed and selected from 38 submissions. In addition, this volume contains the results of 10 benchmarking labs reporting their year long activities in overview talks and lab sessions. The papers address all aspects of information access in any modality and language and cover a broad range of topics in the field of multilingual and multimodal information access evaluation.
(source: Nielsen Book Data)

• International Workshop on Fetal and Infant Image Analysis, FIFI 2017:
• Template-Free Estimation of Intracranial Volume: A Preterm Birth Animal Model Study / Juan Eugenio Iglesias, Sebastiano Ferraris, Marc Modat, Willy Gsell, Jan Deprest, Johannes L. van der Merwe et al.
• Assessing Reorganisation of Functional Connectivity in the Infant Brain / Roxane Licandro, Karl-Heinz Nenning, Ernst Schwartz, Kathrin Kollndorfer, Lisa Bartha-Doering, Hesheng Liu et al.
• Fetal Skull Segmentation in 3D Ultrasound via Structured Geodesic Random Forest / Juan J. Cerrolaza, Ozan Oktay, Alberto Gomez, Jacqueline Matthew, Caroline Knight, Bernhard Kainz et al.
• Fast Registration of 3D Fetal Ultrasound Images Using Learned Corresponding Salient Points / Alberto Gomez, Kanwal Bhatia, Sarjana Tharin, James Housden, Nicolas Toussaint, Julia A. Schnabel
• Automatic Segmentation of the Intracranial Volume in Fetal MR Images / N. Khalili, P. Moeskops, N. H. P. Claessens, S. Scherpenzeel, E. Turk, R. de Heus et al.
• Abdomen Segmentation in 3D Fetal Ultrasound Using CNN-powered Deformable Models / Alexander Schmidt-Richberg, Tom Brosch, Nicole Schadewaldt, Tobias Klinder, Angelo Cavallaro, Ibtisam Salim et al.
• Multi-organ Detection in 3D Fetal Ultrasound with Machine Learning / Caroline Raynaud, Cybèle Ciofolo-Veit, Thierry Lefèvre, Roberto Ardon, Angelo Cavallaro, Ibtisam Salim et al.
• Robust Regression of Brain Maturation from 3D Fetal Neurosonography Using CRNs / Ana I. L. Namburete, Weidi Xie, J. Alison Noble
• 4th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2017:
• Segmentation of Retinal Blood Vessels Using Dictionary Learning Techniques / Taibou Birgui Sekou, Moncef Hidane, Julien Olivier, Hubert Cardot
• Detecting Early Choroidal Changes Using Piecewise Rigid Image Registration and Eye-Shape Adherent Regularization / Tiziano Ronchetti, Peter Maloca, Christoph Jud, Christoph Meier, Selim Orgül, Hendrik P. N. Scholl et al.
• Patch-Based Deep Convolutional Neural Network for Corneal Ulcer Area Segmentation / Qichao Sun, Lijie Deng, Jianwei Liu, Haixiang Huang, Jin Yuan, Xiaoying Tang
• Model-Driven 3-D Regularisation for Robust Segmentation of the Refractive Corneal Surfaces in Spiral OCT Scans / Joerg Wagner, Simon Pezold, Philippe C. Cattin
• Automatic Retinal Layer Segmentation Based on Live Wire for Central Serous Retinopathy / Dehui Xiang, Geng Chen, Fei Shi, Weifang Zhu, Xinjian Chen
• Retinal Image Quality Classification Using Fine-Tuned CNN / Jing Sun, Cheng Wan, Jun Cheng, Fengli Yu, Jiang Liu
• Optic Disc Detection via Deep Learning in Fundus Images / Peiyuan Xu, Cheng Wan, Jun Cheng, Di Niu, Jiang Liu
• 3D Choroid Neovascularization Growth Prediction with Combined Hyperelastic Biomechanical Model and Reaction-Diffusion Model / Chang Zuo, Fei Shi, Weifang Zhu, Haoyu Chen, Xinjian Chen
• Retinal Biomarker Discovery for Dementia in an Elderly Diabetic Population / Ahmed E. Fetit, Siyamalan Manivannan, Sarah McGrory, Lucia Ballerini, Alexander Doney, Thomas J. MacGillivray et al.
• Non-rigid Registration of Retinal OCT Images Using Conditional Correlation Ratio / Xueying Du, Lun Gong, Fei Shi, Xinjian Chen, Xiaodong Yang, Jian Zheng
• Joint Optic Disc and Cup Segmentation Using Fully Convolutional and Adversarial Networks / Sharath M. Shankaranarayana, Keerthi Ram, Kaushik Mitra, Mohanasankar Sivaprakasam
• Automated Segmentation of the Choroid in EDI-OCT Images with Retinal Pathology Using Convolution Neural Networks / Min Chen, Jiancong Wang, Ipek Oguz, Brian L. VanderBeek, James C. Gee
• Spatiotemporal Analysis of Structural Changes of the Lamina Cribrosa / Charly Girot, Hiroshi Ishikawa, James Fishbaugh, Gadi Wollstein, Joel Schuman, Guido Gerig
• Fast Blur Detection and Parametric Deconvolution of Retinal Fundus Images / Bryan M. Williams, Baidaa Al-Bander, Harry Pratt, Samuel Lawman, Yitian Zhao, Yalin Zheng et al.
• Towards Topological Correct Segmentation of Macular OCT from Cascaded FCNs / Yufan He, Aaron Carass, Yeyi Yun, Can Zhao, Bruno M. Jedynak, Sharon D. Solomon et al.
• Boosted Exudate Segmentation in Retinal Images Using Residual Nets / Samaneh Abbasi-Sureshjani, Behdad Dashtbozorg, Bart M. ter Haar Romeny, François Fleuret
• Development of Clinically Based Corneal Nerves Tortuosity Indexes / Fabio Scarpa, Alfredo Ruggeri
• A Comparative Study Towards the Establishment of an Automatic Retinal Vessel Width Measurement Technique / Fan Huang, Behdad Dashtbozorg, Alexander Ka Shing Yeung, Jiong Zhang, Tos T. J. M. Berendschot, Bart M. ter Haar Romeny
• Automatic Detection of Folds and Wrinkles Due to Swelling of the Optic Disc / Jason Agne, Jui-Kai Wang, Randy H. Kardon, Mona K. Garvin
• Representation Learning for Retinal Vasculature Embeddings / Luca Giancardo, Kirk Roberts, Zhongming Zhao.

This book constitutes the refereed joint proceedings of the International Workshop on Fetal and Infant Image Analysis, FIFI 2017, and the 6th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 8 full papers presented at FIFI 2017 and the 20 full papers presented at OMIA 2017 were carefully reviewed and selected. The FIFI papers feature research on advanced image analysis approaches focused on the analysis of growth and development in the fetal, infant and paediatric period. The OMIA papers cover various topics in the field of ophthalmic image analysis.
(source: Nielsen Book Data)

• Foundations of Flexible Querying.- Recommendation and Ranking.- Technologies for Flexible Representations and Querying.- Knowledge Discovery and Information/Data Retrieval.- Intuitionistic Sets.- Generalized Net Model.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 12th International Conference on Flexible Query Answering Systems, FQAS 2017, held in London, UK, in June 2017. The 21 full papers presented in this book together with 4 short papers were carefully reviewed and selected from 43 submissions. The papers cover the following topics: foundations of flexible querying; recommendation and ranking; technologies for flexible representations and querying; knowledge discovery and information/data retrieval; intuitionistic sets; and generalized net model.
(source: Nielsen Book Data)

• Intro; Contents; Introduction; 1 Flow Tasks in Networks in Crisp Conditions; 1.1 Basic Concepts of the Flow Theory; 1.2 Selecting of the Arc Capacities; 1.2.1 Factors Leading to the Problem Statements in Fuzzy Conditions; 1.3 Fuzzy Logic as the Main Tool of Dealing with Uncertainty; 1.4 Flow Tasks in Transportation Networks; 1.4.1 Maximum Flow Finding in a Network; 1.4.2 Maximum Flow Finding in a Network with Nonzero Lower Flow Bounds; 1.4.3 Minimum Cost Flow Finding in a Network; 1.4.4 Minimum Cost Flow Finding in a Network with Nonzero Lower Flow Bounds; 1.5 Flow Tasks in Dynamic Networks

• 1.5.1 Maximum Flow Finding in Dynamic Networks with Zero and Nonzero Lower Flow Bounds1.5.2 Minimum Cost Flow Finding in Dynamic Network with Zero and Nonzero Lower Flow Bounds; 1.6 Summary; References; 2 Maximum and Minimum Cost Flow Finding in Networks in Fuzzy Conditions; 2.1 Maximum Flow Finding in a Network with Fuzzy Arc Capacities; 2.2 Method of Fuzzy Calculations with Fuzzy Numbers; 2.3 Maximum Flow Finding in a Network with Fuzzy Nonzero Lower and Upper Flow Bounds; 2.4 Minimum Cost Flow Finding in a Network with Fuzzy Arc Capacities and Transmission Costs

• 2.4.1 Potential Method for the Minimum Cost Flow Finding in a Network with Fuzzy Arc Capacities and Transmission2.5 Minimum Cost Flow Finding in a Network with Fuzzy Nonzero Lower, Upper Flow Bounds and Transmission Costs; 2.6 Summary; References; 3 Flow Tasks Solving in Dynamic Networks with Fuzzy Lower, Upper Flow Bounds and Transmission Costs; 3.1 Definition of the Fuzzy Dynamic Network; 3.2 Maximum Flow Finding in Dynamic Network with Fuzzy Transit Arc Capacities; 3.3 Maximum Flow Finding in Dynamic Network with Fuzzy Transit Nonzero Lower and Upper Flow Bounds

• 3.4 Minimum Cost Flow Finding in Dynamic Network with Fuzzy Transit Arc Capacities and Transmission Costs3.5 Minimum Cost Flow Finding in Dynamic Network with Fuzzy Nonzero Lower, Upper Flow Bounds and Transmission Costs; 3.6 Summary; References; 4 Implementing the Program for Solving the Flow Tasks in Networks in Fuzzy Conditions; 4.1 Functional Purpose of Proposed Program Complex; 4.2 Description of the Logical Structure of the Software Mode; 4.3 Preparing of Input Data Using GIS ObjectLand; 4.4 Summary; References; Conclusion

This book offers a comprehensive introduction to fuzzy methods for solving flow tasks in both transportation and networks. It analyzes the problems of minimum cost and maximum flow finding with fuzzy nonzero lower flow bounds, and describes solutions to minimum cost flow finding in a network with fuzzy arc capacities and transmission costs. After a concise introduction to flow theory and tasks, the book analyzes two important problems. The first is related to determining the maximum volume for cargo transportation in the presence of uncertain network parameters, such as environmental changes, measurement errors and repair work on the roads. These parameters are represented here as fuzzy triangular, trapezoidal numbers and intervals. The second problem concerns static and dynamic flow finding in networks under fuzzy conditions, and an effective method that takes into account the network's transit parameters is presented here. All in all, the book provides readers with a practical reference guide to state-of-the art fuzzy methods for solving flow tasks and offers a valuable resource for all researchers and postgraduate students in the fields of network theory, fuzzy models and decision-making. .

• Invited Contribution.- An Invitation to Knowledge Space Theory.- Historical Paper.- Implications and Dependencies between Attributes.- Regular Contributions.- The implication logic of (n, k)-extremal lattices.- Making use of empty intersections to improve the performance of CbO-type algorithms.- On the Usability of Probably Approximately Correct Implication Bases. -Formal Concept Analysis in a Logical Programming Setting for Visualization Oriented (Power) Graph Compression.- A Proposition for Sequence Mining Using Pattern Structures. -An investigation of user behavior in educational platforms using Temporal Concept Analysis. -Hierarchies of Weighted Closed Partially-Ordered Patterns for Enhancing Sequential Data Analysis.- First Notes on Maximum Entropy Entailment for Quantified Implications. - On overfitting of classifiers making a lattice.- Learning Thresholds in Formal Concept Analysis.- The Linear Algebra in Extended Formal Concept Analysis over Idempotent Semifields.- Distributed and Parallel Computation of the Canonical Direct Basis.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017. The 13 full papers presented in this volume were carefully reviewed and selected from 37 submissions. The book also contains an invited contribution and a historical paper translated from German and originally published in "Die Klassifkation und ihr Umfeld", edited by P. O. Degens, H. J. Hermes, and O. Opitz, Indeks-Verlag, Frankfurt, 1986. The field of Formal Concept Analysis (FCA) originated in the 1980s in Darmstadt as a subfield of mathematical order theory, with prior developments in other research groups. Its original motivation was to consider complete lattices as lattices of concepts, drawing motivation from philosophy and mathematics alike. FCA has since then developed into a wide research area with applications much beyond its original motivation, for example in logic, data mining, learning, and psychology.
(source: Nielsen Book Data)

• Session types for Link failures.- Learning-based compositional parameter synthesis for event-recording automata.- Modularising opacity verification for Hybrid Transactional Memory.- Proving opacity via linearizability: a sound and complete method.- On futures for streaming data in ABS.- Session-based concurrency, reactively.- Procedural choreographic programming.- An observational approach to defining linearizability on weak memory models.- Applying a dependency mechanism in the formal development of voting protocol models using event-B.- Weak simulation quasimetric in a gossip scenario.- Reasoning about distributed secrets.- Classical higher-order processes.- Weak nominal modal logic.- Type inference of simulink hierarchical block diagrams in Isabelle.- Creating Buchi automata for multi-valued model checking.- Privacy assessment using static taint analysis.- EPTL - a temporal logic for weakly consistent systems.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchatel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
(source: Nielsen Book Data)

• Machine learning.- data mining methods.- deep learning, bioinformatics and health informatics.- intelligent information systems.- knowledge-based system.- mining temporal, spatial and spatio-temporal data.- text and Web mining.- big data analytics and stream data mining.- granular and soft clustering for data science.- knowledge discovery with formal concept analysis and related formalisms.- data mining competition on trading based on recommendations.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 23rd International Symposium on Foundations of Intelligent Systems, ISMIS 2017, held in Warsaw, Poland, in June 2017. The 56 regular and 15 short papers presented in this volume were carefully reviewed and selected from 118 submissions. The papers include both theoretical and practical aspects of machine learning, data mining methods, deep learning, bioinformatics and health informatics, intelligent information systems, knowledge-based systems, mining temporal, spatial and spatio-temporal data, text and Web mining. In addition, four special sessions were organized; namely, Special Session on Big Data Analytics and Stream Data Mining, Special Session on Granular and Soft Clustering for Data Science, Special Session on Knowledge Discovery with Formal Concept Analysis and Related Formalisms, and Special Session devoted to ISMIS 2017 Data Mining Competition on Trading Based on Recommendations, which was launched as a part of the conference.
(source: Nielsen Book Data)

• Chapter 1 Comparative Study on Fractional Order PID and PID Controllers on Noise Suppression for Manipulator Trajectory Control.-
• Chapter 2 Control of the Temperature of a Finite Diffusive Interface Medium using the CRONE Controller.-
• Chapter 3 Grey Predictor Assisted Fuzzy and Fractional Order Fuzzy Control of a Moving Cart Inverted Pendulum.-
• Chapter 4 H Design with Fractional-Order PI D Type Controllers.-
• Chapter 5 On the Electronic Realizations of Fractional-Order Phase-Lead-Lag Compensators with OpAmps and FPAAs.-
• Chapter 6 Robust Adaptive Supervisory Fractional Order Controller for Optimal Energy Management in Wind Turbine with Battery Storage.-
• Chapter 7 Robust Adaptive Interval Type-2 Fuzzy Synchronization for a Class of Fractional Order Chaotic Systems.-
• Chapter 8 Optimal Fractional Order Proportional-Integral-Differential Controller for Inverted Pendulum with Reduced Order Linear Quadratic Regulator.-
• Chapter 9 Towards a Robust Fractional Order PID Stabilizer for Electric Power Systems.-
• Chapter 10 Application of Fractional Order Controllers on Experimental and Simulation Model of Hydraulic Servo System.
• (source: Nielsen Book Data)

The book reports on the latest advances in and applications of fractional order control and synchronization of chaotic systems, explaining the concepts involved in a clear, matter-of-fact style. It consists of 30 original contributions written by eminent scientists and active researchers in the field that address theories, methods and applications in a number of research areas related to fractional order control and synchronization of chaotic systems, such as: fractional chaotic systems, hyperchaotic systems, complex systems, fractional order discrete chaotic systems, chaos control, chaos synchronization, jerk circuits, fractional chaotic systems with hidden attractors, neural network, fuzzy logic controllers, behavioral modeling, robust and adaptive control, sliding mode control, different types of synchronization, circuit realization of chaotic systems, etc. In addition to providing readers extensive information on chaos fundamentals, fractional calculus, fractional differential equations, fractional control and stability, the book also discusses key applications of fractional order chaotic systems, as well as multidisciplinary solutions developed via control modeling. As such, it offers the perfect reference guide for graduate students, researchers and practitioners in the areas of fractional order control systems and fractional order chaotic systems.
(source: Nielsen Book Data)

• Chapter 1: what a fuzzy set is and what it is not?.-
• Chapter 2: Fuzzy random variables a la Kruse & Meyer and a la Puri & Ralescu: key differences and coincidences.-
• Chapter 3: Statistical Inference for Incomplete Ranking Data: A Comparison of two Likelihood-Based Estimators.-
• Chapter 4: Interval Type-2 Defuzzification Using Uncertainty Weights.-
• Chapter 5: Exploring time-resolved data for patterns and validating single clusters.-
• Chapter 6: Interpreting Cluster Structure in Waveform Data with Visual Assessment and Dunn's Index.-
• Chapter 7: A shared encoder DNN for integrated recognition and segmentation of traffic scenes.-
• Chapter 8: Fuzzy ontology support for knowledge mobilisation.
• (source: Nielsen Book Data)

This book is a collection of several contributions which show the state of the art in specific areas of Computational Intelligence. This carefully edited book honors the 65th birthday of Rudolf Kruse. The main focus of these contributions lies on treating vague data as well as uncertain and imprecise information with automated procedures, which use techniques from statistics, control theory, clustering, neural networks etc. to extract useful and employable knowledge. .
(source: Nielsen Book Data)

• Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.- Designing Theory Solvers with Extensions.- First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation.- A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors.- Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case).- Subtropical Satisfiability.- Finitariness of Elementary Unification in Boolean Region Connection Calculus.- Metric Temporal Description Logics with Interval-Rigid Names.- Superposition with Integrated Induction.- The Bernays-Schoenfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable.- Decidable Verification of Decision-Theoretic Golog.- Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions.- Complexity Analysis for Term Rewriting by Integer Transition Systems.- Using Ontologies to Query Probabilistic Numerical Data.- Merging Fragments of Classical Logic.- On Solving Nominal Fixpoint Equations.- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems.- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report.- The Boolean Solution Problem from the Perspective of Predicate Logic. .
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics. The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com. .
(source: Nielsen Book Data)

• Novel imaging and analysis methods for myocardial tissue characterization and remodeling.- Advanced cardiac image analysis tools for diagnostic and interventions.- Electrophysiology: mapping and biophysical modeling.- Biomechanics and flow: modeling and tissue property measurements.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 9th International Conference on Functional Imaging and Modeling of the Heart, held in Toronto, ON, Canada, in June 2017. The 48 revised full papers were carefully reviewed and selected from 63 submissions. The focus of the papers is on following topics: novel imaging and analysis methods for myocardial tissue characterization and remodeling; advanced cardiac image analysis tools for diagnostic and interventions; electrophysiology: mapping and biophysical modeling; biomechanics and flow: modeling and tissue property measurements.
(source: Nielsen Book Data)

• Neural Networks
• . Neural Networks with Feedback and Self-organization Introduction
• Fuzzy Inference Systems and Fuzzy Neural Networks
• Application of Fuzzy Logic Systems and Fuzzy Neural Networks in Forecasting Problems in Macroeconomics and Finance
• Fuzzy Neural Networks in Classification Problems
• Inductive Modeling Method (gmdh) in Problems of Intellectual Data Analysis and Forecasting
• The Cluster Analysis in Intellectual Systems
• Genetic Algorithms and Evolutionary Programing
• Problem of Fuzzy Portfolio optimization Under Uncertainty And Its Solution With Application of Computational Intelligence Methods.

This monograph is dedicated to the systematic presentation of main trends, technologies and methods of computational intelligence (CI). The book pays big attention to novel important CI technology- fuzzy logic (FL) systems and fuzzy neural networks (FNN). Different FNN including new class of FNN- cascade neo-fuzzy neural networks are considered and their training algorithms are described and analyzed. The applications of FNN to the forecast in macroeconomics and at stock markets are examined. The book presents the problem of portfolio optimization under uncertainty, the novel theory of fuzzy portfolio optimization free of drawbacks of classical model of Markovitz as well as an application for portfolios optimization at Ukrainian, Russian and American stock exchanges. The book also presents the problem of corporations bankruptcy risk forecasting under incomplete and fuzzy information, as well as new methods based on fuzzy sets theory and fuzzy neural networks and results of their application for bankruptcy risk forecasting are presented and compared with Altman method. This monograph also focuses on an inductive modeling method of self-organization - the so-called Group Method of Data Handling (GMDH) which enables to construct the structure of forecasting models almost automatically. The results of experimental investigations of GMDH for forecasting at stock exchanges are presented. The final chapters are devoted to theory and applications of evolutionary modeling (EM) and genetic algorithms. The distinguishing feature of this monograph is a great number of practical examples of CI technologies and methods application for solution of real problems in technology, economy and financial sphere, in particular forecasting, classification, pattern recognition, portfolio optimization, bankruptcy risk prediction under uncertainty which were developed by authors and published in this book for the first time. All CI methods and algorithms are presented from the general system approach and analysis of their properties, advantages and drawbacks that enables practitioners to choose the most adequate method for their own problems solution. .

• Position Papers.- With or without Meaning? Hype Cycles in Language Technology and what We Can Learn from Them.- Observatory for Language Resources and Machine Translation in Europe - LT Observatory.- The Rise of the Conversational Interface: A new Kid on the Block.- Spanish Language Technologies Plan.- Improving Collaboration between the European Language Technology Industry & Research: A new Framework for Supply & Demand.- Contributed Papers.- LifeLine dialogues with Roberta.- An affective utility model of user motivation for counselling dialogue systems.- Exploring flexibility in natural language generation throughout discursive analysis of new textual genres.- Bootstrapping technique + embeddings = Emotional corpus annotated automatically.- Rapid construction of a web-enabled medical speech to sign language translator using recorded video.- Incorporating syllable phonotactics to improve grapheme to phoneme translation.- Hybrid conceptual and statistical measure for semantic textual similarity evaluation.- General representation model for text similarity.- Extending feature decay algorithms using alignment entropy.- Towards a topic discovery and tracking system with application to news items.
• (source: Nielsen Book Data)

This book constitutes revised selected papers from the Second International Workshop on Future and Emerging Trends in Language Technology, FETLT 2016, which took place in Seville, Spain, in November 2016. The 10 full papers and 5 position papers presented in this volume were carefully reviewed and selected from 18 submissions. In 2016 the conference focused on Machine Learning and Big Data. .
(source: Nielsen Book Data)

• Fuzzy Numbers.- Dual Numbers.- Fuzzy Dual Numbers.- Fuzzy Dual Linear Matrix Inequalities.- Fuzzy Estimation of Distribution Matrices.- Fuzzy Dual Entropy and Applications.- Fuzzy Dual Programming.
• (source: Nielsen Book Data)

This is the first book focusing exclusively on fuzzy dual numbers. In addition to offering a concise guide to their properties, operations and applications, it discusses some of their advantages with regard to classical fuzzy numbers, and describes the most important operations together with a set of interesting applications in e.g. optimization, decision-making and system design. The book provides students, researchers and professionals the necessary theoretical background to apply this particular subset of fuzzy numbers to decision-making problems involving uncertainty. Further, it shows how to solve selected engineering and management problems and includes detailed numerical examples.
(source: Nielsen Book Data)

• Fuzzy measures and transforms.- Granularity and multi-logics.- Clustering and learning.- Knowledge systems.- Soft computing and applications.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 11th International Workshop on Fuzzy Logic and Applications, WILF 2016, held in Naples, Italy, in December 2016. The 22 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy measures and transforms; granularity and multi-logics, clustering and learning; knowledge systems; and soft computing and applications.
(source: Nielsen Book Data)

• Part I: Foundations.- Introduction.- Genetic Algorithms.- Parameters.- Part II: Solution Spaces.- Multimodality.- Constraints.- Multiple Objectives.- Part III: Advanced Concepts.- Theory.- Machine Learning.- Applications.- Part IV: Ending.- Summary and Outlook.- Index.- References.
• (source: Nielsen Book Data)

This book introduces readers to genetic algorithms (GAs) with an emphasis on making the concepts, algorithms, and applications discussed as easy to understand as possible. Further, it avoids a great deal of formalisms and thus opens the subject to a broader audience in comparison to manuscripts overloaded by notations and equations. The book is divided into three parts, the first of which provides an introduction to GAs, starting with basic concepts like evolutionary operators and continuing with an overview of strategies for tuning and controlling parameters. In turn, the second part focuses on solution space variants like multimodal, constrained, and multi-objective solution spaces. Lastly, the third part briefly introduces theoretical tools for GAs, the intersections and hybridizations with machine learning, and highlights selected promising applications.
(source: Nielsen Book Data)

• Intro; Preface; Organization; Contents; Oral Presentations; Evolutionary Program Sketching; 1 Introduction; 2 Program Sketching; 3 Evolutionary Program Sketching; 3.1 Problem Specification; 3.2 Instruction Set; 3.3 Fitness Function; 3.4 Exploiting the Feedback from Hole Completion; 4 Related Work; 5 Experimental Evaluation; 6 Discussion; 7 Conclusion; References; Exploring Fitness and Edit Distance of Mutated Python Programs; 1 Introduction; 2 Related Work; 3 Our Implementation of Genetic Improvement; 3.1 Fitness Function; 3.2 Search Algorithm; 4 Experimental Setup

• 4.1 Description of the Programs Targeted by GI5 Results; 5.1 Change in Fitness; 5.2 Average Fitness with Respect to Edit List Size; 5.3 Discrete Steps in Fitness; 6 Conclusions; References; Differentiable Genetic Programming; 1 Introduction; 2 Program Encoding; 3 The Algebra of Truncated Polynomials; 3.1 The Link to Taylor Polynomials; 3.2 Non Rational Functions; 4 Example of a dCGP; 5 Learning Constants in Symbolic Regression; 5.1 Ephemeral Constants Approach; 5.2 Weighted dCGP Approach; 6 Solution to Differential Equations; 7 Discovery of Prime Integrals; 8 Conclusions; References

• Evolving Game State Features from Raw Pixels1 Introduction; 2 Related Research; 3 Materials; 3.1 Games; 3.2 Handcrafted Game State Features; 4 Evolving Video Game State Visual Features Using Genetic Programming; 4.1 Evolving Game State Features; 4.2 Voting for Actions; 5 Results; 6 Conclusion; References; Emergent Tangled Graph Representations for Atari Game Playing Agents; 1 Introduction; 2 Background; 3 The Arcade Learning Environment; 3.1 Screen State Space Representation; 4 Evolving Tangled Program Graphs; 4.1 Coevolving Teams of Programs; 4.2 Emergent Modularity

• 4.3 Diversity Maintenance5 Empirical Experiments; 5.1 Experimental Setup; 5.2 Results; 5.3 Solution Analysis; 6 Conclusion and Future Work; References; A General Feature Engineering Wrapper for Machine Learning Using -Lexicase Survival; 1 Introduction; 2 Feature Engineering Wrapper; 2.1 -lexicase Survival; 2.2 Scaling; 3 Related Work; 4 Experimental Analysis; 4.1 Problems; 5 Results; 5.1 Hyper-Parameter Optimization; 5.2 Problem Performance; 5.3 Statistical Analysis; 6 Discussion; 7 Conclusions; References; Visualising the Search Landscape of the Triangle Program; 1 Genetic Improvement

• 2 Triangle Program Software Engineering Benchmark3 Binary Representation: Replacing Comparisons with One Alternative; 3.1 High Order Binary Schema Are Not Deceptive; 3.2 Binary Schema Predict All Solutions of the Triangle Program; 3.3 Local Search Landscape of the Binary Space; 4 Original All Comparisons; 4.1 Fitness Space of Triangle Program; 4.2 High Order Schema Analysis; 4.3 Local Search for the Triangle Program; 4.4 Local Optima Networks; 5 Conclusions; References; RANSAC-GP: Dealing with Outliers in Symbolic Regression with Genetic Programming; 1 Introduction; 2 Background; 2.1 Outliers

This book constitutes the refereed proceedings of the 20th European Conference on Genetic Programming, EuroGP 2017, held in Amsterdam, The Netherlands, in April 2017, co-located with the Evo* 2017 events, EvoCOP, EvoMUSART, and EvoApplications. The 14 revised full papers presented together with 8 poster papers were carefully reviewed and selected from 32 submissions. The wide range of topics in this volume reflects the current state of research in the field. Thus, we see topics and applications including program synthesis, genetic improvement, grammatical representations, self-adaptation, multi-objective optimisation, program semantics, search landscapes, mathematical programming, games, operations research, networks, evolvable hardware, and program synthesis benchmarks.
(source: Nielsen Book Data)

• From the content: Geometry, Action and Movement.- Numerical Analyzis and Optimization.- Foundation of Human Movement.
• (source: Nielsen Book Data)

This book aims at gathering roboticists, control theorists, neuroscientists, and mathematicians, in order to promote a multidisciplinary research on movement analysis. It follows the workshop " Geometric and Numerical Foundations of Movements " held at LAAS-CNRS in Toulouse in November 2015[1]. Its objective is to lay the foundations for a mutual understanding that is essential for synergetic development in motion research. In particular, the book promotes applications to robotics --and control in general-- of new optimization techniques based on recent results from real algebraic geometry.
(source: Nielsen Book Data)

• Statistics on non-linear data.- Shape space.- Optimal Transport & Applications.- Statistical Manifold & Hessian Information Geometry.- Statistical Manifold and Hessian Information Geometry.- Monotone Embedding in Information Geometry.- Information Structure in Neuroscience.- Geometric Robotics and Tracking.- Geometric Mechanics and Robotics.- Stochastic Geometric Mechanics and Lie Group Thermodynamics.- Probability on Riemannian Manifolds.- Divergence Geometry.- Non-parametric Information Geometry.- Optimization on Manifold.- Computational Information Geometry.- Probability Density Estimation.- Session Geometry of Tensor-Valued Data.- Geodesic Methods with Constraints.- Applications of Distance Geometry.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Third International Conference on Geometric Science of Information, GSI 2017, held in Paris, France, in November 2017. The 101 full papers presented were carefully reviewed and selected from 113 submissions and are organized into the following subjects: statistics on non-linear data; shape space; optimal transport and applications: image processing; optimal transport and applications: signal processing; statistical manifold and hessian information geometry; monotone embedding in information geometry; information structure in neuroscience; geometric robotics and tracking; geometric mechanics and robotics; stochastic geometric mechanics and Lie group thermodynamics; probability on Riemannian manifolds; divergence geometry; non-parametric information geometry; optimization on manifold; computational information geometry; probability density estimation; session geometry of tensor-valued data; geodesic methods with constraints; applications of distance geometry.
(source: Nielsen Book Data)