14,597 Hits in 1.8 sec

egg: Fast and Extensible Equality Saturation [article]

Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
2020 arXiv   pre-print
This work contributes two techniques that make e-graphs fast and extensible, specializing them to equality saturation.  ...  Equality saturation workloads exhibit distinct characteristics and often require ad-hoc e-graph extensions to incorporate transformations beyond purely syntactic rewrites.  ...  1813166 and 1749570.  ... 
arXiv:2004.03082v3 fatcat:jqqec6vamnaejcl2fqw3tq2nyy

Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation

Alessandro Cheli
2021 Journal of Open Source Software  
Acknowledgements We acknowledge Max Willsey and contributors for their work on the original egg library , Christopher Rackauckas and Christopher Foster for their efforts in developing RuntimeGeneratedFunctions  ...  , 2020b (Zucker, , 2020a and support during the development of the project.  ...  Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation. Journal of Open Source Software, 6(59), 3078.  ... 
doi:10.21105/joss.03078 fatcat:5nw6ru2virbbvkmmv6k6fq4lva

Exchange of monooleoylphosphatidylcholine with single egg phosphatidylcholine vesicle membranes

D.V. Zhelev
1996 Biophysical Journal  
In a previous paper we described the experiments and the framework of a model for the exchange of monooleoylphosphatidylcholine with a single egg phosphatidylcholine membrane.  ...  This relative extension of one of the monolayers induces a monolayer tension.  ...  This molar concentration of MOPC sets the limit for using the presented model for the case of fast saturation.  ... 
doi:10.1016/s0006-3495(96)79222-6 pmid:8804609 pmcid:PMC1233477 fatcat:dutiz4qmtrazrpcmc7kwwzcwgy

Chromatographic Analysis of a Mixture of Proteins from Egg White

H. A. Sober, G. Kegeles, F. J. Gutter
1949 Science  
The protein system studied, egg white albumin fractioy (5), was prepared from hen’s egg white by the addition of an equal volume of saturated ammonium sulfate and the subsequent removal of the precipitate  ...  Preliminary experience in this laboratory indicates that mixtures of ‘‘ deteriorated slow’’ brain thromboplastin with fast thromboplastin in about equal proportions give prothrombin times equal to those  ... 
doi:10.1126/science.110.2865.564 pmid:15395405 fatcat:53ud23b7jrhp7ezqhcxl2pd54y

Transcriptome analysis of the eggs of the silkworm pale red egg (rep-1) mutant at 36 hours after oviposition

Meina Wu, Pingyang Wang, Mengjie Gao, Dongxu Shen, Qiaoling Zhao, J Joe Hull
2020 PLoS ONE  
In addition, egg color gradually emerges around 36h after oviposition. The red egg mutant rep-1, which was recently discovered in the C1(H) wild-type, C1(H) exhibits a brown egg color.  ...  The egg stage is one of the most critical periods in the life history of silkworms, during which physiological processes such as sex determination, tissue organ formation and differentiation, diapause  ...  The saturation analysis indicated that saturation was reached when the sequencing percentage was approximately 40%, and all of the Quality Control Clean Read Q20(%) � 95 (Y or N) Y Y Clean Read Q30(%  ... 
doi:10.1371/journal.pone.0237242 pmid:32764803 fatcat:ghdual4l6zf5rgaoz2ox3uoh7a

Egg consumption and endothelial function: a randomized controlled crossover trial

David L. Katz, Marian A. Evans, Haq Nawaz, Valentine Yanchou Njike, Wendy Chan, Beth Patton Comerford, Martha L. Hoxley
2005 International Journal of Cardiology  
Results: FMD was stable in both egg and oat groups, and between-treatment differences were not significant (egg À 0.96%, oatmeal À 0.79%; p value > 0.05).  ...  There were no differences in body mass index (BMI), triglyceride, HDL or SBP levels between egg and oat treatment assignments.  ...  Acknowledgements Funding for this study was provided by the American Egg Board*Egg Nutrition Center/U.S.  ... 
doi:10.1016/j.ijcard.2003.11.028 pmid:15721501 fatcat:pt3sd2icivb3lpaw5etg5swvke

Effects of Insulin Resistance and Obesity on Lipoproteins and Sensitivity to Egg Feeding

R. H. Knopp
2003 Arteriosclerosis, Thrombosis and Vascular Biology  
Objective-This study was undertaken to determine if insulin resistance without and with obesity influences LDL response to dietary cholesterol and saturated fat.  ...  Mean fasting baseline LDL cholesterol (LDL-C) levels were higher in IR and OIR subjects (3.44Ϯ0.67 and 3.32Ϯ0.80 mol/L) than in IS subjects (2.84Ϯ0.75 mmol/L) (PϽ0.001).  ...  measurement of fasting total triglyceride, total cholesterol, and HDL-C.  ... 
doi:10.1161/01.atv.0000082461.77557.c7 pmid:12816878 fatcat:vqhgsu7ff5byhfrwnwlykijyia

Discrimination of Gastrointestinal Nematode Eggs from Crude Fecal Egg Preparations by Inhibitor-Resistant Conventional and Real-Time PCR

Janina Demeler, Sabrina Ramünke, Sonja Wolken, Davide Ianiello, Laura Rinaldi, Jean Bosco Gahutu, Giuseppe Cringoli, Georg von Samson-Himmelstjerna, Jürgen Krücken, Clotilde K. S. Carlow
2013 PLoS ONE  
Eggs were recovered from the flotation solution and concentrated by sieving. Lysis was achieved by repeated boiling and freezing cycles -only Trichuris eggs required additional mechanic disruption.  ...  A direct PCR from crude egg preparations was designed for full compatibility with FLOTAC to accurately quantify eggs per gram feces (epg) and determine species composition.  ...  Acknowledgments The authors would like to thank Frank Mockenhaupt (Charité, Berlin) for giving access to fecal samples, Claudia Welz (Bayer Animal Health) for providing Trichuris positive samples and Hans-Peter  ... 
doi:10.1371/journal.pone.0061285 pmid:23620739 pmcid:PMC3631180 fatcat:jjdklv6iyvbwfae2zgdwhgswli

Slow fertilization of stickleback eggs: the result of sexual conflict?

Theo C M Bakker, Marc Zbinden, Joachim G Frommen, Alexander Weiss, Carlo R Largiadèr
2006 BMC Ecology  
In this study we used two different in vitro fertilization experiments to assess how fast eggs are fertilized in sticklebacks.  ...  Such a time interval can load the raffle over fertilization if fertilization takes place very fast.  ...  the control experiment, and the Swiss National Science Foundation for financial support.  ... 
doi:10.1186/1472-6785-6-7 pmid:16712724 pmcid:PMC1481549 fatcat:ebfwkdsv2bggtibxyox3pq456m

The Evolution of Alternative Buoyancy Mechanisms in Freshwater Fish Eggs

Feng Chen, Carl Smith, Yeke Wang, Jun He, Wulai Xia, Ge Xue, Jun Chen, Ping Xie
2021 Frontiers in Ecology and Evolution  
We applied a physical model of buoyancy to understand the contributions of oil droplets and hydration to the buoyancy of pelagic freshwater fish eggs.  ...  ARTs are widespread in nature, and are a particular feature of teleost fishes. However, few studies have examined egg buoyancy mechanisms in the context of the evolution of ARTs in freshwater fishes.  ...  As the force patterns of fish eggs are concordant in seawater and freshwater, egg buoyancy is equal to the difference between the densities of water current and the egg when the pelagic egg remains in  ... 
doi:10.3389/fevo.2021.736718 fatcat:dbamswbmx5eyrmw4mhce3amlnu

Hatching the Cleidoic Egg: The Role of Thyroid Hormones

Bert De Groef, Sylvia V.H. Grommen, Veerle M. Darras
2013 Frontiers in Endocrinology  
A major life stage transition in birds and other oviparous sauropsids is the hatching of the cleidoic egg.  ...  egg, a transition in which thyroid hormones (THs) (often in concert with glucocorticoids) play an important role.  ...  tract is equally varied between species.  ... 
doi:10.3389/fendo.2013.00063 pmid:23755041 pmcid:PMC3668268 fatcat:oit7rx72jbcsvpoj5ghnjsj4zy

Oscillatory regimes in a mosquito population model with larval feedback on egg hatching [article]

Martin Strugarek, Nicolas Vauchelet, Benoît Perthame (LJLL, MAMBA), Daniel Villela
2018 arXiv   pre-print
We propose both a theoretical analysis, based on slow-fast dynamics and Hopf bifurcation, and numerical investigations in order to shed some light on the mechanisms at work in this model.  ...  We propose a simple mathematical model of egg hatching enhancement by larvae which produces such oscillations that conveys a possible explanation.  ...  Firstly (Section 3) when the quantity of eggs is large compared to the quantity of larvae, oscillations can appear and we are faced to a slow-fast oscillatory regime giving rise to oscillation profiles  ... 
arXiv:1801.03701v1 fatcat:4sb6fhdq7vbptbl66nxodlevnq

Isolation of riboflavin carrier proteins from pregnant human and umbilical cord serum: Similarities with chicken egg riboflavin carrier protein

Sandhya S. Visweswariah, P. Radhakantha Adiga
1987 Bioscience Reports  
A riboflavin carrier protein has been purified from human pregnancy and umbilical cord sera by affinity chromatography and fast protein liquid chromatography.  ...  This protein has a similar molecular weight to the chicken egg riboflavin carrier protein and shares other physicochemical properties, such as pI and riboflavin binding characteristics, with the avian  ...  We would also like to thank Dr Radha Rama Devi and Mr N. Nagaraj Rao of the Institute Health Clinic and Drs A. and K. Ganguly of Kumud Nursing Home, Bangalore for helping us procure human sera.  ... 
doi:10.1007/bf01119773 pmid:3689880 fatcat:tpll6qp26ng27mwqxovbccnhpq

Egg Size Evolution and Energetic Constraints on Population Dynamics

Paul Schliekelman, Stephen P. Ellner
2001 Theoretical Population Biology  
The model predicts egg energy in Daphnia magna well, and suggests that the observed egg energy in D. magna is the result of selection for minimal egg investment constrained by minimum viable egg energy  ...  The selection for minimal egg size pushes populations toward chaotic dynamics.  ...  Mellon Foundation to S.P.E. and Nelson G. Hairston Jr., and by a fellowship from the College of Agriculture and Life Sciences Foundation at North Carolina State University to P.S.  ... 
doi:10.1006/tpbi.2001.1524 pmid:11703099 fatcat:73grt3sai5d4zni3wqrr3s4xu4

Voltage clamp analysis of two inward current mechanisms in the egg cell membrane of a starfish

S. Hagiwara
1975 The Journal of General Physiology  
The relationship between the membrane current and the concentration of the permeant ions is also different between the two channels. The result suggests that channel II is a more saturable system.  ...  Ionic mechanisms of excitation were studied in the immature egg cell membrane of a starfish, Mediaster aequalis, by analyzing membrane currents during voltage clamp.  ...  The authors wish to thank Professors Charles Edwards and Alan D. Grinnell for their kind advice while preparing the manuscript and Dr. S. Miyazaki for giving us valuable advice during this study.  ... 
doi:10.1085/jgp.65.5.617 pmid:240906 pmcid:PMC2214882 fatcat:p5uq6qlnmfhgjirgwiibt5jivy
« Previous Showing results 1 — 15 out of 14,597 results