Search Results - machine tool builder~

Training of Production Managers for Machine-building Enterprises by I. A. Ivanov, G. E. Persiyanova

Connect to this object online.

3D-QSARpy: Combining variable selection strategies and machine learning techniques to build QSAR models by Priscilla Suene de Santana Nogueira Silverio, Jéssika de Oliveira Viana, Euzébio Guimarães Barbosa

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

Multivariate Statistical Machine Learning Methods for Genomic Prediction by Montesinos López, Osval Antonio, Montesinos López, Abelardo, Crossa, José

Table of Contents: “…Preface -- Chapter 1 -- General elements of genomic selection and statistical learning -- Chapter. 2 -- Preprocessing tools for data preparation -- Chapter. 3 -- Elements for building supervised statistical machine learning models -- Chapter. 4 -- Overfitting, model tuning and evaluation of prediction performance -- Chapter. 5 -- Linear Mixed Models -- Chapter. 6 -- Bayesian Genomic Linear Regression -- Chapter. 7 -- Bayesian and classical prediction models for categorical and count data -- Chapter. 8 -- Reproducing Kernel Hilbert Spaces Regression and Classification Methods -- Chapter. 9 -- Support vector machines and support vector regression -- Chapter. 10 -- Fundamentals of artificial neural networks and deep learning -- Chapter. 11 -- Artificial neural networks and deep learning for genomic prediction of continuous outcomes -- Chapter. 12 -- Artificial neural networks and deep learning for genomic prediction of binary, ordinal and mixed outcomes -- Chapter. 13 -- Convolutional neural networks -- Chapter. 14 -- Functional regression -- Chapter. 15 -- Random forest for genomic prediction.…”
Link to Metadata

A Digital Tool to Build the Capacity of Leaders to Improve Working Conditions Related to Psychological Health and Well-Being in Teams: Intervention Approach, Prototype, and Evaluat... by Luisa A. Grimm, Georg F. Bauer, Gregor J. Jenny

Connect to this object online.

Adhesive Bonding of Aircraft Composite Structures Non-destructive Testing and Quality Assurance Concepts /

Subjects: “…Machines, Tools, Processes.…”
Link to Metadata

Building Energy Audits-Diagnosis and Retrofitting

Subjects: “…buildings…”
DOAB: download the publication
DOAB: description of the publication

Citizen Science and Geospatial Capacity Building

DOAB: download the publication
DOAB: description of the publication

Building a ML-based QSAR model for predicting the bioactivity of therapeutically active drug class with imidazole scaffold by Komal Singh, Irina Ghosh, Venkatesan Jayaprakash, Sudeepan Jayapalan

Connect to this object online.

Challenges and Opportunities in Applied System Innovation

Subjects: “…circular building…”
DOAB: download the publication
DOAB: description of the publication

Building a predictive model of low birth weight in low- and middle-income countries: a prospective cohort study by Jackie K. Patterson, Vanessa R. Thorsten, Barry Eggleston, Tracy Nolen, Adrien Lokangaka, Antoinette Tshefu, Shivaprasad S. Goudar, Richard J. Derman, Elwyn Chomba, Waldemar A. Carlo, Manolo Mazariegos, Nancy F. Krebs, Sarah Saleem, Robert L. Goldenberg, Archana Patel, Patricia L. Hibberd, Fabian Esamai, Edward A. Liechty, Rashidul Haque, Bill Petri, Marion Koso-Thomas, Elizabeth M. McClure, Carl L. Bose, Melissa Bauserman

Connect to this object online.

History of Construction Cultures Volume 1 Proceedings of the 7th International Congress on Construction History (7ICCH 2021), July 12-16, 2021, Lisbon, Portugal

DOAB: download the publication
DOAB: description of the publication

History of Construction Cultures Volume 2 Proceedings of the 7th International Congress on Construction History (7ICCH 2021), July 12-16, 2021, Lisbon, Portugal

DOAB: download the publication
DOAB: description of the publication

History of Construction Cultures Volume 1 Proceedings of the 7th International Congress on Construction History (7ICCH 2021), July 12-16, 2021, Lisbon, Portugal

OAPEN Library: download the publication
OAPEN Library: description of the publication

History of Construction Cultures Volume 2 Proceedings of the 7th International Congress on Construction History (7ICCH 2021), July 12-16, 2021, Lisbon, Portugal

OAPEN Library: download the publication
OAPEN Library: description of the publication

Open Data and Energy Analytics

DOAB: download the publication
DOAB: description of the publication

Architecture and Engineering The Challenges - Trends - Achievements

Subjects: “…high-rise buildings…”
DOAB: download the publication
DOAB: description of the publication

Building Dual AI Models and Nomograms Using Noninvasive Parameters for Aiding Male Bladder Outlet Obstruction Diagnosis and Minimizing the Need for Invasive Video-Urodynamic Studie... by Chung-You Tsai, Jing-Hui Tian, Chien-Cheng Lee, Hann-Chorng Kuo

Connect to this object online.

Towards Smart Tech 4.0 in the Built Environment Applications of Disruptive Digital Technologies in Smart Cities, Construction, and Real Estate

Subjects: “…building corrosion detection…”
DOAB: download the publication
DOAB: description of the publication

Interaction Modeling in Mechanized Tunneling

Link to Metadata