{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":46,"n_cols":5,"rows_kept":46,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[19,2,19,3],[20,2,20,3],[24,2,24,3],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[38,2,38,3],[39,2,39,3],[42,2,42,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465872303316"]
[null,null,"Titolo",null,"Artificial Neural Networks and Machine Learning -- ICANN 2012 [[electronic resource] ] : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II / / edited by Alessandro Villa, Włodzisław Duch, Péter Érdi, Francesco Masulli, Günther Palm"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012"]
[null,null,"ISBN",null,"3-642-33266-8"]
[null,null,"Edizione",null,"[1st ed. 2012.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXVIII, 590 p. 172 illus.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7553"]
[null,null,"Disciplina",null,"006.3"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Pattern recognition systems"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Computer vision"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Automated Pattern Recognition"]
[{"$nulls":4},"Computer and Information Systems Applications"]
[{"$nulls":4},"Computer Vision"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","International conference proceedings."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and author index."]
[null,null,"Nota di contenuto",null,"Complex-Valued Multilayer Perceptron Search Utilizing Eigen Vector Descent and Reducibility -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons of Networks with Radial and Kernel -- Multilayer Perceptron for Label Ranking -- Electricity Load Forecasting: A Weekday-Based -- Adaptive Exploration Using Stochastic Neurons -- Comparison of Long-Term Adaptivity for Neural Networks -- Simplifying ConvNets for Fast Learning -- A Modified Artificial Fish Swarm Algorithm for the Optimization of Extreme Learning Machines -- Robust Training of Feedforward Neural Networks Using Combined Online/Batch Quasi-Newton Techniques -- Estimating a Causal Order "]
[{"$nulls":4},"among Groups of Variables in Linear Models -- Training Restricted Boltzmann Machines with Multi-tempering: Harnessing Parallelization -- A Computational Geometry Approach for Pareto-Optimal Selection of Neural Networks -- Learning Parameters of Linear Models in Compressed Parameter Space -- Control of a Free-Falling Cat by Policy-Based Reinforcement Learning -- Gated Boltzmann Machine in Texture Modeling -- Neural PCA and Maximum Likelihood Hebbian Learning on the GPU -- Construction of Emerging Markets Exchange Traded Funds Using Multiobjective Particle Swarm Optimisation -- The Influence of Supervised Clustering for RBFNN Centers Definition: A Comparative Study -- Nested Sequential Minimal Optimization for Support Vector Machines -- Random Subspace Method and Genetic Algorithm Applied to a LS-SVM Ensemble -- Text Recognition in Videos Using a Recurrent Connectionist Approach -- An Investigation of Ensemble Systems Applied to Encrypted and Cancellable Biometric Data -- New Dynamic Classifiers Selection Approach for Handwritten Recognition -- Vector Perceptron Learning Algorithm Using Linear Programming -- TrueSkill-Based Pairwise Coupling for Multi-class Classification -- Analogical Inferences in the Family Trees Task: A Review -- An Efficient Way of Combining SVMs for Handwritten Digit Recognition -- Comparative Evaluation of Regression Methods for 3D-2D Image Registration -- A MDRNN-SVM Hybrid Model for Cursive Offline Handwriting Recognition -- Extraction of Prototype-Based Threshold Rules Using Neural Training Procedure -- Instance Selection with Neural Networks for Regression Problems -- A New Distance for Probability Measures Based on the Estimation of Level Sets -- Low Complexity Proto-Value Function Learning from Sensory Observations with Incremental Slow Feature Analysis -- Improving Neural Networks Classification through Chaining -- Feature Ranking Methods Used for Selection of Prototypes -- A “Learning from Models” Cognitive Fault Diagnosis System -- Improving ANNs Performance on Unbalanced Data with an AUC-Based Learning Algorithm -- Learning Using Privileged Information in Prototype Based Models -- A Sparse Support Vector Machine Classifier with Nonparametric Discriminants -- Training Mahalanobis Kernels by Linear Programming -- Correntropy-Based Document Clustering via Nonnegative Matrix Factorization -- SOMM – Self-Organized Manifold Mapping -- Self-Organizing Map and Tree Topology for Graph Summarization -- Variable-Sized Kohonen Feature Map Probabilistic Associative Memory -- Learning Deep Belief Networks from Non-stationary Streams -- Separation and Unification of Individuality and Collectivity and Its Application to Explicit Class Structure in Self-Organizing Maps -- Autoencoding Ground Motion Data for Visualisation -- Examining an Evaluation Mechanism of Metaphor Generation with Experiments and Computational Model Simulation -- Pairwise Clustering with t-PLSI -- Selecting β-Divergence for Nonnegative Matrix Factorization by Score Matching -- Neural Networks for Proof-Pattern Recognition -- Using Weighted Clustering and Symbolic Data to Evaluate Institutes Scientific Production -- Comparison of Input Data Compression Methods in Neural Network Solution of Inverse Problem in Laser Raman Spectroscopy of Natural Waters -- New Approach for Clustering Relational Data Based on Relationship and Attribute Information -- Comparative Study on Information Theoretic Clustering and Classical Clustering Algorithms -- Text Mining for Wellbeing: Selecting Stories Using Semantic and Pragmatic Features -- Hybrid Bilinear and Trilinear Models for Exploratory Analysis of Three-Way Poisson Counts -- and Machine Learning Algorithms -- Rademacher Complexity and Structural Risk Minimization: An Application to Human Gene Expression Datasets -- "]
[{"$nulls":4},"Using a Support Vector Machine and Sampling to Classify Compounds as Potential Transdermal Enhancers -- The Application of Gaussian Processes in the Predictions of Permeability across Mammalian Membranes -- Protein Structural Blocks Representation and Search through Unsupervised NN -- Evolutionary Support Vector Machines for Time Series Forecasting -- Learning Relevant Time Points for Time-Series Data in the Life Sciences -- A Multivariate Approach to Estimate Complexity of FMRI Time Series -- Neural Architectures for Global Solar Irradiation and Air Temperature Prediction -- Sparse Linear Wind Farm Energy Forecast -- Diffusion Maps and Local Models for Wind Power Prediction -- A Hybrid Model for S&P500 Index Forecasting."]
[null,null,null,"Sommario/riassunto","The two-volume set LNCS 7552 + 7553 constitutes the proceedings of the 22nd International Conference on Artificial Neural Networks, ICANN 2012, held in Lausanne, Switzerland, in September 2012. The 162 papers included in the proceedings were carefully reviewed and selected from 247 submissions. They are organized in topical sections named: theoretical neural computation; information and optimization; from neurons to neuromorphism; spiking dynamics; from single neurons to networks; complex firing patterns; movement and motion; from sensation to perception; object and face recognition; reinforcement learning; bayesian and echo state networks; recurrent neural networks and reservoir computing; coding architectures; interacting with the brain; swarm intelligence and decision-making; mulitlayer perceptrons and kernel networks; training and learning; inference and recognition; support vector machines; self-organizing maps and clustering; clustering, mining and exploratory analysis; bioinformatics; and time weries and forecasting."]
[null,"2.","Record Nr.",null,"UNINA9910510573403321"]
[null,null,"Titolo",null,"Formal Methods: Foundations and Applications : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings / / edited by Sérgio Campos, Marius Minea"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021"]
[null,null,"ISBN",null,"3-030-92137-9"]
[null,null,"Edizione",null,"[1st ed. 2021.]"]
[null,null,"Descrizione fisica",null,"1 online resource (149 pages)"]
[null,null,"Collana",null,"Programming and Software Engineering, , 2945-9168 ; ; 13130"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Software Engineering"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Intro -- Preface -- Organization -- Contents -- A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking -- 1 Introduction -- 2 Theoretical Background -- 2.1 Model Checking -- 2.2 Temporal Logic and Hybrid Logic -- 2.3 Software Versioning -- 3 The Proposed Method -- 3.1 Call Graphs as Kripke Structures -- 3.2 Version Graphs as Kripke Structures -- 3.3 The Proposed Logic: A Two-Level Temporal Logic for Specifications Checking -- 3.4 Examples -- 4 Conclusion and Future Works -- References -- Statistical Model Checking for Traffic Models -- 1 Introduction -- 2 Background -- 2.1 SMC and MultiVeStA -- 2.2 SUMO - Simulation of Urban MObility -- 2.3 Car-Following and Lane Changing Models -- 3 Integration of MultiVeStA and SUMO Simulator -- 3.1 Initial Step -- 3.2 Integration -- 4 Simulation Experiments and Results -- 4.1 Simple Queries -- 4.2 Query 1: Behaviour on Emergency Vehicles -- 4.3 Query 2: Traffic Load Comparison -- 4.4 Query 3: Load Conditions for Traffic Jams -- 4.5 Query 4: Impending Drop in Traffic -- 4.6 Running Times -- 5 Conclusion and Future Work -- References -- Visual Specification of Properties for Robotic Designs -- 1 Introduction -- 2 Background -- 2.1 RoboChart -- 2.2 UML Activity Diagram -- 2.3 CSP Notation, Templates and Tools Used in the Work -- 3 Diagrammatic Language for Properties -- 3.1 Language Syntax -- 3.2 Language Semantics -- 4 Tool Support -- 5 Related Work -- 6 Conclusion -- References -- Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation -- 1 Introduction -- 2 "]
[{"$nulls":4},"Multi-agent Systems for Resource Allocation -- 3 Propositional Logic Encoding -- 3.1 Overall Encoding -- 3.2 Basic Encodings -- 3.3 Properties of the Encoding -- 4 Algorithm -- 5 Implementation and Experiments -- 6 Related Work -- 7 Conclusion and Outlook -- References."]
[{"$nulls":4},"Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata -- 1 Introduction -- 2 Background -- 3 An Overview of the Translation Technique -- 4 Evaluation -- 4.1 Experimental Evaluation -- 4.2 Mathematical Proof -- 5 Related Work and Conclusions -- References -- Module Integration Using Graph Grammars (MIGRATE) -- 1 Introduction -- 2 Graph Grammars -- 3 Illustration of the Proposed Approach -- 4 Module Nets -- 5 MIGRATE Approach -- 5.1 Translation -- 5.2 Verification -- 6 Related Work -- 7 Conclusion -- References -- Cost Analysis for an Actor-Based Workflow Modelling Language -- 1 Introduction -- 2 Formal Workflow Modelling Language Rpl -- 2.1 The Syntax of Rpl -- 2.2 The Semantics of Rpl -- 3 Analysis of Rpl Program -- 3.1 Synchronisation Schema -- 3.2 Accumulated Costs -- 3.3 Translation Function -- 4 Properties -- 5 Related Work -- 6 Conclusion -- References -- Minimization of the Number of Clocks for Timed Scenarios -- 1 Introduction -- 2 Preliminaries -- 2.1 Timed Automata -- 2.2 Timed Scenarios -- 3 A New Optimization Algorithm -- 3.1 Cyclic Dependencies -- 3.2 Cyclic Dependencies and Equality Constraints -- 3.3 C(Ds) with Cyclic Dependencies -- 3.4 Resolving Cyclic Dependencies -- 3.5 The Optimization Algorithm -- 4 Conclusions -- References -- Author Index."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area."]