↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Träfflista för sökning "WFRF:(DEMIROVIC J) "

Search: WFRF:(DEMIROVIC J)

Result 1-7 of 7

Sort/group result

Sort by: Hits per page:

Enumeration	Reference	Cover	Find
1.	Poulter, NR, et al. (author) Acute myocardial infarction and combined oral contraceptives: results of an international multicentre case-control study. WHO Collaborative Study of Cardiovascular Disease and Steroid Hormone Contraception 1997 In: Lancet (London, England). - 0140-6736. ; 349:9060, s. 1202-1209 Journal article (peer-reviewed)
2.	Poulter, NR, et al. (author) Ischaemic stroke and combined oral contraceptives: results of an international, multicentre, case-control study. WHO Collaborative Study of Cardiovascular Disease and Steroid Hormone Contraception 1996 In: Lancet (London, England). - 0140-6736. ; 348:9026, s. 498-505 Journal article (peer-reviewed)
3.	POULTER, NR, et al. (author) Venous thromboembolic disease and combined oral contraceptives: results of international multicentre case-control study. World Health Organization Collaborative Study of Cardiovascular Disease and Steroid Hormone Contraception 1995 In: Lancet (London, England). - 0140-6736. ; 346:8990, s. 1575-1582 Journal article (peer-reviewed)
4.	DebertRibeiro, M, et al. (author) A multinational case-control study of cardiovascular disease and steroid hormone contraceptives. Description and validation of methods. World Health Organization Collaborative Study of Cardiovascular and Steroid Hormone Contraception 1995 In: Journal of clinical epidemiology. - : Elsevier BV. - 0895-4356. ; 48:12, s. 1513-1547 Journal article (peer-reviewed)
5.	Naghavi, M, et al. (author) From vulnerable plaque to vulnerable patient: a call for new definitions and risk assessment strategies: Part I 2003 In: Circulation. - 1524-4539. ; 108:14, s. 1664-1672 Journal article (peer-reviewed)
6.	Naghavi, M, et al. (author) From vulnerable plaque to vulnerable patient: a call for new definitions and risk assessment strategies: Part II 2003 In: Circulation. - 1524-4539. ; 108:15, s. 1772-1778 Journal article (peer-reviewed)
7.	Demirović, Emir, et al. (author) Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms 2024 In: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). - 1868-8969. - 9783959773362 ; 307 Conference paper (peer-reviewed)abstract Pseudo-Boolean proof logging has been used successfully to provide certificates of optimality from a variety of constraint- and satisifability-style solvers that combine reasoning with a backtracking or clause-learning search. Another paradigm, occurring in dynamic programming and decision diagram solving, instead reasons about partial states and possible transitions between them. We describe a framework for generating clean and efficient pseudo-Boolean proofs for these kinds of algorithm, and use it to produce certifying algorithms for knapsack, longest path, and interval scheduling. Because we use a common proof system, we can also reason about hybrid solving algorithms: we demonstrate this by providing proof logging for a dynamic programming based knapsack propagator inside a constraint programming solver.

Skapa referenser, mejla, bekava och länka

Permalink

Result 1-7 of 7

Refine your search

Type of publication: journal article (6); conference paper (1)

Type of content: peer-reviewed (7)

Author/Editor: Wilson, A. (4); Virutamasen, P (4); Kisjanto, J (4); Belkic, K (4); Ruiz, R (4); Artigas, J. (4); show more...; Ho, S (4); Bartfai, G. (4); Olsen, J. (3); Smith, S. (3); Marmot, MG (3); Petitti, D (3); Thorogood, M (3); Vessey, M (3); He, S (3); Koetsawang, S (3); Farley, TMM (3); Naghavi, M (2); Falk, E (2); Serruys, PW (2); Zarrabi, A (2); Mehran, R (2); Koenig, W. (2); Kaul, S (2); Hansson, GK (2); Colombo, A (2); Pasterkamp, G (2); Navab, M (2); Boerwinkle, E (2); Stone, PH (2); Libby, P (2); Fayad, Z (2); Holck, S (2); Stefanadis, C (2); Jackson, C (2); Vogel, R. (2); Yuan, C (2); Ballantyne, C. (2); Ridker, PM (2); Assmann, G (2); Grundy, SM (2); Siscovick, DS (2); Meirik, O (2); Moreno, P (2); Virmani, R (2); Burke, A. (2); Shah, PK (2); Chesebro, JH (2); Galis, ZS (2); Farb, A. (2); show less...

University: Karolinska Institutet (6); Lund University (1)

Language: English (7)

Research subject (UKÄ/SCB): Natural sciences (1)

Year

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - National Library Systems
LIBRIS.kb.se

pil uppåt

Close

Copy and save the link in order to return to this view