Relevant bibliographies by topics / Black-box equivalance checking- Building

Contents

  1. Journal articles
  2. Dissertations / Theses

Academic literature on the topic 'Black-box equivalance checking- Building'

Author: Grafiati
Published: 6 September 2023
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Black-box equivalance checking- Building.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Black-box equivalance checking- Building"

1

Khwuta, Yoseph Dominikus Da Yen, Maria Adelvin Londa, and Yohanes Ardianus Wee. "Designing and building a business data collection application using the waterfall method." MATRIX : Jurnal Manajemen Teknologi dan Informatika 13, no. 1 (2023): 42–51. http://dx.doi.org/10.31940/matrix.v13i1.42-51.

Full text
Abstract:
The Department of Industry and Trade of Ende Regency is a local government agency that is directly related to the process of data collection and assistance for small and medium industrial enterprises (SME) in Ende Regency which is still done manually, causing problems in data collection. the process is considered to be very slow so there is still a lot of SMI data that is not recorded clearly and completely. This website-based IKM data collection application aims to assist the Trade and Industry Office of the Ende Regency in the computerized IKM data collection process and checking of business
APA, Harvard, Vancouver, ISO, and other styles
2

Nawari. "A Generalized Adaptive Framework (GAF) for Automating Code Compliance Checking." Buildings 9, no. 4 (2019): 86. http://dx.doi.org/10.3390/buildings9040086.

Full text
Abstract:
Building design review is the procedure of checking a design against codes and standard provisions to satisfy the accuracy of the design and identify non-compliances before construction begins. The current approaches for conducting the design review process in an automatic or semi-automatic manner are either based on proprietary, domain-specific or hard-coded rule-based mechanisms. These methods may be effective in their specific applications, but they have the downsides of being costly to maintain, inflexible to modify, and lack a generalized framework of rules and regulations modeling that c
APA, Harvard, Vancouver, ISO, and other styles
3

Warseno, Agus, Yustina Retno Wahyu Utami, and Andriani Kusumaningrum. "Sistem Pendukung Keputusan Penentuan Pemberian Pinjaman Dengan Metode Perbandingan Eksponensial (MPE) Pada Koperasi XYZ." Jurnal Ilmiah SINUS 19, no. 1 (2021): 49. http://dx.doi.org/10.30646/sinus.v19i1.527.

Full text
Abstract:
The XYZ cooperation is a business entity dealing with savings and loans, building rental, convection, rice procurement and shops that are very concerned about the welfare of its members. The appraisal process for loan approval decision in the XYZ cooperative was still lack of assessment. It was based on the value of the members’ report cards which covers collateral, wealth, and behavior so that the funds were not often on the target. Moreover, the cooperative members were often careless in repayment process. The method in this research was Exponential Comparison Method. This method determined
APA, Harvard, Vancouver, ISO, and other styles
4

MEMORI MANALU, FRIA ANJU, and Alfannisa Annurullah Fajrin. "PENGEMBANGAN APLIKASI DIGITAL LIBRARY MENGGUNAKAN METODE WATERFALL BERBASIS ANDROID." Computer and Science Industrial Engineering (COMASIE) 10, no. 1 (2024): 135–45. https://doi.org/10.33884/comasiejournal.v10i1.8368.

Full text
Abstract:
SMPN 40 Batam Library implements a library information system. Currently, because library data information management is still very conventional, errors in checking data and difficulties in finding data information still often occur in library data management. Along with the development of library needs, it is important to realize that the data management process, including member data, book data, data borrowing, data returning, and data library are still done manually. The main objective of implementing a library information system is to facilitate the smooth processing of data and informatio
APA, Harvard, Vancouver, ISO, and other styles
5

Borole, Piyush, and Ajitha Rajan. "Building trust in deep learning-based immune response predictors with interpretable explanations." Communications Biology 7, no. 1 (2024). http://dx.doi.org/10.1038/s42003-024-05968-2.

Full text
Abstract:
AbstractThe ability to predict whether a peptide will get presented on Major Histocompatibility Complex (MHC) class I molecules has profound implications in designing vaccines. Numerous deep learning-based predictors for peptide presentation on MHC class I molecules exist with high levels of accuracy. However, these MHC class I predictors are treated as black-box functions, providing little insight into their decision making. To build turst in these predictors, it is crucial to understand the rationale behind their decisions with human-interpretable explanations. We present MHCXAI, eXplainable
APA, Harvard, Vancouver, ISO, and other styles
6

Creary, Melissa, and Lynette Hammond Gerido. "The Public Performativity of Trust." Hastings Center Report 53, S2 (2023). http://dx.doi.org/10.1002/hast.1527.

Full text
Abstract:
AbstractBuilding trust between academic medical centers and certain communities they depend on in the research process is hard, particularly when those communities consist of minoritized or historically marginalized populations. Some believe that engagement activities like the creation of advisory boards, town halls, or a research workforce that looks more like community members will establish or reestablish trust between academic medical centers and racialized communities. However, without systematic approaches to dismantle racism, those well‐intended actions become public performativity, and
APA, Harvard, Vancouver, ISO, and other styles
7

D’Anvers, Jan-Pieter, Daniel Heinz, Peter Pessl, Michiel Van Beirendonck, and Ingrid Verbauwhede. "Higher-Order Masked Ciphertext Comparison for Lattice-Based Cryptography." IACR Transactions on Cryptographic Hardware and Embedded Systems, February 15, 2022, 115–39. http://dx.doi.org/10.46586/tches.v2022.i2.115-139.

Full text
Abstract:
Checking the equality of two arrays is a crucial building block of the Fujisaki-Okamoto transformation, and as such it is used in several post-quantum key encapsulation mechanisms including Kyber and Saber. While this comparison operation is easy to perform in a black box setting, it is hard to efficiently protect against side-channel attacks. For instance, the hash-based method by Oder et al. is limited to first-order masking, a higher-order method by Bache et al. was shown to be flawed, and a very recent higher-order technique by Bos et al. suffers in runtime. In this paper, we first demonst
APA, Harvard, Vancouver, ISO, and other styles
8

Vokhranov, Illia, and Bogdan Bulakh. "COMBINED APPROACHES TO THE STATIC CODE ANALYSIS USING NEURAL NETWORKS." Інфокомунікаційні та комп’ютерні технології, 2023, 183–93. http://dx.doi.org/10.36994/2788-5518-2023-01-05-20.

Full text
Abstract:
This article presents an overview of possible approaches to the application of neural networks in the process of static code analysis. It explores the current state of affairs in existing approaches to improving program analysis using machine learning methods, including postprocessing of static analysis alerts, preprocessing of source code, or direct use of machine learning for analyzing source code. Additionally, the article examines the main directions for applying approaches from each category. Both classical approaches and machine learning methods in program analysis possess distinct stren
APA, Harvard, Vancouver, ISO, and other styles
9

Yin, Yuan, Fenqin Xu, and Bo Pang. "Online intelligent fault diagnosis of redundant sensors in PWR based on artificial neural network." Frontiers in Energy Research 10 (September 20, 2022). http://dx.doi.org/10.3389/fenrg.2022.1011362.

Full text
Abstract:
Sensors in the primary circuit of a pressurized water reactor (PWR) are normally designed with redundant structures to improve system safety and reliability. However, reliability of the actual system is often lower than that obtained by theoretical calculation due to the inevitable occurrence of common mode fault (CMF), which is a dependent failure event that can cause multiple failures in redundant channels. CMF may increase the reliability deviation of the system by orders of magnitude and, hence, seriously affects the reliability of the system. To mitigate the CMF of redundant sensors in nu
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Black-box equivalance checking- Building"

1

Dahiya, Manjeet. "Black-box equivalance checking across compiler transformations." Thesis, 2018. http://eprint.iitd.ac.in:80//handle/2074/7985.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography