| 1. |
- Dustler, Magnus, et al.
(författare)
-
The characteristics of malignant breast tumors imaged using a prototype mechanical imaging system as an adjunct to mammography
- 2016
-
Ingår i: Breast Imaging : 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings - 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings. - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. - 9783319415451 - 9783319415468 ; 9699, s. 282-288
-
Konferensbidrag (refereegranskat)abstract
- Breast cancer is diagnosed by a combination of modalities. Measuring the elasto-mechanical properties of suspicious lesions, by e.g. ultrasound elastography, can help differentiate malignant from benign findings. Using a prototype Mechanical Imaging (MI) system as an adjunct to mammography, the aim of this study was to characterize tumors using MI and compare the readings to those from the contralateral breast. Thirteen bilateral MI sets from women with malignant breast lesions were included in this study, drawn from a larger set of 155 women recalled from screening. The results showed that mean lesion pressure was significantly greater than the mean pressure of the corresponding breast, 7.5 ± 7.0 kPa compared to 2.5 ± 1.6 kPa (P = 0.01). There was no evidence for a difference in mean pressure or standard deviation of the MI image between symptomatic and contralateral asymptomatic breasts (P = 0.24 and 0.68). The results support that it is possible to use MI to distinguish malignant cancers from normal breast tissue. Still, further investigations of the characteristics of benign lesions are necessary to ascertain the usefulness of the system.
|
|
| 2. |
- Timberg, Pontus, et al.
(författare)
-
Breast density assessment using breast tomosynthesis images
- 2016
-
Ingår i: Breast Imaging : 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings - 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings. - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. - 9783319415451 - 9783319415468 ; 9699, s. 197-202
-
Konferensbidrag (refereegranskat)abstract
- In this work we evaluate an approach for breast density assessment of digital breast tomosynthesis (DBT) data using the central projection image. A total of 348 random cases (both FFDM CC and MLO views and DBT MLO views) were collected using a Siemens Mammomat Inspiration tomosynthesis unit at Unilabs, Malmö. The cases underwent both BI-RADS 5th Edition labeling by radiologists and automated volumetric breast density analysis (VBDA) by an algorithm. Preliminary results showed an observed agreement of 70% (weighted Kappa, κ = 0.73) between radiologists and VBDA using FFDM images and 63% (κ = 0.62) for radiologists and VBDA using DBT images. Comparison between densities for FFDM and DBT resulted in high correlation (r = 0.94) and an observed agreement of 72% (κ = 0.76). The automated analysis is a promising approach using low dose central projection DBT images in order to get radiologist- like density ratings similar to results obtained from FFDM.
|
|
| 3. |
- Tingberg, Anders, et al.
(författare)
-
Preface
- 2016
-
Ingår i: Breast Imaging : 13th International Workshop, IWDM 2016 Malmö, Sweden, June 19 – 22, 2016 - 13th International Workshop, IWDM 2016 Malmö, Sweden, June 19 – 22, 2016. - Cham : Springer International Publishing. - 0302-9743. - 9783319415451 - 9783319415468 ; 9699
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
|
|
| 4. |
- Cheraghchi, M., et al.
(författare)
-
Approximating Linear Threshold Predicates
- 2010
-
Ingår i: Lecture Notes in Computer Science. 13th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2010 and 14th International Workshop on Randomization and Computation, RANDOM 2010, Barcelona, 1-3 September 2010. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 0302-9743 .- 1611-3349. - 9783642153686 ; 6302, s. 110-123
-
Konferensbidrag (refereegranskat)abstract
- We study constraint satisfaction problems on the domain {-1,1}, where the given constraints are homogeneous linear threshold predicates. That is, predicates of the form sgn(w1 x1+⋯+wn x n ) for some positive integer weights w 1, ..., w n . Despite their simplicity, current techniques fall short of providing a classification of these predicates in terms of approximability. In fact, it is not easy to guess whether there exists a homogeneous linear threshold predicate that is approximation resistant or not. The focus of this paper is to identify and study the approximation curve of a class of threshold predicates that allow for non-trivial approximation. Arguably the simplest such predicate is the majority predicate sgn(x 1+⋯+xn ), for which we obtain an almost complete understanding of the asymptotic approximation curve, assuming the Unique Games Conjecture. Our techniques extend to a more general class of "majority-like" predicates and we obtain parallel results for them. In order to classify these predicates, we introduce the notion of Chow-robustness that might be of independent interest.
|
|
| 5. |
- Hedin, Daniel, 1978, et al.
(författare)
-
A Principled Approach to Tracking Information Flow in the Presence of Libraries
- 2017
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783662544549 ; 10204, s. 49-70
-
Konferensbidrag (refereegranskat)abstract
- There has been encouraging progress on information flow control for programs in increasingly complex programming languages, tracking the propagation of information from input sources to output sinks. Yet, programs are typically deployed in an environment with rich APIs and powerful libraries, posing challenges for information flow control when the code for these APIs and libraries is either unavailable or written in a different language.This paper presents a principled approach to tracking information flow in the presence of libraries. With the goal to strike the balance between security and precision, we present a framework that explores the middle ground between the “shallow”, signature-based modeling of libraries and the “deep”, stateful approach, where library models need to be supplied manually. We formalize our approach for a core language, extend it with lists and higher-order functions, and establish soundness results with respect to the security condition of noninterference.
|
|
| 6. |
- Isaksson, Martin, et al.
(författare)
-
Adaptive Expert Models for Federated Learning
- 2023
-
Ingår i: <em>Lecture Notes in Computer Science </em>Volume 13448 Pages 1 - 16 2023. - Cham : Springer Science and Business Media Deutschland GmbH. - 9783031289958 ; 13448 LNAI, s. 1-16
-
Konferensbidrag (refereegranskat)abstract
- Federated Learning (FL) is a promising framework for distributed learning when data is private and sensitive. However, the state-of-the-art solutions in this framework are not optimal when data is heterogeneous and non-IID. We propose a practical and robust approach to personalization in FL that adjusts to heterogeneous and non-IID data by balancing exploration and exploitation of several global models. To achieve our aim of personalization, we use a Mixture of Experts (MoE) that learns to group clients that are similar to each other, while using the global models more efficiently. We show that our approach achieves an accuracy up to 29.78% better than the state-of-the-art and up to 4.38% better compared to a local model in a pathological non-IID setting, even though we tune our approach in the IID setting. © 2023, The Author(s)
|
|
| 7. |
- Smirnova, Oxana, et al.
(författare)
-
The NorduGrid Architecture And Middleware for Scientific Applications
- 2003
-
Ingår i: Lecture Notes in Computer Science. - Berlin, Heidelberg : Springer Berlin Heidelberg. ; 2657, s. 264-273
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- The NorduGrid project operates a production Grid infrastructure in Scandinavia and Finland using own innovative middleware solutions. The resources range from small test clusters at academic institutions to large farms at several supercomputer centers, a
|
|
| 8. |
- Aanæs, Henrik, et al.
(författare)
-
Camera Resectioning from a Box
- 2009
-
Ingår i: Lecture Notes in Computer Science. - 0302-9743 .- 1611-3349.
-
Konferensbidrag (refereegranskat)abstract
- In this paper we describe how we can do camera resectioning from a box with unknown dimensions, i.e. determine the camera model, assuming that image pixels are square. This assumption is equivalent to assuming that the camera as an aspect ratio of one and zero skew, and holds for most - if not all - digital cameras. Our proposed method works by first deriving 9 linear constraints on the projective camera matrix from the box, leaving a 3 dimensional subspace in which the projective camera matrix can lye. A single solution in this 3D subspace is then found via a method by Triggs in 1999, which uses the squared pixel assumption to set up a 4th degree polynomial to which the solution is the desired model. This approach is, however, numerically challenging, and we use several means to combat this issue. Lastly the solution is refined in an iterative manner, i.e. using bundle adjustment.
|
|
| 9. |
- Abbasi, Rosa, et al.
(författare)
-
Deductive Verification of Floating-Point Java Programs in KeY
- 2021
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. ; 12652 LNCS, s. 242-261
-
Konferensbidrag (refereegranskat)abstract
- Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning. This is unfortunate, as floating-point arithmetic is particularly unintuitive to reason about due to rounding as well as the presence of the special values infinity and ‘Not a Num-ber’ (NaN). In this paper, we present the first floating-point support in a deductive verification tool for the Java programming language. Our support in the KeY verifier handles arithmetic via floating-point decision procedures inside SMT solvers and transcendental functions via axiomatization. We evaluate this integration on new benchmarks, and show that this approach is powerful enough to prove the absence of floating-point special values—often a prerequisite for further reasoning about numerical computations—as well as certain functional properties for realistic benchmarks.
|
|
| 10. |
- Abd Alrahman, Yehia, 1986, et al.
(författare)
-
A PO Characterisation ofReconfiguration
- 2022
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 0302-9743 .- 1611-3349.
-
Konferensbidrag (refereegranskat)abstract
- We consider partial order semantics of concurrent systems in which local reconfigurations may have global side effects. That is, local changes happening to an entity may block or unblock events relating to others, namely, events in which the entity does not participate. We show that partial order computations need to capture additional restrictions about event ordering, i.e., restrictions that arise from such reconfigurations. This introduces ambiguity where different partial orders represent exactly the same events with the same participants happening in different orders, thus defeating the purpose of using partial order semantics. To remove this ambiguity, we suggest an extension of partial orders called glued partial orders. We show that glued partial orders capture all possible forced reordering arising from said reconfigurations. Furthermore, we show that computations belonging to different glued partial orders are only different due to non-determinism. We consider channeled transition systems and Petri-nets with inhibiting arcs as examples.
|
|
