Results 11 to 20 of about 12,021,669 (295)

Type Reconstruction for Type Classes [PDF]

Journal of Functional Programming, 1995
Abstract We study the type inference problem for a system with type classes as in the functional programming language Haskell. Type classes are an extension of ML-style polymorphism with overloading. We generalize Milner's work on polymorphism by introducing a separate context constraining the type variables in a typing judgement ...
Tobias Nipkow, Christian Prehofer
openaire   +2 more sources

Type-Indexed Data Types

Science of Computer Programming, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ralf Hinze, Johan Jeuring, Andres Löh
openaire   +8 more sources

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, Fiscella, Alessio, Valdinoci, Enrico, E. Valdinoci   +3 more
core   +1 more source

The basics of development of support reactions in an early ontogenesis

Науковий Вісник Південноукраїнського Національного Педагогічного Університету імені К. Д. Ушинського, 2020
On account of the current situation of total deterioration in the children’s health in Ukraine, a special focus is to be paid to the issues related to the children who suffer from the disorders of the musculoskeletal system, where the verticalisation of ...
Biesieda Volodymyr, Marchuk Vitaliy
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, Lin Chen, Michael Chopp, Wise Young, John Robert Bach, Xijing He, Anna Sarnowaska, Mengzhou Xue, Robert Chunhua Zhao, Ashok Shetty, Dario Siniscalco, Xiaoling Guo, Alireza Khoshnevisan, Ziad Hawamdeh   +13 more
doaj   +1 more source

Conversation Types [PDF]

Theoretical Computer Science, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Caires, Luis, Torres Vieira, Hugo
openaire   +3 more sources

Use of botulinum toxin for the treatment of keloid scars: scoping review [PDF]

Revista Brasileira de Cirurgia Plástica
Introduction: Visible scars can cause problems, whether aesthetic, psychological, functional, or social, mainly of great extension and volume, such as keloids.
Eduardo Lafayette Monteiro, Karine Lorena Sousa Queiroz, Thiago Alexandre Macedo de Azevedo   +2 more
doaj   +1 more source

Agromyces arachidis sp. nov. Isolated from a Peanut (Arachis hypogaea) Crop Field

International Journal of Microbiology, 2013
A Gram-positive, yellowish bacterium strain AK-1T was isolated from soil sample collected from peanut (Arachis hypogaea) crop field and studied by using a polyphasic approach.
Chandandeep Kaur, Anil Kumar Pinnaka, Nitin Kumar Singh, Monu Bala, Shanmugam Mayilraj   +4 more
doaj   +1 more source

Cosmiatry: An analysis of the Brazilian market [PDF]

Revista Brasileira de Cirurgia Plástica
Introduction: The aesthetic procedure market is growing exponentially in Brazil. This growth has aroused the interest of several professional categories.
Bartolomeu Antonio Nascimento, Flávio José Teixeira Rocha Ataíde da Motta, Fernanda Augusta Siqueira-Campos Ferreira da Silva, Fábio Dias-Neves, Guilherme Torreão, Rafael Anlicoara   +5 more
doaj   +1 more source

High fat intake leads to acute postprandial exposure to circulating endotoxin in type 2 diabetic subjects [PDF]

, 2012
OBJECTIVE-To evaluate the changes in circulating endotoxin after a high-saturated fat meal to determine whether these effects depend on metabolic disease state.
Varma, M.C., Saravanan, Ponnusamy, Saravanan, P., Tripathi, Gyanendra, Kumar, Sudhesh, Sabico, Shaun, Sabico, S., O'Hare, J.P., McTernan, P. G., Harte, A. L., Varma, Madhusudhan C., Ceriello, A., Al-Attas, Omar S., McTernan, P.G., Al-Attas, O.S., Al-Daghri, Nasser M., Ceriello, Antonio, McGee, K. C., O'Hare, J. Paul, McGee, K.M., Al-Daghri, N.M., Kumar, S., Harte, A.L., Tripathi, G.   +23 more
core   +1 more source