{"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":45,"n_cols":5,"rows_kept":45,"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],[2,4,2,5],[3,2,3,3],[4,2,4,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[30,2,30,3],[38,2,38,3],[39,2,39,3],[41,2,41,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910462380103321"]
[null,null,"Autore",null,"Burton Simon J. G"]
[null,null,"Titolo",null,"The hallowing of logic [[electronic resource] ] : the Trinitarian method of Richard Baxter's Methodus theologiae / / by Simon J.G. Burton"]
[null,null,"Pubbl/distr/stampa",null,"Leiden ; ; Boston, : Brill, 2012"]
[null,null,"ISBN",null,"1-280-49620-7"]
[{"$nulls":4},"9786613591432"]
[{"$nulls":4},"90-04-22641-9"]
[null,null,"Descrizione fisica",null,"1 online resource (430 p.)"]
[null,null,"Collana",null,"Brill's series in church history, , 1572-4107 ; ; v. 57"]
[null,null,"Disciplina",null,"230/.59092"]
[null,null,"Soggetti",null,"Theology - Methodology"]
[{"$nulls":4},"Trinity - History of doctrines"]
[{"$nulls":4},"Salvation - Christianity - History of doctrines"]
[{"$nulls":4},"Electronic books."]
[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","1. Introduction."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Preliminary Material -- Introduction -- I. Touchstones of Theology -- II. The Quest for Method -- III. The Physics and Metaphysics of the Vestigia Trinitatis -- IV. The Soul as the Imago Trinitatis -- V. Metaphysics of the Trinity -- VI. The Eternal Foundations of Divine Government I: Divine Power, Understanding and Will -- VII. The Eternal Foundations of Divine Government II: Predestination and Foreknowledge -- VIII. Theo-Politics -- Conclusion -- Bibliography -- Index."]
[null,null,null,"Sommario/riassunto","While Richard Baxter (1615-91) has been called the ‘chief of English Protestant schoolmen’, few studies of his theology exist, and none of his major systematic work the Methodus Theologiae (1681). Through examining the scriptural and metaphysical foundations of his exemplaristic logic, and engaging extensively with his medieval and early modern sources, this study presents Baxter’s understanding of method as the unfolding of the believer’s relation with the Triune God through salvation history, revealing his profound debt to Scotist and Nominalist thought. In tracing the manifold ramifications of this method it offers a fresh reading of Baxter’s soteriology, countering the charges of moralism and rationalism often levelled at him, and placing his thought within a scholastic paradigm of ‘faith seeking understanding’."]
[null,"2.","Record Nr.",null,"UNINA9910659492903321"]
[null,null,"Titolo",null,"Computer Aided Systems Theory – EUROCAST 2022 : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20–25, 2022, Revised Selected Papers / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2022"]
[null,null,"ISBN",null,"3-031-25312-4"]
[null,null,"Edizione",null,"[1st ed. 2022.]"]
[null,null,"Descrizione fisica",null,"1 online resource (668 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 13789"]
[null,null,"Disciplina",null,"016.403"]
[{"$nulls":4},"005.10285"]
[null,null,"Soggetti",null,"Computer simulation"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Computer Modelling"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Communication Networks"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Systems Theory and Applications -- Transdisciplinary Software Development for Early Crisis Detection -- Uncertainty and Ambiguity: Challenging Layers in Model Construction -- George J. Boole. A Nineteenth Century Man for the Modern Digital Era -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Theory and Applications of Metaheuristic Algorithms -- Multi-criteria Optimization of Workflow-based Assembly Tasks in Manufacturing -- Lightweight Interpolation-Based SurroImproving the Flexibility of Shape-Constrained Symbolic Regression with Extended Constraints -- gate Modelling for MultiObjective Continuous Optimisation -- Analysis and Handling of Dynamic Problem Changes in OpenEnded Optimization -- Dynamic Vehicle Routing with Time-Linkage: From Problem States to Algorithm Performance -- Dynamic Fitness Landscape Analysis -- A Relative Value Function Based Learning Beam Search for Longest "]
[{"$nulls":4},"Common Subsequence Problem -- Multi-day Container Drayage Problem with Active and Passive Vehicles -- On Discovering Optimal Trade-Offs when Introducing New Routes in Existing Multi-Modal Public Transport Systems -- A Mathematical Model and GRASP for a Tourist Trip Design Problem -- A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters -- Shapley Value based Variable Interaction Networks for Data Stream Analysis -- Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization -- Comparing Shape-Constrained Regression Algorithms for Data Validation -- Shape-constrained Symbolic Regression with NSGA-III -- Using Explainable Artificial Intelligence for Data Based Detection of Complications in Records of Patient Treatments -- Identifying Differential Equations to predict Blood Glucose using Sparse Identification of NonlinearSystems.-Obtaining Difference Equations for Glucose Prediction by Structured Grammatical Evolution and sparse identification -- Model-Based System Design, Verification and Simulation -- Modeling Approaches for Cyber Attacks on Energy Infrastructure -- Simulation setup for a closed-loop regulation of neuro-muscular blockade -- Textile In The Loop as Automated Verification Tool for Smart Textiles Applications -- Orchestrating Digital Twins for Distributed Manufacturing Execution Systems -- Automata with Bounded Repetition in RE2 -- Integrating OSLC Services into Eclipse -- Developing an Application in the Forest for New Tourism Post COVID-19 -- GPU-Accelerated Synthesis of Probabilistic Programs -- Static Deadlock Detection in Low-Level C Code -- Applications of Signal Processing Technology -- 3D Ultrasound Fingertip Tracking -- An Artificial Skin from Conductive Rubber -- Neural Network Based Single-Carrier Frequency Domain Equalization -- Smooth Step Detection -- Optical Preprocessing and Digital Signal Processing for the Measurement of Strain in Thin Specimen -- Lower Limbs Gesture Recognition Approach to Control a Medical Treatment Bed -- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility -- JKU-ITS Automobile for Research on Autonomous Vehicles -- Development of a ROS-based Architecture for Intelligent Autonomous on Demand Last Mile Delivery -- Contrastive Learning for Simulation-to-Real Domain Adaptation of LiDAR data -- Deep Learning Data Association Applied to Multi-Object Tracking Systems -- A Methodology to Consider Explicitly Emissions in Dynamic User Equilibrium Assignment -- Sensitivity Analysis for A Cooperative Adaptive Cruise Control Car Following Model: Preliminary Findings -- On Smart Mobility and Data Stream Mining -- Smart Vehicle Inspection -- Computer Vision,Machine Learning for Image Analysis and Applications -- Impact of the Region of Analysis on the Performance of the Automatic Epiretinal Membrane Segmentation in OCT Images -- Performance Analysis of GAN approaches in the Portable Chest X-ray synthetic image generation for COVID-19 screening -- Clinical Decision Support tool for the Identification of Pathological Structures Associated with Age-related Macular Degeneration -- Deep Features-based approaches for Phytoplankton Classification in Microscopy Images -- Robust Deep Learning-based Approach for Retinal layer Segmentation in Optical Coherence Tomography Images -- Impact of increased centerline weight on the Joint segmentation and classification of arteries and veins in color fundus images -- Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset -- Gait Recognition using 3D View-Transformation Model -- Segmentation and Multi-Facet Classification of Individual Logsin Wooden Piles -- Drone Detection Using Deep Learning: A Benchmark Study -- Computer and Systems "]
[{"$nulls":4},"Based Methods and Electronic Technologies in Medicine -- Continuous Time Normalized Signal Trains for a Better Classification of Myoelectric Signals -- A Comparison of Covariate Shift Detection Methods on Medical Datasets -- Towards a Method to Provide Tactile Feedback in Minimally Invasive Robotic Surgery -- Reference Datasets for Analysis of Traditional Japanese and German Martial Arts -- A Novel Approach to Continuous Heart Rhythm Monitoring for Arrhythmia Detection -- Indoor Positioning Framework for Training Rescue Operations Procedures at the Site of a Mass Incident or Disaster -- Designing sightseeing support system in Oku-Nikko using BLE beacon -- Systems in Industrial Robotics, Automation and IoT -- Mixed Reality HMI for Collaborative Robots -- A Digital Twin Demonstrator for Research and Teaching in Universities -- Robot System as a Testbed for AI Optimizations -- An Architecture for Deploying Reinforcement Learning in Industrial Environments -- Ck-continuous Spline Approximation with TensorFlow Gradient Descent Optimizers -- Stepwise Sample Generation -- Optimising Manufacturing Process with Bayesian Learning and Knowledge Graphs -- Representing Technical Standards as Knowledge Graph to Guide the Design of Industrial Systems -- Improvements for mlrose Applied to the Traveling Salesperson Problem -- Survey on Radar Odometry -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Crisis Management in a Federation – Cybernetic Lessons from a Pandemic -- Using Archetypes to Teach Systems Thinking in an Engineering Master’s Course -- Collecting vs Sharing of Personal Data: Examining the Implications to the Society."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20–25, 2022. The 77 full papers included in this book were carefully reviewed and selected from 110 submissions. They were organized in topical sections as follows: Systems Theory and Applications, Theory and Applications of Metaheuristic Algorithms, Model-Based System Design, Verification and Simulation, Applications of Signal Processing Technology, Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility, Computer Vision, Machine Learning for Image Analysis and Applications, Computer and Systems Based Methods and Electronic Technologies in Medicine, Systems in Industrial Robotics, Automation and IoT, Systems Thinking. Relevance for Technology, Science and Management Professionals."]