Results 31 to 40 of about 3,643 (187)

Termination Analysis by Learning Terminating Programs [PDF]

, 2014
We present a novel approach to termination analysis. In a first step, the analysis uses a program as a black-box which exhibits only a finite set of sample traces. Each sample trace is infinite but can be represented by a finite lasso. The analysis can "learn" a program from a termination proof for the lasso, a program that is terminating by ...
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski   +2 more
openaire   +3 more sources

Digitale Dermatologie

JDDG: Journal der Deutschen Dermatologischen Gesellschaft, Volume 24, Issue 7, Page 934-953, July 2026.
ZUSAMMENFASSUNG Die digitale Transformation verändert die Dermatologie grundlegend und eröffnet neue Möglichkeiten in Diagnostik, Therapie und Versorgungsorganisation. Große Datenmengen in Kombination mit Künstlicher Intelligenz (KI) erlauben eine präzisere Klassifikation und Prognose, insbesondere durch die Analyse klinischer und dermatoskopischer ...
Lea Henkel, Avend Bamarni, Stephan Alexander Braun, Valentina Busik, Holger Andreas Haenssle, Stephan Rietz, Paul Schmidle, Sandra Schuh, Anna‐Theresa Seitz, Sebastian Sitaru, Stephan Traidl, Max Tischler, Felix von Krogh, Julia Welzel, Julia Winkler, Anastasia Sophie Vollmer, Katharina Susanne Kommoss, Alexander Zink   +17 more
wiley   +1 more source

Prospective comparison of diagnostic accuracy of ultrasound, PET/CT and DW‐MRI for preoperative assessment of pelvic lymph nodes in cervical cancer patients: results of the CANNES trial

Ultrasound in Obstetrics &Gynecology, Volume 67, Issue 6, Page 836-851, June 2026.
ABSTRACT Objective To determine whether ultrasound is non‐inferior to positron‐emission tomography/computed tomography (PET/CT) and diffusion‐weighted magnetic resonance imaging (DW‐MRI) in terms of overall diagnostic accuracy for the preoperative assessment of pelvic lymph‐node status in cervical cancer.
F. Frühauf, D. Fischerová, F. Moro, R. Kocián, V. Ptáčník, M. Wagnerová, L. Lambert, A. C. Testa, N. Bizzarri, R. O. Perez, E. Teodorico, D. Cibula, Collaborators, V. Poonyakanok, C. Culcasi   +14 more
wiley   +1 more source

Prevajanje termina ratio pri Varonu in Kvintilijanu

Keria: Studia Latina et Graeca, 2000
Termin (Lewandowski 1994: 1152-1153) je izraz, katerega pomen je enoznačno definiran. Vedno je v natančno opisanem razmerju z drugimi termini določene terminologije.
Kozma Ahačič
doaj   +1 more source

Rho-dependent terminators and transcription termination [PDF]

Microbiology, 2006
Rho-dependent transcription terminators participate in sophisticated genetic regulatory mechanisms, in both bacteria and phages; they occur in regulatory regions preceding the coding sequences of genes and within coding sequences, as well as at the end of transcriptional units, to prevent readthrough transcription.
openaire   +2 more sources

Predictive performance of Fetal Medicine Foundation first‐trimester screening algorithm for pre‐eclampsia according to conception mode

Ultrasound in Obstetrics &Gynecology, Volume 67, Issue 6, Page 806-814, June 2026.
ABSTRACT Objective To investigate the incidence of pre‐eclampsia (PE) and the predictive performance of the Fetal Medicine Foundation (FMF) first‐trimester PE screening algorithm across pregnancies conceived using assisted reproductive technology (ART), after ovulation induction (OI) and through spontaneous conception (SC).
A. S. L. Kjaer, I. Riishede, L. Rode, R. B. Jensen, K. Pihl, L. Sperling, M. Overgaard, N. G. Pedersen, A. C. Roslev, P. Sandager, A. Tabor, A. Pinborg, C. K. Ekelund, the PRESIDE Study Group, P. Nørgaard, C. Vedel, H. Skov, S. R. Wagner, H. J. Zingenberg, M. R. Andersen, L. Bathum, T. Hilling, C. S. Knudsen, F. S. Jørgensen   +23 more
wiley   +1 more source

Kwitnienie i jakość kwiatostanów lonasu rocznego (Lonas annua (L.) Vines et Druce) w zależności od sposobu uprawy

Acta Scientiarum Polonorum: Hortorum Cultus, 2004
Badania przeprowadzono w latach 1998-2000. Badano wpływ terminu i normy siewu na plonowanie i jakość kwiatostanów lonasu rocznego (Lonas annua (L.) Vines et Druce).
Katarzyna Karczmarz, Halina Laskowska
doaj   +1 more source

Canadian Defence Procurement and the Project Approval Process

Canadian Public Administration, Volume 69, Issue 2, Page 233-249, June 2026.
Abstract Marked delays in defence acquisitions in Canada have repeatedly raised concerns about the efficiency of its military procurement system. Observers point to the lack of a single point of accountability in defence procurement, a culture of risk aversion, and layers of bureaucratic process as key sources of the problem.
Elinor C. Sloan
wiley   +1 more source

Prioritizing bat roosts for conservation with a global multicriteria bat roost priority index based on community science

Conservation Biology, Volume 40, Issue 3, June 2026.
Abstract Prioritization in conservation is crucial for the development of efficient and effective decision‐making policies. For many decades, the importance of some species and their habitats has been assessed and applied in conservation legislation, but bats and their diurnal roosts have ofbeen overlooked.
David López‐Bosch, Krizler Tanalgo, Xavier Puig‐Montserrat, Ferran Páramo, Eric Marín, Carles Flaquer, Adrià López‐Baucells   +6 more
wiley   +1 more source

O przedstawicielach katolickiej myśli federalistycznej włoskiego Risorgimento

Czasopismo Prawno-Historyczne, 2008
Federalizm (federalismo) to słowo, które w przeciągu ostatnich kilkunastu lat zrobiło zawrotną karierę we Włoszech. Na początku lat dziewięćdziesiątych XX w. liderzy Ligi Północnej podkreślali, iż w obliczu głębokiego kryzysu państwa włoskiego niezbędna
Stanisław J. Zabłocki
doaj   +1 more source