FISHERY AND CONSERVATION IMPLICATIONS OF MOLECULAR CHARACTERIZATION AND TRACEABILITY OF CEVICHE SAMPLES FROM PACIFIC PANAMA

Fishery and conservation implications of molecular characterization and traceability of ceviche samples from Pacific Panama

Genetic analysis of 111 samples from ceviche cocktails and fish fillets used for ceviche, obtained from fish markets and processing plants in the Pacific zone of Panama were conducted to determine species composition, trace origin (native, nonnative or imported frozen species) and CITES species status.A total of 21 species were detected (20 fishes

read more


Proving Soundness of Extensional Normal-Form Bisimilarities

Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence that relates terms in $lambda$-calculi by decomposing their normal forms into bisimilar subterms.Moreover, it typically allows for powerful up-to techniques, such as bisimulation up to context, which simplify bisimulation proofs even further.However, proving soundness of these

read more