Results 81 to 90 of about 5,721,777 (374)
Formal proof for delayed finite field arithmetic using floating point operators [PDF]
, 2008 Formal proof checkers such as Coq are capable of validating proofs of correction of algorithms for finite field arithmetics but they require extensive training from potential users.
Boldo, Sylvie +2 more
core +3 more sources
FEBS Letters, EarlyView.Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Wave Resistance Caused by a Point Load Steadily Moving on the Surface of a Floating Viscoelastic Plate [PDF]
, 2023 Zi Qi Wang, Dong Qiang Lu
openalex +1 more source
Reciprocal control of viral infection and phosphoinositide dynamics
FEBS Letters, EarlyView.Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley +1 more source
Journal of Marine Science and EngineeringIntegrating wave energy converters (WECs) onto floating offshore wind turbine platforms has emerged as a recent focal point of research aiming to achieve synergistic marine energy utilization and enhance the spatial efficiency of renewable energy.
Mingsheng Chen +7 more
doaj +1 more source
An 826 MOPS, 210 uW/MHz Unum ALU in 65 nm
, 2017 To overcome the limitations of conventional floating-point number formats, an interval arithmetic and variable-width storage format called universal number (unum) has been recently introduced.
Benini, Luca +5 more
core +1 more source
A Cre‐dependent lentiviral vector for neuron subtype‐specific expression of large proteins
FEBS Letters, EarlyView.We designed a versatile and modular lentivector comprising a Cre‐dependent switch and self‐cleaving 2A peptide and tested it for co‐expression of GFP and a 2.8 kb gene of interest (GOI) in mouse cortical parvalbumin (PV+) interneurons and midbrain dopamine (TH+) neurons.
Weixuan Xue +6 more
wiley +1 more source
Efficient automated repair of high floating-point errors in numerical libraries
Proc. ACM Program. Lang., 2019 Floating point computation is by nature inexact, and numerical libraries that intensively involve floating-point computations may encounter high floating-point errors.
Xin Yi +3 more
semanticscholar +1 more source
By dawn or dusk—how circadian timing rewrites bacterial infection outcomes
FEBS Letters, EarlyView.The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo +2 more
wiley +1 more source