Search

Your search keyword '"Gocht, A."' showing total 462 results

Search Constraints

Start Over You searched for: Author "Gocht, A." Remove constraint Author: "Gocht, A." Search Limiters Full Text Remove constraint Search Limiters: Full Text
462 results on '"Gocht, A."'

Search Results

1. Pathologist-like explainable AI for interpretable Gleason grading in prostate cancer

2. Planning Domain Model Acquisition from State Traces without Action Parameters

3. Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs

4. Experimental Cross Sections for Electron-Impact Single, Double, and Triple Ionization of La+

5. Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

7. Advanced Python Performance Monitoring with Score-P

8. Using performance analysis tools for parallel-in-time integrators -- Does my time-parallel code do what I think it does?

9. Q-Learning Inspired Self-Tuning for Energy Efficiency in HPC

10. Energy Efficiency Features of the Intel Skylake-SP Processor and Their Impact on Performance

11. Neutronics simulations for the design of neutron flux monitors in SPARC

12. Experimental Cross Sections for Electron-Impact Single, Double, and Triple Ionization of La +.

13. Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling

14. Evaluation of Sentinel-1 and Sentinel-2 Feature Sets for Delineating Agricultural Fields in Heterogeneous Landscapes

15. Lack of astrocytes hinders parenchymal oligodendrocyte precursor cells from reaching a myelinating state in osmolyte-induced demyelination

17. End-to-End Verification for Subgraph Solving

19. Impacts of national vs European carbon pricing on agriculture

20. Melatonin treatment of pigs with acute pancreatitis reduces inflammatory reaction of pancreatic tissue and enhances fitness score of pigs: experimental research

21. Description and nomenclature of organ subdivisions in the Terminologia Anatomica and in anatomical education: Comparison with cancer classifications

22. Description of the normal gastric mucosa in anatomy education: How many leukocytes are acceptable?

24. Non-canonical Caspase-1 Signaling Drives RIP2-Dependent and TNF-α-Mediated Inflammation In Vivo

25. Using Aggregated Farm Location Information to Predict Regional Structural Change of Farm Specialisation, Size and Exit/Entry in Norway Agriculture

26. Certified CNF Translations for Pseudo-Boolean Solving

27. An Auditable Constraint Programming Solver

28. Economic and Environmental Consequences of the ECJ Genome Editing Judgment in Agriculture

29. EU agriculture under an import stop for food and feed

30. Certified Dominance and Symmetry Breaking for Combinatorial Optimisation

33. Unsupervised Parameterization for Optimal Segmentation of Agricultural Parcels from Satellite Images in Different Agricultural Landscapes

34. Small Molecule Tyrosine Kinase Inhibitor Nintedanib Reduces Development of Cardiac Allograft Vasculopathy in Murine Aortic Allografts

36. Bundesweite Landnutzungsdaten am Thünen-Institut: Sachstand und Perspektiven

38. Floods and climate: emerging perspectives for flood risk assessment and management

39. Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs

40. Evaluation of Sentinel-1 and Sentinel-2 Feature Sets for Delineating Agricultural Fields in Heterogeneous Landscapes

41. Coupled Agricultural Subsidies in the <scp>EU</scp> Undermine Climate Efforts

42. Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning

43. Scenarios for European agricultural policymaking in the era of digitalisation

44. Ein Framework zur Optimierung der Energieeffizienz von HPC-Anwendungen auf der Basis von Machine-Learning-Methoden

45. Certified CNF Translations for Pseudo-Boolean Solving

46. An Auditable Constraint Programming Solver

47. Scenarios for European agricultural policymaking in the era of digitalisation

Catalog

Books, media, physical & digital resources