Statements (437)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:architecture
gptkb:scientific_experiments gptkb:Dog gptkb:software gptkb:Health_Insurance gptkb:Specification |
| gptkbp:activities |
Moderate
|
| gptkbp:addressed |
health disparities
vaccine distribution challenges vaccine misinformation vaccine supply chain issues logistical challenges in vaccine delivery vaccine supply shortages |
| gptkbp:advocated_for |
health experts
|
| gptkbp:aims_to |
ensure equitable access to COVID-19 vaccines
distribute 2 billion vaccine doses by the end of 2021 reduce vaccine hesitancy accelerate the development of COVID-19 vaccines support vaccine manufacturing in developing countries |
| gptkbp:architecture |
Client-server architecture
Client-Server Architecture |
| gptkbp:characteristic |
gptkb:Warning
gptkb:Friendly gptkb:voice_acting Adaptable Energetic Curious Affectionate Outgoing |
| gptkbp:coat_of_arms |
Double coat
|
| gptkbp:collaborated_with |
local governments
academic institutions international organizations research institutions non-governmental organizations |
| gptkbp:collaboration |
public and private sectors
|
| gptkbp:color |
gptkb:Black
gptkb:Red gptkb:Fawn Brindle |
| gptkbp:community |
gptkb:None
gptkb:Object_Management_Group gptkb:OMG_Community Diminishing community. Object Management Group. Diminished developer interest. Legacy Systems Community |
| gptkbp:community_role |
Good with children
Good with other pets |
| gptkbp:compatibility |
Interoperable with various programming languages.
|
| gptkbp:components |
gptkb:user_interface
gptkb:U._S._Customs_and_Border_Protection gptkb:power_adapter ORB IDL IDL, ORB. Dynamic Invocation Interface |
| gptkbp:constructed_in |
trust in vaccines
|
| gptkbp:current_status |
gptkb:Inactive
Deprecated |
| gptkbp:deployment |
On-premises.
|
| gptkbp:developed_by |
gptkb:INRIA
gptkb:Object_Management_Group |
| gptkbp:development |
community leaders
|
| gptkbp:ecosystem |
Limited ecosystem.
|
| gptkbp:enables |
communication between applications
distributed computing remote procedure calls |
| gptkbp:engages_in |
community leaders
stakeholders in health sectors |
| gptkbp:enhances |
universal health coverage
universal vaccination access |
| gptkbp:facilitates |
knowledge sharing
clinical trials distributed computing vaccine research and development vaccine education programs cross-border vaccine distribution |
| gptkbp:features |
gptkb:user_interface
gptkb:Object_request_broker gptkb:Interface_Definition_Language_(IDL) gptkb:U._S._Customs_and_Border_Protection Interoperability Object request broker. |
| gptkbp:first_released |
gptkb:1989
gptkb:1991 |
| gptkbp:focuses_on |
vaccine distribution
|
| gptkbp:fosters |
international cooperation
innovation in vaccine technology |
| gptkbp:founded_in |
gptkb:2020
|
| gptkbp:future_prospects |
Obsolescence
|
| gptkbp:governance |
gptkb:Object_Management_Group
|
| gptkbp:governed_by |
gptkb:Object_Management_Group
|
| gptkbp:grooming_needs |
Regular brushing
|
| gptkbp:has |
gptkb:Coq_IDE
gptkb:Library proof scripts Coq community tactic language Coq 8.0 version Coq 8.12 version Coq 8.13 version Coq 8.14 version Coq 8.15 version Coq proof assistant features Coq' Art book |
| gptkbp:has_achieved |
delivery of millions of vaccine doses
|
| gptkbp:has_component |
gptkb:ORB_(Object_Request_Broker)
gptkb:Servant gptkb:Apple_IIgs gptkb:Portable_Object_Adapter gptkb:customers objects stubs and skeletons IDL compiler |
| gptkbp:has_facilitated |
clinical trials for vaccines
vaccine access for healthcare workers |
| gptkbp:has_features |
gptkb:security_services
concurrency control event services transaction services |
| gptkbp:has_goal |
ending the COVID-19 pandemic
|
| gptkbp:has_limitations |
complexity
steep learning curve performance overhead |
| gptkbp:has_partnerships_with |
non-governmental organizations
|
| gptkbp:has_received |
donations from various countries
|
| gptkbp:health_issues |
Hip dysplasia
Obesity Degenerative myelopathy |
| https://www.w3.org/2000/01/rdf-schema#label |
CORBA
|
| gptkbp:includes |
gptkb:Interface_Definition_Language_(IDL)
|
| gptkbp:involved_technology |
gptkb:REST
gptkb:SOAP DCE/ RPC |
| gptkbp:involves |
over 190 countries
|
| gptkbp:is_a |
standard for software componentry
|
| gptkbp:is_a_framework_for |
distributed applications
Middleware Framework |
| gptkbp:is_a_key_component_of |
gptkb:Apple_IIgs
ORB IDL GIOP |
| gptkbp:is_adopted_by |
gptkb:Limited
Declining Declining. Less common in modern applications. Limited adoption. Used in legacy systems. Declining in modern applications. |
| gptkbp:is_aimed_at |
protecting vulnerable populations
reducing vaccine hesitancy build vaccine manufacturing capacity ending the COVID-19 pandemic |
| gptkbp:is_associated_with |
legacy systems
|
| gptkbp:is_available_on |
gptkb:Git_Hub
|
| gptkbp:is_based_on |
object-oriented programming
lambda calculus client-server model principle of equitable access |
| gptkbp:is_challenged_by |
vaccine nationalism
|
| gptkbp:is_common_in |
modern applications
|
| gptkbp:is_compared_to |
SOAP.
|
| gptkbp:is_compatible_with |
functional programming
legacy systems various network protocols |
| gptkbp:is_considered_as |
a key player in global health security
|
| gptkbp:is_critical_for |
global pandemic response
|
| gptkbp:is_criticized_for |
inequitable distribution of vaccines
slow vaccine rollout |
| gptkbp:is_designed_for |
distributed computing
interoperability heterogeneous environments |
| gptkbp:is_documented_in |
Coq reference manual
Coq documentation Coq tutorials Coq wiki |
| gptkbp:is_encouraging |
public-private partnerships
community engagement in vaccination efforts |
| gptkbp:is_engaged_in |
capacity building
community outreach |
| gptkbp:is_enhanced_by |
public health infrastructure
global vaccination rates |
| gptkbp:is_essential_for |
vaccine equity
|
| gptkbp:is_evaluated_by |
government agencies
public health experts vaccine distribution strategies global health metrics |
| gptkbp:is_focused_on |
immunization programs
vaccine equity |
| gptkbp:is_funded_by |
various governments and organizations
donor governments |
| gptkbp:is_implemented_in |
various programming languages
|
| gptkbp:is_informed_by |
gptkb:scientific_research
|
| gptkbp:is_integrated_with |
gptkb:Emacs
gptkb:VS_Code gptkb:Vim |
| gptkbp:is_involved_in |
policy advocacy
data collection and analysis logistics and supply chain management vaccine procurement vaccine research and development healthcare infrastructure development |
| gptkbp:is_known_for |
Language Neutrality
|
| gptkbp:is_linked_to |
gptkb:sustainable_development_goals
global vaccination strategy |
| gptkbp:is_maintained_by |
gptkb:Object_Management_Group
|
| gptkbp:is_monitored_by |
independent experts
vaccine effectiveness independent oversight body |
| gptkbp:is_part_of |
gptkb:Access_to_COVID-19_Tools_(ACT)_Accelerator
Distributed Systems distributed computing formal verification tools enterprise architecture middleware solutions formal methods mathematical software global vaccination efforts international health regulations global health security strategy service-oriented architecture (SOA) proof development environments distributed object computing interactive theorem provers programming languages with dependent types proof assistants family type theory systems |
| gptkbp:is_popular_in |
gptkb:United_Kingdom
gptkb:United_States gptkb:REST gptkb:SOAP |
| gptkbp:is_promoted_by |
global health advocates
|
| gptkbp:is_promoted_through |
public awareness campaigns
awareness campaigns |
| gptkbp:is_recognized_by |
international health authorities
|
| gptkbp:is_related_to |
gptkb:D-Bus
gptkb:Amazon_Web_Services gptkb:Agda gptkb:COM_(Component_Object_Model) gptkb:Isabelle gptkb:REST gptkb:SOAP Lean UML (Unified Modeling Language) Java RMI (Remote Method Invocation) DCOM (Distributed COM) |
| gptkbp:is_standardized_by |
gptkb:ISO/_IEC_19500
gptkb:1991 gptkb:ISO/_IEC OMG Specifications OMG specifications. |
| gptkbp:is_subject_to |
global health policies
|
| gptkbp:is_supported_by |
gptkb:World_Bank
gptkb:UNICEF gptkb:WHO Middleware Solutions community contributions research institutions various vendors private sector partners open-source implementations philanthropic foundations philanthropic organizations international funding mechanisms commercial implementations Coq development team |
| gptkbp:is_used_by |
gptkb:Mathematician
Software Engineers computer scientists software engineers |
| gptkbp:is_used_for |
gptkb:robotics
data exchange sensor networks program verification remote management network management system integration distributed databases software verification interoperability between applications remote method invocation hardware verification legacy system support |
| gptkbp:is_used_in |
gptkb:academic_research
gptkb:Telecommunications gptkb:cloud_computing gptkb:jet_engine gptkb:financial_services gptkb:robotics gptkb:military_defense enterprise applications banking systems real-time systems scientific computing automotive systems distributed systems aerospace systems healthcare systems industry projects legacy enterprise systems |
| gptkbp:key |
Legacy technology.
|
| gptkbp:key_concept |
gptkb:remote_control
|
| gptkbp:key_feature |
gptkb:U._S._Customs_and_Border_Protection
Language-neutral communication. |
| gptkbp:language |
IDL
|
| gptkbp:language_support |
Multiple languages
|
| gptkbp:latest_version |
gptkb:None
gptkb:CORBA_3.4 3.4 3.3 |
| gptkbp:launched |
gptkb:World_Health_Organization
gptkb:GAVI,_the_Vaccine_Alliance |
| gptkbp:legacy |
Minimal.
|
| gptkbp:license |
gptkb:Various
|
| gptkbp:lifespan |
12-15 years
|
| gptkbp:market |
Middleware Market
|
| gptkbp:market_share |
Declining.
|
| gptkbp:members |
Herding
|
| gptkbp:modern_relevance |
gptkb:Low
|
| gptkbp:notable_contributor |
global health resilience
|
| gptkbp:notable_features |
gptkb:user_interface
gptkb:U._S._Customs_and_Border_Protection Language Neutrality |
| gptkbp:notable_for |
Large ears
Short legs |
| gptkbp:notable_technique |
Jac ORB
Open ORB |
| gptkbp:notable_users |
Telecommunications Companies
Telecommunications Systems Telecommunications Industry. Telecommunications, finance. |
| gptkbp:origin |
gptkb:Wales
|
| gptkbp:originated_in |
global health initiatives.
|
| gptkbp:owner |
gptkb:Queen_Elizabeth_II
gptkb:David_Beckham gptkb:J._K._Rowling gptkb:Walt_Disney gptkb:Margaret_Thatcher |
| gptkbp:partnership |
gptkb:Coalition_for_Epidemic_Preparedness_Innovations
gptkb:CEPI gptkb:GAVI gptkb:GAVI,_the_Vaccine_Alliance |
| gptkbp:predecessor |
modern RPC frameworks
|
| gptkbp:programming_language |
gptkb:OCaml
Multiple Languages |
| gptkbp:promotes |
public health initiatives
collaboration among countries vaccine education global health collaboration global health equity health equity. vaccine literacy |
| gptkbp:provides |
gptkb:remote_control
gptkb:U._S._Customs_and_Border_Protection interoperability interactive theorem proving location transparency object lifecycle management vaccines to low-and middle-income countries object-oriented communication |
| gptkbp:recognized_by |
gptkb:American_Kennel_Club
gptkb:United_Kennel_Club gptkb:Canadian_Kennel_Club gptkb:The_Kennel_Club_(UK) |
| gptkbp:related_to |
gptkb:servers
|
| gptkbp:replaced_by |
gptkb:JDK_17
gptkb:JEP_389 gptkb:JEP_390 gptkb:None gptkb:Java_SE_11 gptkb:Java_SE_9 gptkb:JDK_11 gptkb:JDK_9 gptkb:JDK_21 gptkb:Yes alternative technologies Alternative Technologies Alternative Middleware Solutions. Modern Web Services modern alternatives Alternative Distributed Systems Alternative Middleware Solutions |
| gptkbp:reported_by |
gptkb:media_outlets
vaccine rollout progress |
| gptkbp:security_features |
authorization
encryption authentication |
| gptkbp:size |
Small
|
| gptkbp:specification |
gptkb:CORBA_3.4
|
| gptkbp:successor |
gptkb:None
gptkb:Amazon_Web_Services None. |
| gptkbp:support |
healthcare systems
emergency response efforts vaccine access for vulnerable populations |
| gptkbp:supports |
Interoperability
multiple programming languages dependent types synchronous and asynchronous communication proof automation |
| gptkbp:targets |
high-risk populations
|
| gptkbp:temperament |
gptkb:Loyal
Intelligent Playful |
| gptkbp:training |
Daily walks
Highly trainable |
| gptkbp:trends |
Integration with modern protocols.
|
| gptkbp:type_of |
gptkb:Pembroke_Welsh_Corgi
gptkb:Cardigan_Welsh_Corgi |
| gptkbp:usage |
Distributed systems.
Legacy systems Legacy systems. Interoperability between applications. Interoperability between programming languages. Interoperability between programming languages |
| gptkbp:used_for |
formal verification
Dog shows Companionship communication between software components mathematical proofs interoperability between applications Agility competitions Herding livestock Therapy work Interoperability between applications. |
| gptkbp:used_in |
gptkb:servers
Distributed Systems Distributed computing |
| gptkbp:uses |
gptkb:Object_Request_Broker_(ORB)
gptkb:Interface_Definition_Language_(IDL) |
| gptkbp:utilizes |
data analytics
|
| gptkbp:works_with |
pharmaceutical companies
manufacturers and suppliers |
| gptkbp:written_in |
IDL
|
| gptkbp:bfsParent |
gptkb:user_interface
|
| gptkbp:bfsLayer |
3
|