Results 61 to 70 of about 14,367 (205)
Biotechnology and Applied Biochemistry, EarlyView.ABSTRACT Global warming and industrial pollutants pose significant threats to environmental sustainability. In response, enzymes have emerged as promising tools for mitigating pollution. Enzymatic hydrolysis is considered environmentally sustainable due to its biological nature.
Gustavo Marques Serra +4 more
wiley +1 more source
Models of arithmetic and rich theories
, 2009 In the present thesis we study the domain of Peano products (in a given model of the Presburger arithmetic (Pr)) as a potentially possible base for a construction of models of the Peano arithmetic (PA).
Glivický, Petr
core
British Journal of Clinical Pharmacology, EarlyView.Aim There is an unmet need for more effective therapies in inflammatory bowel disease (IBD). A single drug that blocks multiple distinct pathogenic pathways may offer therapeutic benefit superior to current monotherapies. PF‐07261271, a bispecific antibody targeting both the p40 subunit of interleukin‐12/23 and tumour necrosis factor‐like cytokine 1A ...
Srividya Neelakantan +11 more
wiley +1 more source
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
Internal Categoricity in Arithmetic and Set Theory
, 2012 Second order logic was originally considered as an innocuous variant of first order logic in the works of Hilbert. Later study reveals that the analogy with first order logic does not do full justice to second order logic.
Väänänen, Jouko, Wang, Tong
core
Pharmacometric evaluation of pre‐referral rectal artesunate in children with severe malaria
British Journal of Clinical Pharmacology, EarlyView.Aims Parenteral artesunate is the preferred first‐line treatment for severe malaria. Pre‐referral rectal artesunate suppositories are recommended where parenteral treatment is inaccessible. In this study, we compared dihydroartemisinin exposure and model‐predicted early parasite clearance following rectal artesunate and intravenous artesunate in ...
Ayorinde Adehin +6 more
wiley +1 more source
British Journal of Clinical Pharmacology, EarlyView.Abstract Cyclizine is a long‐established, short‐acting drug, registered for preventing motion sickness, post‐operative nausea and vomiting (PONV) and ‘vomiting of known cause’. The latter is not defined but may include pregnancy and patients receiving palliative care, historically accepted without large, controlled trials.
Gareth J. Sanger, Paul L. R. Andrews
wiley +1 more source
British Educational Research Journal, EarlyView.Abstract There is currently a gap in knowledge around pupils' growth mindset (GM) and attainment in Scotland, particularly in relation to Socioeconomic Status (SES). This study offers insights on the relevance of growth mindset in Scotland for attainment in mathematics by drawing on large‐scale data from the OECD's Programme for International Student ...
Catherine Reid, Ellen Boeren
wiley +1 more source
Preperiodic points for rational functions defined over a rational function field of characteristic zero [PDF]
, 2015 Let k be an algebraically closed field of characteristic zero. Let K be the rational function field K=k(t). Let ϕ be a nonisotrivial rational function in K(z).
Canci, Jung Kyu
core
Remarks on Grassmann's arithmetic
, 2015 Praca Hermanna Grassmanna z roku 1861 była pierwszą próbę aksjomatycznego ujęcia arytmetyki (liczb całkowitych z wyróżnionym podzbiorem liczb dodatnich). Znaczenie historyczne tej pracy jest ogromne, choć sama aksjomatyka okazała się niepełna. Opierając
Hanusek, Jerzy
core +1 more source