Results 21 to 30 of about 139,845,986 (286)
A critical Kirchhoff type problem involving a nonlocal operator [PDF]
, 2013 In this paper we show the existence of non-negative solutions for a Kirchhoff type problem driven by a nonlocal integrodifferential operator, that is -M(∥-u∥-Z2) LKu=λf(x,u)+| u|2*-2u in Ω,u=0in Rn\-Ω where L K is an integrodifferential operator with ...
A. Fiscella +3 more
core +1 more source
Cosmiatry: An analysis of the Brazilian market [PDF]
Revista Brasileira de Cirurgia PlásticaIntroduction: The aesthetic procedure market is growing exponentially in Brazil. This growth has aroused the interest of several professional categories.
Bartolomeu Antonio Nascimento +5 more
doaj +1 more source
The 2020 Yearbook of Neurorestoratology
Journal of Neurorestoratology, 2021 COVID-19 has been an emerging and rapidly evolving risk to people of the world in 2020. Facing this dangerous situation, many colleagues in Neurorestoratology did their best to avoid infection if themselves and their patients, and continued their work in
Hongyun Huang +13 more
doaj +1 more source
Influenza A in children complicated by encephalitis - case study [PDF]
Romanian Journal of Infectious Diseases, 2023 Influenza is a seasonal disease that can cause annual outbreaks, especially during the cold periods of the year, in temperate areas. Symptomatology mainly involves the upper and lower respiratory tract, but varies greatly depending on the age and medical
Gheorghita Jugulete +9 more
doaj +1 more source
Dynamic Typing with Dependent Types [PDF]
, 2006 Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages require programmers to annotate their programs with many typing specifications to help guide the type checker.
Xinming Ou +3 more
openaire +2 more sources
Botulinum toxin in the treatment of pemphigus vegetans of the scalp [PDF]
Surgical & Cosmetic DermatologyPemphigus vegetans is a rare clinical form of pemphigus vulgaris, and scalp involvement is even rarer. Treatment can be challenging, often requiring systemic immunosuppression.
André Pozzobon Capeletti +3 more
doaj +1 more source
Type-level programming with match types [PDF]
Proceedings of the ACM on Programming Languages, 2022 Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents match types , a type-level equivalent of pattern matching.
Olivier Blanvillain +3 more
openaire +1 more source
A magnetic snapshot survey of F-type stars [PDF]
, 2020 International audienceWe present a spectropolarimetric magnetic snapshot survey of 55 stars which includes 53 F-type stars ranging from spectral types F0 to F9 plus 2 chemically peculiar stars β CrB, and δ Cap.
Buysschaert, B. +13 more
core +1 more source
INTEGRATED REPORTING AS A MODERN TYPE OF REPORTING FOR BUSINESS
Модели, системы, сети в экономике, технике, природе и обществе, 2022 Background. Integrated reporting will combine not only indicators that reflect the performance of business, but also indicators that reflect social, personnel, environmental and other aspects of it.
INTEGRATED REPORTING AS A MODERN TYPE OF REPORTING FOR BUSINESS
doaj +1 more source
MicroorganismsGram-stain-positive, endospore-producing, mesophilic and rod-shaped strain O16T was isolated from a copper mine’s soil and characterized using a polyphasic taxonomic approach.
Himani Darangwal +5 more
doaj +1 more source