Proof of InAs/GaAs self-organized quantum dot lasing and the experimental determination of local Strain effect on the band structures

Confirmation of quantum dot lasing have been given by photoluminescence and electro-luminescence spectra. Energy levels of QD laser are distinctively resolved due to band filling effect, and the lasing energy of quantum dot laser is much lower than quantum well laser. The energy barrier at InAs/GaAs interface due to the built-in strain in self-organized system has been determined experimentally by deep level transient spectroscopy (DLTS). Such barrier has been predicted by previous theories and can be explained by the apexes appeared in the interface between InAs and GaAs caused by strain.

An ambient proof and wide tuning range LC VCO with automatic amplitude control for tuner applications

This paper represents a LC VCO with AAC (Auto Amplitude Control), in which PMOS FETs are used as active components, and the varactors are directly connected to ground to widen Kvco linear range. The AAC circuitry adds little noise to the VCO and provides it with robust performance over a wide temperature and carrier frequency range. The VCO is fabricated in 50-GHz 0.35-mu m SiGe BiCMOS process. The measurement results show that it has -127.27-dBc/Hz phase noise at 1-MHz offset and a linear gain of 32.4-MHz/V between 990-MHz and 1.14-GHz. The whole circuit draws 6.6-mA current from 5.0-V supply.

Proof of InAs/GaAs self-organized quantum dot lasing and the experimental determination of local Strain effect on the band structures

Confirmation of quantum dot lasing have been given by photoluminescence and electro-luminescence spectra. Energy levels of QD laser are distinctively resolved due to band filling effect, and the lasing energy of quantum dot laser is much lower than quantum well laser. The energy barrier at InAs/GaAs interface due to the built-in strain in self-organized system has been determined experimentally by deep level transient spectroscopy (DLTS). Such barrier has been predicted by previous theories and can be explained by the apexes appeared in the interface between InAs and GaAs caused by strain.

Automatic Recognition of Tractability in Inference Relations

A procedure is given for recognizing sets of inference rules that generate polynomial time decidable inference relations. The procedure can automatically recognize the tractability of the inference rules underlying congruence closure. The recognition of tractability for that particular rule set constitutes mechanical verification of a theorem originally proved independently by Kozen and Shostak. The procedure is algorithmic, rather than heuristic, and the class of automatically recognizable tractable rule sets can be precisely characterized. A series of examples of rule sets whose tractability is non-trivial, yet machine recognizable, is also given. The technical framework developed here is viewed as a first step toward a general theory of tractable inference relations.

Egzystencjalna teoria umysłu. Konstrukcja narzędzia pomiarowego

Wydział Nauk Społecznych: Instytut Psychologii

Constructing Universities as Organizations: University Reforms in Poland in the Light of Institutional Theory

This chapter shows that apart from changes at the systemic and institutional levels, successful reform implementation struggles with a gradual change in academic beliefs, attitudes and behaviours. Currently, visions of the university proposed by the Polish academic community and visions of it proposed by Polish reformers and policymakers (within ongoing reforms) are worlds apart. I shall study recent reforms in the context of specific academic self--protective narratives being produced in the last two decades (at the collective level of the academic profession) and in the context of the Ivory Tower university ideals predominant at the individual level (as studied comparatively through a large--scale European survey of the academic profession). Institutions change both swiftly, radically – and slowly, gradually. Research literature on institutional change until recently was focused almost exclusively on the role of radical changes caused by external shocks, leading to radical institutional reconfigurations. And research literature about the gradual, incremental institutional change have been emergent for about a decade and a half now (Mahoney and Thelen 2010; Streeck and Thelen 2005, 2009; Thelen 2003). Polish higher education provides interesting empirical grounds to test institutional theories. Both types of transformations (radical and gradual) may lead to equally permanent changes in the functioning of institutions, equally deep transformations of their fundamental rules, norms and operating procedures. Questions about institutional change are questions about characteristics of institutions undergoing changes. Endogenous institutional change is as important as exogenous change (Mahoney and Thelen 2010: 3). Moments in which there emerge opportunities of performing deep institutional reforms are short (in Poland these moments occurred in 2009-2012), and between them there are long periods of institutional stasis and stability (Pierson 2004: 134-135). The premises of theories of institutional change can be applied systematically to a system of higher education which shows an unprecedented rate of change and which is exposed to broad, fundamental reform programmes. There are many ways to discuss the Kudrycka reforms - and "constructing Polish universities as organizations" (rather than traditional academic "institutions") is one of more promising. In this account, Polish universities are under construction as organizations, and under siege as institutions. They are being rationalized as organizations, following instrumental rather than institutional logics. Polish academics in their views and attitudes are still following an institutional logic, while Polish reforms are following the new (New Public Management-led) instrumental logics. Both are on a collision course about basic values. Reforms and reformees seem to be worlds apart. I am discussing the the two contrasting visions of the university and describing the Kudrycka reforms as the reistitutionalization of the research mission of Polish universities. The core of reforms is a new level of funding and governance - the intermediary one (and no longer the state one), with four new peer-run institutions, with the KEJN, PKA and NCN in the lead. Poland has been beginning to follow the "global rules of the academic game" since 2009. I am also discussing two academic self-protection modes agains reforms: (Polish) "national academic traditions" and "institutional exceptionalism" (of Polish HE). Both discourses prevailed for two decades, none seems socially (and politically) acceptable any more. Old myths do not seem to fit new realities. In this context I am discussing briefly and through large-scale empirical data the low connectedness to the outside world of Polish HE institutions, low influence of the government on HE policies and the low level of academic entrepreneurialism, as seen through the EUROAC/CAP micro-level data. The conclusion is that the Kudrycka reforms are an imporant first step only - Poland is too slow in reforms, and reforms are both underfunded and inconsistent. Poland is still accumulating disadvantages as public funding and university reforms have not reached a critical point. Ever more efforts lead to ever less results, as macro-level data show. Consequently, it may be useful to construct universities as organizations in Poland to a higher degree than elsewhere in Europe, and especially in Western Europe.

La pensée Sensible

Tese apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Doutor em Ciências Sociais, especialidade em Psicologia

Computational inference of neural information flow networks.

Determining how information flows along anatomical brain pathways is a fundamental requirement for understanding how animals perceive their environments, learn, and behave. Attempts to reveal such neural information flow have been made using linear computational methods, but neural interactions are known to be nonlinear. Here, we demonstrate that a dynamic Bayesian network (DBN) inference algorithm we originally developed to infer nonlinear transcriptional regulatory networks from gene expression data collected with microarrays is also successful at inferring nonlinear neural information flow networks from electrophysiology data collected with microelectrode arrays. The inferred networks we recover from the songbird auditory pathway are correctly restricted to a subset of known anatomical paths, are consistent with timing of the system, and reveal both the importance of reciprocal feedback in auditory processing and greater information flow to higher-order auditory areas when birds hear natural as opposed to synthetic sounds. A linear method applied to the same data incorrectly produces networks with information flow to non-neural tissue and over paths known not to exist. To our knowledge, this study represents the first biologically validated demonstration of an algorithm to successfully infer neural information flow networks.

Latitudinal phytoplankton distribution and the neutral theory of biodiversity

Aim Recent studies have suggested that global diatom distributions are not limited by dispersal, in the case of both extant species and fossil species, but rather that environmental filtering explains their spatial patterns. Hubbell's neutral theory of biodiversity provides a framework in which to test these alternatives. Our aim is to test whether the structure of marine phytoplankton (diatoms, dinoflagellates and coccolithophores) assemblages across the Atlantic agrees with neutral theory predictions. We asked: (1) whether intersite variance in phytoplankton diversity is explained predominantly by dispersal limitation or by environmental conditions; and (2) whether species abundance distributions are consistent with those expected by the neutral model. Location Meridional transect of the Atlantic (50 degrees N50 degrees S). Methods We estimated the relative contributions of environmental factors and geographic distance to phytoplankton composition using similarity matrices, Mantel tests and variation partitioning of the species composition based upon canonical ordination methods. We compared the species abundance distribution of phytoplankton with the neutral model using Etienne's maximum-likelihood inference method. Results Phytoplankton communities are slightly more determined by niche segregation (24%), than by dispersal limitation and ecological drift (17%). In 60% of communities, the assumption of neutrality in species' abundance distributions could not be rejected. In tropical zones, where oceanic gyres enclose large stable water masses, most communities showed low species immigration rates; in contrast, we infer that communities in temperate areas, out of oligotrophic gyres, have higher rates of species immigration. Conclusions Phytoplankton community structure is consistent with partial niche assembly and partial dispersal and drift assembly (neutral processes). The role of dispersal limitation is almost as important as habitat filtering, a fact that has been largely overlooked in previous studies. Furthermore, the polewards increase in immigration rates of species that we have discovered is probably caused by water mixing conditions and productivity.

Proof of polar ejection from the close-binary core of the planetary nebula Abell 63

We present the first detailed kinematical analysis of the planetary nebula Abell 63, which is known to contain the eclipsing close-binary nucleus UU Sge. Abell 63 provides an important test case in investigating the role of close-binary central stars on the evolution of planetary nebulae. Longslit observations were obtained using the Manchester echelle spectrometer combined with the 2.1-m San Pedro Martir Telescope. The spectra reveal that the central bright rim of Abell 63 has a tube-like structure. A deep image shows collimated lobes extending from the nebula, which are shown to be high-velocity outflows. The kinematic ages of the nebular rim and the extended lobes are calculated to be 8400 +/- 500 and 12900 +/- 2800 yr, respectively, which suggests that the lobes were formed at an earlier stage than the nebular rim. This is consistent with expectations that disc-generated jets form immediately after the common envelope phase. A morphological-kinematical model of the central nebula is presented and the best-fitting model is found to have the same inclination as the orbital plane of the central binary system; this is the first proof that a close-binary system directly affects the shaping of its nebula. A Hubble-type flow is well-established in the morphological-kinematical modelling of the observed line profiles and imagery. Two possible formation models for the elongated lobes of Abell 63 are considered, (i) a low-density, pressure-driven jet excavates a cavity in the remnant asymptotic giant branch (AGB) envelope; (ii) high-density bullets form the lobes in a single ballistic ejection event.

Analytical calculation of far infrared spectra of ice in terms of a molecular model

Wideband far infrared (FIR) spectra of complex permittivity e(p) of ice are calculated in terms of a simple analytical theory based on the method of dipolar autocorrelation functions. The molecular model represents a revision of the model recently presented for liquid water in Adv. Chem. Phys. 127 (2003) 65. A composite two-fractional model is proposed. The model is characterised by three phenomenological potential wells corresponding to the three FIR bands observed in ice. The first fraction comprises dipoles reorienting in a rather narrow and deep hat-like well; these dipoles generate the librational band centred at the frequency approximate to 880 cm(-1). The second fraction comprises elastically interacting particles; they generate two nearby bands placed around frequency 200 cm(-1). For description of one of these bands the harmonic oscillator (HO) model is used, in which translational oscillations of two charged molecules along the H-bond are considered. The other band is produced by the H-bond stretch, which governs hindered rotation of a rigid dipole. Such a motion and its dielectric response are described in terms of a new cut parabolic (CP) model applicable for any vibration amplitude. The composite hat-HO-CP model results in a smooth epsilon(nu) ice spectrum, which does not resemble the noise-like spectra of ice met in the known literature. The proposed theory satisfactorily agrees with the experimental ice spectrum measured at - 7 degrees C. The calculated longitudinal optic-transverse optic (LO-TO) splitting occurring at approximate to 250 cm(-1) qualitatively agrees with the measured data. (c) 2004 Elsevier B.V. All rights reserved.

K-Theory of non-linear projective toric varieties

We define a category of quasi-coherent sheaves of topological spaces on projective toric varieties and prove a splitting result for its algebraic K-theory, generalising earlier results for projective spaces. The splitting is expressed in terms of the number of interior lattice points of dilations of a polytope associated to the variety. The proof uses combinatorial and geometrical results on polytopal complexes. The same methods also give an elementary explicit calculation of the cohomology groups of a projective toric variety over any commutative ring.

Revealing differences in gene network inference algorithms on the network level by ensemble methods

Motivation: The inference of regulatory networks from large-scale expression data holds great promise because of the potentially causal interpretation of these networks. However, due to the difficulty to establish reliable methods based on observational data there is so far only incomplete knowledge about possibilities and limitations of such inference methods in this context.

Results: In this article, we conduct a statistical analysis investigating differences and similarities of four network inference algorithms, ARACNE, CLR, MRNET and RN, with respect to local network-based measures. We employ ensemble methods allowing to assess the inferability down to the level of individual edges. Our analysis reveals the bias of these inference methods with respect to the inference of various network components and, hence, provides guidance in the interpretation of inferred regulatory networks from expression data. Further, as application we predict the total number of regulatory interactions in human B cells and hypothesize about the role of Myc and its targets regarding molecular information processing.

Design of quantum-dot cellular automata circuits using cut-set retiming

As a potential alternative to CMOS technology, QCA provides an interesting paradigm in both communication and computation. However, QCAs unique four-phase clocking scheme and timing constraints present serious timing issues for interconnection and feedback. In this work, a cut-set retiming design procedure is proposed to resolve these QCA timing issues. The proposed design procedure can accommodate QCAs unique characteristics by performing delay-transfer and time-scaling to reallocate the existing delays so as to achieve efficient clocking zone assignment. Cut-set retiming makes it possible to effectively design relatively complex QCA circuits that include feedback. It utilizes the similar characteristics of synchronization, deep pipelines and local interconnections common to both QCA and systolic architectures. As a case study, a systolic Montgomery modular multiplier is designed to illustrate the procedure. Furthermore, a nonsystolic architecture, an S27 benchmark circuit, is designed and compared with previous designs. The comparison shows that the cut-set retiming method achieves a more efficient design, with a reduction of 22%, 44%, and 46% in terms of cell count, area, and latency, respectively.