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

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

Sökning: WFRF:(DEMIROVIC J)

Resultat 1-7 av 7

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Poulter, NR, et al. (författare) 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 Ingår i: Lancet (London, England). - 0140-6736. ; 349:9060, s. 1202-1209 Tidskriftsartikel (refereegranskat)
2.	Poulter, NR, et al. (författare) 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 Ingår i: Lancet (London, England). - 0140-6736. ; 348:9026, s. 498-505 Tidskriftsartikel (refereegranskat)
3.	POULTER, NR, et al. (författare) 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 Ingår i: Lancet (London, England). - 0140-6736. ; 346:8990, s. 1575-1582 Tidskriftsartikel (refereegranskat)
4.	DebertRibeiro, M, et al. (författare) 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 Ingår i: Journal of clinical epidemiology. - : Elsevier BV. - 0895-4356. ; 48:12, s. 1513-1547 Tidskriftsartikel (refereegranskat)
5.	Naghavi, M, et al. (författare) From vulnerable plaque to vulnerable patient: a call for new definitions and risk assessment strategies: Part I 2003 Ingår i: Circulation. - 1524-4539. ; 108:14, s. 1664-1672 Tidskriftsartikel (refereegranskat)
6.	Naghavi, M, et al. (författare) From vulnerable plaque to vulnerable patient: a call for new definitions and risk assessment strategies: Part II 2003 Ingår i: Circulation. - 1524-4539. ; 108:15, s. 1772-1778 Tidskriftsartikel (refereegranskat)
7.	Demirović, Emir, et al. (författare) Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms 2024 Ingår i: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). - 1868-8969. - 9783959773362 ; 307 Konferensbidrag (refereegranskat)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

Länka till träfflistan

Resultat 1-7 av 7

Avgränsa träffmängd

Typ av publikation: tidskriftsartikel (6); konferensbidrag (1)

Typ av innehåll: refereegranskat (7)

Författare/redaktör: Wilson, A. (4); Virutamasen, P (4); Kisjanto, J (4); Belkic, K (4); Ruiz, R (4); Artigas, J. (4); visa fler...; 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); visa färre...

Lärosäte: Karolinska Institutet (6); Lunds universitet (1)

Språk: Engelska (7)

Forskningsämne (UKÄ/SCB): Naturvetenskap (1)

År

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 - Nationella bibliotekssystem
LIBRIS.kb.se

pil uppåt

Stäng

Kopiera och spara länken för att återkomma till aktuell vy