LIVIVO - Das Suchportal für Lebenswissenschaften

switch to English language
Zurück zur letzten Suche Suchhistorie
Erweiterte Suche

Ihre letzten Suchen

  1. AU="Krawiec Krzysztof"
  2. AU="Bhattacharjee, Suvendu"
  3. AU="Phong, Nguyen Thanh"
  4. AU="Pattabiraman, Chitra"
  5. AU="Ngoc, Dang Tran"
  6. AU="Deihl, Eric D"
  7. AU=Longinotti Cristina AU=Longinotti Cristina
  8. AU=Neumeister Michael
  9. AU=Kaur Jaswinder
  10. AU="Ehrenhofer, Adrian"
  11. AU="Combe, Pierre"
  12. AU="Martin B. Kinnerup"
  13. AU="Grana, Justin"
  14. AU="Thiel, Uwe"
  15. AU="Zhao, Jinlong"
  16. AU="Paresce, Erberto"
  17. AU=Theerthakarai R
  18. AU="Glenson S. France"
  19. AU=Cai Yi
  20. AU="Elbasiouny, Sherif M"
  21. AU=Bhandarkar Deepraj S
  22. AU="Stefano Masiero"
  23. AU=Zhang Jin-Ying
  24. AU="Cho, Yun-Ho"
  25. AU=Chatr-aryamontri Andrew
  26. AU="Thompson, Kristin"
  27. AU="Horiguchi, Kumiko"
  28. AU="Wagner, Franz F"
  29. AU="Mishra, Vandana"
  30. AU=Zucker Irving H
  31. AU=Dang Vinh T
  32. AU="Andrea Benedetti"
  33. AU="Xu, Jiyu"
  34. AU="Dawson, Holli E"
  35. AU="Dominy, Katherine M"
  36. AU="Maunik Chapala"
  37. AU="Luksic, Ivica"
  38. AU="Mastronardi, Luciano"
  39. AU="Md Farijul Islam"
  40. AU="Quansah, Gabriel W"
  41. AU="Keane, Stephen"
  42. AU="Marsela, Enklajd"
  43. AU="Tate, Amanda W"
  44. AU="Solodov, E P"
  45. AU="Cheng-Fang Yen"

Suchergebnis

Treffer 1 - 10 von insgesamt 38

Suchoptionen

  1. Artikel ; Online: Comparison analysis of numerically calculated slip surfaces with measured S-wave velocity field for Just-Tęgoborze landslide in Carpathian flysch

    Krawiec Krzysztof / Harba Paulina

    E3S Web of Conferences, Vol 133, p

    2019  Band 01003

    Abstract: The article presents the comparison analysis between deformation field from numerical model and shear wave (S-wave) velocity field obtained from seismic interferometry (SI). Tests were conducted on active Just-Tęgoborze landslide. Geologically, the study ...

    Abstract The article presents the comparison analysis between deformation field from numerical model and shear wave (S-wave) velocity field obtained from seismic interferometry (SI). Tests were conducted on active Just-Tęgoborze landslide. Geologically, the study area lies in Magura Nappe in the Outer Carpathians. The landslide’s flysch bedrock is covered by Quaternary colluvium built of clays and weathered clayey-rock deposits. During geotechnical investigation, properties of landslide body were established and failure surfaces were distinguished. In order to obtain S-wave velocity models, one-hour of ambient seismic noise was recorded by 12 broadband seismometers. As a result of data processing with SI method, Rayleigh surface wave propagation was reconstructed. The analysis of dispersion curves allowed to estimate a two dimensional S-wave velocity field. The deformation field were calculated assuming an elastic-plastic Coulomb-Mohr strength criterion. Images of shear strain increment, and values of factor of safety of the slope were obtained as a result of calculation. The comparison of the results indicates the similar characteristic features in the S-wave velocity field and the field of deformation calculated numerically.
    Schlagwörter numerical modelling ; s-wave velocity ; seismic interferometry ; landslide ; slip surface ; Environmental sciences ; GE1-350
    Thema/Rubrik (Code) 535
    Sprache Englisch
    Erscheinungsdatum 2019-01-01T00:00:00Z
    Verlag EDP Sciences
    Dokumenttyp Artikel ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Volltext online

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  2. Artikel: Machine Learning Modeling of Climate Variability Impact on River Runoff

    Norel, Mateusz / Krawiec, Krzysztof / Kundzewicz, Zbigniew W

    Water. 2021 Apr. 24, v. 13, no. 9

    2021  

    Abstract: The hypothesis of this study was one of existence of spatially organized links between the time series of river runoff and climate variability indices, describing the oscillations in the atmosphere–ocean system: ENSO (El Niño–Southern Oscillation), PDO ( ... ...

    Abstract The hypothesis of this study was one of existence of spatially organized links between the time series of river runoff and climate variability indices, describing the oscillations in the atmosphere–ocean system: ENSO (El Niño–Southern Oscillation), PDO (Pacific Decadal Oscillation), AMO (Atlantic Multidecadal Oscillation), and NAO (North Atlantic Oscillation). The global river flow reconstructions (ERA-20-CM-R) for 18 study areas on six continents and climate variability indices for the period 1901–2010 were used. The split-sample approach was applied, with the period 1901–2000 used for training and 2001–2010 used for testing. The quality measures used in this paper were mean absolute error, dynamic time warping, and top extreme events error. We demonstrated that a machine learning approach (convolution neural network, CNN) trained on climate variability indices can model the river runoff better than the long-term monthly mean baseline, both in univariate (per-cell) and multivariate (multi-cell, regionalized) settings. We compared the models to the baseline in the form of heatmaps and presented results of ablation experiments (test time ablation, i.e., jackknifing, and training time ablation), which suggested that ENSO is the primary determinant among the considered indices.
    Schlagwörter North Atlantic Oscillation ; climate ; river flow ; rivers ; runoff ; time series analysis
    Sprache Englisch
    Erscheinungsverlauf 2021-0424
    Erscheinungsort Multidisciplinary Digital Publishing Institute
    Dokumenttyp Artikel
    Anmerkung NAL-AP-2-clean
    ZDB-ID 2521238-2
    ISSN 2073-4441
    ISSN 2073-4441
    DOI 10.3390/w13091177
    Datenquelle NAL Katalog (AGRICOLA)

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

  3. Artikel ; Online: Quantum Annealing in the NISQ Era: Railway Conflict Management.

    Domino, Krzysztof / Koniorczyk, Mátyás / Krawiec, Krzysztof / Jałowiecki, Konrad / Deffner, Sebastian / Gardas, Bartłomiej

    Entropy (Basel, Switzerland)

    2023  Band 25, Heft 2

    Abstract: We are in the noisy intermediate-scale quantum (NISQ) devices' era, in which quantum hardware has become available for application in real-world problems. However, demonstrations of the usefulness of such NISQ devices are still rare. In this work, we ... ...

    Abstract We are in the noisy intermediate-scale quantum (NISQ) devices' era, in which quantum hardware has become available for application in real-world problems. However, demonstrations of the usefulness of such NISQ devices are still rare. In this work, we consider a practical railway dispatching problem: delay and conflict management on single-track railway lines. We examine the train dispatching consequences of the arrival of an already delayed train to a given network segment. This problem is computationally hard and needs to be solved almost in real time. We introduce a quadratic unconstrained binary optimization (QUBO) model of this problem, which is compatible with the emerging quantum annealing technology. The model's instances can be executed on present-day quantum annealers. As a proof-of-concept, we solve selected real-life problems from the Polish railway network using D-Wave quantum annealers. As a reference, we also provide solutions calculated with classical methods, including the conventional solution of a linear integer version of the model as well as the solution of the QUBO model using a tensor network-based algorithm. Our preliminary results illustrate the degree of difficulty of real-life railway instances for the current quantum annealing technology. Moreover, our analysis shows that the new generation of quantum annealers (the advantage system) does not perform well on those instances, either.
    Sprache Englisch
    Erscheinungsdatum 2023-01-18
    Erscheinungsland Switzerland
    Dokumenttyp Journal Article
    ZDB-ID 2014734-X
    ISSN 1099-4300 ; 1099-4300
    ISSN (online) 1099-4300
    ISSN 1099-4300
    DOI 10.3390/e25020191
    Datenquelle MEDical Literature Analysis and Retrieval System OnLINE

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

  4. Artikel ; Online: Comparison of an empirical S-wave velocity model and a calculated stress-strain model for a rock mass disturbed by mining

    Krawiec Krzysztof / Czarny Rafał

    E3S Web of Conferences, Vol 24, p

    2017  Band 03001

    Abstract: In the article a comparison analysis is presented between a numerical model of the stress and deformation state in a rock mass and an S-wave velocity model obtained as a result of in situ measurement. The research was conducted using data from the ... ...

    Abstract In the article a comparison analysis is presented between a numerical model of the stress and deformation state in a rock mass and an S-wave velocity model obtained as a result of in situ measurement. The research was conducted using data from the Jastrzębie and Moszczenica coal mines. The part of the rock mass examined was strongly disturbed by multi-seam exploitation of coal. To obtain the S-wave velocity model 6 hours of ambient seismic noise data were recorded using 11 seismometers. The propagation of the Rayleigh surface wave between the seismometers was reconstructed utilising the seismic interferometry and the cross correlation technique. Estimation of a two dimensional model of the Swave velocity field was performed on the basis of dispersion curves of the Rayleigh wave phase velocity. The stress and deformation field were calculated assuming a plane state of stress with the use of the elastic-plastic Coulomb-Mohr strength criterion. Images of the vertical stress, horizontal stress, vertical strain and horizontal strain as well as the subsidence profile on the model surface were obtained as a result of the calculation. Analysis of the results shows correlation between the field of S-wave velocity and the modelled field of stress and strain.
    Schlagwörter Environmental sciences ; GE1-350
    Thema/Rubrik (Code) 530
    Sprache Englisch
    Erscheinungsdatum 2017-01-01T00:00:00Z
    Verlag EDP Sciences
    Dokumenttyp Artikel ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Volltext online

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  5. Artikel ; Online: Adaptive Test Selection for Factorization-based Surrogate Fitness in Genetic Programming

    Krawiec Krzysztof / Liskowski Paweł

    Foundations of Computing and Decision Sciences, Vol 42, Iss 4, Pp 339-

    2017  Band 358

    Abstract: Genetic programming (GP) is a variant of evolutionary algorithm where the entities undergoing simulated evolution are computer programs. A fitness function in GP is usually based on a set of tests, each of which defines the desired output a correct ... ...

    Abstract Genetic programming (GP) is a variant of evolutionary algorithm where the entities undergoing simulated evolution are computer programs. A fitness function in GP is usually based on a set of tests, each of which defines the desired output a correct program should return for an exemplary input. The outcomes of interactions between programs and tests in GP can be represented as an interaction matrix, with rows corresponding to programs in the current population and columns corresponding to tests. In previous work, we proposed SFIMX, a method that performs only a fraction of interactions and employs non-negative matrix factorization to estimate the outcomes of remaining ones, shortening GP’s runtime. In this paper, we build upon that work and propose three extensions of SFIMX, in which the subset of tests drawn to perform interactions is selected with respect to test difficulty. The conducted experiment indicates that the proposed extensions surpass the original SFIMX on a suite of discrete GP benchmarks.
    Schlagwörter genetic programming ; matrix factorization ; surrogate fitness ; testbased problems ; recommender systems ; Electronic computers. Computer science ; QA75.5-76.95
    Thema/Rubrik (Code) 005
    Sprache Englisch
    Erscheinungsdatum 2017-12-01T00:00:00Z
    Verlag Sciendo
    Dokumenttyp Artikel ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Volltext online

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  6. Buch ; Online: Solving rescheduling problems in heterogeneous urban railway networks using hybrid quantum-classical approach

    Koniorczyk, Mátyás / Krawiec, Krzysztof / Botelho, Ludmila / Bešinović, Nikola / Domino, Krzysztof

    2023  

    Abstract: We address the applicability of hybrid quantum-classical solvers for practical railway rescheduling management problems. We build an integer linear model for the given problem and solve it with D-Wave's quantum-classical hybrid solver as well as with ... ...

    Abstract We address the applicability of hybrid quantum-classical solvers for practical railway rescheduling management problems. We build an integer linear model for the given problem and solve it with D-Wave's quantum-classical hybrid solver as well as with CPLEX for comparison. The proposed approach is demonstrated on a real-life heterogeneous urban network in Poland, including both single- and double segments and covers all the requirements posed by the operator of the network. The computational results demonstrate the readiness for application and benefits of quantum-classical hybrid solvers in the a realistic railway scenario: they yield acceptable solutions on time, which is a critical requirement in a rescheduling situation. At the same time, the obtained solutions are feasible and in sometimes suboptimal. Moreover, though they are heuristics they offer a valid alternative and most importantly, outperform classical solvers in some cases.
    Schlagwörter Quantum Physics ; Computer Science - Emerging Technologies
    Thema/Rubrik (Code) 000
    Erscheinungsdatum 2023-09-13
    Erscheinungsland us
    Dokumenttyp Buch ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Volltext online

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  7. Artikel ; Online: Competent Geometric Semantic Genetic Programming for Symbolic Regression and Boolean Function Synthesis.

    Pawlak, Tomasz P / Krawiec, Krzysztof

    Evolutionary computation

    2017  Band 26, Heft 2, Seite(n) 177–212

    Abstract: Program semantics is a promising recent research thread in Genetic Programming (GP). Over a dozen semantic-aware search, selection, and initialization operators for GP have been proposed to date. Some of these operators are designed to exploit the ... ...

    Abstract Program semantics is a promising recent research thread in Genetic Programming (GP). Over a dozen semantic-aware search, selection, and initialization operators for GP have been proposed to date. Some of these operators are designed to exploit the geometric properties of semantic space, while others focus on making offspring effective, that is, semantically different from their parents. Only a small fraction of previous works aimed at addressing both of these features simultaneously. In this article, we propose a suite of competent operators that combine effectiveness with geometry for population initialization, mate selection, mutation, and crossover. We present a theoretical rationale behind these operators and compare them experimentally to operators known from literature on symbolic regression and Boolean function synthesis benchmarks. We analyze each operator in isolation as well as verify how they fare together in an evolutionary run, concluding that the competent operators are superior on a wide range of performance indicators, including best-of-run fitness, test-set fitness, and program size.
    Mesh-Begriff(e) Algorithms ; Biological Evolution ; Computer Simulation ; Humans ; Models, Biological ; Semantics
    Sprache Englisch
    Erscheinungsdatum 2017-02-16
    Erscheinungsland United States
    Dokumenttyp Journal Article
    ZDB-ID 2022147-2
    ISSN 1530-9304 ; 1063-6560
    ISSN (online) 1530-9304
    ISSN 1063-6560
    DOI 10.1162/EVCO_a_00205
    Datenquelle MEDical Literature Analysis and Retrieval System OnLINE

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

  8. Artikel ; Online: Online Discovery of Search Objectives for Test-Based Problems.

    Liskowski, Paweł / Krawiec, Krzysztof

    Evolutionary computation

    2017  Band 25, Heft 3, Seite(n) 375–406

    Abstract: In test-based problems, commonly approached with competitive coevolutionary algorithms, the fitness of a candidate solution is determined by the outcomes of its interactions with multiple tests. Usually, fitness is a scalar aggregate of interaction ... ...

    Abstract In test-based problems, commonly approached with competitive coevolutionary algorithms, the fitness of a candidate solution is determined by the outcomes of its interactions with multiple tests. Usually, fitness is a scalar aggregate of interaction outcomes, and as such imposes a complete order on the candidate solutions. However, passing different tests may require unrelated "skills," and candidate solutions may vary with respect to such capabilities. In this study, we provide theoretical evidence that scalar fitness, inherently incapable of capturing such differences, is likely to lead to premature convergence. To mitigate this problem, we propose disco, a method that automatically identifies the groups of tests for which the candidate solutions behave similarly and define the above skills. Each such group gives rise to a derived objective, and these objectives together guide the search algorithm in multi-objective fashion. When applied to several well-known test-based problems, the proposed approach significantly outperforms the conventional two-population coevolution. This opens the door to efficient and generic countermeasures to premature convergence for both coevolutionary and evolutionary algorithms applied to problems featuring aggregating fitness functions.
    Mesh-Begriff(e) Algorithms ; Biological Evolution ; Computational Biology/methods ; Computational Biology/standards ; Internet ; Models, Theoretical
    Sprache Englisch
    Erscheinungsdatum 2017
    Erscheinungsland United States
    Dokumenttyp Journal Article
    ZDB-ID 2022147-2
    ISSN 1530-9304 ; 1063-6560
    ISSN (online) 1530-9304
    ISSN 1063-6560
    DOI 10.1162/EVCO_a_00179
    Datenquelle MEDical Literature Analysis and Retrieval System OnLINE

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

  9. Buch ; Online: Quadratic and Higher-Order Unconstrained Binary Optimization of Railway Rescheduling for Quantum Computing

    Domino, Krzysztof / Kundu, Akash / Salehi, Özlem / Krawiec, Krzysztof

    2021  

    Abstract: As consequences of disruptions in railway traffic affect passenger experience/satisfaction, appropriate rerouting and/or rescheduling is necessary. These problems are known to be NP-hard, given the numerous restrictions of traffic nature. With the recent ...

    Abstract As consequences of disruptions in railway traffic affect passenger experience/satisfaction, appropriate rerouting and/or rescheduling is necessary. These problems are known to be NP-hard, given the numerous restrictions of traffic nature. With the recent advances in quantum technologies, quantum annealing has become an alternative method to solve such optimization problems. To use quantum annealing, the problem needs to be encoded in QUBO (quadratic unconstrained binary optimization) or HOBO (higher-order binary optimization) formulation that can be recast as a QUBO. This paper introduces QUBO and HOBO representations for rescheduling problems of railway traffic management; the latter is a new approach up to our knowledge. This new approach takes into account not only the single-track lines but also the double- and multi-track lines, as well as stations composed of tracks and switches. We consider the conditions of minimal headway between trains, minimal stay on stations, track occupation, and rolling stock circulation. Furthermore, a hybrid quantum-classical procedure is presented that includes rerouting. We demonstrate the proof of concept implementation on the D-Wave Quantum Processing Unit and D-Wave hybrid solver.
    Schlagwörter Computer Science - Emerging Technologies ; Electrical Engineering and Systems Science - Systems and Control ; Quantum Physics
    Thema/Rubrik (Code) 000
    Erscheinungsdatum 2021-07-07
    Erscheinungsland us
    Dokumenttyp Buch ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Volltext online

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  10. Artikel: Automatic synthesis of constraints from examples using mixed integer linear programming

    Pawlak, Tomasz P / Krawiec, Krzysztof

    European journal of operational research : EJOR Vol. 261, No. 3 , p. 1141-1157

    2017  Band 261, Heft 3, Seite(n) 1141–1157

    Verfasserangabe Tomasz P. Pawlak, Krzysztof Krawiec
    Schlagwörter Artificial intelligence ; Constraint acquisition ; Constraint learning ; Model induction ; Model generation
    Sprache Englisch
    Verlag Elsevier
    Erscheinungsort Amsterdam
    Dokumenttyp Artikel
    ZDB-ID 243003-4
    ISSN 0377-2217
    Datenquelle ECONomics Information System

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

Zum Seitenanfang