Results 61 to 70 of about 6,620,275 (309)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Internet policy and Australia’s Northern Territory Intervention
Internet Policy Review, 2017 In 2007, Australia’s Commonwealth Government took a dramatic new approach to the governance of remote Indigenous communities. The ‘Northern Territory Intervention’ aimed to combat abuse and violence in remote Indigenous communities, and included far ...
Ellie Rennie +2 more
doaj +1 more source
Advanced Science, EarlyView.This study presents a transferable modeling framework for carbon capture using aluminosilicates, integrating Universal Isotherm Modeling with experimental data. It reveals how ultramicropores, alumina content, and amine functionalization influence CO2 adsorption energetics.
Pooja Anil Kumar Nair +4 more
wiley +1 more source
Registration of Internet domain names
, 2005 Title from caption of PDF document (viewed Sept. 23, 2005).; "Effective: 08/26/2005."; Harvested from the web on 9/23/05Provides requirements for how agencies obtain and safeguard certain Internet domain names by establishing naming requirements, and a ...
Ohio. Statewide IT Policy. Investment and Governance Division
core
Improving the Prescribing Quality and Pattern of Pharmaceutical Drugs in Lebanon [PDF]
, 2016 K2P Policy Briefs bring together global research evidence, local evidence and context-specific knowledge to inform deliberations about health policies and programmes.
Akl, Elie +3 more
core
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
Advanced Science, EarlyView.Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu +8 more
wiley +1 more source
Brazilian Foreign Policy Towards Internet Governance
Revista Brasileira de Política InternacionalSnowden´s whistleblowing on the NSA program had a powerful impact in Brazil, prompting Dilma Rousseff´s administration to promote, at the United Nations, resolutions on Internet privacy, freedom of expression, as well as to host important ...
Maurício Santoro, Bruno Borges
doaj +1 more source
China’s “Gold Shield”: Monemonic Internet Practice Management Policy
RUDN Journal of Political Science, 2020 Actualization of the past is a natural manifestation of need for reflection of historical memory for society; it also pushes elites to search for new forms of “mental control” over public consciousness.
Tat’yana A. Podshibyakina
doaj +1 more source
The Internet and government disability policy in the United Kingdom
, 2010 People with disabilities represent a significant but often overlooked proportion of the British population (10 million people, 18%). They are publicly represented by organisations consisting of and managed by people with disabilities themselves (e.g ...
Power, Mary R., Power, Des
core
Addressing Limitations to Equitable Access to Healthcare Services for People Living with HIV in Lebanon [PDF]
, 2015 K2P Policy Briefs bring together global research evidence, local evidence and context-specific knowledge to inform deliberations about health policies and programmes.
El Bawab, Lamya, El-Jardali, Fadi
core