Results 71 to 80 of about 1,240,536 (266)
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source
Proof Planning and Configuration [PDF]
, 1996 This paper presents two configuration problems: that of configuring computer hardware to meet a given specification, and an “engineer-and-made-to-order” problem in the domain of breathing air compressor production.
Bundy, Alan, Pechouchek, M., Lowe, H.
core
Optimizing photoexcitation conditions for time‐resolved X‐ray solution scattering experiments
FEBS Open Bio, EarlyView.Time‐resolved X‐ray solution scattering (TR‐XSS) is a powerful technique to visualize how proteins change their structure in real time after light activation. Selecting the right laser photoexcitation conditions—fluence, excitation geometry, and sample refresh rate—is critical to maximize the experimental signal while avoiding unwanted side effects ...
Matteo Levantino
wiley +1 more source
FEBS Open Bio, EarlyView.We describe detailed protocols for the purification and preparation of Marchantia polymorpha Auxin Response Factor 2 (MpARF2). This protein is fused to an MBP solubility tag and an mNG fluorescent tag and is purified from Escherichia coli. The presented procedures make it possible to study MpARF2 assemblies, which could arise from phase separation ...
Bas Janssen +5 more
wiley +1 more source
Proof-Carrying Code in a Session-Typed Process Calculus [PDF]
, 2011 Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dependent session types to express proof-carrying communication.
Luis Caires +5 more
core +1 more source
FEBS Open Bio, EarlyView.The presence of biotin‐binding avidin proteins in fish and their biological significance are poorly characterized. We cataloged fish avidins and demonstrate that they are widely present and evolutionarily conserved. We created avd knockout zebrafish and show that zebavidin is dispensable for development and that resistance of avd knockout embryos in ...
Anni K. Saralahti +5 more
wiley +1 more source
Five‐Year Disease Progression in Synuclein Seeding Positive Sporadic Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To provide a comprehensive description of disease progression in synuclein seeding assay (SAA) positive sporadic Parkinson Disease participants, using Neuronal Synuclein Disease integrated biological and functional impairment staging framework.
Paulina Gonzalez‐Latapi +19 more
wiley +1 more source
Coalition-proof supply function equilibria under capacity constraints [PDF]
, 2005 Whereas in the absence of capacity constraints the Cournot outcome is the unique coalition-proof supply function equilibrium outcome, the presence of capacity constraints may enlarge the set of equilibrium outcomes.
Delgado, Juan
core
Compact Proof Certificates for Linear Logic [PDF]
, 2012 International audienceLinear logic is increasingly being used as a tool for communicating reasoning agents in domains such as authorization, access control, electronic voting, etc., where proof certificates represent evidence that must be verified by ...
Kaustuv Chaudhuri, Chaudhuri, Kaustuv
core +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objectives Retrograde trans‐synaptic degeneration (rTSD) from posterior visual pathway lesions in multiple sclerosis (MS) is characterized by hemi‐macular ganglion cell‐inner plexiform layer (GCIPL) thinning and contralateral visual field loss.
Abdul Jaber Tayem +17 more
wiley +1 more source