The coincidence of the kernel and nucleolus of a convex game: an alternative proof

In 1972, Maschler, Peleg and Shapley proved that in the class of convex the nucleolus and the kernel coincide. The only aim of this note is to provide a shorter, alternative proof of this result.

Proof of Concept of Impact Detection in Composites Using Fiber Bragg Grating Arrays

Impact detection in aeronautical structures allows predicting their future reliability and performance. An impact can produce microscopic fissures that could evolve into fractures or even the total collapse of the structure, so it is important to know the location and severity of each impact. For this purpose, optical fibers with Bragg gratings are used to analyze each impact and the vibrations generated by them. In this paper it is proven that optical fibers with Bragg gratings can be used to detect impacts, and also that a high-frequency interrogator is necessary to collect valuable information about the impacts. The use of two interrogators constitutes the main novelty of this paper.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

O Deus de Espinosa: substância una ou múltipla? Um estudo sobre a possibilidade do monismo

Esta pesquisa terá como objetivo compreender a tese do monismo, isto é, a tese de que existe uma única substância cuja unidade é garantida pela compatibilidade entre sua natureza absolutamente infinita e a multiplicidade real dos seus infinitos atributos. Mas o monismo não é aceito por todos os intérpretes como não problemático, o que, se comprovado, levaria o sistema de Espinosa à ruína. No primeiro capítulo, através da crítica de um destes intérpretes, Ferdinand Alquié, será colocado o problema do monismo. De acordo com este intérprete, Espinosa não consegue estabelecer racionalmente a possibilidade da substância absoluta. Veremos que, não conseguindo conceber como os infinitos atributos podem constituir a essência de uma substância que seja única, Alquié conclui que a tese do monismo é incompatível com a estrutura argumentativa do primeiro livro da Ética. Após a exposição do problema do monismo apresentado a partir de Alquié, será realizada uma tentativa de resgatar a coerência interna da obra de Espinosa. Este estudo visará explicitar os conceitos de substância e atributo, procurando acompanhar as duas etapas da construção do monismo ao longo das onze primeiras proposições da Ética, a saber: (1) a prova de que há uma única substância por atributo; (2) a prova de que há uma única substância para todos os atributos. Para avançar na compreensão dos problemas ontológicos envolvidos na construção do monismo, e de como a posição de Espinosa só pode ser compreendida a partir de uma transformação profunda dos conceitos herdados do cartesianismo, a pesquisa privilegiará as interpretações magistrais propostas por Martial Gueroult (Spinoza, I, Dieu; Aubier-Montaigne, Paris, 1968) e Gilles Deleuze (Spinoza et le problème de l'expression; Les Editions de Minuit, Paris, 1968). Estes intérpretes realizam cada um ao seu modo uma genealogia da substância absolutamente infinita e apresentam soluções que permitem pensar a tese do monismo como coerente. Estas soluções serão apresentadas e avaliadas para que se saiba em que medida elas conseguem expor o problema do monismo e solucioná-lo de maneira plausível.

Post-CMOS wafer level growth of carbon nanotubes for low-cost microsensors--a proof of concept.

Here we demonstrate a novel technique to grow carbon nanotubes (CNTs) on addressable localized areas, at wafer level, on a fully processed CMOS substrate. The CNTs were grown using tungsten micro-heaters (local growth technique) at elevated temperature on wafer scale by connecting adjacent micro-heaters through metal tracks in the scribe lane. The electrical and optical characterization show that the CNTs are identical and reproducible. We believe this wafer level integration of CNTs with CMOS circuitry enables the low-cost mass production of CNT sensors, such as chemical sensors.

Proof of solid state cathodoluminescence by using brightness waveform

Three different inorganic-organic hetero-junctions (A : ITO/SiO2/Alq(3)/Al, B: ITO/Alq3/SiO2/Al and C: ITO/SiO2/Alq(3)/ SiO2/Al) were fabricated. The emission can be observed only under positive bias in devices A and B, but under both biases in device C according to their brightness waveforms. With increasing voltage, the increase in blue emission in devices B and C is faster than that in green emission. This is because that the recombination of hot electrons and holes, i.e., electron-hole pairs, produced blue emission in devices B and C, and the recombination of electrons injected from Al with the accumulated holes, which are excited by hot electrons, produced green emission in device A. Hence, the emissions of the devices are attributed to not only the recombination of electrons and accumulated holes, but also the cathodoluminescence-like (CL-like) emission.

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.