| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996396673603316 |
|
|
Autore |
Robinson John <1575?-1625.> |
|
|
Titolo |
A treatise of the lavvfulnes of hearing of the ministers in the church of England: penned by that late learned and reverent deuine, Mr. Iohn Robinsz. late pastor to the new English church of God in Leyden. Printed according to the copie that was found in his studie after his decase [sic]: and now published for the common good. Together with a letter written by the same authore: and approued by his church: vvhich followeth after this treatise [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Printed [in Amsterdam?], : s.n., Anno 1634 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Place of publication conjectured by STC. |
Reproduction of the original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910734350103321 |
|
|
Titolo |
Advances in Construction and Project Management . Volume 1 Construction and project management / / edited by Srinath Perera [and seven others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Basel : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2023 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xi, 409 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Construction projects - Management |
Project management |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
The construction industry makes a significant contribution to the global economy. Effective management of construction projects is essential to ensuring timely completion that meets quality standards within a project's prescribed scope and budget. Furthermore, assuring sustainability is crucial to reducing the impact of construction on the environment. The construction industry is also affected by globalization and increasing susceptibility to disasters highlighting the need for health and safety and resilience in the industry, especially after global pandemics and natural disasters. Digitalization and industrialization pave the way to the solution or mitigation of numerous issues in the construction industry by transforming business operations, improving productivity and safety, ensuring quality and compliance to standards, increasing sustainability, among other measures. It is imperative for project managers and other construction stakeholders to be digitally oriented.This reprint comprises of a collection of cutting-edge research articles in construction and project management that explores advances in digital, sustainable, and industrialized construction solutions for prevalent issues in construction and project management and investigates the needs of health and safety and resilience in the construction industry. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483945003321 |
|
|
Titolo |
Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / / edited by Karin Breitman, Ana Cavalcanti |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 758 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 5885 |
|
|
|
|
|
|
Classificazione |
|
DAT 310f |
DAT 510f |
SS 4800 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
BreitmanKarin |
CavalcantiAna |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Compilers (Computer programs) |
Computer programming |
Computer science |
Machine theory |
Software Engineering |
Compilers and Interpreters |
Programming Techniques |
Models of Computation |
Formal Languages and Automata Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Seamless Model Driven Systems Engineering Based on Formal Models -- Compositional Verification of Input-Output Conformance via CSP Refinement Checking -- Testing I -- Symbolic Query Exploration -- Event Listener Analysis and Symbolic Execution for Testing GUI Applications -- An Empirical Study of Structural Constraint Solving Techniques -- Protocols -- Improving Automatic Verification of Security Protocols with XOR -- Modeling and Verification |
|
|
|
|
|
|
|
|
|
|
|
of Privacy Enhancing Protocols -- Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support -- Testing II -- Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing -- A Statistical Approach to Test Stochastic and Probabilistic Systems -- Qualitative Action Systems -- Verification -- RAFFS: Model Checking a Robust Abstract Flash File Store -- European Train Control System: A Case Study in Formal Verification -- Development of Security Software: A High Assurance Methodology -- Model Checking I -- Bounded Semantics of CTL and SAT-Based Verification -- Graded-CTL: Satisfiability and Symbolic Model Checking -- Approximate Model Checking of PCTL Involving Unbounded Path Properties -- Object-Orientation -- A Graph-Based Operational Semantics of OO Programs -- Modeling and Analysis of Thread-Pools in an Industrial Communication Platform -- A Verification System for Distributed Objects with Asynchronous Method Calls -- Model checking II -- A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties -- Scalable Multi-core Model Checking Fairness Enhanced Systems -- Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language -- Event-B -- Supporting Reuse of Event-B Developments through Generic Instantiation -- A Lazy Unbounded Model Checker for Event-B -- Proof Assisted Model Checking for B -- Compilation -- Machine-Checked Sequencer for Critical Embedded Code Generator -- Implementing a Direct Method for Certificate Translation -- Process Algebra -- Algorithmic Verification with Multiple and Nested Parameters -- Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction -- Refinement -- Modal Systems: Specification, Refinement and Realisation -- Refinement-Preserving Co-evolution -- Algebraic Specifications -- Circular Coinduction with Special Contexts -- The VSE Refinement Method in Hets -- Real-Time Systems -- A Compositional Approach on Modal Specifications for Timed Systems -- An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata -- Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude -- Specifying and Verifying Business Processes Using PPML. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009. The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910882886203321 |
|
|
Autore |
Kumar Rajesh |
|
|
Titolo |
Soft Computing: Theories and Applications : Proceedings of SoCTA 2023, Volume 2 / / edited by Rajesh Kumar, Ajit Kumar Verma, Om Prakash Verma, Tanu Wadehra |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2024.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (472 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Networks and Systems, , 2367-3389 ; ; 971 |
|
|
|
|
|
|
Altri autori (Persone) |
|
VermaA. K (Ajit Kumar) |
VarmāOma Prakāśa |
WadehraTanu |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computational intelligence |
Artificial intelligence |
Automatic control |
Robotics |
Automation |
Signal processing |
Computational Intelligence |
Artificial Intelligence |
Control, Robotics, Automation |
Signal, Speech and Image Processing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
An extensive review on designing of blood bank management system -- Ensemble Models for vulnerability prediction using code metrics -- Echo State Networks for Cryptography: A Novel Framework for Key Generation and Secure Communication -- Exploration of Coarse-Graining and Threshold Selection of Lempel-Ziv Complexity on Vibroarthrographic Signals -- Image Super Resolution using Extensive Residual Network (ERN) for Orange fruit disease detection -- A Powerful High-Order B-Spline Galerkin Technique for Numerical Solutions of Advection-Diffusion Equation -- Some Explicit Formulas for Changhee-Genocchi Polynomials and Numbers -- Numerical |
|
|
|
|
|
|
|
|
|
|
|
Simulations of Third-Order Singularly Perturbed Boundary Value Problems -- A Study on λ-Analogue Type Of Degenerate Daehee Polynomials And Numbers -- Water Quality Prediction using Machine Learning -- Single Smart Card for Identity and Authentication Using Data Analytics -- Strategic Utilization of ChatGPT in Teaching and Learning -- Particle Based Swarm Fuzzy Optimization Approach in Vague Measurement of the Distance in Transportation Problems -- Design and Implementation of Network Coverage Area in WSN Using Swarm Optimization Techniques -- Divergence Models in Fuzzy Environment and Their Solicitations for the Development of Fuzzy Information Improvement Models -- ViT-ALZ: Vision Transformer with Deep Neural Network for Alzheimer’s Disease Detection -- Edge-ward computational offloading for Smart Waste Management System -- AMPpred-CNN: Prediction of antimicrobial peptide by using 1D convolution neural network and Composition/Transition/Distribution (CTD) encoding -- A hybrid system for detection of Stress using human emotions through voice -- Quasi-opposition based whale optimization applied to Multilevel Image thresholding -- Enhanced Georeferencing by adapting improvised Lens Distortion Correction in Stationary Drone Video Frames -- Feature Selection and Classification to detect Fetal Abnormalities -- Adoption of Blockchain Technologies into Forensic Accounting Practices -- Path Tracking Control of Mobile Manipulator with Skidding and Slipping -- Predicting Stock Market Prices Using a Hybrid of HighOrder Neural Networks and Barnacle Mating Optimization -- Stock Price Prediction Using LSTM & SVM -- Automated Plant disease detection: CNN for corn maize, tomato and potato -- Survey of Deep Learning Models for Image-Based Disease Detection in Plants -- A Comprehensive Review on Technological Advancements in Object Detection Deep Learning Models -- Identification and Classification of PV Array Faults Using Artificial Neural Network -- Ray Based Covid-19 Detection Using Preprocessing Techniques and Deep Learning Algorithms -- Threat or gift to academic: A case study on ChatGPT -- Breaking Barriers: Sign Language to Text Transformation in the Digital Era -- Sarcasm Detection and Classification using Deep Learning Model -- Suspicious Human Activity Detection through Video Analysis and Alert System: A Comprehensive Review -- Hybrid Deep Learning Techniquefor Leaf Disease Detection System -- A Comprehensive Review of Predicting Lifestyle based disease specifically PCOS among Women Using Data Mining and Machine Learning Approaches -- A Modified Honey Badger Algorithm with Logistic Map and Enhanced Exploitation -- Optimal Performance of a quantum Einstein heat engine with ecological function -- Performance Analysis of GIoU Loss Function for Object Tracking. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book focuses on soft computing and how it can be applied to solve real-world problems arising in various domains, ranging from medicine and healthcare, to supply chain management, image processing, and cryptanalysis. It gathers high-quality papers presented at the International Conference on Soft Computing: Theories and Applications (SoCTA 2023), held at Indian Institute of Information Technology (IIIT) Una, Himachal Pradesh, India, during 21–23 December 2023. The book offers valuable insights into soft computing for teachers and researchers alike; the book inspires further research in this dynamic field. |
|
|
|
|
|
|
|
| |