نتایج جستجو برای: helm
تعداد نتایج: 817 فیلتر نتایج به سال:
Felix Wieland (left) and Michael Brunner (right) After having had the privilege of serving as Managing Editor FEBS Letters for 20 years now, I feel time has to come a successor lead journal through ever-growing waves scientific publishing. My appointment at head in 2001 was result tragic death my predecessor Matti Saraste, who succeeded Giorgio Semenza 1999. Since Editorial Office only recently...
We describe a case-study of the application of web-technology (Helm [2]) to create web-based didactic material out of a repository of formal mathematics (C-CoRN [5]), using the structure of an existing course (IDA [4]). The paper discusses the difficulties related to associating notation to a formula, the embedding of formal notions into a document (the “view”), and the rendering of proofs.
When she took over the helm as its new editor-in-chief, Lynn Nagle commented that the Canadian Journal of Nursing Leadership could function as one vehicle “to facilitate and support the dialogues that can drive strategy and policy development.”1 To help bring that goal to life, I am honoured to join Lynn, my co-editors Greta Cummings and Patricia Petryshen and the talented Longwoods team in the...
For certain mod p Galois representations ρ̄, arising from modular forms on definite unitary groups in two variables, we express the ρ̄-part of completed cohomology Ĥ ρ̄ (away from Σ = Σp ∪Σ0) as a tensor product Πp⊗ΠΣ0 . Here Πp is attached to the universal deformation ρ via the p-adic local Langlands correspondence for GL2(Qp), and ΠΣ0 is given by the local Langlands correspondence in families, o...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید