Results 101 to 110 of about 12,021,669 (295)
Mixed-type functional differential equations: A numerical approach [PDF]
, 2007 This is a PDF version of a preprint submitted to Elsevier. The definitive version was published in Journal of Computational and Applied Mathematics and is available at www.elsevier.comThis preprint discusses mixed-type functional ...
Ford, Neville J., Lumb, Patricia M.
core +1 more source
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
FEBS Letters, EarlyView.This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes +3 more
wiley +1 more source
Typed norms for typed logic programs [PDF]
, 1997 As typed logic programming becomes more mainstream, system building tools like partial deduction systems will need to be mapped from untyped languages to typed ones. It is important, however, when mapping techniques across that the new techniques should exploit the type system as much as possible.
Jonathan C. Martin +2 more
openaire +1 more source
Journal of Lipid Research, 2001 Lipoprotein [a] (Lp[a]) is a cholesterol-rich lipoprotein resembling LDL to which a large polymorphic glycoprotein, apolipoprotein [a] (apo[a]), is covalently coupled.
John W. Gaubatz +7 more
doaj +1 more source
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
FEBS Letters, EarlyView.This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source
, 2007 itives j A B j !A Exponentials We now reconsider the quanti ers, 8x: A and 9x: A. In the rst-order linear logic we developed, the quanti ers range over a single (unspeci ed) domain.
Linear Type Theory, J A (a J A
core
When Is a Type Refinement an Inductive Type? [PDF]
, 2011 Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information. For example, the N-indexed type of vectors refines lists by their lengths.
Atkey, Robert +2 more
openaire +3 more sources
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
BRINGING ANOTHER PERSON TO COURT [PDF]
Challenges of the Knowledge SocietyThis paper analyzes the legal framework applicable to the request for bringing another person into a civil trial, focusing on the essential conditions for submitting such a request and its legal effects within civil proceedings.
Ionuț TIRITEU
doaj