Search

Your search keyword '"Werner, Benjamin"' showing total 46 results

Search Constraints

Start Over You searched for: Author "Werner, Benjamin" Remove constraint Author: "Werner, Benjamin" Database Supplemental Index Remove constraint Database: Supplemental Index
46 results on '"Werner, Benjamin"'

Search Results

1. Coordinated inheritance of extrachromosomal DNAs in cancer cells

2. Homopolymer switches mediate adaptive mutability in mismatch repair-deficient colorectal cancer

3. Immune selection determines tumor antigenicity and influences response to checkpoint inhibitors

4. Phenotypic plasticity and genetic control in colorectal cancer evolution

5. The evolutionary dynamics of extrachromosomal DNA in human cancers

6. Evolutionary dynamics of neoantigens in growing tumors

7. Subclonal reconstruction of tumors by using machine learning and population genetics

9. Mutation divergence over space in tumour expansion

10. Quantification of subclonal selection in cancer from bulk sequencing data

13. A Computational Approach to Pocklington Certificates in Type Theory.

14. Formalized Metatheory with Terms Represented by an Indexed Family of Types.

15. A Content Based Mathematical Search Engine: Whelp.

16. On Constructive Existence.

17. Exploring the Regular Tree Types.

18. : Zermelo's Set Theory as a PTS with 4 Sorts.

19. Interfaces as Games, Programs as Strategies.

20. Tactic-Based Optimized Compilation of Functional Programs.

21. A Few Constructions on Constructors.

22. Surreal Numbers in Coq.

23. A Tool for Automated Theorem Proving in Agda.

24. Solving Two Problems in General Topology Via Types.

25. A Uniform and Certified Approach for Two Static Analyses.

26. A Semi-reflexive Tactic for (Sub-)Equational Reasoning.

27. Formalising Bitonic Sort in Type Theory.

28. A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis.

29. Extracting a Normalization Algorithm in Isabelle/HOL.

30. A Machine-Checked Formalization of the Random Oracle Model.

31. Arithmetic as a Theory Modulo.

32. Ontogenic growth as the root of fundamental differences between childhood and adult cancer

33. Identification of neutral tumor evolution across cancer types

34. The Influence of Weld Joints on the Failure Mechanism of Scaled Double Hull Structures under Collision Load in Finite Element Simulations.

35. Shining light on dark selection in healthy human tissues

36. Quantification of spatial subclonal interactions enhancing the invasive phenotype of pediatric glioma

38. Liberalisierungspolitik

39. Proof normalization modulo

40. Author Correction: Quantification of subclonal selection in cancer from bulk sequencing data

41. Replicative cellular age distributions in compartmentalized tissues

42. Poulantzas lesen. Zur Aktualität marxistischer Staatstheorie.

45. Comprehensive Analysis of Telomere Biology in Patients with Aplastic Anemia and Hypoplastic Myelodysplastic Syndrome: Further Evidence for a Common Mechanism

46. A deterministic model for the occurrence and dynamics of multiple mutations in hierarchically organized tissues

Catalog

Books, media, physical & digital resources