740 citations
- University of OsloNO39 papers
- Chalmers University of TechnologySE14 papers
- University of OxfordGB12 papers
- Norwegian University of Science and TechnologyNO10 papers
- OsloMet – Oslo Metropolitan UniversityNO10 papers
- Simula Metropolitan Center for Digital EngineeringNO10 papers
- Simula UiB9 papers
- Umeå UniversitySE9 papers
- National Institute of InformaticsJP8 papers
- Norwegian University of Life SciencesNO7 papers
- The University of Texas at AustinUS7 papers
- Technical University of MunichDE6 papers
9 papers · 1 filter
A Combined Approach for Constraints over Finite Domains and Arrays
Sébastien Bardin, Arnaud Gotlieb
Arrays are ubiquitous in the context of software verification. However, effective reasoning over arrays is still rare in CP, as local reasoning is dramatically ill-conditioned for…
A Nitsche-based cut finite element method for a fluid--structure interaction problem
Andre Massing, Mats G. Larson, Anders Logg +1
We present a new composite mesh finite element method for fluid--structure interaction problems. The method is based on surrounding the structure by a boundary-fitted fluid mesh wh…
Securing Cognitive Radio Networks against Primary User Emulation Attacks
Rong Yu, Yan Zhang, Yi Liu +2
Cognitive Radio (CR) is a promising technology for next-generation wireless networks in order to efficiently utilize the limited spectrum resources and satisfy the rapidly increasi…
A multi-level solver for Gaussian constrained CMB realizations
D. S. Seljebotn, K. -A. Mardal, J. B. Jewell +2
We present a multi-level solver for drawing constrained Gaussian realizations or finding the maximum likelihood estimate of the CMB sky, given noisy sky maps with partial sky cover…
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version
Roberto Bagnara, Matthieu Carlier, Roberta Gori +1
Floating-point computations are quickly finding their way in the design of safety- and mission-critical systems, despite the fact that designing floating-point algorithms is signif…
Quantifying the computability of the Lorenz system
Benjamin Kehlet, Anders Logg
It is well known that the computation of accurate trajectories of the Lorenz system is a difficult problem. Computed solutions are very sensitive to the discretization error determ…