Search

Your search keyword '"BENEDIKT, MICHAEL"' showing total 1,100 results

Search Constraints

Start Over You searched for: Author "BENEDIKT, MICHAEL" Remove constraint Author: "BENEDIKT, MICHAEL"
1,100 results on '"BENEDIKT, MICHAEL"'

Search Results

1. Monotone Rewritability and the Analysis of Queries, Views, and Rules

2. Revisiting the Expressiveness Landscape of Data Graph Queries

3. Model Equivalences

4. Decidability of Graph Neural Networks via Logical Characterizations

5. Almost Surely Asymptotically Constant Graph Neural Networks

8. Albumin-muscle density score predicts overall survival in patients with hepatocellular cancer undergoing treatment with transarterial chemoembolization

10. Towards Unbiased Exploration in Partial Label Learning

11. Liver volumetry improves evaluation of treatment response to hepatic artery infusion chemotherapy in uveal melanoma patients with liver metastases

12. The complexity of Presburger arithmetic with power or powers

13. Embedded Finite Models Beyond Restricted Quantifier Collapse

14. Tighter Bounds for Query Answering with Guarded TGDs

15. Rewriting the Infinite Chase

16. Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory

18. Synthesizing Nested Relational Queries from Implicit Specifications

19. Global, regional, and national burden of upper respiratory infections and otitis media, 1990–2021: a systematic analysis from the Global Burden of Disease Study 2021

22. Query Answering with Transitive and Linear-Ordered Data

23. Global, regional, and national burden of stroke and its risk factors, 1990–2021: a systematic analysis for the Global Burden of Disease Study 2021

24. AI-derived body composition parameters as prognostic factors in patients with HCC undergoing TACE in a multicenter study

25. Global pattern, trend, and cross-country inequality of early musculoskeletal disorders from 1990 to 2019, with projection from 2020 to 2050

26. Challenges for the interaction region design of the Future Circular Collider FCC-ee

27. Global incidence, prevalence, years lived with disability (YLDs), disability-adjusted life-years (DALYs), and healthy life expectancy (HALE) for 371 diseases and injuries in 204 countries and territories and 811 subnational locations, 1990–2021: a systematic analysis for the Global Burden of Disease Study 2021

28. Global burden of 288 causes of death and life expectancy decomposition in 204 countries and territories and 811 subnational locations, 1990–2021: a systematic analysis for the Global Burden of Disease Study 2021

29. Burden of disease scenarios for 204 countries and territories, 2022–2050: a forecasting analysis for the Global Burden of Disease Study 2021

30. Global age-sex-specific mortality, life expectancy, and population estimates in 204 countries and territories and 811 subnational locations, 1950–2021, and the impact of the COVID-19 pandemic: a comprehensive demographic analysis for the Global Burden of Disease Study 2021

32. Scalable Querying of Nested Data

33. FCC-hh Experimental Insertion Region Design

34. Two variable logic with ultimately periodic counting

35. Balancing expressiveness and inexpressiveness in view design

36. Some Model Theory of Guarded Negation

37. Generating collection transformations from proofs

38. On monotonic determinacy and rewritability for recursive queries and views

39. Finite Open-World Query Answering with Number Restrictions

41. Polarization and Centre-of-mass Energy Calibration at FCC-ee

42. FCC-ee: Your Questions Answered

43. Reasoning about disclosure in data integration in the presence of source constraints

44. Machine detector interface for the $e^+e^-$ future circular collider

46. AI-Assisted X-ray Fracture Detection in Residency Training: Evaluation in Pediatric and Adult Trauma Patients

47. The Past and Future of Embedded Finite Model Theory

48. Machine Parameters and Projected Luminosity Performance of Proposed Future Colliders at CERN

49. When Can We Answer Queries Using Result-Bounded Data Interfaces?

50. Proton Colliders at the Energy Frontier

Catalog

Books, media, physical & digital resources