Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-sixth publication in the Lecture Notes in Logic series, contains the proceedings of the 'Workshop and Conference on Logic, Algebra and Arithmetic' held at the Institute for Studies in Theoretical Physics and Mathematics (IPM) in Tehran, Iran in October, 2003. These papers are mostly revised and expanded versions of those that were originally presented at the meeting and address all areas of mathematical logic. The book also includes a short history of mathematical logic in Iran.

Logic, Symbolic and mathematical --- Arithmetic --- Mathematics --- Set theory --- Calculators --- Numbers, Real

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book collects more than thirty contributions in memory of Wolfgang Schwarz, most of which were presented at the seventh International Conference on Elementary and Analytic Number Theory (ELAZ), held July 2014 in Hildesheim, Germany. Ranging from the theory of arithmetical functions to diophantine problems, to analytic aspects of zeta-functions, the various research and survey articles cover the broad interests of the well-known number theorist and cherished colleague Wolfgang Schwarz (1934-2013), who contributed over one hundred articles on number theory, its history and related fields. Readers interested in elementary or analytic number theory and related fields will certainly find many fascinating topical results among the contributions from both respected mathematicians and up-and-coming young researchers. In addition, some biographical articles highlight the life and mathematical works of Wolfgang Schwarz.

Mathematics. --- Sequences (Mathematics). --- History. --- Number theory. --- Number Theory. --- Sequences, Series, Summability. --- History of Mathematical Sciences. --- Arithmetic. --- Number study --- Numbers, Theory of --- Algebra --- Mathematics --- Set theory --- Calculators --- Numbers, Real --- Mathematical sequences --- Numerical sequences --- Annals --- Auxiliary sciences of history --- Math --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The 3rd International Conference on Foundations and Frontiers in Computer, Communication and Electrical Engineering is a notable event which brings together academia, researchers, engineers and students in the fields of Electronics and Communication, Computer and Electrical Engineering making the conference a perfect platform to share experience, foster collaborations across industry and academia, and evaluate emerging technologies across the globe. The conference is technically co-sponsored by IEEE Kolkata Section along with several IEEE chapters, Kolkata Section such as Electron Devices Society, Power and Energy Society, Dielectrics and Electrical Insulation Society, Computer Society, and in association with CSIR-CEERI, Pilani, Rajasthan. The scope of the conference covers some broad areas of interest (but not limited to) such as Satellite and Mobile Communication Systems, Radar, Antennas, High Power Microwave Systems (HPMS), Electronic Warfare, Information Warfare, UWB systems, Microwave and Optical Communications, Microwave and Millimetre-Wave Tubes, Photonics, Plasma Devices, Missile Tracking and Guided systems, High voltage engineering, Electrical Machines, Power Systems, Control Systems, Non-Conventional Energy, Power Electronics and Drives, Machine Learning and Artificial Intelligence, Networking, Image Processing, Soft Computing, Cloud Computing, Data Mining & Data warehousing, etc.

Technological innovations --- Communication --- Computers --- Electrical engineering --- Electric engineering --- Engineering --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Integrated circuits --- Computers --- Very large scale integration --- Circuits --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The exchange of orbit information is becoming more important in view of the increasing population of objects in space as well as the increase in parties involved in space operations. The aim of this thesis was to investigate how orbit information maintained by a space surveillance system can be provided to its users. Services like collision avoidance require very accurate information, while other services might be less stringent. An approach was studied, which allows to derive orbit and covariance information of predetermined accuracy from a reference orbit. Using Chebyshev polynomials, continuous state vector and covariance matrix information can be provided. The major advantage is that no inter- or extrapolation on the user's side is required. A method to reduce the data amount by interpolating the variance envelope functions was also studied. The proposed method in this thesis gives access to highly accurate information from the catalogue, where this information is required. On the other hand it can also provide less accurate information, where requirements are less restrictive, thereby allowing for a significantly reduced amount of data to be transferred and stored.

Orbital mechanics. --- Computers. --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Astrodynamics --- Mechanics --- Orbits --- space debris --- space surveillance --- space situational awareness