UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 937

Sortiert nach

Leveraging artificial intelligence and software engineering methods in epidemiology for the co-creation of decision-support tools based on mechanistic models

Preventive veterinary medicine, 2024-05, Vol.228, p.106233-106233, Article 106233

2024

Link zum Volltext

Verfügbarkeit prüfen

Implementing an environment for hybrid software evaluation

Science of computer programming, 2024-09, Vol.236, Article 103109

2024

Link zum Volltext

Verfügbarkeit prüfen

Exploring issues of story-based effort estimation in Agile Software Development (ASD)

Science of computer programming, 2024-09, Vol.236, Article 103114

2024

Link zum Volltext

Verfügbarkeit prüfen

Theory for and from agent-based modelling: Insights from a virtual special issue and a vision

Environmental modelling & software : with environment data news, 2024-07, Vol.178, Article 106088

2024

Link zum Volltext

Verfügbarkeit prüfen

Agile effort estimation in Colombia: An assessment and opportunities for improvement

Science of computer programming, 2024-09, Vol.236, Article 103115

2024

Link zum Volltext

Verfügbarkeit prüfen

Stark: A tool for the analysis of CPSs robustness

Science of computer programming, 2024-09, Vol.236, Article 103134

2024

Link zum Volltext

Verfügbarkeit prüfen

Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving

Science of computer programming, 2024-09, Vol.236, Article 103113

2024

Link zum Volltext

Verfügbarkeit prüfen

Toward a novel taxonomy to capture code smells caused by refactoring

Science of computer programming, 2024-09, Vol.236, Article 103120

2024

Link zum Volltext

Verfügbarkeit prüfen

PX-MBT: A framework for model-based player experience testing

Science of computer programming, 2024-09, Vol.236, Article 103108

2024

Link zum Volltext

Verfügbarkeit prüfen

Verifying safety of neural networks from topological perspectives

Science of computer programming, 2024-09, Vol.236, Article 103121

2024

Link zum Volltext

Verfügbarkeit prüfen

Actionable code smell identification with fusion learning of metrics and semantics

Science of computer programming, 2024-09, Vol.236, Article 103110

2024

Link zum Volltext

Verfügbarkeit prüfen

Convergence analysis of a spectral numerical method for a peridynamic formulation of Richards’ equation

Mathematics and computers in simulation, 2024-09, Vol.223, p.219-228

2024

Link zum Volltext

Verfügbarkeit prüfen

Non-uniform WENO-based quasi-interpolating splines from the Bernstein–Bézier representation and applications

Mathematics and computers in simulation, 2024-09, Vol.223, p.158-170

2024

Link zum Volltext

Verfügbarkeit prüfen

Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents

Science of computer programming, 2024-09, Vol.236, Article 103118

2024

Link zum Volltext

Verfügbarkeit prüfen

Synthesizing LTL contracts from component libraries using rich counterexamples

Science of computer programming, 2024-09, Vol.236, Article 103116

2024

Link zum Volltext

Verfügbarkeit prüfen

On discrete constant principal curvature surfaces

Computer aided geometric design, 2024-06, Vol.111, Article 102289

2024

Link zum Volltext

Verfügbarkeit prüfen

High-order shape interpolation

Computer aided geometric design, 2024-06, Vol.111, Article 102301

2024

Link zum Volltext

Verfügbarkeit prüfen

Text-image conditioned diffusion for consistent text-to-3D generation

Computer aided geometric design, 2024-06, Vol.111, Article 102292

2024

Link zum Volltext

Verfügbarkeit prüfen

Complex dynamics in a two species system with Crowley–Martin response function: Role of cooperation, additional food and seasonal perturbations

Mathematics and computers in simulation, 2024-07, Vol.221, p.415-434

2024

Link zum Volltext

Verfügbarkeit prüfen

Newsvendor model for a dyadic supply chain with push-pull strategy under shareholding and risk aversion

Mathematics and computers in simulation, 2024-07, Vol.221, p.645-662

2024

Link zum Volltext

Verfügbarkeit prüfen

The mechanism of enterprise credit guarantee risk contagion considering ESG

Mathematics and computers in simulation, 2024-07, Vol.221, p.503-514

2024

Link zum Volltext

Verfügbarkeit prüfen

Replicating transition with modified Spalart–Allmaras model

Mathematics and computers in simulation, 2024-07, Vol.221, p.570-588

2024

Link zum Volltext

Verfügbarkeit prüfen

On fluorophore imaging by nonlinear diffusion model with dynamical iterative scheme

Mathematics and computers in simulation, 2024-07, Vol.221, p.533-549

2024

Link zum Volltext

Verfügbarkeit prüfen

Complexity of a two-stage R&D game within a cluster supply chain considering vertical R&D spillovers, effective information, and government subsidies

Mathematics and computers in simulation, 2024-07, Vol.221, p.606-621

2024

Link zum Volltext

Verfügbarkeit prüfen

De Casteljau's algorithm in geometric data analysis: Theory and application

Computer aided geometric design, 2024-05, Vol.110, Article 102288

2024

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 937

Suche als RSS-Feed

Aktive Filter

SpracheJapanisch

KollektionElsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)

KollektionIngenta.com

Neu hinzugefügt... seit 90 Tagen

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

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

Publikationsform

Artikel
(937)

Sprache

Englisch
(937)

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(112)

Menü

Weitere Dienste

Einstellungen

Leveraging artificial intelligence and software engineering methods in epidemiology for the co-creation of decision-support tools based on mechanistic models

Implementing an environment for hybrid software evaluation

Exploring issues of story-based effort estimation in Agile Software Development (ASD)

Theory for and from agent-based modelling: Insights from a virtual special issue and a vision

Agile effort estimation in Colombia: An assessment and opportunities for improvement

Stark: A tool for the analysis of CPSs robustness

Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving

Toward a novel taxonomy to capture code smells caused by refactoring

PX-MBT: A framework for model-based player experience testing

Verifying safety of neural networks from topological perspectives

Actionable code smell identification with fusion learning of metrics and semantics

Convergence analysis of a spectral numerical method for a peridynamic formulation of Richards’ equation

Non-uniform WENO-based quasi-interpolating splines from the Bernstein–Bézier representation and applications

Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents

Synthesizing LTL contracts from component libraries using rich counterexamples

On discrete constant principal curvature surfaces

High-order shape interpolation

Text-image conditioned diffusion for consistent text-to-3D generation

Complex dynamics in a two species system with Crowley–Martin response function: Role of cooperation, additional food and seasonal perturbations

Newsvendor model for a dyadic supply chain with push-pull strategy under shareholding and risk aversion

The mechanism of enterprise credit guarantee risk contagion considering ESG

Replicating transition with modified Spalart–Allmaras model

On fluorophore imaging by nonlinear diffusion model with dynamical iterative scheme

Complexity of a two-stage R&D game within a cluster supply chain considering vertical R&D spillovers, effective information, and government subsidies

De Casteljau's algorithm in geometric data analysis: Theory and application

Aktive Filter

Suchergebnisse filtern