Готові списки джерел за темами / Proof system interoperability

Зміст

Статті в журналах
Дисертації
Книги
Частини книг
Тези доповідей конференцій
Звіти організацій

Добірка наукової літератури з теми "Proof system interoperability"

Автор: Grafiati

Опубліковано: 26 жовтня 2024

Оновлено: 31 липня 2025

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Proof system interoperability".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Proof system interoperability"

Myeong, Go Eun, and Kim Sa Ram. "Blockchain Based Zero Knowledge Proof Protocol For Privacy Preserving Healthcare Data Sharing." Journal of Technology Informatics and Engineering 4, no. 1 (2025): 171–89. https://doi.org/10.51903/jtie.v4i1.296.

Повний текст джерела

Анотація:

The rise of digital healthcare has intensified concerns over data privacy, particularly in cross-institutional medical data exchanges. This study introduces a blockchain-based protocol leveraging Zero-Knowledge Proofs (ZKP), specifically zk-SNARK, to enable verifiable yet privacy-preserving health data sharing. Built on a permissioned Ethereum blockchain, the protocol ensures that medical data validity can be confirmed without disclosing sensitive content. System implementation involves Python-based zk-circuits, smart contracts in Solidity, and RESTful APIs supporting HL7 FHIR formats for inte

Стилі APA, Harvard, Vancouver, ISO та ін.

Lemus-Zúñiga, Lenin-Guillermo, Juan M. Félix, Alvaro Fides-Valero, José-Vte Benlloch-Dualde, and Antonio Martinez-Millana. "A Proof-of-Concept IoT System for Remote Healthcare Based on Interoperability Standards." Sensors 22, no. 4 (2022): 1646. http://dx.doi.org/10.3390/s22041646.

Повний текст джерела

Анотація:

The Internet of Things paradigm in healthcare has boosted the design of new solutions for the promotion of healthy lifestyles and the remote care. Thanks to the effort of academia and industry, there is a wide variety of platforms, systems and commercial products enabling the real-time information exchange of environmental data and people’s health status. However, one of the problems of these type of prototypes and solutions is the lack of interoperability and the compromised scalability in large scenarios, which limits its potential to be deployed in real cases of application. In this paper,

Стилі APA, Harvard, Vancouver, ISO та ін.

Klausen, Tobias, Valentin Hartig, Dominik Fuchs, et al. "A Digital Vaccination Pass Using Fast Healthcare Interoperability Resources: A Proof of Concept." Digital 4, no. 2 (2024): 389–409. http://dx.doi.org/10.3390/digital4020019.

Повний текст джерела

Анотація:

The traditional manual recording of vaccination records in Germany faced challenges during the COVID-19 pandemic, prompting the introduction of a COVID smartphone app with QR codes. However, this solution brought new challenges, emphasizing the need for a centrally managed European digital vaccination record for efficiency and validity. This study assesses the feasibility of using the HL7 FHIR standard in the healthcare industry for implementing a digital vaccination pass management and monitoring system. The system aims to offer convenience and improved efficiency for both patients and health

Стилі APA, Harvard, Vancouver, ISO та ін.

Kumar, Adarsh, Deepak Kumar Sharma, Anand Nayyar, Saurabh Singh, and Byungun Yoon. "Lightweight Proof of Game (LPoG): A Proof of Work (PoW)’s Extended Lightweight Consensus Algorithm for Wearable Kidneys." Sensors 20, no. 10 (2020): 2868. http://dx.doi.org/10.3390/s20102868.

Повний текст джерела

Анотація:

In healthcare, interoperability is widely adopted in the case of cross-departmental or specialization cases. As the human body demands multiple specialized and cross-disciplined medical experiments, interoperability of business entities like different departments, different specializations, the involvement of legal and government monitoring issues etc. are not sufficient to reduce the active medical cases. A patient-centric system with high capability to collect, retrieve, store or exchange data is the demand for present and future times. Such data-centric health processes would bring automate

Стилі APA, Harvard, Vancouver, ISO та ін.

Trivedi, Sapna, Stephen Hall, Fiona Inglis, and Afzal Chaudhry. "Proof-of-concept solution to create an interoperable timeline of healthcare data." BMJ Health & Care Informatics Online 30, no. 1 (2023): e100754. http://dx.doi.org/10.1136/bmjhci-2023-100754.

Повний текст джерела

Анотація:

ObjectivesTo overcome the barriers of interoperability by sharing simulated patient data from different electronic health records systems and presenting them in an intuitive timeline of events.MethodsThe ‘Patient Story’ software comprising database and blockchain, PS Timeline Windows interface, PS Timeline Web interface and network relays on Azure cloud was customised for Epic and Lorenzo electonic patient record (EPR) systems used at different hospitals, using site-specific adapters.ResultsEach site could view their own clinical documents and view each other’s site specific, fully coded test

Стилі APA, Harvard, Vancouver, ISO та ін.

Santiago Luis Delgado, Mateo Santos, and Carlos Mateo Ramirez. "Blockchain Technology for Secure Digital Health Records in Pediatric Care." Proceeding of The International Conference of Inovation, Science, Technology, Education, Children, and Health 4, no. 2 (2024): 329–33. https://doi.org/10.62951/icistech.v4i2.133.

Повний текст джерела

Анотація:

Blockchain technology is gaining attention in healthcare for its potential to secure and streamline digital health records. This paper explores how blockchain can enhance the security, accessibility, and interoperability of pediatric health data. By providing a decentralized and tamper-proof system, blockchain can address issues related to data privacy, patient consent, and medical history tracking in children's healthcare.

Стилі APA, Harvard, Vancouver, ISO та ін.

Shailesh Shetty S. "A Private Blockchain Based Approach for Securing Clinical Trials Data to Provide Data Security and Interoperability." Journal of Information Systems Engineering and Management 10, no. 33s (2025): 1139–49. https://doi.org/10.52783/jisem.v10i33s.6724.

Повний текст джерела

Анотація:

This research proposes a Blockchain-driven solution for enhancing the integrity and security of clinical trials, introducing a specialized system called Blockchain for Securing Clinical Trials (BC-SCT). The system reimagines traditional clinical trial data management by offering a decentralized, tamper-resistant platform that ensures trust, transparency, and efficiency across stakeholders including researchers, sponsors, and regulatory bodies.BC-SCT employs modern consensus mechanisms such as Proof-of-Authority (PoA) and Delegated Proof of Stake (DPoS) to significantly reduce transaction proce

Стилі APA, Harvard, Vancouver, ISO та ін.

Bai, Tianyu, Yangsheng Hu, Jianfeng He, Hongbo Fan, and Zhenzhou An. "Health-zkIDM: A Healthcare Identity System Based on Fabric Blockchain and Zero-Knowledge Proof." Sensors 22, no. 20 (2022): 7716. http://dx.doi.org/10.3390/s22207716.

Повний текст джерела

Анотація:

The issue of identity authentication for online medical services has been one of the key focuses of the healthcare industry in recent years. Most healthcare organizations use centralized identity management systems (IDMs), which not only limit the interoperability of patient identities between institutions of healthcare, but also create isolation between data islands. The more important matter is that centralized IDMs may lead to privacy disclosure. Therefore, we propose Health-zkIDM, a decentralized identity authentication system based on zero-knowledge proof and blockchain technology, which

Стилі APA, Harvard, Vancouver, ISO та ін.

L'Amrani, Hasnae, Younès El Bouzekri El Idrissi, and Rachida Ajhoun. "Technical Interoperability to Solve Cross-Domain Issues Among Federation Systems." International Journal of Smart Security Technologies 7, no. 1 (2020): 21–40. http://dx.doi.org/10.4018/ijsst.2020010102.

Повний текст джерела

Анотація:

Digital identity management with the metamorphosis of web services enforces new security challenges. A set of identity management systems exists to deal with these identities, alongside the goal of improving user experience and gain secure access. Nowadays, one faces a large number of heterogeneous identity management approaches. This study treated several identity management systems. The federated system makes proof of it eligibility for the identity management. Thus, the researcher interest is on the federated model. Since it consists of the distribution of digital identity between different

Стилі APA, Harvard, Vancouver, ISO та ін.

Ahmad, Hafiz Farooq, Fatimah Mohammad Alhassan, Asrar Haque, and Sarah Shafqat. "A Secure Architecture for Interoperable Personal Health Records (PHR) Based on Blockchain and FHIR." Journal of Pioneering Medical Sciences 14, no. 2 (2025): 42–48. https://doi.org/10.47310/jpms2025140207.

Повний текст джерела

Анотація:

Personal Health Records (PHRs) would empower patients play active role for quality healthcare provision and access for routine checkup and self-care management. There is a need to recognize security, privacy and interoperability issues for successful design, implementation and adoption of PHR at a wider scale. However, it is one of the greatest challenges to achieve interoperability, security and privacy simultaneously in healthcare domain. Health Level Seven (HL7) international standards body is working to propose interoperability standards for healthcare information systems. However, privacy

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Дисертації з теми "Proof system interoperability"

Cauderlier, Raphaël. "Object-Oriented Mechanisms for Interoperability Between Proof Systems." Thesis, Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1065/document.

Повний текст джерела

Анотація:

Dedukti est un cadre logique résultant de la combinaison du typage dépendant et de la réécriture. Il permet d'encoder de nombreux systèmes logiques au moyen de plongements superficiels qui préservent la notion de réduction. Ces traductions de systèmes logiques dans un format commun sont une première étape nécessaire à l'échange de preuves entre ces systèmes. Cet objectif d'interopérabilité des systèmes de preuve est la motivation principale de cette thèse. Pour y parvenir, nous nous inspirons du monde des langages de programmation et plus particulièrement des langages orientés-objet parce qu'i

Стилі APA, Harvard, Vancouver, ISO та ін.

Cauderlier, Raphaël. "Object-Oriented Mechanisms for Interoperability Between Proof Systems." Electronic Thesis or Diss., Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1065.

Повний текст джерела

Анотація:

Стилі APA, Harvard, Vancouver, ISO та ін.

Thiré, François. "Interoperability between proof systems using the logical framework Dedukti." Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG053.

Повний текст джерела

Анотація:

Il existe aujourd'hui une large famille de systèmes de preuve baséesur différentes logiques: Le calcul des constructions inductives, lalogique d'ordre supérieur, la théorie des ensembles, etc... Undésavantage majeur de cette diversité est, que les théorèmes sontprouvés de nombreuses fois. Une possibilité pour résoudre ce problèmeest de rendre les systèmes de preuve interoperables. Dans cette thèse,nous avons attaqué le problème d'interopérabilité entre systèmes depreuve aussi bien sur le plan théorique que le plan pratique enutilisant le cadre logique Dedukti.Notre voyage commence avec l'explo

Стилі APA, Harvard, Vancouver, ISO та ін.

Felicissimo, Thiago. "Generic bidirectional typing in a logical framework for dependent type theories." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG049.

Повний текст джерела

Анотація:

Les théories des types dépendants sont des systèmes formels qui peuvent être utilisés à la fois comme langages de programmation et pour la formalisation des mathématiques, et constituent la base de plusieurs assistants de preuve tels que Coq et Agda. Afin d'unifier leur étude, les Logical Frameworks (LFs) fournissent un méta-langage unifié permettant de définir ces théories, dans lequel diverses notions universelles sont intégrées par défaut et où des méta-théorèmes génériques peuvent être prouvés. Cette thèse se concentre sur les LFs conçus pour être implémentés, avec pour objectif de fournir

Стилі APA, Harvard, Vancouver, ISO та ін.

Grienenberger, Emilie. "Combining computational theories." Electronic Thesis or Diss., université Paris-Saclay, 2025. http://www.theses.fr/2025UPASG011.

Повний текст джерела

Анотація:

Les vérificateurs et assistants de preuve sont utilisés pour formaliser des théorèmes mathématiques et la vérification logicielle, notamment de systèmes critiques tels que des sytèmes médicaux, industriels ou de transport. La diversité des systèmes de preuves soulève la question de leur interopérabilité : comment revérifier ou réutiliser des preuves d'un système dans un autre ? Des cadres logiques tels que le lambdaPi-calcul modulo théorie procurent un formalisme commun dans lequel peuvent être exprimées divers systèmes logiques et théories mathématiques. Des outils de transformation de preuve

Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "Proof system interoperability"

Folino, Antonietta, and Roberto Guarasci, eds. Knowledge Organization and Management in the Domain of Environment and Earth Observation (KOMEEO). Ergon – ein Verlag in der Nomos Verlagsgesellschaft, 2022. http://dx.doi.org/10.5771/9783956508752.

Повний текст джерела

Анотація:

The volume contains the proceedings of the KOMEEO (Knowledge Organization and Management in the domain of Environment and Earth Observation) international conference, organized in the field of the European ERA-PLANET (The European Network for observing our changing Planet) H2020 program. Papers present research projects and experiences related to different aspects of organizing knowledge in the environmental domain, which nowadays is receiving great attention from the European Union. In particular, they address topics related to Knowledge Organization Systems (KOSs), to their application in sp

Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "Proof system interoperability"

Dowek, Gilles. "From the Universality of Mathematical Truth to the Interoperability of Proof Systems." In Automated Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_2.

Повний текст джерела

Анотація:

AbstractThe development of computerized proof systems, such as Coq, Matita, Agda, Lean, HOL 4, HOL Light, Isabelle/HOL, Mizar, etc. is a major step forward in the never ending quest of mathematical rigor.

Стилі APA, Harvard, Vancouver, ISO та ін.

Storck Michael, Hollenberg Luca, Dugas Martin, and Soto-Rey Iñaki. "Interoperability Improvement of Mobile Patient Survey (MoPat) Implementing Fast Health Interoperability Resources (FHIR)." In Studies in Health Technology and Informatics. IOS Press, 2019. https://doi.org/10.3233/978-1-61499-959-1-141.

Повний текст джерела

Анотація:

Despite the advances in health information technology and the increasing usage of electronic systems, syntactic and semantic interoperability between different health information systems remains challenging. An emerging standard to tackle interoperability issues is HL7 FHIR, which uses modern web technologies for communication like Representational State Transfer. The electronic patient reported outcome system Mobile Patient Survey (MoPat) was adapted to support metadata import and clinical data export using HL7 FHIR. Thereby, the data models of HL7 FHIR and MoPat were compared and the existin

Стилі APA, Harvard, Vancouver, ISO та ін.

Urbauer Philipp, Kmenta Maximilian, Frohner Matthias, Mense Alexander, and Sauermann Stefan. "Propose of Standards Based IT Architecture to Enrich the Value of Allergy Data by Telemonitoring Data." In Studies in Health Technology and Informatics. IOS Press, 2017. https://doi.org/10.3233/978-1-61499-759-7-136.

Повний текст джерела

Анотація:

Interoperability is a key requirement for any IT-System to be future proof and cost efficient, due to the increasing interaction of IT-Systems in Healthcare. This feasibility study is part of a larger project focusing on the conceptualization and evaluation of interoperable and modular IT-Framework components for exchanging big data information sets. Hence, this project investigates the applicability of a standard based IT-Architecture for the integration of Personal Health Devices data and open data sources. As a proof of concept use case, pollen forecast data from the Medical University of V

Стилі APA, Harvard, Vancouver, ISO та ін.

Abreu Maia Thais, Fernandes De Muylder Cristiana, and Mendonça Queiroga Rodrigo. "Archetype Development Process of Electronic Health Record of Minas Gerais." In Studies in Health Technology and Informatics. IOS Press, 2015. https://doi.org/10.3233/978-1-61499-564-7-938.

Повний текст джерела

Анотація:

The Electronic Health Record (EHR) supports health systems and aims to reduce fragmentation, which will enable continuity of patient care. The paper's main objective is to define the steps, roles and artifacts for an archetype development process (ADP) for the EHR at the Brazilian National Health System (SUS) in the State of Minas Gerais (MG). This study was conducted using qualitative analysis based upon an applied case. It had an exploratory purpose metodologically defined in four stages: literature review; descriptive comparison; proposition of an archetype development process and proof of

Стилі APA, Harvard, Vancouver, ISO та ін.

Dustdar, Schahram, Harald Gall, and Roman Schmidt. "Web Services for Groupware." In Service-Oriented Software System Engineering. IGI Global, 2005. http://dx.doi.org/10.4018/978-1-59140-426-2.ch017.

Повний текст джерела

Анотація:

While some years ago the focus of many Groupware systems has been on the support of Web based information systems to support access with Web browsers, the focus today is shifting towards a programmatic access to software services, regardless of their location and the application used to manipulate those services. Whereas the goal of Web Computing has been to support group work on the Web (browser), Web services support for Groupware has the goal to provide interoperability between many Groupware systems. The contribution of this chapter is threefold: (1) to present a framework consisting of th

Стилі APA, Harvard, Vancouver, ISO та ін.

Hochedlinger Nina, Nitzlnader Michael, Falgenhauer Markus, et al. "Standardized Data Sharing in a Paediatric Oncology Research Network – A Proof-of-Concept Study." In Studies in Health Technology and Informatics. IOS Press, 2015. https://doi.org/10.3233/978-1-61499-524-1-27.

Повний текст джерела

Анотація:

Data that has been collected in the course of clinical trials are potentially valuable for additional scientific research questions in so called secondary use scenarios. This is of particular importance in rare disease areas like paediatric oncology. If data from several research projects need to be connected, so called Core Datasets can be used to define which information needs to be extracted from every involved source system. In this work, the utility of the Clinical Data Interchange Standards Consortium (CDISC) Operational Data Model (ODM) as a format for Core Datasets was evaluated and a

Стилі APA, Harvard, Vancouver, ISO та ін.

Baihan, Mohammed S., Yaira K. Rivera Sánchez, Xian Shao, Christopher Gilman, Steven A. Demurjian, and Thomas P. Agresta. "A Blueprint for Designing and Developing M-Health Applications for Diverse Stakeholders Utilizing FHIR." In Advances in Healthcare Information Systems and Administration. IGI Global, 2018. http://dx.doi.org/10.4018/978-1-5225-5036-5.ch006.

Повний текст джерела

Анотація:

FHIR standard is designed to enable interoperability and integration with the newest and adopted technologies by the industry. This chapter presents a number of blueprints for the design and development of FHIR servers that enable the integration between HIT systems with m-health applications via FHIR. Each blueprint is based on the location that FHIR servers can be placed with respect to the components of the m-health application (UI, API, server) or a HIT system in order to define and design the necessary infrastructure to facilitate the exchange of information via FHIR. To demonstrate the f

Стилі APA, Harvard, Vancouver, ISO та ін.

Manivel, P., and Ramesh Kumar Yadav. "Blockchain and Smart Contracts for Secure, Transparent, and Immutable Student Feedback Management in OBE." In Artificial Intelligence-Powered Learning Analytics and Student Feedback Mechanisms for Dynamic Curriculum Enhancement and Continuous Quality Improvement in Outcome-Based Education. RADemics Research Institute, 2025. https://doi.org/10.71443/9789349552531-08.

Повний текст джерела

Анотація:

Blockchain technology has emerged as a transformative solution for ensuring transparency, security, and immutability in student feedback management within OBE frameworks. Traditional feedback systems often suffer from inefficiencies, data manipulation risks, and lack of trust, necessitating the integration of decentralized and tamper-proof mechanisms. This book chapter explores the potential of blockchain and smart contracts in addressing these challenges by establishing a secure, transparent, and immutable student feedback system. The study examines the scalability limitations of blockchain n

Стилі APA, Harvard, Vancouver, ISO та ін.

Rinner Christoph and Duftschmid Georg. "Bridging the Gap between HL7 CDA and HL7 FHIR: A JSON Based Mapping." In Studies in Health Technology and Informatics. IOS Press, 2016. https://doi.org/10.3233/978-1-61499-645-3-100.

Повний текст джерела

Анотація:

The Austrian electronic health record (EHR) system ELGA went live in December 2016. It is a document oriented EHR system and is based on the HL7 Clinical Document Architecture (CDA). The HL7 Fast Healthcare Interoperability Resources (FHIR) is a relatively new standard that combines the advantages of HL7 messages and CDA Documents. In order to offer easier access to information stored in ELGA we present a method based on adapted FHIR resources to map CDA documents to FHIR resources. A proof-of-concept tool using Java, the open-source FHIR framework HAPI-FHIR and publicly available FHIR servers

Стилі APA, Harvard, Vancouver, ISO та ін.

Xu, Ronghua, Deeraj Nagothu, and Yu Chen. "AR-Edge: Autonomous and Resilient Edge Computing Architecture for Smart Cities." In Edge Computing - Architecture and Applications for Smart Cities [Working Title]. IntechOpen, 2024. http://dx.doi.org/10.5772/intechopen.1005876.

Повний текст джерела

Анотація:

With the rapid advancements in artificial intelligence (AI), the Internet of Things (IoT), and network communication technologies, recent years have witnessed a boom in smart cities that has dramatically changed human life and society. While many smart city applications rely on cloud servers, enabling comprehensive information fusion among users, smart devices, and service providers to provide diverse, intelligent applications, IoT networks’ high dynamicity and heterogeneity also bring performance, security, and interoperability challenges to centralized service frameworks. This chapter introd

Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Proof system interoperability"

Miranda, Nelson, Matheus Matos Machado, and Dilvan A. Moreira. "OntoDrug: Enhancing Brazilian Health System Interoperability with a National Medication Ontology." In Proceedings of the Brazilian Symposium on Multimedia and the Web. Sociedade Brasileira de Computação - SBC, 2024. http://dx.doi.org/10.5753/webmedia.2024.242062.

Повний текст джерела

Анотація:

This paper presents OntoDrug, an ontology designed to enhance medicine management in Brazil by integrating regulatory frameworks and standardizing terminologies. OntoDrug improves patient safety and treatment efficacy by accurately identifying and classifying medications and supporting interoperability with health information systems. A proof-of-concept application integrated into the Hospital das Clínicas de Marília’s hospital EHR system demonstrated OntoDrug’s utility, achieving high precision and recall. An experimental study using large language models grounded on the ontology achieved, us

Стилі APA, Harvard, Vancouver, ISO та ін.

Severo, Liverson Paulo Furtado, and Jean Everson Martina. "Digital Prescription and Dispensation of Medications." In Simpósio Brasileiro de Sistemas de Informação. Sociedade Brasileira de Computação, 2025. https://doi.org/10.5753/sbsi.2025.246608.

Повний текст джерела

Анотація:

Context: In Brazil, the prescription and dispensing of medications remain largely manual, relying on physical documents. This approach poses challenges for security, traceability, and regulatory compliance, especially for controlled substances. Problem: Manual systems are insufficient for tracking medication dispensing, preventing misuse, and ensuring interoperability between healthcare providers and pharmacies. Solution: This study proposes a system that integrates the FHIR interoperability standard, adapted to produce self-contained documents, with JAdES digital signatures for secure and aut

Стилі APA, Harvard, Vancouver, ISO та ін.

Henry, Chris, and Steven Grant. "Implementing New Automated Ticketing Technology at Virginia Railway Express." In 2012 Joint Rail Conference. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/jrc2012-74054.

Повний текст джерела

Анотація:

Virginia Railway Express (VRE) is at a crossroads at a key time with its current technology. In the near future, VRE will be required to replace its existing Automated Fare Collection (AFC) system. While this may not initially sound so different from what all rail agencies must eventually go through, ensuring that the system can be integrated into its neighboring Washington Metropolitan Area Transit Authority’s (WMATA) impending New Electronic Payments Program (NEPP) is a completely different story, and for many reasons. VRE is a key regional partner of WMATA and, as such, the two work hand-in

Стилі APA, Harvard, Vancouver, ISO та ін.

Saylor, Kase J., Cyril F. Meyer, Theodore Wilmes, and Michael S. Moore. "ADVANCED SA – MODELING AND VISUALIZATION ENVIRONMENT." In 2024 NDIA Michigan Chapter Ground Vehicle Systems Engineering and Technology Symposium. National Defense Industrial Association, 2024. http://dx.doi.org/10.4271/2024-01-3246.

Повний текст джерела

Анотація:

<title>ABSTRACT</title> <p>In this paper, we present a proof-of-concept prototype system created in an applied research and development effort at Southwest Research Institute. The Advanced Situational Awareness (ASA) Modeling and Visualization Environment is a response to the need for applications that improve the value and presentation of situational awareness information by leveraging the increased integration of sensors, Command, Control, Communications, Computers, Intelligence, Surveillance, and Reconnaissance (C4ISR), and Electronic Warfare (EW) systems with networks in

Стилі APA, Harvard, Vancouver, ISO та ін.

Rahamtallah, M., A. Abri, W. Abdel Rahman, and Q. AlZain. "Building the Next-Generation Process Automation System: An O-PAS Field Pilot Initiative Between Schneider Electric & Petroleum Development Oman." In International Petroleum Technology Conference. IPTC, 2024. http://dx.doi.org/10.2523/iptc-24610-ea.

Повний текст джерела

Анотація:

The evolution of process automation has been largely dominated by legacy control systems. Although these systems are reliable and robust, they are closed, proprietary in nature. These legacy systems have costs of upgrades and maintenance, due to the specific, custom nature of their components and the lack of interoperability between different systems. Additionally, system security often comes as an afterthought and maintenance updates are required after install to maintain the current level of security or regulatory standards, especially in an increasingly connected world. Industrial manufactu

Стилі APA, Harvard, Vancouver, ISO та ін.

Santos, Nuno, Paula Monteiro, Francisco Morais, et al. "Towards Implementing a Collaborative Manufacturing Cloud Platform: Experimenting Testbeds Aiming Asset Efficiency." In ASME 2020 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/imece2020-24044.

Повний текст джерела

Анотація:

Abstract Developing Industrial Internet of Things (IIoT) systems requires addressing challenges that range from acquiring data at the level of the shopfloor, integrated at the edge level and managing it at the cloud level. Managing manufacturing operations at the cloud level arose the opportunity for extending decisions to entities of the supply chain in a collaborative way. Not only it has arisen many challenges due to several interoperability needs; but also in properly defining an effective way to take advantage of the available data, leading to Industrial Digital Thread (IDT) and Asset Eff

Стилі APA, Harvard, Vancouver, ISO та ін.

Huang, G. Q., S. Bin, and K. L. Mak. "ppXML: Towards Generic and Extensible Modelling of Platform Products." In ASME 2003 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/detc2003/cie-48222.

Повний текст джерела

Анотація:

ppXML is an information infrastructure that enables and facilitates meaningful information and knowledge management within and interoperability between web services (applications) for Platform Product Development (PPD) — a formidable approach to agile product development (APD) for mass customization (MC). There are four folds of meanings in ppXML. Firstly, ppXML represents a set of constructs that are consistent with concepts and methods of Platform Product Development for Mass Customization. Secondly, derived from XML (eXtensible Markup Language) as a sublanguage, ppXML is a standard and yet

Стилі APA, Harvard, Vancouver, ISO та ін.

Banerjee, Subharthi, Michael Hempel, Pejman Ghasemzadeh, Hamid Sharif, and Tarek Omar. "Wireless Communication for High-Speed Passenger Rail Services: A Study on the Design and Evaluation of a Unified Architecture." In 2020 Joint Rail Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/jrc2020-8068.

Повний текст джерела

Анотація:

Abstract High-speed trains, though prevalent in Europe and Asia, are not yet a reality in the US. But interest and industry engagement are growing, especially around commercial hubs close to commuter homes for alleviating commute times. With support from the Federal Railroad Administration in the United States, the authors are exploring the design requirements, challenges, and technology capabilities for wireless communication between passenger cars, on-board systems and with trackside infrastructure, all using next-generation radio access technologies. Key aspects of this work focus on intero

Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Proof system interoperability"

Shapovalov, Yevhenii B., Viktor B. Shapovalov, Roman A. Tarasenko, Stanislav A. Usenko, and Adrian Paschke. A semantic structuring of educational research using ontologies. [б. в.], 2021. http://dx.doi.org/10.31812/123456789/4433.

Повний текст джерела

Анотація:

This article is devoted to the presentation of the semantic interoperability of research and scientific results through an ontological taxonomy. To achieve this, the principles of systematization and structuration of the scientific/research results in scientometrics databases have been analysed. We use the existing cognitive IT platform Polyhedron and extend it with an ontology-based information model as main contribution. As a proof-of-concept we have modelled two ontological graphs, “Development of a rational way for utilization of methane tank waste at LLC Vasylkivska poultry farm” and “Dev

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!