Found: 72
Select item for more details and to access through your institution.
Computing minimal unsatisfiable core for LTL over finite traces.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 7, p. 1274, doi. 10.1093/logcom/exad049
- By:
- Publication type:
- Article
An optimal solution for software testing case generation based on particle swarm optimization.
- Published in:
- Open Physics, 2018, v. 16, n. 1, p. 355, doi. 10.1515/phys-2018-0048
- By:
- Publication type:
- Article
A Performance Analysis Framework of Time-Triggered Ethernet Using Real-Time Calculus.
- Published in:
- Electronics (2079-9292), 2020, v. 9, n. 7, p. 1090, doi. 10.3390/electronics9071090
- By:
- Publication type:
- Article
A User-Friendly Verification Approach for IEC 61131-3 PLC Programs.
- Published in:
- Electronics (2079-9292), 2020, v. 9, n. 4, p. 572, doi. 10.3390/electronics9040572
- By:
- Publication type:
- Article
Formal Analysis and Verification of Airborne Software Based on DO-333.
- Published in:
- Electronics (2079-9292), 2020, v. 9, n. 2, p. 327, doi. 10.3390/electronics9020327
- By:
- Publication type:
- Article
Attention-guided lightweight generative adversarial network for low-light image enhancement in maritime video surveillance.
- Published in:
- Journal of Navigation, 2022, v. 75, n. 5, p. 1100, doi. 10.1017/S0373463322000467
- By:
- Publication type:
- Article
Comprehending scientific metaphors in the bilingual brain: Evidence from event-related potentials.
- Published in:
- Frontiers in Psychology, 2022, v. 13, p. 1, doi. 10.3389/fpsyg.2022.1037525
- By:
- Publication type:
- Article
NMDA receptor activation inhibits the protective effect of BM-MSCs on bleomycin-induced lung epithelial cell damage by inhibiting ERK signaling and the paracrine factor HGF.
- Published in:
- International Journal of Molecular Medicine, 2019, v. 44, n. 1, p. 227, doi. 10.3892/ijmm.2019.4195
- By:
- Publication type:
- Article
MicroRNA-145 Negatively Regulates Cell Proliferation Through Targeting IRS1 in Isolated Ovarian Granulosa Cells From Patients With Polycystic Ovary Syndrome.
- Published in:
- Reproductive Sciences, 2017, v. 24, n. 6, p. 902, doi. 10.1177/1933719116673197
- By:
- Publication type:
- Article
Research on the Application of Intelligent Choreography for Musical Theater Based on Mixture Density Network Algorithm.
- Published in:
- Computational Intelligence & Neuroscience, 2021, p. 1, doi. 10.1155/2021/4337398
- By:
- Publication type:
- Article
Maternal high-fat diet during pregnancy and lactation affects hepatic lipid metabolism in early life of offspring rat.
- Published in:
- Journal of Biosciences, 2017, v. 42, n. 2, p. 311, doi. 10.1007/s12038-017-9675-8
- By:
- Publication type:
- Article
Differential expression patterns and clinical significance of estrogen receptor-alpha and beta in papillary thyroid carcinoma.
- Published in:
- BMC Cancer, 2014, v. 14, n. 1, p. 995, doi. 10.1186/1471-2407-14-383
- By:
- Publication type:
- Article
Differential expression patterns and clinical significance of estrogen receptor-α and β in papillary thyroid carcinoma.
- Published in:
- BMC Cancer, 2014, v. 14, p. 1, doi. 10.1186/1471-2407-14-383
- By:
- Publication type:
- Article
Differential expression patterns and clinical significance of estrogen receptor-α and β in papillary thyroid carcinoma.
- Published in:
- 2014
- By:
- Publication type:
- journal article
A pruned feed-forward neural network (pruned-FNN) approach to measure air pollution exposure.
- Published in:
- Environmental Monitoring & Assessment, 2023, v. 195, n. 10, p. 1, doi. 10.1007/s10661-023-11814-5
- By:
- Publication type:
- Article
Recycling of waste poly(ethylene terephthalate) into flame-retardant rigid polyurethane foams.
- Published in:
- Journal of Applied Polymer Science, 2014, v. 131, n. 19, p. n/a, doi. 10.1002/app.40857
- By:
- Publication type:
- Article
Impact angle of an academic journal.
- Published in:
- 2013
- By:
- Publication type:
- Opinion
A two‐step image stabilisation method for promoting visual quality in vision‐enabled maritime surveillance systems.
- Published in:
- IET Intelligent Transport Systems (Wiley-Blackwell), 2023, v. 17, n. 2, p. 435, doi. 10.1049/itr2.12269
- By:
- Publication type:
- Article
Association between parenting styles and dyslexia in primary school students: the mediating role of home literacy environment.
- Published in:
- Frontiers in Psychology, 2024, p. 1, doi. 10.3389/fpsyg.2024.1382519
- By:
- Publication type:
- Article
Emotional State and Feedback-Related Negativity Induced by Positive, Negative, and Combined Reinforcement.
- Published in:
- Frontiers in Psychology, 2021, v. 11, p. N.PAG, doi. 10.3389/fpsyg.2021.647263
- By:
- Publication type:
- Article
Identification of the key structure, preparation conditions and properties of resistant dextrin for indigestibility based on simulated gastrointestinal conditions.
- Published in:
- International Journal of Food Science & Technology, 2022, v. 57, n. 11, p. 7233, doi. 10.1111/ijfs.16070
- By:
- Publication type:
- Article
Knockdown of CRAD suppresses the growth and promotes the apoptosis of human lung cancer cells via Claudin 4.
- Published in:
- Bioscience Reports, 2020, v. 40, n. 10, p. 1, doi. 10.1042/BSR20201140
- By:
- Publication type:
- Article
Ginsenoside Rb1 promotes angiogenesis potentially by activating the JAK-STAT3 signalling pathway.
- Published in:
- Indian Journal of Experimental Biology, 2022, v. 60, n. 11, p. 817, doi. 10.56042/ijeb.v60i11.63414
- By:
- Publication type:
- Article
Identifying network biomarkers of cancer by sample-specific differential network.
- Published in:
- BMC Bioinformatics, 2022, v. 23, n. 1, p. 1, doi. 10.1186/s12859-022-04772-1
- By:
- Publication type:
- Article
BRIP1 inhibits the tumorigenic properties of cervical cancer by regulating RhoA GTPase activity.
- Published in:
- Oncology Letters, 2016, v. 11, n. 1, p. 551, doi. 10.3892/ol.2015.3963
- By:
- Publication type:
- Article
MALAT1 overexpression promotes the proliferation of human periodontal ligament stem cells by upregulating fibroblast growth factor 2.
- Published in:
- Experimental & Therapeutic Medicine, 2019, v. 18, n. 3, p. 1627, doi. 10.3892/etm.2019.7748
- By:
- Publication type:
- Article
Minimal-unsatisfiable-core-driven Local Explain-ability Analysis for Random Forest.
- Published in:
- International Journal of Software & Informatics, 2022, v. 12, n. 4, p. 355, doi. 10.21655/ijsi.1673-7288.00280
- By:
- Publication type:
- Article
Involvement of family environmental, behavioral, and social functional factors in children with attention-deficit/hyperactivity disorder.
- Published in:
- Psychology Research & Behavior Management, 2018, v. 11, p. 447, doi. 10.2147/PRBM.S178080
- By:
- Publication type:
- Article
Rhinacanthin C Ameliorates Insulin Resistance and Lipid Accumulation in NAFLD Mice via the AMPK/SIRT1 and SREBP-1c/FAS/ACC Signaling Pathways.
- Published in:
- Evidence-based Complementary & Alternative Medicine (eCAM), 2023, v. 2022, p. 1, doi. 10.1155/2023/6603522
- By:
- Publication type:
- Article
Gestational weight trajectory and risk of adverse pregnancy outcomes among women with gestational diabetes mellitus: A retrospective cohort study.
- Published in:
- Maternal & Child Nutrition, 2024, v. 20, n. 3, p. 1, doi. 10.1111/mcn.13645
- By:
- Publication type:
- Article
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols.
- Published in:
- Journal of Intelligent Manufacturing, 2021, v. 32, n. 2, p. 441, doi. 10.1007/s10845-020-01584-z
- By:
- Publication type:
- Article
Corylin alleviated sepsis-associated cardiac dysfunction via attenuating inflammation through downregulation of microRNA-214-5p.
- Published in:
- Toxicology Research, 2024, v. 13, n. 3, p. 1, doi. 10.1093/toxres/tfae081
- By:
- Publication type:
- Article
Green Lighting Design for Outdoor Basketball Court Based on Illuminance Model.
- Published in:
- Metallurgical & Mining Industry, 2015, n. 6, p. 267
- By:
- Publication type:
- Article
NMDA Receptor Antagonist Attenuates Bleomycin-Induced Acute Lung Injury.
- Published in:
- PLoS ONE, 2015, v. 10, n. 5, p. 1, doi. 10.1371/journal.pone.0125873
- By:
- Publication type:
- Article
<i>HLA-DRB1</i> Shared Epitope-Dependent DR-DQ Haplotypes Are Associated with Both Anti-CCP–Positive and –Negative Rheumatoid Arthritis in Chinese Han.
- Published in:
- PLoS ONE, 2013, v. 8, n. 8, p. 1, doi. 10.1371/journal.pone.0071373
- By:
- Publication type:
- Article
Association between 24-Hour Movement Behaviors and Smartphone Addiction among Adolescents in Foshan City, Southern China: Compositional Data Analysis.
- Published in:
- International Journal of Environmental Research & Public Health, 2022, v. 19, n. 16, p. 9942, doi. 10.3390/ijerph19169942
- By:
- Publication type:
- Article
Self-Concept in Primary School Student with Dyslexia: The Relationship to Parental Rearing Styles.
- Published in:
- International Journal of Environmental Research & Public Health, 2021, v. 18, n. 18, p. 9718, doi. 10.3390/ijerph18189718
- By:
- Publication type:
- Article
The Interactive Effects of Cognition on Coping Styles among Chinese during the COVID-19 Pandemic.
- Published in:
- International Journal of Environmental Research & Public Health, 2021, v. 18, n. 6, p. 3148, doi. 10.3390/ijerph18063148
- By:
- Publication type:
- Article
The Prevalence of Dyslexia in Primary School Children and Their Chinese Literacy Assessment in Shantou, China.
- Published in:
- International Journal of Environmental Research & Public Health, 2020, v. 17, n. 19, p. 7140, doi. 10.3390/ijerph17197140
- By:
- Publication type:
- Article
Emotional and Cognitive Responses and Behavioral Coping of Chinese Medical Workers and General Population during the Pandemic of COVID-19.
- Published in:
- International Journal of Environmental Research & Public Health, 2020, v. 17, n. 17, p. 6198, doi. 10.3390/ijerph17176198
- By:
- Publication type:
- Article
The Reliability and Validity of an Assessment Tool for Developmental Dyslexia in Chinese Children.
- Published in:
- International Journal of Environmental Research & Public Health, 2020, v. 17, n. 10, p. 3660, doi. 10.3390/ijerph17103660
- By:
- Publication type:
- Article
Personality, Behavior Characteristics, and Life Quality Impact of Children with Dyslexia.
- Published in:
- International Journal of Environmental Research & Public Health, 2020, v. 17, n. 4, p. 1415, doi. 10.3390/ijerph17041415
- By:
- Publication type:
- Article
Maternal exposure to metal components of PM<sub>2.5</sub> and low birth weight in New Mexico, USA.
- Published in:
- Environmental Science & Pollution Research, 2023, v. 30, n. 43, p. 98526, doi. 10.1007/s11356-023-29291-1
- By:
- Publication type:
- Article
Association between postnatal second-hand smoke exposure and ADHD in children: a systematic review and meta-analysis.
- Published in:
- Environmental Science & Pollution Research, 2021, v. 28, n. 2, p. 1370, doi. 10.1007/s11356-020-11269-y
- By:
- Publication type:
- Article
Long-term regression of experimental endometriosis in a rat model treated with local application of levonorgestrel-loaded biodegradable microspheres.
- Published in:
- Human Reproduction, 2012, v. 27, n. 7, p. 2089, doi. 10.1093/humrep/des142
- By:
- Publication type:
- Article
Induction of a local pseudo-pregnancy via levonorgestrel-loaded microspheres for the treatment of endometriosis in a rabbit model.
- Published in:
- Human Reproduction, 2010, v. 25, n. 2, p. 462, doi. 10.1093/humrep/dep386
- By:
- Publication type:
- Article
A comprehensive review of the human body burden of persistent organic pollutants (POPs) and associated health effects in an e-waste recycling area in China.
- Published in:
- Discover Environment, 2023, v. 1, n. 1, p. 1, doi. 10.1007/s44274-023-00015-z
- By:
- Publication type:
- Article
Let-7c-3p Regulates Autophagy under Oxidative Stress by Targeting ATG3 in Lens Epithelial Cells.
- Published in:
- BioMed Research International, 2020, p. 1, doi. 10.1155/2020/6069390
- By:
- Publication type:
- Article
Attention-deficit hyperactivity disorder in elementary school students in Shantou, China: prevalence, subtypes, and influencing factors.
- Published in:
- Neuropsychiatric Disease & Treatment, 2017, v. 13, p. 785, doi. 10.2147/NDT.S126100
- By:
- Publication type:
- Article
Plant species diversity for vegetation restoration in manganese tailing wasteland.
- Published in:
- Environmental Science & Pollution Research, 2018, v. 25, n. 24, p. 24101, doi. 10.1007/s11356-018-2275-9
- By:
- Publication type:
- Article