LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 1186

Search options

  1. Article ; Online: Erratum: Molecular Ion Desorption from LiF(110) Surfaces by Positron Annihilation [Phys. Rev. Lett. 131, 143201 (2023)].

    Tachibana, T / Hoshi, D / Nagashima, Y

    Physical review letters

    2024  Volume 132, Issue 7, Page(s) 79901

    Abstract: This corrects the article DOI: 10.1103/PhysRevLett.131.143201. ...

    Abstract This corrects the article DOI: 10.1103/PhysRevLett.131.143201.
    Language English
    Publishing date 2024-03-01
    Publishing country United States
    Document type Published Erratum
    ZDB-ID 208853-8
    ISSN 1079-7114 ; 0031-9007
    ISSN (online) 1079-7114
    ISSN 0031-9007
    DOI 10.1103/PhysRevLett.132.079901
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Bonn / Germany

    Z 4' 58/153: Show issues

    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. Article ; Online: Molecular Ion Desorption from LiF(110) Surfaces by Positron Annihilation.

    Tachibana, T / Hoshi, D / Nagashima, Y

    Physical review letters

    2023  Volume 131, Issue 14, Page(s) 143201

    Abstract: We have studied the desorption of positive ions from a LiF(110) crystal surface using positron and electron irradiation at 500 eV to examine the interaction between positrons and ionic crystals. Only monatomic ions, such as H^{+}, Li^{+}, and F^{+}, are ... ...

    Abstract We have studied the desorption of positive ions from a LiF(110) crystal surface using positron and electron irradiation at 500 eV to examine the interaction between positrons and ionic crystals. Only monatomic ions, such as H^{+}, Li^{+}, and F^{+}, are detected under electron irradiation. However, positron irradiation leads to the significant desorption of ionic molecules, specifically, FH^{+} and F_{2}^{+}. Molecular ion yields are more sensitive to temperature than atomic ion yields. Based on the findings, we propose a desorption model in which positronic compounds are initially produced at the surface and subsequently desorbed as molecular ions via Auger decay following positron annihilation.
    Language English
    Publishing date 2023-10-20
    Publishing country United States
    Document type Journal Article
    ZDB-ID 208853-8
    ISSN 1079-7114 ; 0031-9007
    ISSN (online) 1079-7114
    ISSN 0031-9007
    DOI 10.1103/PhysRevLett.131.143201
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Bonn / Germany

    Z 4' 58/153: Show issues

    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: Genetic Algorithm for Program Synthesis

    Nagashima, Yutaka

    2022  

    Abstract: A deductive program synthesis tool takes a specification as input and derives a program that satisfies the specification. The drawback of this approach is that search spaces for such correct programs tend to be enormous, making it difficult to derive ... ...

    Abstract A deductive program synthesis tool takes a specification as input and derives a program that satisfies the specification. The drawback of this approach is that search spaces for such correct programs tend to be enormous, making it difficult to derive correct programs within a realistic timeout. To speed up such program derivation, we improve the search strategy of a deductive program synthesis tool, SuSLik, using evolutionary computation. Our cross-validation shows that the improvement brought by evolutionary computation generalises to unforeseen problems.
    Keywords Computer Science - Neural and Evolutionary Computing ; Computer Science - Artificial Intelligence ; Computer Science - Programming Languages
    Publishing date 2022-11-21
    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.

  4. Article ; Online: Underweight in young Japanese women over time: a longitudinal retrospective study of the change in body mass index from ages 6 to 20 years.

    Nagashima, Yuka / Inokuchi, Mikako / Sato, Yasunori / Hasegawa, Tomonobu

    Annals of human biology

    2024  Volume 51, Issue 1, Page(s) 2345393

    Abstract: Background: The high prevalence of underweight in young women has become a serious health problem in Japan. When and how young women reach a low body mass index (BMI) has not been clarified.: Aim: To clarify the characteristics of BMI standard ... ...

    Abstract Background: The high prevalence of underweight in young women has become a serious health problem in Japan. When and how young women reach a low body mass index (BMI) has not been clarified.
    Aim: To clarify the characteristics of BMI standard deviation scores (BMI SDS) trajectory of young Japanese women with underweight.
    Subjects and methods: A total of 601 Japanese female university students aged 20 years were classified into underweight and healthy weight groups. Their school health check-up data were available from the ages of 6 to 20 years. We evaluated the estimated mean values of BMI SDS at each age and differences in BMI SDS (ΔBMI SDS) from 6 years to each age using a mixed-effects model and compared between the two groups at each age.
    Results: In the underweight group, the BMI SDS at every age (-1.67 to -0.91) and the ΔBMI SDS after 16 years of age (-0.76 to -0.38) were significantly lower than those in the healthy weight group (-0.41 to -0.13, -0.07 to 0.04), respectively.
    Conclusion: Young Japanese women with underweight have at least two characteristics of BMI SDS trajectory: being constitutionally underweight and shifting their weight status from baseline towards underweight in their late teens.
    MeSH term(s) Humans ; Body Mass Index ; Thinness/epidemiology ; Female ; Adolescent ; Japan/epidemiology ; Young Adult ; Longitudinal Studies ; Child ; Retrospective Studies ; East Asian People
    Language English
    Publishing date 2024-04-29
    Publishing country England
    Document type Journal Article
    ZDB-ID 186656-4
    ISSN 1464-5033 ; 0301-4460
    ISSN (online) 1464-5033
    ISSN 0301-4460
    DOI 10.1080/03014460.2024.2345393
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Zs.A 1019: 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 (1.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.

  5. Article: Primary Bone Lymphoma of the Spine: A Case Report Highlighting Diagnostic Complexities and Treatment.

    Tsukamoto, Eisuke / Nagashima, Yoshitaka / Nishimura, Yusuke / Kuwabara, Kyoko / Saito, Ryuta

    Cureus

    2024  Volume 16, Issue 1, Page(s) e52524

    Abstract: The diagnosis of primary bone lymphoma (PBL) of the spine is challenging due to its nonspecific symptoms and radiographic features. This report details the case of an 81-year-old female who presented with lower limb weakness and thoracic pain, consequent ...

    Abstract The diagnosis of primary bone lymphoma (PBL) of the spine is challenging due to its nonspecific symptoms and radiographic features. This report details the case of an 81-year-old female who presented with lower limb weakness and thoracic pain, consequent to a vertebral pathological fracture and spinal cord compression. The initial surgical intervention revealed granulomas with caseous necrosis; however, a definitive diagnosis remained elusive. Following a third surgical procedure and further histopathological examination, the patient was finally diagnosed with diffuse large B-cell lymphoma. The therapeutic course following diagnosis involved chemotherapy, resulting in a marked improvement of the symptoms. Previous studies have highlighted the diagnostic difficulties associated with PBL, reporting the frequent need for multiple biopsies to confirm the diagnosis due to the prevalence of necrosis, crush artifacts, or inadequate sample volume. While PBL of the spine has shown responsiveness to chemotherapy and radiation therapy, early surgical intervention is advocated in cases of severe spinal cord compression or vertebral instability. The presented case highlights the importance of making a definitive pathology diagnosis in cases of suspected PBL of the spine.
    Language English
    Publishing date 2024-01-18
    Publishing country United States
    Document type Case Reports
    ZDB-ID 2747273-5
    ISSN 2168-8184
    ISSN 2168-8184
    DOI 10.7759/cureus.52524
    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. Article ; Online: Visible-Light-Induced

    Komaki, Takahiro / Sato, Yu / Uchiyama, Masanobu / Tanaka, Ken / Nagashima, Yuki

    Organic letters

    2024  Volume 26, Issue 11, Page(s) 2180–2185

    Abstract: We have developed visible-light- ... ...

    Abstract We have developed visible-light-induced
    Language English
    Publishing date 2024-03-11
    Publishing country United States
    Document type Journal Article
    ISSN 1523-7052
    ISSN (online) 1523-7052
    DOI 10.1021/acs.orglett.4c00268
    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.

    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. Article: Endoscopic Features of Gastric Mucosa-Associated Lymphoid Tissue Lymphoma without

    Watanabe, Mai / Nonaka, Kouichi / Kishino, Maiko / Nagashima, Yoji / Tokushige, Katsutoshi

    Diagnostics (Basel, Switzerland)

    2024  Volume 14, Issue 6

    Abstract: Although gastric mucosa-associated lymphoid tissue (MALT) lymphoma ... ...

    Abstract Although gastric mucosa-associated lymphoid tissue (MALT) lymphoma without
    Language English
    Publishing date 2024-03-13
    Publishing country Switzerland
    Document type Journal Article
    ZDB-ID 2662336-5
    ISSN 2075-4418
    ISSN 2075-4418
    DOI 10.3390/diagnostics14060607
    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.

  8. Book ; Online: Faster Smarter Induction in Isabelle/HOL

    Nagashima, Yutaka

    2020  

    Abstract: Proof by induction plays a critical role in formal verification and mathematics at large. However, its automation remains as one of the long-standing challenges in Computer Science. To address this problem, we developed sem_ind. Given inductive problem, ... ...

    Abstract Proof by induction plays a critical role in formal verification and mathematics at large. However, its automation remains as one of the long-standing challenges in Computer Science. To address this problem, we developed sem_ind. Given inductive problem, sem_ind recommends what arguments to pass to the induct method. To improve the accuracy of sem_ind, we introduced definitional quantifiers, a new kind of quantifiers that allow us to investigate not only the syntactic structures of inductive problems but also the definitions of relevant constants in a domain-agnostic style. Our evaluation shows that compared to its predecessor sem_ind improves the accuracy of recommendation from 20.1% to 38.2% for the most promising candidates within 5.0 seconds of timeout while decreasing the median value of execution time from 2.79 seconds to 1.06 seconds.

    Comment: This is the preprint of our paper of the same title, which is accepted to IJCAI2021. For the formal proceeding, please refer to the IJCAI2021 website
    Keywords Computer Science - Programming Languages ; Computer Science - Artificial Intelligence ; Computer Science - Logic in Computer Science
    Subject code 004
    Publishing date 2020-09-19
    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.

  9. Book ; Online: Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction

    Nagashima, Yutaka

    2020  

    Abstract: Proof assistants offer tactics to apply proof by induction, but these tactics rely on inputs given by human engineers. To automate this laborious process, we developed SeLFiE, a boolean query language to represent experienced users' knowledge on how to ... ...

    Abstract Proof assistants offer tactics to apply proof by induction, but these tactics rely on inputs given by human engineers. To automate this laborious process, we developed SeLFiE, a boolean query language to represent experienced users' knowledge on how to apply the induct tactic in Isabelle/HOL: when we apply an induction heuristic written in SeLFiE to an inductive problem and arguments to the induct tactic, the SeLFiE interpreter judges whether the arguments are plausible for that problem according to the heuristic by examining both the syntactic structure of the problem and definitions of the relevant constants. To examine the intricate interaction between syntactic analysis and analysis of constant definitions, we introduce definitional quantifiers. For evaluation we build an automatic induction prover using SeLFiE. Our evaluation based on 347 inductive problems shows that our new prover achieves 1.4 x 10^3% improvement over the corresponding baseline prover for 1.0 second of timeout and the median value of speedup is 4.48x.

    Comment: This is the preprint of our paper accepted at Tests and Proofs 2022. arXiv admin note: substantial text overlap with arXiv:2009.09215
    Keywords Computer Science - Programming Languages ; Computer Science - Artificial Intelligence ; Computer Science - Logic in Computer Science
    Subject code 004
    Publishing date 2020-10-19
    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.

  10. Article: Stereoselective synthesis of [2.2]triphenylenophanes

    Kawai, Yuya / Nogami, Juntaro / Nagashima, Yuki / Tanaka, Ken

    Chemical science

    2023  Volume 14, Issue 15, Page(s) 3963–3972

    Abstract: Planar chiral [2.2]cyclophanes with two aromatic rings in close proximity have attracted much attention for their applications as chiral materials and catalysts because of their stable chirality and transannular interactions. Although numerous [2.2] ... ...

    Abstract Planar chiral [2.2]cyclophanes with two aromatic rings in close proximity have attracted much attention for their applications as chiral materials and catalysts because of their stable chirality and transannular interactions. Although numerous [2.2]cyclophanes have been synthesized to date, only a few polycyclic aromatic hydrocarbon (PAH)-based ones have been reported, and the simultaneous control of two planar chiralities of the two aromatic rings facing each other has not been achieved. Here we report the enantio- and/or diastereoselective synthesis of planar chiral PAH-based [2.2]cyclophanes ([2.2]triphenylenophanes)
    Language English
    Publishing date 2023-03-10
    Publishing country England
    Document type Journal Article
    ZDB-ID 2559110-1
    ISSN 2041-6539 ; 2041-6520
    ISSN (online) 2041-6539
    ISSN 2041-6520
    DOI 10.1039/d3sc00571b
    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