Results 21 to 30 of about 22,638,529 (319)
On a Whitham-Type Equation [PDF]
, 2009 The Hunter-Saxton equation and the Gurevich-Zybin system are considered as two mutually non-equivalent representations of one and the same Whitham-type equation, and all their common solutions are obtained ...
Sakovich, Sergei
core +5 more sources
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 +4 more
doaj +1 more source
, 2002 In the Chandra Deep Field South 1Msec exposure we have found, at redshift 3.700 +- 0.005, the most distant Type 2 AGN ever detected. It is the source with the hardest X-ray spectrum with redshift z>3.
Almaini O. +29 more
core +2 more sources
Use of botulinum toxin for the treatment of keloid scars: scoping review [PDF]
Revista Brasileira de Cirurgia PlásticaIntroduction: Visible scars can cause problems, whether aesthetic, psychological, functional, or social, mainly of great extension and volume, such as keloids.
Eduardo Lafayette Monteiro +2 more
doaj +1 more source
Liftings of Nichols algebras of diagonal type I. cartan type A [PDF]
, 2016 After the classification of the finite-dimensional Nichols algebras of diagonal type[17,18], the determination of its defining relations[7,6], and the verification of the generation in degree-s1 conjecture[6], there is still one step missing in the ...
Andruskiewitsch, Nicolas +2 more
core +2 more sources
Type inference with partial types [PDF]
Theoretical Computer Science, 1988 AbstractAs a partial solution to the problem of combining static and dynamic typing in a language with parametric polymorphism, this paper introduces a new form of type expressions which represent partial type information. These expressions are meant to capture the type information statically derivable from heterogeneous objects.
openaire +2 more sources
A type system for components [PDF]
, 2013 In modern distributed systems, dynamic reconfiguration, i.e., changing at runtime the communication pattern of a program, is chal- lenging. Generally, it is difficult to guarantee that such modifications will not disrupt ongoing computations.
E. Albert +6 more
core +5 more sources
W-types in homotopy type theory [PDF]
Mathematical Structures in Computer Science, 2014 We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, we will discuss W-types in categories of simplicial presheaves and an application to models of set theory.
van den Berg, B., Moerdijk, I.
openaire +8 more sources
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
A Type System for a Stochastic CLS [PDF]
, 2009 The Stochastic Calculus of Looping Sequences is suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities.
Angelo Troina +3 more
core +4 more sources