Search

Your search keyword '"Vörös, András"' showing total 229 results
Start Over Author "Vörös, András"
229 results on '"Vörös, András"'

1. Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification

Author

Somorjai, Márk, Dobos-Kovács, Mihály, Ádám, Zsófia, Bajczi, Levente, and Vörös, András

Subjects
Computer Science - Logic in Computer Science, Computer Science - Software Engineering
Abstract

Constrained Horn Clauses (CHCs) have conventionally been used as a low-level representation in formal verification. Most existing solvers use a diverse set of specialized techniques, including direct state space traversal or under-approximating abstraction, necessitating purpose-built complex algorithms. Other solvers successfully simplified the verification workflow by translating the problem to inputs for other verification tasks, leveraging the strengths of existing algorithms. One such approach transforms the CHC problem into a recursive program roughly emulating a top-down solver for the deduction task; and verifying the reachability of a safety violation specified as a control location. We propose an alternative bottom-up approach for linear CHCs, and evaluate the two options in the open-source model checking framework THETA on both synthetic and industrial examples. We find that there is a more than twofold increase in the number of solved tasks when the novel bottom-up approach is used in the verification workflow, in contrast with the top-down technique., Comment: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672. This research was partially funded by the UNKP-22-2,3-I New National Excellence Program and Project no. 2019-1.3.1-KK-2019-00004, which has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the 2019-1.3.1-KK funding scheme

Published
2024
Full Text
View/download PDF

2. Towards formally analyzed Cyber-Physical Systems

Author

Szabó, Richárd and Vörös, András

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Software Engineering
Abstract

Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines. CPSs are often critical, as system failure can cause serious damage to property and human lives. Today's cyber-physical systems are extremely complex, heterogeneous systems: to be able to manage their complexity in a unified way, we need an infrastructure that ensures that our systems operate with the high reliability as intended. In addition to the infrastructure, we need to provide engineers a method to ensure system reliability at design time. The paradigm of model-driven design provides a toolkit supporting the design and analysis and by choosing the proper formalisms, the model-driven design approach allows us to validate our system at design time., Comment: Editor: Marcello Cinque. 17th European Dependable Computing Conference (EDCC 2021), September 13-16, 2021, Munich, Germany. Student Forum Proceedings- EDCC 2021

Published
2021

4. Simulation-based Safety Assessment of High-level Reliability Models

Author

Nagy, Simon József, Graics, Bence, Marussy, Kristóf, and Vörös, András

Subjects
Computer Science - Software Engineering
Abstract

Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees, according to the behavior described by the high-level engineering models and environmental/fault assumptions. Instead of creating low-level analysis models, our approach builds on engineering models in safety analysis by exploiting the simulation capabilities of recent probabilistic programming and simulation advancements. Thus, it could be applied in accordance with standards and best practices for the analysis of a critical automotive system as part of an industrial collaboration, while leveraging high-level block diagrams and statechart models created by engineers. We demonstrate the applicability of our approach in a case study adapted from the automotive system from the collaboration., Comment: In Proceedings MARS 2020, arXiv:2004.12403

Published
2020
Full Text
View/download PDF

10. Why Do Men Get More Attention? Exploring Factors Behind Success in an Online Design Community

Author

Wachs, Johannes, Hannák, Anikó, Vörös, András, and Daróczy, Bálint

Subjects
Computer Science - Social and Information Networks, Computer Science - Computers and Society
Abstract

Online platforms are an increasingly popular tool for people to produce, promote or sell their work. However recent studies indicate that social disparities and biases present in the real world might transfer to online platforms and could be exacerbated by seemingly harmless design choices on the site (e.g., recommendation systems or publicly visible success measures). In this paper we analyze an exclusive online community of teams of design professionals called Dribbble and investigate apparent differences in outcomes by gender. Overall, we find that men produce more work, and are able to show it to a larger audience thus receiving more likes. Some of this effect can be explained by the fact that women have different skills and design different images. Most importantly however, women and men position themselves differently in the Dribbble community. Our investigation of users' position in the social network shows that women have more clustered and gender homophilous following relations, which leads them to have smaller and more closely knit social networks. Overall, our study demonstrates that looking behind the apparent patterns of gender inequalities in online markets with the help of social networks and product differentiation helps us to better understand gender differences in success and failure., Comment: in The International AAAI Conference on Web and Social Media (ICWSM2017), Montreal, May 2017

Published
2017

14. Predictive Potential of RNA Polymerase B (II) Subunit 1 (RPB1) Cytoplasmic Aggregation for Neoadjuvant Chemotherapy Failure

Author

Nagy-Mikó, Bence, primary, Németh-Szatmári, Orsolya, additional, Faragó-Mészáros, Réka, additional, Csókási, Aliz, additional, Bognár, Bence, additional, Ördög, Nóra, additional, Borsos, Barbara N., additional, Majoros, Hajnalka, additional, Ujfaludi, Zsuzsanna, additional, Oláh-Németh, Orsolya, additional, Nikolényi, Aliz, additional, Dobi, Ágnes, additional, Kószó, Renáta, additional, Sántha, Dóra, additional, Lázár, György, additional, Simonka, Zsolt, additional, Paszt, Attila, additional, Ormándi, Katalin, additional, Pankotai, Tibor, additional, Boros, Imre M., additional, Villányi, Zoltán, additional, and Vörös, András, additional

Published
2023
Full Text
View/download PDF

17. The emergence of multiple status systems in adolescent communities : a multiplex network theory of group formation

Author

Vörös, András, Snijders, Tom, and Monden, Christiaan

Subjects
302.3, Social networks--Analysis, Teenagers--Social conditions, Social groups--Research, Social psychology
Abstract

How do informal groups emerge in adolescent communities? What distinguishes a group from just a set of students? Who will end up together in a group and who will be left out? Why are there more groups in some classrooms and fewer in others? What determines whether these groups overlap in their members or they are completely segregated, perhaps antagonistic? While a huge body of research in sociology and social psychology focuses on these questions, an integrated approach that is able to answer all of them is yet to be developed. Without realizing that these five issues are interrelated, we cannot hope to understand how groups influence individuals and how they shape our communities. This thesis proposes an integrative theory of informal group formation in communities. Based on the tradition of Social Network Analysis, it develops a framework in which interpersonal relations and reputations are formed through a process called informal status production. Groups emerge from this micro-process by the alignment of positive relations and agreement in peer-perceptions between actors. The main micro-mechanisms predicted by the theory are tested on a unique longitudinal network dataset from school classrooms. To this end, a new empirical procedure was developed, by which a few aggregated networks can be constructed from tens of relational items. This allows the analysis of rich network data with several relational dimensions. The empirical studies of multiplex network dynamics confirm that there are strong interdependencies between friendships and perceptions. Students who agree about their peers tend to become friends, but more so when they hold a minority opinion in the class. This contributes to group formation. Friends also influence each other's perceptions, but we manage to show that the presence of groups around them interferes with this process by moderating the influence of individual peers.

Published
2015

20. Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems

Author

Búr, Márton, Szilágyi, Gábor, Vörös, András, Varró, Dániel, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Russo, Alessandra, editor, and Schürr, Andy, editor

Published
2018
Full Text
View/download PDF

21. MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems

Author

Vörös, András, Búr, Márton, Ráth, István, Horváth, Ákos, Micskei, Zoltán, Balogh, László, Hegyi, Bálint, Horváth, Benedek, Mázló, Zsolt, Varró, Dániel, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Dutle, Aaron, editor, Muñoz, César, editor, and Narkawicz, Anthony, editor

Published
2018
Full Text
View/download PDF

23. Getting the Priorities Right: Saturation for Prioritised Petri Nets

Author

Marussy, Kristóf, Molnár, Vince, Vörös, András, Majzik, István, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Aalst, Wil, editor, and Best, Eike, editor

Published
2017
Full Text
View/download PDF

25. Does Diffusely Infiltrating Lobular Carcinoma of the Breast Arise from Epithelial–Mesenchymal Hybrid Cells?

Author

Tabár, László, primary, Bozó, Renáta, additional, Dean, Peter B., additional, Ormándi, Katalin, additional, Puchkova, Olga, additional, Oláh-Németh, Orsolya, additional, Németh, István Balázs, additional, Veréb, Zoltán, additional, Yen, Ming-Fang, additional, Chen, Li-Sheng, additional, Chen, Hsiu-Hsi, additional, and Vörös, András, additional

Published
2023
Full Text
View/download PDF

26. Iterative and Incremental Model Generation by Logic Solvers

Author

Semeráth, Oszkár, Vörös, András, Varró, Dániel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

27. A Configurable CEGAR Framework with Interpolation-Based Refinements

Author

Hajdu, Ákos, Tóth, Tamás, Vörös, András, Majzik, István, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Albert, Elvira, editor, and Lanese, Ivan, editor

Published
2016
Full Text
View/download PDF

28. Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models

Author

Marussy, Kristóf, Klenik, Attila, Molnár, Vince, Vörös, András, Majzik, István, Telek, Miklós, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Kordon, Fabrice, editor, and Moldt, Daniel, editor

Published
2016
Full Text
View/download PDF

29. PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research

Author

Vörös, András, Darvas, Dániel, Molnár, Vince, Klenik, Attila, Hajdu, Ákos, Jámbor, Attila, Bartha, Tamás, Majzik, István, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Kordon, Fabrice, editor, and Moldt, Daniel, editor

Published
2016
Full Text
View/download PDF

32. Saturation-Based Incremental LTL Model Checking with Inductive Proofs

Author

Molnár, Vince, Darvas, Dániel, Vörös, András, Bartha, Tamás, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Baier, Christel, editor, and Tinelli, Cesare, editor

Published
2015
Full Text
View/download PDF

33. A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol

Author

Tóth, Tamás, Vörös, András, Majzik, István, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fantechi, Alessandro, editor, and Pelliccione, Patrizio, editor

Published
2015
Full Text
View/download PDF

34. New Search Strategies for the Petri Net CEGAR Approach

Author

Hajdu, Ákos, Vörös, András, Bartha, Tamás, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Devillers, Raymond, editor, and Valmari, Antti, editor

Published
2015
Full Text
View/download PDF

35. ONEST (Observers Needed to Evaluate Subjective Tests) Analysis of Stromal Tumour-Infiltrating Lymphocytes (sTILs) in Breast Cancer and Its Limitations

Author

Cserni, Bálint, primary, Kilmartin, Darren, additional, O’Loughlin, Mark, additional, Andreu, Xavier, additional, Bagó-Horváth, Zsuzsanna, additional, Bianchi, Simonetta, additional, Chmielik, Ewa, additional, Figueiredo, Paulo, additional, Floris, Giuseppe, additional, Foschini, Maria Pia, additional, Kovács, Anikó, additional, Heikkilä, Päivi, additional, Kulka, Janina, additional, Laenkholm, Anne-Vibeke, additional, Liepniece-Karele, Inta, additional, Marchiò, Caterina, additional, Provenzano, Elena, additional, Regitnig, Peter, additional, Reiner, Angelika, additional, Ryška, Aleš, additional, Sapino, Anna, additional, Stovgaard, Elisabeth Specht, additional, Quinn, Cecily, additional, Zolota, Vasiliki, additional, Webber, Mark, additional, Glynn, Sharon A., additional, Bori, Rita, additional, Csörgő, Erika, additional, Oláh-Németh, Orsolya, additional, Pancsa, Tamás, additional, Sejben, Anita, additional, Sejben, István, additional, Vörös, András, additional, Zombori, Tamás, additional, Nyári, Tibor, additional, Callagy, Grace, additional, and Cserni, Gábor, additional

Published
2023
Full Text
View/download PDF

36. The Swiss StudentLife Study: Investigating the emergence of an undergraduate community through dynamic, multidimensional social network data

Author

Vörös, András, Boda, Zsófia, Elmer, Timon, Hoffman, Marion, Mepham, Kieran, Raabe, Isabel J., Stadtfeld, Christoph, Vörös, András, Boda, Zsófia, Elmer, Timon, Hoffman, Marion, Mepham, Kieran, Raabe, Isabel J., and Stadtfeld, Christoph

Abstract

The Swiss StudentLife Study (SSL Study) is a longitudinal social network data collection conducted in three undergraduate student cohorts (N1 = 226, N2 = 261, N3 = 660) in 2016−2019. The main goal of the study was to understand the emergence of informal student communities and their effects on different individual outcomes, such as well-being, motivation, and academic success. To this end, multiple dimensions of social ties were assessed, combining computer-based surveys, social sensors, social media data, and field experiments. The dynamics of these social networks were measured on various time scales. In this paper, we present the design and data collection strategy of the SSL Study. We discuss practical challenges and solutions related to the data collection in four areas that were key to the success of our project: study design, research ethics, communication, and population definition.

Published
2023

37. Multifocal and diffusely infiltrating breast cancers are highly fatal subgroups needing further improvement in diagnostic and therapeutic strategies

Author

Tabár, László, Dean, Peter B., Tucker, F. Lee, Yen, Amy Ming-Fang, Chen, Tony Hsiu-Hsi, Wu, Wendy Yi-Ying, Vörös, András, Tabár, László, Dean, Peter B., Tucker, F. Lee, Yen, Amy Ming-Fang, Chen, Tony Hsiu-Hsi, Wu, Wendy Yi-Ying, and Vörös, András

Abstract

Physicians treating breast cancer patients often wonder why this dreaded disease is still fatal in some women despite our best diagnostic and therapeutic efforts. Our own studies on prospectively documented cases spanning several decades have given us new insights for approaching this problem. By using imaging biomarkers to classify breast cancer subtypes according to their apparent site of origin, we found that a majority of breast cancer deaths (71%) occur in a minority of breast cancers (45%). Breast cancer deaths are significantly more likely to occur in women with multifocal acinar adenocarcinoma of the breast, AAB (13.1%), diffusely invasive breast cancers of ductal origin, DAB (24 %) and breast malignancies of mesenchymal hybrid cell origin, BCMO (33.7%) compared with women having unifocal invasive breast cancers (6.1%). Preventing more of these fatal events will require a re-evaluation of the current imperfect histopathologic terminology of breast cancer with special attention to the diffuse breast cancer subtypes, intensification of multimodality imaging and multidisciplinary management, as well as application of image guided large format histopathology.

Published
2023
Full Text
View/download PDF

38. ONEST (Observers Needed to Evaluate Subjective Tests) Analysis of Stromal Tumour-Infiltrating Lymphocytes (sTILs) in Breast Cancer and Its Limitations

Author

Cserni, Bálint, Kilmartin, Darren, O’Loughlin, Mark, Andreu, Xavier, Bagó-Horváth, Zsuzsanna, Bianchi, Simonetta, Chmielik, Ewa, Figueiredo, Paulo, Floris, Giuseppe, Foschini, Maria Pia, Kovács, Anikó, Heikkilä, Päivi, Kulka, Janina, Laenkholm, Anne Vibeke, Liepniece-Karele, Inta, Marchiò, Caterina, Provenzano, Elena, Regitnig, Peter, Reiner, Angelika, Ryška, Aleš, Sapino, Anna, Stovgaard, Elisabeth Specht, Quinn, Cecily, Zolota, Vasiliki, Webber, Mark, Glynn, Sharon A., Bori, Rita, Csörgő, Erika, Oláh-Németh, Orsolya, Pancsa, Tamás, Sejben, Anita, Sejben, István, Vörös, András, Zombori, Tamás, Nyári, Tibor, Callagy, Grace, Cserni, Gábor, Cserni, Bálint, Kilmartin, Darren, O’Loughlin, Mark, Andreu, Xavier, Bagó-Horváth, Zsuzsanna, Bianchi, Simonetta, Chmielik, Ewa, Figueiredo, Paulo, Floris, Giuseppe, Foschini, Maria Pia, Kovács, Anikó, Heikkilä, Päivi, Kulka, Janina, Laenkholm, Anne Vibeke, Liepniece-Karele, Inta, Marchiò, Caterina, Provenzano, Elena, Regitnig, Peter, Reiner, Angelika, Ryška, Aleš, Sapino, Anna, Stovgaard, Elisabeth Specht, Quinn, Cecily, Zolota, Vasiliki, Webber, Mark, Glynn, Sharon A., Bori, Rita, Csörgő, Erika, Oláh-Németh, Orsolya, Pancsa, Tamás, Sejben, Anita, Sejben, István, Vörös, András, Zombori, Tamás, Nyári, Tibor, Callagy, Grace, and Cserni, Gábor

Abstract

Tumour-infiltrating lymphocytes (TILs) reflect antitumour immunity. Their evaluation of histopathology specimens is influenced by several factors and is subject to issues of reproducibility. ONEST (Observers Needed to Evaluate Subjective Tests) helps in determining the number of observers that would be sufficient for the reliable estimation of inter-observer agreement of TIL categorisation. This has not been explored previously in relation to TILs. ONEST analyses, using an open-source software developed by the first author, were performed on TIL quantification in breast cancers taken from two previous studies. These were one reproducibility study involving 49 breast cancers, 23 in the first circulation and 14 pathologists in the second circulation, and one study involving 100 cases and 9 pathologists. In addition to the estimates of the number of observers required, other factors influencing the results of ONEST were examined. The analyses reveal that between six and nine observers (range 2–11) are most commonly needed to give a robust estimate of reproducibility. In addition, the number and experience of observers, the distribution of values around or away from the extremes, and outliers in the classification also influence the results. Due to the simplicity and the potentially relevant information it may give, we propose ONEST to be a part of new reproducibility analyses.

Published
2023

39. Improving teaching, teamwork, and school organization: collaboration networks in school teams

Author

Wullschleger, Andrea; https://orcid.org/0000-0003-4390-3835, Vörös, András; https://orcid.org/0000-0002-1559-1267, Rechsteiner, Beat; https://orcid.org/0000-0003-2555-431X, Rickenbacher, Ariane, Maag Merki, Katharina; https://orcid.org/0000-0002-0215-1684, Wullschleger, Andrea; https://orcid.org/0000-0003-4390-3835, Vörös, András; https://orcid.org/0000-0002-1559-1267, Rechsteiner, Beat; https://orcid.org/0000-0003-2555-431X, Rickenbacher, Ariane, and Maag Merki, Katharina; https://orcid.org/0000-0002-0215-1684

Abstract

Whereas previous studies on teacher collaboration have focused almost exclusively on improving teaching, this paper investigates collaboration in three highly important school improvement areas. Data for three collaboration networks were collected in four secondary schools in Switzerland in 2018 on teachers exploring new ideas on teaching (teaching improvement), teamwork (team improvement), and school organization (organizational improvement). Using social network analysis, we examined to what extent the collaboration networks overlap, how network structures differ, and what factors explain these differences. The results revealed substantial differences between collaboration in the three areas. This suggests that future research should examine collaboration from a multidimensional network perspective.

Published
2023

40. Formal Verification of Complex Properties on PLC Programs

Author

Darvas, Dániel, Fernández Adiego, Borja, Vörös, András, Bartha, Tamás, Blanco Viñuela, Enrique, González Suárez, Víctor M., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Ábrahám, Erika, editor, and Palamidessi, Catuscia, editor

Published
2014
Full Text
View/download PDF

41. Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics

Author

Tóth, Tamás, Vörös, András, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bondavalli, Andrea, editor, Ceccarelli, Andrea, editor, and Ortmeier, Frank, editor

Published
2014
Full Text
View/download PDF

43. Cytoplasmic Aggregation of RPB1 Predicts Failure of Neoadjuvant Chemotherapy

Author

Nagy-Mikó, Bence, primary, Németh-Szatmári, Orsolya, additional, Faragó-Mészáros, Réka, additional, Csókási, Aliz, additional, Bognár, Bence, additional, Ördög, Nóra, additional, Borsos, Barbara N., additional, Majoros, Hajnalka, additional, Ujfaludi, Zsuzsanna, additional, Oláh-Németh, Orsolya, additional, Nikolényi, Aliz, additional, Dobi, Ágnes, additional, Kószó, Renáta, additional, Sántha, Dóra, additional, Lázár, György, additional, Simonka, Zsolt, additional, Paszt, Attila, additional, Ormándi, Katalin, additional, Pankotai, Tibor, additional, Boros, Imre M., additional, Villányi, Zoltán, additional, and Vörös, András, additional

Published
2023
Full Text
View/download PDF

46. Distribution pattern of the Ki67 labelling index in breast cancer and its implications for choosing cut-off values

Author

Cserni, Gábor, Vörös, András, Liepniece-Karele, Inta, Bianchi, Simonetta, Vezzosi, Vania, Grabau, Dorthe, Sapino, Anna, Castellano, Isabella, Regitnig, Peter, Foschini, Maria Pia, Zolota, Vassiliki, Varga, Zsuzsanna, Figueiredo, Paulo, Decker, Thomas, Focke, Cornelia, Kulka, Janina, Kaya, Handan, Reiner-Concin, Angelika, Amendoeira, Isabel, Callagy, Grace, Caffrey, Emer, Wesseling, Jelle, and Wells, Clive

Published
2014
Full Text
View/download PDF

48. Pathological Diagnosis, Work-Up and Reporting of Breast Cancer 1st Central-Eastern European Professional Consensus

Author

Cserni Gabor, Francz Monika, Jaray Balasz, Kalman Endre, Kovacs Ilona, Krenács Tibor, Tot Erika, Udvarheyli Nora, Vass László, Vörös András, Krivokuća Ana, Kajo Karol, Kajová Macháleková Katarina, and Kulka Janina

Subjects
breast cancer, consensus conference, recommendations, pathology, diagnostics
Abstract

This text is based on the recommendations accepted by the 4th Hungarian Consensus Conference on Breast Cancer, modified on the basis of the international consultation and conference within the frames of the Central-Eastern European Academy of Oncology. The recommendations cover non-operative, intraoperative and postoperative diagnostics, determination of prognostic and predictive markers and the content of cytology and histology reports. Furthermore, they address some specific issues such as the current status of multigene molecular markers, the role of pathologists in clinical trials and prerequisites for their involvement, and some remarks about the future.

Published
2022

50. Pathological Diagnosis, Work-Up and Reporting of Breast Cancer 1st Central-Eastern European Professional Consensus Statement on Breast Cancer

Author

Cserni, Gábor, primary, Francz, Monika, additional, Járay, Balázs, additional, Kálmán, Endre, additional, Kovács, Ilona, additional, Krenács, Tibor, additional, Tóth, Erika, additional, Udvarhelyi, Nóra, additional, Vass, László, additional, Vörös, András, additional, Krivokuca, Ana, additional, Kajo, Karol, additional, Kajová Macháleková, Katarína, additional, and Kulka, Janina, additional

Published
2022
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results