Yun-tai Chen
Yun-tai Chen, Chinese geophysicist (Xiamen, Fujian Province 10 August 1940 – Authored about 200 scientific publications Found that heterogeneities of both stress drop and cohesion are the main factors that control the growth, cessation, and healing of the crack and that the complexities in seismic radiation are caused by the complex healing process as well as complex rupture propagation Obtained a closed form expression for the static displacement field in a half-space by the dislocation in a rectangular fault for the case of unequal Lamé constants With S.G. Kim, Z.L. Wu & G.F. Panza. A mathematical theorem useful for the direct estimation of seismic source spectra. Bull. Seismol. Soc. America (1997) Proposed a technique for determination of source parameters of small and moderate earthquakes and quality factor of transmitting medium With L.S. Xu. A time domain inversion technique for the tempo-spatial distribution of slip on a finite fault plane with applications to recent large earthquakes in Tibetan Plateau. Geophys. J. Intl. 143(2):407-16, 2000 With C. Liu, Y. Zhang & L.S. Xu. A new technique for moment tensor inversion with applications to the 2008 Wenchuan M S 8.0 earthquake sequence (2008) With Y. Zhang, W. Feng, D. Forrest et al. The 2009 L’Aquila M W6.3 earthquake: a new technique to locate the hypocenter in the joint inversion of earthquake rupture process (2012) LINKS http://www.iugg.org/administration/2007vitaes/cvChenYT.pdf
Yuanting Chu
Yuanting Chu or Yuanding Zhu, Chinese ichthyologist (1896 – 1986) DESCRIBED PISCES TAXA Genera Atrilinea 1935 Atrobucca 1963 with Lo & Wu Herzensteinia 1935 Megalonibea 1963 with Lo & Wu Percocypris 1935 Species Apristurus gibbosus 1985 with Meng & Li Apristurus macrostomus 1985 with Meng & Li Apristurus micropterygeus 1986 with Meng & Li Apristurus sinensis 1981 with Hu Bythaelurus immaculatus 1982 with Meng Callechelys maculatus 1981 with Wu & Jin Centrophorus isodon 1981 with Meng & Liu Dasyatis laevigata 1960 Dipturus kwantungensis 1960 Fugu punctulatus 1963 with Hsu Johnius fasciatus 1963 with Lo & Wu Megalonibea fusca 1963 with Lo & Wu Neenchelys parrpectoralis 1981 with Wu & Jin Nibea semifasciata 1963 with Lo & Wu Ophichthys brevicaudatus 1981 with Wu & Jin Ophichthys fasciatus 1981 with Wu & Jin Oxyurichthys macrolepis 1963 with Wu Scartelos gigas 1963 with Wu Squalus acutirostris 1984 with Meng & Li Takifugu pseudommus 1935
Yong Chen
Yong Chen, Chinese seismologist (Chongqing, Sichuan Province 31 February 1942 – Revealed the effect of the stress path on the properties of rocks Developed the pulse-laser holographic interferometry applied to rock deformation measurements Found that the consistency of focal mechanisms of a group of earthquakes can be used to distinguish foreshocks and earthquake swarms Proposed the physical fractal method to analyse the seismic patterns His results of the thermal cracking were used in safety regulations of nuclear plants Compiled the world seismic hazard and risk map widely used
Xavier Caicedo
Xavier Caicedo Ferrer, Colombian mathematical logician (Cali, Valle del Cauca Department 03 December 1944 – Regarded as a world expert on the utilization of topological structures as models for obtaining logic theorems CONTRIBUTIONS Showed that any operation defined implicity by a system of quasi-identities in the variety of divisible relatively pseudo-complemented MV algebras is given by a term of variety With J. Iovino developed a maximality theorem that characterizes a class of [0,1](0,1]-valued logics in terms of a model-theoretic property (2014) With G. Metcalfe, R.O. Rodríguez & J. Rogger. A finite model property for Godel modal logics. Lecture Notes Comp. Science 8071:226-37, 2013 With F. Dechesne & T.M.V. Janssen presented a prenex form theorem for a version of Independence Friendly Logic (2009) With R. Cignoli showed that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives are strongly complete with respect to valuation in Heyting algebras with additional operations (2001) Enunciated the Caicedo-Krynicki prenex form theorem (1999) Exposed the principles of a logic of extended and variable structures utilizing sheaves over topological spaces as natural models (1995) Showed how Hilbert’s ε-symbol increases the expressive power of generalized quantifiers (1995) Proposed a general notion of intuitionistic sentential connective in the semantical context of Kripke models (1995) Generalized a theorem of Mundici relating compactness of a regular logic L to a strong form of normality of the associated spaces of models (1991) Introduced a natural class of Th quantifiers which includes not only all monadic types but also all linear order quantifiers (1990) With A.M. Sette showed how the formulae of a logic are invariants under the action of given pseudogroups of partial isomorfisms (1988) Gave a simple solution to Friedman’s fourth problem (1986) Showed that “every algebra in an equationally defined class of algebras K is a subdirect product of subdirectly irreducible algebras of K” (Birkhoff theorem) is true for any class of structures (1981) Showed that monadic filter (cofilter) quantifiers are essentially the cardinal quantifiers (1981) Gave a characterization by partial isomorfisms of elementary equivalence in logics generated by arbitrary families of quantifiers (1980) A formal system for the non-theorems of the propositional calculus. Notre Dame J. Formal Logic 19:147-51, 1978
Woon Young Chun
Woon Young Chun or Huanyong Chen, Chinese botanist (Hong Kong 22 July 1890 – 18 January 1971) From Cuban mother DESCRIBED VALID GENERA/SUBGENERA Cathaya 1962 with Kuang (Pinaceae) Cathayanthe 1946 (Gesneriaceae) Malania 1980 with Lee (Olacaceae) Merrillanthus 1941 with Tsiang (Asclepiadaceae) Peiantha 1982 with Chen (Lamiaceae) Raphiocarpus 1946 (Gesneriaceae) Tengia 1946 (Gesneriaceae) Zenia 1946 (Fabaceae) Species 478 new species HONORS Chunia Chang 1948 (Hamamelidaceae) Chuniophoenix Burret 1937 (Arecaceae)
Wlandemir de Albuquerque Cavalcanti
Wlandemir de Albuquerque Cavalcanti, Brazilian mycologist and lichenologist (fl.1961) DESCRIBED VALID GENERA Fungi Acanthorus 1967 Amerodiscosiellina 1966 with Batista Batistamnus 1967 with Bezerra Bullaserpens 1965 with Batista e Bezerra Byrsomyces 1972 Ceramoclasteropsis 1962 with Batista Chaetantromycopsis 1986 with Silva e Upadhyay Characonidia 1965 with Batista Clasteropycnis 1963 with Batista Dictyophrynella 1964 with Batista Elachopeltella 1966 with Batista Elattopycnis 1963 with Batista Haplopeltheca 1963 with Batista & Bezerra Johncouchia 1983 with Hughes Mycerema 1963 with Batista & Bezerra Orthobellus 1973 with Silva Pycnodactylus 1967 with Batista & Silva Pyripnomyces 1972 Scoliotidium 1963 with Batista Scothelius 1965 with Batista & Bezerra Stomiopeltopsis 1963 with Batista Symphysos 1967 with Batista Ventrographium 1986 with Upadhyay & Silva Lichenes Lagenomyces 1972 with Silva Phaeoantenariella 1969