Results 11 to 20 of about 1,722 (212)
AVISPA: a web tool for the prediction and analysis of alternative splicing [PDF]
Genome Biology, 2013 AbstractTranscriptome complexity and its relation to numerous diseases underpins the need to predict in silico splice variants and the regulatory elements that affect them. Building upon our recently described splicing code, we developed AVISPA, a Galaxy-based web tool for splicing prediction and analysis.
Barash, Yoseph +6 more
core +7 more sources
Novitates Caribaea, 2013 Se reporta por primera vez para Haití la avispa Scelioninae parasitoide de saltamontes Synoditella bisulcata (Kieffer).
Ruth H. Bastardo +1 more
doaj +3 more sources
“Avispa de la agalla del eucalipto”, Leptocybe invasa Fischer & Lasalle (Hymenoptera: Eulophidae: Tetrastichinae), en Argentina [PDF]
RIA: Revista Investigaciones Agropecuarias, 2011 La “avispa de la agalla del eucalipto”, Leptocybe invasa Fischer & Lasalle (Hymenoptera: Eulophidae: Tetrastichinae) ha sido registrada en varios países como una importante plaga forestal.
AQUINO, D.A. +3 more
doaj +4 more sources
Sceliphron curvatum, una nueva avispa invasora en la Argentina (Hymenoptera: Sphecidae)
Revista de la Sociedad Entomológica Argentina, 2008 Se registra la introducción, en la Argentina, de la avispa esfeciforme Sceliphron curvatum (Smith), una avispa asiática que se ha comportado como invasora en Europa.
Luis A. COMPAGNUCCI, Arturo ROIG ALSINA
doaj +1 more source
, 2015 The objective of this short tutorial is to show how to use SPAN to understand and debug HLPSL specifications used in the AVISPA cryptographic protocol verification tool. The reader is supposed to be familiar with the HLPSL language, if not please read the HLPSL tutorial first.
Genet, Thomas
core +4 more sources
Revista Chilena de Entomología, 2018 Se describe el nido de Stenosigma panamensis Ferreira y Hermes, 2018 (Hymenoptera: Vespidae: Eumeninae) y el parasitismo ejercido por la avispa Photocryptus sp.
Jean Carlos Abrego, Alonso Santos
doaj +2 more sources
Nutritional and industrial quality assessment of Spanish durum wheat commercial cultivars. [PDF]
J Sci Food AgricAbstract BACKGROUND Durum wheat is the raw material used to produce pasta, and its price is determined by grain physical characteristics, gluten strength and semolina yellowness. Gluten strength is mainly determined by high‐ and low‐molecular‐weight glutenin subunits (HMW‐GS and LMW‐GS). Semolina yellowness is determined by loci that control carotenoid
Garcia-Calabres V +8 more
europepmc +2 more sources
Formal verification of secure group communication protocols modelled in UML [PDF]
, 2010 The paper discusses an experience in using UML and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design. AVISPA enabled detecting and fixing security flaws.
Chridi, Najah +9 more
core +1 more source
Analysis and avispa simulation files with plotting matlab program
, 2021 Analysis and avispa simulation files with plotting matlab ...
Dongwoo Kang (8768256)
core +1 more source