Functional and logic programming : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 proceedings / / Aart Middeldorp, Taisuke Sato (Eds.)

• Record Nr.: UNINA9910767559103321
• Pubbl/distr/stampa: Berlin ; ; Heidelberg : , : Springer, , [1999]; ©1999
• ISBN: 3-540-47950-3
• Edizione: [1st ed. 1999.]
• Descrizione fisica: 1 online resource (X, 378 p.)
• Collana: Lecture Notes in Computer Science ; ; 1722
• Disciplina: 005.114
• Soggetti: Functional programming (Computer science); Logic programming
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: Semantics and Types in Functional Logic Programming -- Polytypic Programming With Ease -- Type Inference for Overloading without Restrictions, Declarations or Annotations -- Partial Evaluation and Non-interference for Object Calculi -- Lazy Lexing is Fast -- A Functional-Logic Perspective of Parsing -- Implementing Encapsulated Search for a Lazy Functional Logic Language -- Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers -- Automatic Verification Based on Abstract Interpretation -- A Transformation System for Lazy Functional Logic Programs -- Termination Analysis of Tabled Logic Programs Using Mode and Type Information -- On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems -- An Interval Lattice-Based Constraint Solving Framework for Lattices -- Higher Order Matching for Program Transformation -- Automated Generalisation of Function Definitions -- An Extensional Characterization of Lambda-Lifting and Lambda-Dropping -- Using Types as Approximations for Type Checking Prolog Programs -- Typed Static Analysis: Application to Groundness Analysis of Prolog and ? Prolog -- A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs -- The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine ; Code -- On Reducing the Search Space of Higher-Order Lazy Narrowing -- Typed Higher-Order Narrowing without Higher-Order Strategies -- A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages.
• Sommario/riassunto: This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11–13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr´?guez-Artalejo.

Terahertz planar antennas for next generation communication / / Kumud Ranjan Jha, Ghanshyam Singh

• Record Nr.: UNINA9910299475803321
• Autore: Jha Kumud Ranjan
• Pubbl/distr/stampa: Cham [Switzerland] : , : Springer, , 2014
• ISBN: 3-319-02341-1
• Edizione: [1st ed. 2014.]
• Descrizione fisica: 1 online resource (xxi, 207 pages) : illustrations (some color)
• Collana: Gale eBooks
• Disciplina: 620; 621.3; 621.381; 621.3815
• Soggetti: Antennas (Electronics); Terahertz spectroscopy
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Terahertz Sources and Antennas -- Multilayered microstrip transmission-line -- Microstrip Antenna Design by using Electromagnetic Bandgap Material -- Patch Array Antenna on EBG Substrate -- Ring-resonator Integrated Hemi-elliptical Lens Antenna -- Design of Highly Directive Cavity type Terahertz Antenna -- Performance Analysis of an Open-Loop Resonator Loaded Terahertz Microstrip Antenna -- Comparison Method to Predict the Directivity of Terahertz Patch Antenna -- THz Frequency Selective Surface -- Development in the Terahertz Communication System.
• Sommario/riassunto: This book describes various methods to enhance the directivity of planar antennas, enabling the next generation of high frequency, wireless communication. The authors discuss various applications to the terahertz regime of the electromagnetic spectrum, with an emphasis on gain enhancement mechanisms. The numerical models of these antennas are presented and the analytical results are supported, using commercial simulators. The multilayer substrate microstrip transmission line at terahertz frequency is also explored and a method to obtain the various parameters of this interconnect at high frequency is described. This book will be a valuable resource for anyone needing ; to explore the terahertz band gap for future wireless communication, in an effort to solve the bandwidth (spectrum scarcity) problem. • Enables development of terahertz communication systems in a license-free band of the electromagnetic spectrum; • Describes methods to design a multi-layered substrate transmission line to reduce various losses in the terahertz band; • Includes methods to enhance the directivity of planar antennas using electromagnetic bandgap material, double layered substrate material and frequency selective surface (FSS) in the terahertz band.