68 results on '"Vörös, András"'
Search Results
2. Imaging biomarkers are underutilised but highly predictive prognostic factors for the more fatal breast cancer subtypes
3. The term “classic invasive lobular carcinoma” of the breast defines breast malignancies of vastly different nature
4. Multifocal and diffusely infiltrating breast cancers are highly fatal subgroups needing further improvement in diagnostic and therapeutic strategies
5. Does Diffusely Infiltrating Lobular Carcinoma of the Breast Arise from Epithelial–Mesenchymal Hybrid Cells?
6. Can we improve breast cancer management using an image-guided histopathology workup supported by larger histopathology sections?
7. ONEST (Observers Needed to Evaluate Subjective Tests) Analysis of Stromal Tumour-Infiltrating Lymphocytes (sTILs) in Breast Cancer and Its Limitations
8. Cytoplasmic Aggregation of RPB1 Predicts Failure of Neoadjuvant Chemotherapy
9. Improving teaching, teamwork, and school organization: Collaboration networks in school teams
10. MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems
11. Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
12. Evaluation of SMT solvers in abstraction-based software model checking
13. Getting the Priorities Right: Saturation for Prioritised Petri Nets
14. Pathological Diagnosis, Work-Up and Reporting of Breast Cancer 1st Central-Eastern European Professional Consensus Statement on Breast Cancer
15. Új trendek az axilla sebészi kezelésében emlőrák esetén
16. Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models
17. A Configurable CEGAR Framework with Interpolation-Based Refinements
18. Iterative and Incremental Model Generation by Logic Solvers
19. PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
20. The Swiss Student Life Study: Codebook
21. ONEST (Observers Needed to Evaluate Subjective Tests) suggests four or more observers for a reliable assessment of the consistency of histological grading of invasive breast carcinoma: A reproducibility study with a retrospective view on previous studies
22. Reprint of: The Swiss StudentLife Study: Investigating the emergence of an undergraduate community through dynamic, multidimensional social network data
23. Dependability Modeling of Cyber-Physical Systems in the Gamma Framework
24. New Search Strategies for the Petri Net CEGAR Approach
25. Saturation-Based Incremental LTL Model Checking with Inductive Proofs
26. A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol
27. The additional value of ONEST (Observers Needed to Evaluate Subjective Tests) in assessing reproducibility of oestrogen receptor, progesterone receptor, and Ki67 classification in breast cancer
28. Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics
29. Formal Verification of Complex Properties on PLC Programs
30. The Swiss StudentLife Study: Investigating the emergence of an undergraduate community through dynamic, multidimensional social network data
31. „Rés a pajzson” – a pajzsmirigy modern képalkotó vizsgálata multidiszciplináris szemszögből
32. K-Induction Based Verification of Real-Time Safety Critical Systems
33. The Added Value of SOX10 Immunohistochemistry to Other Breast Markers in Identifying Cytokeratin 5-Positive Triple Negative Breast Cancers as of Mammary Origin
34. A Clinicopathological Approach to Odontogenic Cysts: the Role of Cytokeratin 17 and bcl2 Immunohistochemistry in Identifying Odontogenic Keratocysts
35. Mixed-semantics composition of statecharts for the component-based design of reactive systems
36. Simulation-based Safety Assessment of High-level Reliability Models
37. Short-term and long-term effects of a social network intervention on friendships among university students
38. The Emergence and Stability of Groups in Social Networks
39. Will My Program Break on This Faulty Processor?
40. Limits to inferring status from friendship relations
41. Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
42. Influence of mutagenic versus non-mutagenic pre-operative chemotherapy on the immune infiltration of residual breast cancer
43. Integration in emerging social networks explains academic failure and success
44. Influence of mutagenic versus non-mutagenic pre-operative chemotherapy on the immune infiltration of breast cancer
45. Industrial applications of the PetriDotNet modelling and analysis tool
46. The Gamma statechart composition framework
47. Conjunctival melanocytic naevus: Diagnostic value of anterior segment optical coherence tomography and ultrasound biomicroscopy
48. Apocrine Encapsulated Papillary Carcinoma of the Breast: The First Reported Case with an Infiltrative Component
49. The Emergence and Stability of Groups in Social Networks
50. Why Do Men Get More Attention? Exploring Factors Behind Success in An Online Design Community
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.