114 results on '"Vörös, András"'
Search Results
2. A multilevel social network approach to studying multiple disease-prevention behaviors.
3. 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
4. Mixed-semantics composition of statecharts for the component-based design of reactive systems
5. A Clinicopathological Approach to Odontogenic Cysts: the Role of Cytokeratin 17 and bcl2 Immunohistochemistry in Identifying Odontogenic Keratocysts
6. The emergence of multiple status systems in adolescent communities : a multiplex network theory of group formation
7. Integration in emerging social networks explains academic failure and success
8. Industrial applications of the PetriDotNet modelling and analysis tool
9. Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
10. Short-term and long-term effects of a social network intervention on friendships among university students
11. Distribution pattern of the Ki67 labelling index in breast cancer and its implications for choosing cut-off values
12. Component-wise incremental LTL model checking
13. Pathological Diagnosis, Work-Up and Reporting of Breast Cancer 1st Central-Eastern European Professional Consensus
14. Does Diffusely Infiltrating Lobular Carcinoma of the Breast Arise from Epithelial–Mesenchymal Hybrid Cells?
15. One-Year Neoadjuvant Endocrine Therapy in Breast Cancer
16. Different Methods of Pretreatment Ki-67 Labeling Index Evaluation in Core Biopsies of Breast Cancer Patients Treated with Neoadjuvant Chemotherapy and Their Relation to Response to Therapy
17. The Use of Digital Images Improves Reproducibility of the Ki-67 Labeling Index as a Proliferation Marker in Breast Cancer
18. Towards formally analyzed Cyber-Physical Systems
19. Radioguided Occult Lesion Localisation Versus Wire-Guided Lumpectomy in the Treatment of Non-Palpable Breast Lesions
20. Multi-Institutional Comparison of Non-sentinel Lymph Node Predictive Tools in Breast Cancer Patients with High Predicted Risk of Further Axillary Metastasis
21. Estrogen Receptor Negative and Progesterone Receptor Positive Breast Carcinomas—How Frequent are they?
22. Új trendek az axilla sebészi kezelésében emlőrák esetén.
23. Reprint of: The Swiss StudentLife Study: Investigating the emergence of an undergraduate community through dynamic, multidimensional social network data.
24. Backward Reachability Analysis for Timed Automata with Data Variables
25. The Added Value of SOX10 Immunohistochemistry to Other Breast Markers in Identifying Cytokeratin 5-Positive Triple Negative Breast Cancers as of Mammary Origin.
26. The Swiss StudentLife Study: Investigating the emergence of an undergraduate community through dynamic, multidimensional social network data.
27. „Rés a pajzson" – a pajzsmirigy modern képalkotó vizsgálata multidiszciplináris szemszögből.
28. Giant Conjunctival Nevus in a 12-Year-Old Child
29. PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research
30. The Gamma statechart composition framework.
31. The Emergence and Stability of Groups in Social Networks.
32. Influence of mutagenic versus non-mutagenic pre-operative chemotherapy on the immune infiltration of residual breast cancer.
33. Limits to inferring status from friendship relations.
34. Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software.
35. Diagnostic Difficulties in Evaluation of Neck Masses - Idiopathic Lymph Node Infarction.
36. Verification of an industrial safety function using coloured Petri nets and model checking
37. Conjunctival melanocytic naevus: Diagnostic value of anterior segment optical coherence tomography and ultrasound biomicroscopy.
38. Cluster analysis of multiplex networks: Defining composite network measures.
39. Iterative and Incremental Model Generation by Logic Solvers.
40. Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models.
41. A Configurable CEGAR Framework with Interpolation-Based Refinements.
42. Saturation-Based Incremental LTL Model Checking with Inductive Proofs.
43. New Search Strategies for the Petri Net CEGAR Approach.
44. A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol.
45. Improving teaching, teamwork, and school organization: Collaboration networks in school teams.
46. Formal Verification of Complex Properties on PLC Programs.
47. Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics.
48. K-Induction Based Verification of Real-Time Safety Critical Systems.
49. Bounded saturation-based CTL model checking.
50. An Intra- and Interobserver Reproducibility Analysis of the Ki-67 Proliferation Marker Assessment on Core Biopsies of Breast Cancer Patients and Its Potential Clinical Implications.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.