135 results on '"Fontaine, Pascal"'
Search Results
2. Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates
3. Quantifier Simplification by Unification in SMT
4. Politeness for the Theory of Algebraic Datatypes
5. Domestication of the Eurasian Perch (Perca fluviatilis)
6. Theory Combination: Beyond Equality Sharing
7. Revisiting Enumerative Instantiation
8. Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications
9. Corticosteroid plasma kinetics and gonadal receptor gene expression during the reproductive cycle in female Eurasian Perch: Investigation of the roles of corticosteroids in vitellogenesis
10. Root‐released organic compounds in aquaponics and their potential effects on system performance
11. A multi-trait evaluation framework to assess the consequences of polyculture in fish production: An application for pikeperch in recirculated aquaculture systems
12. Subtropical Satisfiability
13. Congruence Closure with Free Variables
14. Scalable Fine-Grained Proofs for Formula Processing
15. Surgical correction of left auricular aneurysm herniation through a pericardial defect in a dog with atrial fibrillation and mitral valve disease
16. The effect of two different experimental rearing temperatures on the quality and the large-scale cryopreservation of Eurasian perch (Perca fluviatilis) sperm
17. Polite Combination of Algebraic Datatypes
18. Assessing Genetic Variation in Wild and Domesticated Pikeperch Populations: Implications for Conservation and Fish Farming
19. $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
20. Effects of temperature on the survival and development of the early life stages of northern pike (Esox lucius)
21. Adapting Real Quantifier Elimination Methods for Conflict Set Computation
22. A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
23. Current Status of Eurasian Percid Fishes Aquaculture
24. Modal Satisfiability via SMT Solving
25. A Rewriting Approach to the Combination of Data Structures with Bridging Theories
26. Split it up and see: using proxies to highlight divergent inter-populational performances in aquaculture standardised conditions
27. Duration of chilling phase, but not thermal condition, influence the gonad maturation of male and female domesticated pikeperch ( Sander lucioperca )
28. Neurodevelopment vs. the immune system: Complementary contributions of maternally-inherited gene transcripts and proteins to successful embryonic development in fish
29. A Gentle Non-disjoint Combination of Satisfiability Procedures
30. Politeness for the Theory of Algebraic Datatypes (Extended Abstract)
31. Sex identification in immature Eurasian perch ( Perca fluviatilis ) using ultrasonography
32. Alethe: Towards a Generic SMT Proof Format (extended abstract)
33. Preface: Special Issue of Selected Extended Papers of CADE 2019
34. Neurodevelopment vs. the immune system: complementary contributions of maternally-inherited gene transcripts and proteins to successful egg development in fish
35. In vitro follicle culture shows that progestagens are the maturation-inducing hormones (MIH) and possible regulators of the ovulation-mediating hormone PGE2 in female Eurasian perch Perca fluviatilis
36. Finding a rare gem: Identification of a wild biological unit with high potential for European perch larviculture
37. SMT Solvers for Rodin
38. Combination of Disjoint Theories: Beyond Decidability
39. Exploiting Symmetry in SMT Problems
40. Compression of Propositional Resolution Proofs via Partial Regularization
41. Combining Theories: The Ackerman and Guarded Fragments
42. Combinations of Theories for Decidable Fragments of First-Order Logic
43. veriT: An Open, Trustable and Efficient SMT-Solver
44. First identification of dopamine receptors in pikeperch, Sander lucioperca, during the pre-ovulatory period
45. Domestication modulates the expression of genes involved in neurogenesis in high‐quality eggs of Sander lucioperca
46. How domestication alters fish phenotypes
47. Comparison of single- and multi-trait approaches to identify best wild candidates for aquaculture shows that the simple way fails
48. New findings associated with presumptive systemic lupus erythematosus in a kitten
49. Repeated hormonal induction of spermiation affects the stress but not the immune response in pikeperch (Sander lucioperca)
50. Unlocking the intraspecific aquaculture potential from the wild biodiversity to facilitate aquaculture development
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.