-
Article
mGluR2/3 in the Lateral Amygdala is Required for Fear Extinction: Cortical Input Synapses onto the Lateral Amygdala as a Target Site of the mGluR2/3 Action
Various subtypes of metabotropic glutamate receptors (mGluRs) have been implicated in fear extinction, but mGluR2/3 subtype has not been tested. Here, we found that microinjection of an mGluR2/3 antagonist, LY...
-
Chapter and Conference Paper
Modeling a Big Medical Data Cognitive System with N-Ary Formal Concept Analysis
The dramatic explosion of huge number of heterogeneous medical data in smart healthcare, is leading to many difficulties on both obtaining the intelligence, cognition and natural interactions between doctors a...
-
Chapter and Conference Paper
Computing Periods \(\ldots \)
A period is the difference between the volumes of two semi-algebraic sets. Recent research has located their worst-case complexity in low levels of the Grzegorczyk Hierarchy. The present work introduces, analyzes...
-
Article
Open AccessThe effects of crystalloid versus synthetic colloid in vitro on immune cells, co-cultured with mouse splenocytes
This study assessed the effects of crystalloid versus synthetic colloid in vitro on immune cells co-cultured with mouse splenocytes. Mouse splenocytes were co-cultured with three different types of fluid: Plasma ...
-
Article
Open AccessGSK-3β activation is required for ZIP-induced disruption of learned fear
The myristoylated zeta inhibitory peptide (ZIP), which was originally developed as a protein kinase C/Mζ (PKCζ/PKMζ) inhibitor, is known to produce the loss of different forms of memories. However, ZIP induces...
-
Chapter and Conference Paper
Axiomatic Reals and Certified Efficient Exact Real Computation
We introduce a new axiomatization of the constructive real numbers in a dependent type theory. Our main motivation is to provide a sound and simple to use backend for verifying algorithms for exact real number...
-
Article
Open AccessReplacing conventional battery electrolyte additives with dioxolone derivatives for high-energy-density lithium-ion batteries
Solid electrolyte interphases generated using electrolyte additives are key for anode-electrolyte interactions and for enhancing the lithium-ion battery lifespan. Classical solid electrolyte interphase additiv...
-
Chapter and Conference Paper
Certified Computation of Nondeterministic Limits
The computational content of constructive metric completeness is the operator that computes limits of Cauchy sequences. It can be used to construct certified programs that compute interesting transcendental re...
-
Chapter and Conference Paper
Verified Exact Real Computation with Nondeterministic Functions and Limits
The problems of computing limit points nondeterministically from sequences of nondeterministic real numbers appear ubiquitously in exact real computation along with root-finding of real and complex functions. ...
-
Article
Risk of cardiovascular events according to the tricyclic antidepressant dosage in patients with chronic pain: a retrospective cohort study
We aimed to examine the risk of cardiovascular adverse events by tricyclic antidepressant (TCA) dosage among patients with chronic pain.
-
Article
Open AccessAn analytic hierarchy process analysis for reinforcing doctor–patient communication
As the health paradigm shifts toward patient-centeredness, patients can actively participate in their own treatment. However, there is still a unilateral aspect of doctor-patient communication, so it is necess...
-
Article
Open AccessSafety Profiles of mRNA COVID-19 Vaccines Using World Health Organization Global Scale Database (VigiBase): A Latent Class Analysis
Although messenger RNA (mRNA) vaccines have been developed and widely utilized to mitigate the coronavirus disease (COVID-19) pandemic, it is essential to describe the adverse events (AEs) following immunizati...
-
Article
Open AccessPhotoswitchable optoelectronic properties of 2D MoSe2/diarylethene hybrid structures
The ability to modulate optical and electrical properties of two-dimensional (2D) semiconductors has sparked considerable interest in transition metal dichalcogenides (TMDs). Herein, we introduce a facile stra...
-
Article
Metabolic Perspective on Soybean and Its Potential Impacts on Digital Breeding: An Updated Overview
Owing to its high nutritional content of protein, oil, fatty acids, and sugars, soybean (Glycine max L.), one of the most significant legume crops, is utilized worldwide as food, feed, and fuel for daily life app...
-
Article
Open AccessSelective allele stacking of a novel quantitative trait locus facilitates the enhancement of seed epicatechin content in soybean (Glycine max (L.) Merr.)
(-)-Epicatechin (EC), a primary form of flavan-3ol and a building block of proanthocyanidins, has health benefits as it is a potent antioxidant. So far, no quantitative trait loci (QTLs) associated with EC hav...
-
Article
Open AccessMedical expenses and its determinants in female patients with urological disorder
The rising older adult population has led to an increase in the prevalence of chronic diseases and medical expenses. Women tend to have a longer healthy life expectancy than men and are more likely to be expos...
-
Article
Open AccessCorrection to: Medical expenses and its determinants in female patients with urological disorder
-
Article
Open AccessThe impact of the expanded health insurance coverage policy on healthcare spending: evidence from Korea
South Korea’s National Health Insurance (NHI) system pursues universal health coverage, but it has not been able to alleviate patients’ financial burden owing to limited coverage and a high proportion of out-o...
