UB Paderborn / Katalog / Suche / in CDI

1 – 18 von 18

Sortiert nach

Explicit effect subtyping

Journal of functional programming, 2020, Vol.30, Article e15

2020

Volltextzugriff (PDF)

CONDEnSe: Contract Based Design Synthesis

2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019, p.250-260

2019

Volltextzugriff (PDF)

Efficient algebraic effect handlers for Prolog

Theory and practice of logic programming, 2016-09, Vol.16 (5-6), p.884-898

2016

Volltextzugriff (PDF)

Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts

Formal Methods, p.776-787

Volltextzugriff (PDF)

Constraint Reasoning with Local Search for Continuous Optimization

Saleh, Amr Hany

2014

Volltextzugriff (PDF)

Monitoring flood and drought risks in arid and semi‐arid regions using remote sensing data and standardized precipitation index: A case study of Syria

Journal of flood risk management, 2024-03, Vol.17 (1), p.n/a

2024

Volltextzugriff (PDF)

Rainfall forecasting in arid regions in response to climate change using ARIMA and remote sensing

Geomatics, natural hazards and risk, 2024-04, Vol.15 (1)

2024

Volltextzugriff (PDF)

Role of Intraoperative Dexmedetomidine Infusion in Enhanced Recovery after Surgery Protocols for Reducing Postoperative Analgesic Requirements in Laparoscopic Bariatric Surgeries

QJM : An International Journal of Medicine, 2023-08, Vol.116 (Supplement_1)

2023

Volltextzugriff (PDF)

Developing a mortality risk prediction model using data of 3663 hospitalized COVID-19 patients: a retrospective cohort study in an Egyptian University Hospital

BMC pulmonary medicine, 2023-02, Vol.23 (1), p.57-57, Article 57

2023

Volltextzugriff (PDF)

Optimal Model Predictive Control for Virtual Inertia Control of Autonomous Microgrids

Sustainability, 2023-03, Vol.15 (6), p.5009

2023

Volltextzugriff (PDF)

Manta Ray Foraging Optimization for the Virtual Inertia Control of Islanded Microgrids Including Renewable Energy Sources

Sustainability, 2022-04, Vol.14 (7), p.4189

2022

Volltextzugriff (PDF)

Position Statement of Transplant Activity in the Middle East in Era of COVID-19 Pandemic

Transplantation, 2020-11, Vol.104 (11), p.2205

2020

Volltextzugriff (PDF)

Corrigendum: Analysis of donor motivations in living donor liver transplantation

Frontiers in surgery, 2020-06, Vol.7, p.34-34

2020

Volltextzugriff (PDF)

Ventrally Fused Conjoined Twins (Omphaloischiopagus): A Roadmap to Successful Separation

European journal of pediatric surgery reports, 2022-01, Vol.10 (1), p.e53-e62

2022

Volltextzugriff (PDF)

Enhancement of mechanical and energy storage properties of Ba(Ti0.8Co0.2)O3 Pb-free ceramics by addition of Nd3+ ions

Materials advances, 2024

2024

Volltextzugriff (PDF)

Left ventricular torsion assessed by two‐dimensional echocardiography speckle tracking as a predictor of left ventricular remodeling and short‐term outcome following primary percutaneous coronary intervention for acute myocardial infarction: A single‐center experience

Echocardiography (Mount Kisco, N.Y.), 2017-08, Vol.34 (8), p.1159-1169

2017

Volltextzugriff (PDF)

Analysis of donor motivations in living donor liver transplantation

Frontiers in surgery, 2014-07, Vol.1, p.25

2014

Volltextzugriff (PDF)

Ventrally Fused Conjoined Twins (Omphaloischiopagus): A Roadmap to Successful Separation

European journal of pediatric surgery reports, 2022, Vol.10 (1), p.e53-e62

2022

Volltextzugriff (PDF)

1 – 18 von 18

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(15)
Mit Volltextzugriff
(15)

Publikationsform

Sprache

Englisch
(18)
Japanisch
(1)

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 7 Tagen
(1)
... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

Explicit effect subtyping

CONDEnSe: Contract Based Design Synthesis

Efficient algebraic effect handlers for Prolog

Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts

Constraint Reasoning with Local Search for Continuous Optimization

Monitoring flood and drought risks in arid and semi‐arid regions using remote sensing data and standardized precipitation index: A case study of Syria

Rainfall forecasting in arid regions in response to climate change using ARIMA and remote sensing

Role of Intraoperative Dexmedetomidine Infusion in Enhanced Recovery after Surgery Protocols for Reducing Postoperative Analgesic Requirements in Laparoscopic Bariatric Surgeries

Developing a mortality risk prediction model using data of 3663 hospitalized COVID-19 patients: a retrospective cohort study in an Egyptian University Hospital

Optimal Model Predictive Control for Virtual Inertia Control of Autonomous Microgrids

Manta Ray Foraging Optimization for the Virtual Inertia Control of Islanded Microgrids Including Renewable Energy Sources

Position Statement of Transplant Activity in the Middle East in Era of COVID-19 Pandemic

Corrigendum: Analysis of donor motivations in living donor liver transplantation

Ventrally Fused Conjoined Twins (Omphaloischiopagus): A Roadmap to Successful Separation

Enhancement of mechanical and energy storage properties of Ba(Ti0.8Co0.2)O3 Pb-free ceramics by addition of Nd3+ ions

Left ventricular torsion assessed by two‐dimensional echocardiography speckle tracking as a predictor of left ventricular remodeling and short‐term outcome following primary percutaneous coronary intervention for acute myocardial infarction: A single‐center experience

Analysis of donor motivations in living donor liver transplantation

Ventrally Fused Conjoined Twins (Omphaloischiopagus): A Roadmap to Successful Separation

Suchergebnisse filtern