Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020, Eloy Sara, Leite Viana David, Morais Franklim
Описание: This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.*The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions.
Описание: This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020.
Автор: Daniel Mettler, Daniel Studer Название: Construction: Manual ISBN: 3035622264 ISBN-13(EAN): 9783035622263 Издательство: Walter de Gruyter Рейтинг: Цена: 6263.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
People involved in architecture need to be familiar with construction methods in order to be in control of their designs. New technical requirements impact on our buildings and call for up-to-date specialist knowledge, which leads to new forms of architecture.
This handbook uses clearly comprehensible 3D isometric diagrams to introduce the world of contemporary construction, from concept through to the detail; photographs are used to illustrate the content.
The three main chapters deal with the structure, the building envelope, and the fit-out, starting with a clear introduction to the construction principles of modern building methods. Using drawings of selected built examples at scales of 1:10 and 1:20, a deeper examination of details is possible.
Описание: This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020.
Автор: Sabin Название: Labstudio Sabin Lloyd Jones ISBN: 1138783978 ISBN-13(EAN): 9781138783973 Издательство: Taylor&Francis Рейтинг: Цена: 7961.00 р. Наличие на складе: Поставка под заказ.
Описание: LabStudio introduces the concept of the research design laboratory in which funded research and transdisciplinary participants achieve radical advances in science, design, and applied architectural practice.
Описание: This book constitutes refereed proceedings of the First International Workshop on Algorithmic Bias in Search and Recommendation, BIAS 2020, held in April, 2020.
Reproducibility Papers.- Knowledge Graph Entity Alignment with Graph Neural Networks: Lessons Learned.- The Effect of Content-Equivalent Near-Duplicates on the Evaluation of Search Engines.- From MaxScore to Block-Max WAND: The Story of How Lucene Significantly Improved Query Evaluation Performance.- Which BM25 Do You Mean? A Large-Scale Reproducibility Study of Scoring Variants.- The Unfairness of Popularity Bias in Music Recommendation: A Reproducibility Study.- Reproducibility is a Process, not an Achievement: The Replicability of IR Reproducibility Experiments.- On the Replicability of Combining Word Embeddings and Retrieval Models.- Influence of Random Walk Parametrization on Graph Embeddings.- Short Papers.- Calling attention to passages for biomedical question answering.- Neural Embedding-based Metrics for Pre-Retrieval Query Performance Prediction.- A Latent Model for Ad Hoc Table Retrieval.- Hybrid Semantic Recommender System for Chemical Compounds.- Assessing the Impact of OCR Errors in Information Retrieval.- Towards Query Logs for Privacy Studies: On Deriving Search Queries from Questions.- Machine-actionable data management plans: A knowledge retrieval approach to automate the assessment of funders' requirements.- Session-based Path Prediction by Combining Local and Global Content Preferences.- Unsupervised Ensemble of Ranking Models for News Comments Using Pseudo Answers.- Irony Detection in a Multilingual Context.- Document Network Projection in Pretrained Word Embedding Space.- Supervised Learning Methods for Diversification of Image Search Results.- ANTIQUE: A Non-Factoid Question Answering Benchmark.- Neural Query-biased Abstractive Summarization Using Copying Mechanism.- Distant Supervision for Extractive Question Summarization.- Text-Image-Video Summary Generation using Joint Integer Linear Programming.- Domain Adaptation via Context Prediction for Engineering Diagram Search.- Crowdsourcing Truthfulness: The Impact of Judgment Scale and Assessor Bias.- Novel and Diverse Recommendations by Leveraging Linear Models with User and Item Embeddings.- A Multi-task Approach to Open Domain Suggestion Mining using Language Model for Text Over-sampling.- MedLinker: Medical Entity Linking with Neural Representations and Dictionary Matching.- Ranking Significant Discrepancies in Clinical Reports.- Teaching a New Dog Old Tricks: Resurrecting Multilingual Retrieval Using Zero-shot Learning.- Semi-Supervised Extractive Question Summarization Using Question-Answer Pairs.- Utilizing Temporal Psycholinguistic Cues for Suicidal Intent Estimation.- PMD: An Optimal Transportation-based User Distance for Recommender Systems.- On Biomedical Named Entity Recognition: Experiments in Bilingual Transfer for Clinical and Social Media Texts.- SlideImages: A Dataset for Educational Image Classification.- Rethinking Query Expansion for BERT Reranking.- Personalized Video Summarization based exclusively on User Preferences.- SentiInc: Incorporating Sentiment Information into Sentiment Transfer without Parallel Data.- Dualism in Topical Relevance.- Keyphrase Extraction as Sequence Labeling using Contextualized Embeddings.- Easing Legal News Monitoring with Learning to Rank and BERT.- Generating query suggestions for cross-language and cross-terminology health information retrieval.- Identifying Notable News Stories.- BERT for Evidence Retrieval and Claim Verification.- BiOnt: Deep Learning using Multiple Biomedical Ontologies for Relation Extraction.- On the Temporality of Priors in Entity Linking.- Contextualized Embeddings in Named-Entity Recognition: An Empirical Study on Generalization.- DAKE: Document-level Attention for Keyphrase Extraction.- Understanding depression from psycholinguistic patterns in social media Texts.- Predicting the Size of Candidate Document Set for Implicit Web Search Result Diversification.- Aspect-based Academic Search using Domain-specific KB.- Dynamic Heterogeneous Gr
Описание: This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions.
Описание: This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.
Описание: This book constitutes the refereed conference proceedings of the 8th Annual Privacy Forum, APF 2020, held in Lisbon, Portugal, in October 2020. The 12 revised full papers were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on impact assessment; privacy by design; and transparency.
Описание: This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021.
Описание: This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
