Search

Your search keyword '"Anastasiadi A"' showing total 736 results

Search Constraints

Start Over You searched for: Author "Anastasiadi A" Remove constraint Author: "Anastasiadi A"
736 results on '"Anastasiadi A"'

Search Results

1. Centralized vs Decentralized Monitors for Hyperproperties

2. Complexity results for modal logic with recursion via translations and tableaux

3. Primary antiphospholipid syndrome in the elderly: Four strokes and mechanical thrombectomies until the diagnosis - A case report

4. Complexity results for modal logic with recursion via translations and tableaux

6. Complexity through Translations for Modal Logic with Recursion

9. Monitoring hyperproperties with circuits

13. Novel optical fibres for on-chip optical tweezing and bio-applications

14. Shelf-life of green asparagus using cassava and chitosan blend coating

15. In search of lost time: Axiomatising parallel composition in process algebras

16. Application of Spatial Offset Raman Spectroscopy (SORS) and Machine Learning for Sugar Syrup Adulteration Detection in UK Honey

17. Analysis of Human Milk Microbiota in Northern Greece by Comparative 16S rRNA Sequencing vs. Local Dairy Animals

18. Probabilistic Modelling of the Food Matrix Effects on Curcuminoid’s In Vitro Oral Bioaccessibility

19. Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information

20. Axiomatizing recursion-free, regular monitors

22. Genetic Characterization of Gardenia jasminoides Ellis Genotypes Derived from Seeds and Selection Based on Their Morphological Traits and Flower Aromatic Substances

23. A Current Synopsis of the Emerging Role of Extracellular Vesicles and Micro-RNAs in Pancreatic Cancer: A Forward-Looking Plan for Diagnosis and Treatment

24. Parameterized Fine-Grained Reductions

29. On Probabilistic Monitorability

30. Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction

32. Stratification of βSβ+ Compound Heterozygotes Based on L-Glutamine Administration and RDW: Focusing on Disease Severity

33. The time-course linkage between hemolysis, redox, and metabolic parameters during red blood cell storage with or without uric acid and ascorbic acid supplementation

34. Bioinformatic analysis for age prediction using epigenetic clocks: Application to fisheries management and conservation biology

40. Application of Spatial Offset Raman Spectroscopy (SORS) and Machine Learning for Sugar Syrup Adulteration Detection in UK Honey.

41. The Arising Role of Extracellular Vesicles in Cholangiocarcinoma: A Rundown of the Current Knowledge Regarding Diagnostic and Therapeutic Approaches

43. Age estimation in fishes using epigenetic clocks: Applications to fisheries management and conservation biology

44. Supplementation with uric and ascorbic acid protects stored red blood cells through enhancement of non-enzymatic antioxidant activity and metabolic rewiring

46. Genetic Characterization of Gardenia jasminoides Ellis Genotypes Derived from Seeds and Selection Based on Their Morphological Traits and Flower Aromatic Substances

49. A Current Synopsis of the Emerging Role of Extracellular Vesicles and Micro-RNAs in Pancreatic Cancer: A Forward-Looking Plan for Diagnosis and Treatment

Catalog

Books, media, physical & digital resources