LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 10656

Search options

  1. Book ; Online ; Conference proceedings: Computer Aided Verification

    Lahiri, Shuvendu K. / Wang, Chao

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

    (Theoretical Computer Science and General Issues ; 12224)

    2020  

    Author's details edited by Shuvendu K. Lahiri, Chao Wang
    Series title Theoretical Computer Science and General Issues ; 12224
    Keywords Software engineering ; Computers ; Computer organization ; Artificial intelligence ; Computer hardware
    Subject code 005.1
    Language English
    Size 1 Online-Ressource (XVII, 669 p. 616 illus., 117 illus. in color)
    Edition 1st ed. 2020
    Publisher Springer International Publishing ; Imprint: Springer
    Publishing place Cham
    Document type Book ; Online ; Conference proceedings
    HBZ-ID HT020544236
    ISBN 978-3-030-53288-8 ; 9783030532871 ; 9783030532895 ; 3-030-53288-7 ; 3030532879 ; 3030532895
    DOI 10.1007/978-3-030-53288-8
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  2. Book ; Online ; Conference proceedings: Computer Aided Verification

    Lahiri, Shuvendu K. / Wang, Chao

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

    (Theoretical Computer Science and General Issues ; 12225)

    2020  

    Author's details edited by Shuvendu K. Lahiri, Chao Wang
    Series title Theoretical Computer Science and General Issues ; 12225
    Keywords Software engineering ; Computers ; Artificial intelligence ; Computer organization ; Computer hardware ; Computer simulation
    Subject code 005.1
    Language English
    Size 1 Online-Ressource (XVIII, 683 p. 719 illus., 94 illus. in color)
    Edition 1st ed. 2020
    Publisher Springer International Publishing ; Imprint: Springer
    Publishing place Cham
    Document type Book ; Online ; Conference proceedings
    HBZ-ID HT020544228
    ISBN 978-3-030-53291-8 ; 9783030532901 ; 9783030532925 ; 3-030-53291-7 ; 3030532909 ; 3030532925
    DOI 10.1007/978-3-030-53291-8
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  3. Book ; Online: Computer Aided Verification

    Lahiri, Shuvendu K. / Wang, Chao

    2020  

    Abstract: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together ... ...

    Abstract The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic
    Keywords Information technology
    Size 1 electronic resource (669 pages)
    Publisher Springer Nature
    Document type Book ; Online
    Note English ; Open Access
    HBZ-ID HT020676457
    ISBN 9783030532888 ; 3030532887
    DOI 10.1007/978-3-030-53288-8
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  4. Book ; Online ; Conference proceedings: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

    Lahiri, Shuvendu K. / Wang, Chao

    2020  

    Keywords Software Engineering ; Computer science ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Mathematical theory of computation
    Size 1 electronic resource (683 pages)
    Publisher Springer Nature
    Document type Book ; Online ; Conference proceedings
    Note English ; Open Access
    HBZ-ID HT021031232
    ISBN 978-3-030-53291-8 ; 3-030-53291-7
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  5. Article ; Online: Achieving fast charging of hard carbon anodes by designing wedge nanopores.

    Wang, Chao-Yang

    Science bulletin

    2024  

    Language English
    Publishing date 2024-04-13
    Publishing country Netherlands
    Document type Journal Article
    ZDB-ID 2816140-3
    ISSN 2095-9281 ; 2095-9273
    ISSN (online) 2095-9281
    ISSN 2095-9273
    DOI 10.1016/j.scib.2024.04.021
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

  6. Book ; Online: Applications of Nanobiotechnology in Pharmacology

    Tao, Wei / Behzadi, Shahed / Ding, Jianxun / Wang, Chao

    2020  

    Keywords Science: general issues ; Pharmacology ; pharmaceutical nanotechnology ; drug delivery ; nanomedicine ; theranostics ; biomaterial ; regenerative medicine
    Size 1 electronic resource (301 pages)
    Publisher Frontiers Media SA
    Document type Book ; Online
    Note English ; Open Access
    HBZ-ID HT021230578
    ISBN 9782889633753 ; 2889633756
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  7. Book ; Online: A Diffusion-based Method for Multi-turn Compositional Image Generation

    Wang, Chao

    2023  

    Abstract: Multi-turn compositional image generation (M-CIG) is a challenging task that aims to iteratively manipulate a reference image given a modification text. While most of the existing methods for M-CIG are based on generative adversarial networks (GANs), ... ...

    Abstract Multi-turn compositional image generation (M-CIG) is a challenging task that aims to iteratively manipulate a reference image given a modification text. While most of the existing methods for M-CIG are based on generative adversarial networks (GANs), recent advances in image generation have demonstrated the superiority of diffusion models over GANs. In this paper, we propose a diffusion-based method for M-CIG named conditional denoising diffusion with image compositional matching (CDD-ICM). We leverage CLIP as the backbone of image and text encoders, and incorporate a gated fusion mechanism, originally proposed for question answering, to compositionally fuse the reference image and the modification text at each turn of M-CIG. We introduce a conditioning scheme to generate the target image based on the fusion results. To prioritize the semantic quality of the generated target image, we learn an auxiliary image compositional match (ICM) objective, along with the conditional denoising diffusion (CDD) objective in a multi-task learning framework. Additionally, we also perform ICM guidance and classifier-free guidance to improve performance. Experimental results show that CDD-ICM achieves state-of-the-art results on two benchmark datasets for M-CIG, i.e., CoDraw and i-CLEVR.

    Comment: WACV 2024 3rd Workshop on Image/Video/Audio Quality in Computer Vision and Generative AI
    Keywords Computer Science - Computer Vision and Pattern Recognition ; Computer Science - Artificial Intelligence ; Computer Science - Machine Learning
    Subject code 006
    Publishing date 2023-04-04
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  8. Article ; Online: In vivo characterization of the threshold of laser-induced optical breakdown (LIOB) of a fractional 1064 nm Nd:YAG picosecond laser by optical coherence tomography: A step forward to precision laser therapy.

    Wang, Chao-Chin

    Journal of cosmetic dermatology

    2022  Volume 21, Issue 9, Page(s) 3817–3820

    Abstract: Background: Clinical endpoints serve as an important guide to physicians during laser treatment. However, there are no reliable clinical endpoints for the fractional picosecond laser-induced optical breakdown (LIOB) whose threshold is dependent on the ... ...

    Abstract Background: Clinical endpoints serve as an important guide to physicians during laser treatment. However, there are no reliable clinical endpoints for the fractional picosecond laser-induced optical breakdown (LIOB) whose threshold is dependent on the irradiance of the laser and epidermal melanin content of the skin treated.
    Objectives: To determine the LIOB threshold in vivo of a 1064nm fractional picosecond laser for different skin colors.
    Methods: A cellular-level resolution optical coherence tomography (OCT) has successfully demonstrated that the in vivo morphological change of LIOB in the epidermis by a fractional picosecond laser. By measuring the melanin content in the area of the skin to treat using a skin imaging device, the physician would therefore be able to determine the threshold of LIOB visually under OCT for the skin of that particular melanin content.
    Conclusion: The pilot study has demonstrated that OCT may serve as a non-invasive modality to determine the thresholds of LIOB by a fractional picosecond laser. And the established correlation between melanin content and LIOB threshold in this pilot study may further guide physicians, that is, physicians may be able to predict the threshold of LIOB, without having to see the clinical endpoints, by simple measurement of melanin content of the skin to treat preoperatively.
    MeSH term(s) Humans ; Laser Therapy ; Lasers, Solid-State/therapeutic use ; Melanins ; Pilot Projects ; Tomography, Optical Coherence ; Treatment Outcome
    Chemical Substances Melanins
    Language English
    Publishing date 2022-01-30
    Publishing country England
    Document type Journal Article
    ZDB-ID 2280551-5
    ISSN 1473-2165 ; 1473-2130
    ISSN (online) 1473-2165
    ISSN 1473-2130
    DOI 10.1111/jocd.14689
    Database MEDical Literature Analysis and Retrieval System OnLINE

    Full text online

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Zs.A 6539: Show issues Location:
    Je nach Verfügbarkeit (siehe Angabe bei Bestand)
    bis Jg. 2021: Bestellungen von Artikeln über das Online-Bestellformular
    ab Jg. 2022: Lesesaal (EG)

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

  9. Article: The Burgeoning Field of Advanced Vascular Wound Management.

    Wang, Chao-Yung / Wu, Yen-Wen

    Acta Cardiologica Sinica

    2024  Volume 40, Issue 1, Page(s) 45–49

    Language English
    Publishing date 2024-01-19
    Publishing country China (Republic : 1949- )
    Document type Editorial
    ZDB-ID 1051394-2
    ISSN 1011-6842
    ISSN 1011-6842
    DOI 10.6515/ACS.202401_40(1).20231120A
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Zs.A 3059: Show issues Location:
    Je nach Verfügbarkeit (siehe Angabe bei Bestand)
    bis Jg. 1994: Bestellungen von Artikeln über das Online-Bestellformular
    Jg. 1995 - 2021: Lesesall (2.OG)
    ab Jg. 2022: Lesesaal (EG)

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

  10. Article ; Online: Tests of fit for the power function lognormal distribution.

    Wang, Chao / Zhu, He

    PloS one

    2024  Volume 19, Issue 2, Page(s) e0298309

    Abstract: In this study, tests of fit for the power function lognormal distribution is considered. The probability plot, probability plot correlation coefficient, and goodness-of-fit tests-the Kolmogorov-Smirnov (KS), Cramér-von Mises (CvM), and Anderson-Darling ( ... ...

    Abstract In this study, tests of fit for the power function lognormal distribution is considered. The probability plot, probability plot correlation coefficient, and goodness-of-fit tests-the Kolmogorov-Smirnov (KS), Cramér-von Mises (CvM), and Anderson-Darling (AD) tests are provided. Tables of critical values are presented by using simulation techniques, and the AD test outperforms KS and CvM tests based on power comparisons. Finally, to illustrate these test procedures, we fit this distribution to the data which represent the survival times of 121 breast cancer patients from one hospital.
    MeSH term(s) Humans ; Probability ; Statistical Distributions
    Language English
    Publishing date 2024-02-22
    Publishing country United States
    Document type Journal Article
    ZDB-ID 2267670-3
    ISSN 1932-6203 ; 1932-6203
    ISSN (online) 1932-6203
    ISSN 1932-6203
    DOI 10.1371/journal.pone.0298309
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

To top