Source author record

T. Mei

T. Mei appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Evaluation of data imputation strategies in complex, deeply-phenotyped data sets: the case of the EU-AIMS Longitudinal European Autism Project

An increasing number of large-scale multi-modal research initiatives has been conducted in the typically developing population, as well as in psychiatric cohorts. Missing data is a common problem in such datasets due to the difficulty of assessing multiple measures on a large number of participants. The consequences of missing data accumulate when researchers aim to explore relationships between multiple measures. Here we aim to evaluate different imputation strategies to fill in missing values in clinical data from a large (total N=764) and deeply characterised (i.e. range of clinical and cognitive instruments administered) sample of N=453 autistic individuals and N=311 control individuals recruited as part of the EU-AIMS Longitudinal European Autism Project (LEAP) consortium. In particular we consider a total of 160 clinical measures divided in 15 overlapping subsets of participants. We use two simple but common univariate strategies, mean and median imputation, as well as a Round Robin regression approach involving four independent multivariate regression models including a linear model, Bayesian Ridge regression, as well as several non-linear models, Decision Trees, Extra Trees and K-Neighbours regression. We evaluate the models using the traditional mean square error towards removed available data, and consider in addition the KL divergence between the observed and the imputed distributions. We show that all of the multivariate approaches tested provide a substantial improvement compared to typical univariate approaches. Further, our analyses reveal that across all 15 data-subsets tested, an Extra Trees regression approach provided the best global results. This allows the selection of a unique model to impute missing data for the LEAP project and deliver a fixed set of imputed clinical data to be used by researchers working with the LEAP dataset in the future.

preprint2020arXiv

Development, Demonstration, and Validation of Data-driven Compact Diode Models for Circuit Simulation and Analysis

Compact semiconductor device models are essential for efficiently designing and analyzing large circuits. However, traditional compact model development requires a large amount of manual effort and can span many years. Moreover, inclusion of new physics (eg, radiation effects) into an existing compact model is not trivial and may require redevelopment from scratch. Machine Learning (ML) techniques have the potential to automate and significantly speed up the development of compact models. In addition, ML provides a range of modeling options that can be used to develop hierarchies of compact models tailored to specific circuit design stages. In this paper, we explore three such options: (1) table-based interpolation, (2)Generalized Moving Least-Squares, and (3) feed-forward Deep Neural Networks, to develop compact models for a p-n junction diode. We evaluate the performance of these "data-driven" compact models by (1) comparing their voltage-current characteristics against laboratory data, and (2) building a bridge rectifier circuit using these devices, predicting the circuit's behavior using SPICE-like circuit simulations, and then comparing these predictions against laboratory measurements of the same circuit.

preprint2016arXiv

Nonreciprocity light propagation in coupled microcavities system beyond weak-excitation approximation

We propose an alternative scheme for nonreciprocal light propagation in two coupled cavities system, in which a two-level quantum emitter is coupled to one of the optical microcavities. For the case of parity-time (\textrm{PT}) system (i.e., active-passive coupled cavities system), the cavity gain can significantly enhance the optical nonlinearity induced by the interaction between a quantum emitter and cavity field beyond weak-excitation approximation. The giant optical nonlinearity results in the non-lossy nonreciprocal light propagation with high isolation ratio in proper parameters range. In addition, our calculations show that nonreciprocal light propagation will not be affected by the unstable output field intensity caused by optical bistability and we can even switch directions of nonreciprocal light propagation by appropriately adjusting the system parameters.

preprint2011arXiv

A kind of model of quantum electrodynamics with nonlocal interaction

We present a kind of model of quantum electrodynamics with nonlocal interaction, all the action and the equations of motion of charged particle and electromagnetic field are given. The main characteristics of the theory are: the model obeys the action principle; free charged particle and free electromagnetic field obey the Dirac equation and the Maxwell equation of free fields, respectively; for the case of interaction, both the equations of motion of charged particle and electromagnetic field lead to the normal current conservation naturally; the theory is Lorentz invariant and gauge invariant, and returns to the conventional local QED under appropriate limit conditions. Taking advantage of the Yang-Feldman equations and the Lehmann-Symanzik- Zimmermann formalism, we establish the corresponding quantum theory.

preprint2010arXiv

General Relativity as a fully singular Lagrange system

We present some gauge conditions to eliminate all second time derivative terms in the vierbein forms of the ten Einstein equations of general relativity; at the same time, we present the corresponding Lagrangian in which there is not any quadratic term of first time derivative that can leads to those vierbein forms of the Einstein equations without second time derivative term by the corresponding Euler-Lagrange equations. General relativity thus becomes a fully singular Lagrange system.

preprint2010arXiv

Undecidable propositions with Diophantine form arisen from every axiom and every theorem of Peano Arithmetic

Based on the MRDP theorem, we introduce the ideas of the proof equation of a formula and universal proof equation of Peano Arithmetic (PA); and then, combining universal proof equation and Gödel's Second Incompleteness Theorem, it is proved that, if PA is consistent, then for every axiom and every theorem of PA, we can construct a corresponding undecidable proposition with Diophantine form. Finally, we present an approach that transforms seeking a proof of a mathematical (set theoretical, number theoretical, algebraic, geometrical, topological, etc) proposition into solving a Diophantine equation.

preprint2007arXiv

Undecidable proposition in PA and Diophantine equation

Based on the MRDP theorem concerning the Hilbert tenth problem, there is a corresponding Diophantine equation called proof equation for every formula of the First-order Peano Arithmetic (PA). A formula is provable in PA, if and only if the corresponding proof equation has solution. Based on proof equation, some famous sentences, e.g., the Godel sentence, the Rosser sentence and the Henkin sentence, can be expressed by the form of Diophantine equation. It is proved that for every axiom and theorem in the PA, we can construct actually a corresponding Diophantine equation, for which we know that it has no solution, but this fact cannot be proved in the PA. This means that, for every axiom and theorem in the PA, we can construct actually a corresponding undecidable proposition. Finally, generalizing the idea of proof equation to any mathematical (set theoretical, number theoretical, algebraic, geometrical, topological, et al) proposition, a project translating the task seeking a proof of the mathematical proposition into solving a corresponding Diophantine equation is discussed.