bluuebunny/crossref_metadata_2025_split huggingface dataset:
TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
Authors: Klunder Barbara , Klunder B. 
Published: May 2007

AbstractThe aim of the paper is to show that topoi are useful in the categorial analysis of the constructive logic with strong negation. In any topos ϵ we can distinguish an object Λ and its truth‐arrows such that sets ϵ(A, Λ) (for any object A) have a Nelson algebra structure. The object Λ is defined by the categorial counterpart of the algebraic FIDEL‐VAKARELOV construction. Then it is possible to define the universal quantifier morphism which permits us to make the first order predicate calculus. The completeness theorem is proved using the Kripke‐type semantic defined by THOMASON.
PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
Authors: Gentilini Paolo , Gentilini P. 
Published: May 2007

AbstractIn this paper are studied the properties of the proofs in PRA of provability logic sentences, i.e. of formulas which are Boolean combinations of formulas of the form PIPRA(h), where h is the Gödel‐number of a sentence in PRA. The main result is a Normal Form Theorem on the proof‐trees of provability logic sequents, which states that it is possible to split the proof into an arithmetical part, which contains only atomic formulas and has an essentially intuitionistic character, and into a logical part, which is merely instrumental. Moreover, the induction rules which occur in the arithmetical part are implicit. Some applications of the Normal Form Theorem are shown in order to obtain some syntactical results on the PRA‐completeness of modal logic. In particular a completeness theorem for Boolean combinations of modalities is given.
A Simplified Proof of the 0–1 Law for Existential Second‐Order Ackermann Sentences
Authors: Lacoste Thierry 
Published: May 2007

AbstractRecently we gave a finitistic proof of the 0–1 law for ∑11 (Ackermann) sentences, which relied as much as possible on the original argument of Kolaitis and Vardi. Here we present another version of our proof which, on the contrary, is self‐contained. Finitism allows us to use the beautiful probabilistic argument of Kolaitis and Vardi in a simple and intuitive way. Consequently, we obtain a shorter proof.
Comparing the Power of Games on Graphs
Authors: Fagin Ronald 
Published: May 2007

AbstractThe descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descriptive complexity is to make use of games on graphs played between two players, called the spoiler and the duplicator. There are two types of these games, which differ in the order in which the spoiler and duplicator make various moves. In one of these games, the rules seem to be tilted towards favoring the duplicator. These seemingly more favorable rules make it easier to prove separation results, since separation results are proven by showing that the duplicator has a winning strategy. In this paper, the relationship between these games is investigated. It is shown that in one sense, the two games are equivalent. Specifically, each family of graphs used in one game (the game with the seemingly more favorable rules for the duplicator) to prove a separation result can in principle be used in the other game to prove the same result. This answers an open question of Ajtai and the author from 1989. It is also shown that in another sense, the games are not equivalent, in that there are situations where the spoiler requires strictly more resources to win one game than the other game. This makes formal the informal statement that one game is easier for the duplicator to win.
Experimental investigation of layer displacements for a singly‐fed circularly polarized stacked patch antenna
Authors: Chung Kwok L. , Mohan Ananda S. 
Published: May 2007

AbstractThis article presents experimental investigation on the effect of layer displacements for an X‐band circularly polarized patch antenna. Experimental results demonstrate that such antenna makes use of high‐low‐low dielectric materials combination has tolerant characteristics not just on the impedance bandwidth but also the CP bandwidth to withstand layer displacements. Based on the measured bandwidths, displacement limits are located as 0.067λo for the entire x‐y plane. Also, gain variations are found to be insignificant. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 2047–2050, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22562
Simple CAD formulas of silicon based RFIC components by synthetic asymptote with insight and few arbitrary constants
Authors: Tang Wanchun , Jiang Baozheng , Chen Xuemei , Chow Y. Leonard 
Published: May 2007

AbstractThis article derives simple computer‐aided design (CAD) formulas of the components of Silicon, based radio frequency integrated circuits (Si‐RFIC) by synthetic asymptote. The formulas include, those for microstripline, patch capacitor, and spiral inductor. With “bootstrapping”, one can obtain, CAD formulas of the components from simple to more complicated and practical. These formulas are, simple, accurate, with good physical insights, and few arbitrary constants. Compared with numerical, methods, the average errors are less than 2%. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1917–1921, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22568
Omnidirectional stop band by using composite two‐dimensionally artificial crystal
Authors: Hwang Ruey Bing , Pu Ta Chun 
Published: May 2007

AbstractWe present here a study of the wave propagation in a two‐dimensionally (2D) periodic structure. The scattering of a plane wave by a 2D periodic structure is analyzed as a multilayer boundary‐value problem. Specific examples are given to show quantitatively the stopband behaviors; in particular, a composite structure with different lattice patterns in cascade is shown to achieve the broad and omnidirection behavior of stop band. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1914–1917, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22569
A closed‐form expression for the resonant frequency of rectangular microstrip antennas
Authors: Akdagli Ali 
Published: May 2007

AbstractA new and accurate expression for the edge extension in accurately predicting the resonant frequency of electrically thin and thick rectangular microstrip antennas is presented. First, a closed‐form model for the edge extension is constructed by utilizing a differential evolution algorithm, the resonant frequency of rectangular microstrip antennas is then calculated by means of this edge extension expression. The calculations were carried out on 46 antennas with a range of different dimensions built on various substrates. The resonant frequency results presented in this letter show the better agreement with the experimental results as compared with those reported by the several researchers. A comparison between calculated and experimental resonant frequencies demonstrates that the edge extension model provides less than 0.7% errors on average. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1848–1852, 2007; Published online in Wiley Inter‐Science (www.interscience.wiley.com). DOI 10.1002/mop.22572
Thermally poled twin‐hole fibers with tungsten electrodes
Authors: Wu Gang , Zhou Li , Wang Ziyu 
Published: May 2007

AbstractA twin‐hole fiber with two 1‐m‐long tungsten wires inserted as its internal electrode was made successfully. This is the longest internal‐electrode fiber ever achieved from metal wire insertion technology. The propagation loss of this kind of fiber is only 0.47 dB/m at 1 550 nm. No additional loss is measured after the tungsten wire has been inserted. The fiber is thermally poled at 3 kV voltage, inducing a permanent electro‐optic coefficient of 0.06 pm/V. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 2010–2012, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22578
Multilayer cross‐coupled resonator bandpass filters fabricated on low temperature cofired ceramic substrates
Authors: Hsieh Ming‐Liang , Huang Tsung‐Hui , Chen Lih‐Shan , Sun Chian‐Hao , Wang Shuming , Houng Mau‐Phon , Fu Shen‐Li 
Published: May 2007

AbstractMultilayer cross‐coupled open‐loop resonator bandpass filters have been developed on low temperature cofired ceramic substrates. The center frequency of the designed bandpass filter is at 5.2 GHz and the fractional bandwidth is 4%. The measured center frequency is 5.2 GHz, passband insertion loss is 1.46 dB, and fraction bandwidth is 2%. The measured frequency responses of the fabricated bandpass filters are in agreement with simulated results. By constructing multilayer structure, a compact bandpass filter can be realized. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1977–1979, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22580
Broadband RF grounding capacitor design for low power CMOS matrix distributed amplifier
Authors: Lee Sung‐Huang , Li Chin‐Lung , Juang Ying‐Zong , Chiou Hwann‐Kaeo 
Published: May 2007

AbstractFour broadband RF grounding capacitor array are designed, implemented, and compared with different maximum path loss and parasitic for CMOS broadband amplifiers. According to the measured results, the most popular RF grounding capacitor array with simple parallel connected topology is not suitable for broadband circuits because of its loss at high frequency. The other three proposed topologies with reduction of path losses and parasitic have better broadband characteristics than the simple parallel connected type. To understand the effect of RF grounding capacitor array in broadband circuits, the type II capacitor array is adopted in the experiment circuit, a matrix distributed amplifier, and the measured result shows well‐estimation could be obtained with the consideration of grounding capacitors. This 2 × 2 matrix amplifier achieves a better gain‐bandwidth product versus power consumption among recent CMOS broadband amplifier designs. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1911–1914, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22583
Planar slot‐array antenna fed by an oversized quasi‐TEM waveguide
Authors: Valero‐Nogueira A. , Alfonso E. , Herranz J.I. , Baquero M. 
Published: May 2007

AbstractWe propose a novel planar slot‐array antenna fed by a new guiding structure which forces a quasi‐TEM mode within an oversized rectangular waveguide. To achieve a quasi‐TEM mode throughout the waveguide a hard surface is placed on the bottom surface of the waveguide while the radiating slots are at the upper face. The waveguide is able to propagate invariant linear phase‐fronts along the axial direction which makes it attractive for steerable array antennas. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1875–1877, 2007; Published online in Wiley Inter‐Science (www.interscience.wiley.com). DOI 10.1002/mop.22586
A novel four‐stages double‐layered dielectric waveguide bandpass filter in LTCC
Authors: Liang Fei , Wu Zhipeng , Lu Wenzhong , Zhou Dongxiang 
Published: May 2007

AbstractThis study presents a novel four‐stage double‐layered waveguide bandpass filter and its simulation method. The longitudinal size of the waveguide filters is reduced by 50% due to the application of double‐layered structure. The four‐stage double‐layered bandpass filter with a 8.8 mm length, 6.2 mm width, and 1.6 mm height is manufactured by LTCC. It has a center frequency of 5.21 GHz, bandwidth of 300 MHz, pass‐band ripple of 0.1 dB, and insertion loss of 0.8 dB, which shows miniaturization, low insertion losses and meets the demand of next generation of WLAN system. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1837–1840, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22587
Novel design of printed monopole antenna for WiMAX application
Authors: Chen Wen‐Shan , Chang Yu‐Chen , Chang Fa‐Shian 
Published: May 2007

AbstractIn this article, a novel design of printed coplanar waveguide‐fed monopole antenna is proposed for triple‐band WiMAX applications. At first, we investigate the printed dual‐band monopole antenna for dual‐band operation with two bands of 2.37–3.64 GHz and 5.2–6 GHz. Since the lower band (2.5–2.7 GHz) is quite near the middle band (3.3–3.8 GHz) band of WiMAX resulted in large coupling effect or interference between these two bands; we need band‐rejected function to suppress the undesired frequency‐bands. Then, using the two narrow strips etched from printed dual‐band monopole antenna, an antenna design of WiMAX is achieved. The low cost, easy manufacture, good impedance match, good radiation patterns of the proposed antenna are also investigated in this article. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1806–1809, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22589
Internal GSM/DCS patch antenna mounted above the system ground plane of the PDA phone
Authors: Wong Kin‐Lu , Chang Chih‐Hua , Row Jeen‐Sheen 
Published: May 2007

AbstractThis paper presents an internal dual‐band patch antenna to be mounted above the system ground plane of the PDA (personal digital assistant) phone for GSM/DCS operation. The antenna is supported by conducting pins (5 mm long in this study) and mounted above the system ground plane of the PDA phone. In this case, the antenna does not directly occupy the system ground plane, and a usable space between the antenna ground portion and the system ground plane is provided for accommodating associated conducting elements or electronic components of the PDA phone. A design example is demonstrated, and obtained results are presented and discussed. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 2002–2006, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22593
Transmission line delay‐based radio frequency identification (RFID) tag
Authors: Vemagiri Jeevan , Chamarti Aravind , Agarwal Mangilal , Varahramyan Kody 
Published: May 2007

AbstractThis paper presents the design, simulation, fabrication, and characterization of a transmission delay line‐based RFID tag. The ID generating circuit is designed based on the transmission delay line concept. A compact, inset‐fed triangular patch antenna resonant at 915 MHz frequency is developed for integration with the tag application. The layout of the tag has been realized using conventional photolithography. Tags with a 5‐ and 10‐ns delay ID generation circuits have been tested using input signals of 10‐ns width. An OOK (On‐Off Keying) modulation technique is employed for characterization of the tag. The received output consists of delayed signal from the tag added to the direct signal from the transmitter. Transmission delay line‐based RFID technology can be exploited for low‐end commercial applications that has a large market. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1900–1904, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22599
A novel radiation boundary condition for finite‐element method
Authors: Liu Jianguo , Liu Qing Huo 
Published: May 2007

AbstractThis paper presents a novel radiation boundary condition (RBC) with the spectral integral method (SIM) to truncate the computational domain in the finite‐element method (FEM). Because of the spectral accuracy of the SIM, the sampling density on the radiation boundary requires less than four points per wavelength to achieve a high accuracy (1%). As a result, the introduction of the SIM as an RBC actually can decrease the total number of unknowns in the system equation. Numerical results illustrate the usefulness of this novel RBC for both homogeneous and inhomogeneous objects. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1995–2002, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22608
Dynamic dispersing technique for PR coating process in planar lightwave circuit fabrication
Authors: Hong Pua Chang , Harun Sulaiman Wadi , Yi Chong Wu , Jayapalan Kanesh Kumar , Ahmad Harith 
Published: May 2007

AbstractA new dynamic dispersing technique (DDT) is proposed and demonstrated to improve the photoresist (PR) coating process in planar lightwave circuit (PLC) fabrication. In this technique, the PR is dispensed during the wafer's spin cycle on the spin coater instead of the conventional static dispensing before spinning. In comparison to the conventional static dispersing technique (SDT), DDT has significantly improved several properties of the PR layer including its thinning behavior, coating uniformity, and PR amount. Using DDT, the PR thickness averagely reduces by ∼0.2 μm. The radial uniformity of the PR from the centre is also improved from the average difference of 0.28 μm in SDT to 0.14 μm in DDT. Furthermore, the PR amount required for the coating process is reduced from 3.00 ml (SDT) to 0.25 ml (DDT). Two different DDTs are also compared in this paper including the application of PR during the spin coater's acceleration step (1st DDT) and the application of PR during the spin coater's constant speed (2nd DDT). © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1993–1995, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22609
High‐purity millimeter‐wave signal photonic generation
Authors: Wang Tianliang , Chen Minghua , Chen Hongwei , Xie Shizhong 
Published: May 2007

AbstractA simple method of optical generation millimeter‐wave signal employing optical phase modulator and band‐elimination filter is proposed. This simple approach is capable of generating millimeter wave signal of quadrupled or sextuple microwave source frequency with extremely high spectral purity. Millimeter‐wave signal 26 GHz (quadrupled fundamental) or 39 GHz (sextuple fundamental) is obtained respectively using different system chromatic dispersion when the microwave driver signal is at 6.5 GHz. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1894–1897, 2007; Published online in Wiley Inter‐Science (www.interscience.wiley.com). DOI 10.1002/mop.22615
A novel dual‐band patch antenna for Zigbee system
Authors: Lee Jung N. , Park Jong K. , Choi H. , Kim Jin S. 
Published: May 2007

AbstractIn this article, a novel dual‐band patch antenna having a chair‐shaped slot is designed, fabricated, and measured for Zigbee system. The proposed antenna is designed to operate from 868 to 928 MHz (lower‐frequency band) and 2.45 GHz (upper‐frequency band). The lower‐frequency band (868–928 MHz) can be controlled by adjusting the length of a chair‐shaped slot and the upper‐frequency band (2.45 GHz) can be controlled by the size of the rectangular patch. Details of the proposed antenna design and the measured results are presented and discussed. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1864–1867, 2007; Published online in Wiley Inter‐Science (www.interscience.wiley.com). DOI 10.1002/mop.22616
On a quality factor of whispering gallery mode dielectric resonators in a form of cone
Authors: Cherpak Nickolay T. , Bunyaev Sergey A. , Barannik Alexander A. 
Published: May 2007

AbstractThe whispering gallery mode (WGM) resonators in a form of cone demonstrate that a quality factor Q in microwave range decreases monotonously with increase of angle α between a cone axis and generatrix. Both a form of the resonator made of Teflon and coupling between the resonator and input/output dielectric waveguides are analogous to them in the optic microcavity, where it was supposed that isolating mode from the disk perimeter resulted in Q increase. However the effect of increase of Q with α is not observed in microwave range. The cone resonators excited on WGM promise to become useful for microwave and millimeter‐wave characterization of high‐Tc superconducting films. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1987–1989, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22625
A generalized iterative multiregion technique to solve the nonhomogeneous electromagnetic wave equation
Authors: Adriano Ricardo L. S. , Vasconcelos João A. , Rego Cássio G. do , Silva Élson J. 
Published: May 2007

AbstractThis article presents a generalization of the iterative multiregion technique applied in solving the nonhomogeneous wave equation. A formal proof that this procedure converges independently of the numerical method applied to each sub‐domain and an error estimate are presented by applying the iterative method directly on the electromagnetic governing equations. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1921–1926, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22629
Cross‐coupled Hilbert spiral resonator for bandpass filter design
Authors: Liu Ji‐Chyun , Lu Po‐Chiang , Chien Chi‐Hsun , Chang Jun‐Mao , Chen Jong‐Yih , Lin Horng‐Jyh 
Published: May 2007

AbstractThe modified cross‐coupled spiral resonators with Hilbert configuration are introduced for a large coupling coefficient in this article. For comparison, the conventional cross‐coupled spiral resonators are fabricated and measured herein. To obtain low insertion loss (−0.27 dB), high out‐of‐band rejection level (−19.5 dB) and wider FBW (50.9%), the filter of simplified CCSR‐H is proposed. Results included surface current distribution and frequency responses are presented and discussed. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1890–1894, 2007; Published online in Wiley Inter‐Science (www.interscience.wiley.com). DOI 10.1002/mop.22630
Analysis of L‐strip proximity fed rectangular microstrip antenna for mobile base station
Authors: Meshram Manoj Kumar 
Published: May 2007

AbstractA wide‐band L‐strip proximity fed rectangular microstrip antenna is proposed and investigated both theoretically and experimentally. The radiating patch is located about 0.1λ0(16.5 mm) above the ground plane. The broadband characteristic of antenna is achieved by employing a thick substrate (0.1λ0). Numerical results for the input impedance, VSWR, and co‐ and cross‐polar radiation pattern are presented and compared with the measured results. Good agreement is obtained between computed and measured results. The effects of the geometric parameters of the L‐strip like length of the vertical and horizontal portion of the strip are investigated. It is found that the antenna attains 48.36% impedance bandwidth (SWR ≤ 2) (theoretically) and 56.67% (experimentally) for optimized antenna design. The H‐plane cross‐polarization level is quite high (−16 dB) especially at (computed θ ≈ 60°, and measured θ ≈ 40°) whereas the E‐plane cross‐polarization level is very low. © 2007 Wiley Periodicals, Inc. Microwave Opt Technol Lett 49: 1817–1824, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.22634