| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910136395503321 |
|
|
Titolo |
2015 7th IEEE Latin-American Conference on Communications (LATINCOM) : IEEE LATINCOM 2015 : November 4-6, 2015, Universidad Católica San Pablo, Arequipa, Peru / / editor, Gonzalo M. Fernández-Del-Carpio |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Piscataway, NJ : , : IEEE, , [2015] |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Telecommunication |
Telecommunication - Latin America |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Topics of Interest -- Networking -- Wireless Communications and Networking -- Communication Services -- Optical networks -- Communications Systems and Signal Processing -- Communication QoS, Reliability and Performance Modeling -- Enabling Technologies -- List of Technical Articles -- Adaptive Hybrid Beamforming based on a Convex Combination of Complex Stochastic Gradient Filters -- EMͲbased Sparse Channel Estimation in OFDM Systems with lqͲnorm Regularization in the -- Presence of Phase Noise and Frequency Offset -- Cognitive Spectrum Sensing Based on Statistical Tests in Fading Channels -- Routing and Spectrum Assignment Algorithm with Most Fragmented Path First in Elastic Optical Networks -- Modeling and Analysis of Performance based on Bluetooth Low Energy -- Testing Distributed Systems with Test Cases Dependencies Architecture -- Maximizing Capacity Subject to a Spectral Mask: Faster than Nyquist or OFDM? -- OFDM and LTE Data Convergence Test in Optical Access Networks -- Designing a System for Monitoring and Broadcasting Early Warning Signs of Natural Disasters for Digital Terrestrial Television -- Optimal Multicommodity Flows over an Existing DWDM MultiͲOverlay -- A Proactive Approach for Strip Interoperability in Wireless Ad hoc Routing Protocols -- ISDB-TB Transmission in SoftwareͲDefined Radio |
|
|
|
|
|
|
|
|
|
|
|
-- A Very Low Complexity Near ML Detector Based on QRDͲM Algorithm for STBCͲVBLAST Architecture -- Next-Generation 400 Gb/s Ethernet PMD over SMF at 1310 nm via DDͲOFDM with ElectroͲ Absorption Modulator-based Transmitters -- Low Cost SDR Spectrum Analyzer and Analog Radio Receiver Using GNU Radio, Raspberry Pi2 and SDRͲRTL Dongle -- Protecting Wireless Mesh Networks through a Distributed Intrusion Prevention Framewor -- EM Algorithm on the Approximation of Arbitrary PDFs by Gaussian, Gamma and Lognormal Mixture Distributions -- Mitigation of Linear InterͲChannel Interference for SubͲNyquist Spacing in Optical Multicarrier Systems -- IEEE 802.11ac: Performance of MUͲMIMO Interference Cancellation Detectors with Imperfect Channel State Information at Tx and Rx Sides -- Using Network Analysis for Improving Privacy in Crowd Sensing Systems -- Load Balancing in SelfͲOrganized Heterogeneous LTE Networks: A Statistical Learning Approach4 -- Improving Performance of TCPͲbased Applications in Power Line Communications for Smart Grids -- Recent Advances in Green Internet of Things -- Experimental Analysis of the SignalͲtoͲNoise Ratio of Digital ISDBͲTB TV Receivers and Multipath in the VHFͲHigh Band -- Towards PeerͲassisted Video on Demand System: Building Helpful Overlays -- Centralized Channel Assignment Algorithm for OSAͲEnabled WLANs based on Simulated Annealing -- Modelling Channel Availability in TV Bands for Devices with OSA Capabilities in Urban Zones -- LTE Radio and Network Planning: Basic Coverage and Interference Constraints -- A Simple Scheme for Pseudo Clustering Algorithm for Cross Layer Intrusion Detection in MANET -- Planning Laboratory Tests and Field Trials for Evaluating ATSC DTV on SFN networks in Mexico City -- A Frame Synchronizer for IEEE 802.15.4Ͳg MRͲOFDM PHY: Algorithm Proposal and Hardware Implementation -- Impact of M2M Traffic on HumanͲtype Communication Users on the LTE Uplink Channel -- REA-WSN: Intercluster Routing Algorithm for Energy Optimization in Wireless Sensor Networks -- An MRͲFSK Transceiver Compliant to IEEE802.15.4g for Smart Metering Utility Applications: FPGA Implementation and ASIC Resource Estimation -- Performance Comparison of Linear Equalization Systems for Wireless Communications under Rayleigh Channel -- How Does the Opportunistic MAC Protocol Exploit the MultiͲpacket Reception Capability in WLANs? -- Reconfigurable Architecture based on FPGA for OFDM Transmitter -- Installation Service: Supporting Deployment of Software as a Service. |
|
|
|
|
|
|
Sommario/riassunto |
|
Annotation The scope of this conference is about all the hot topics covering the science and the technology that make possible to create, design, handle and maintain communications since an engineering point of view Topics Networking, Wireless Communications, Communication Services, Sustainable Communications and Energy Efficiency, Optical Networks, Communications Systems and Signal Processing, Communication QoS, Reliability and Performance Modeling, Enabling Technologies. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465724003316 |
|
|
Titolo |
Logic for Programming, Artificial Intelligence, and Reasoning [[electronic resource] ] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / / edited by Geoff Sutcliffe, Andrei Voronkov |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
|
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 744 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 3835 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Artificial intelligence |
Computer programming |
Computer logic |
Mathematical logic |
Software Engineering/Programming and Operating Systems |
Artificial Intelligence |
Programming Techniques |
Software Engineering |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic Logic Programming |
|
|
|
|
|
|
|
|
|
|
Languages -- The Four Sons of Penrose -- An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures -- Second-Order Principles in Specification Languages for Object-Oriented Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations in Term Rewriting -- On Confluence of Infinitary Combinatory Reduction Systems -- Matching with Regular Constraints -- Recursive Path Orderings Can Also Be Incremental -- Automating Coherent Logic -- The Theorema Environment for Interactive Proof Development -- A First Order Extension of Stålmarck’s Method -- Regular Derivations in Basic Superposition-Based Calculi -- On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity -- Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination -- Monotone AC-Tree Automata -- On the Specification of Sequent Systems -- Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic -- Integration of a Software Model Checker into Isabelle -- Experimental Evaluation of Classical Automata Constructions -- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing Provability in BI’s Pointer Logic Through Resource Graphs -- A Unified Memory Model for Pointers -- Treewidth in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption Algorithms -- Towards Automated Proof Support for Probabilistic Distributed Systems -- Algebraic Intruder Deductions -- Satisfiability Checking for PC(ID) -- Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning -- Another Complete Local Search Method for SAT -- Inference from Controversial Arguments -- Programming Cognitive Agents in Defeasible Logic -- The Relationship Between Reasoning About Privacy and Default Logics -- Comparative Similarity, Tree Automata, and Diophantine Equations -- Analytic Tableaux for KLM Preferential and Cumulative Logics -- Bounding Resource Consumption with Gödel-Dummett Logics -- On Interpolation in Existence Logics -- Incremental Integrity Checking: Limitations and Possibilities -- Concepts of Automata Construction from LTL. |
|
|
|
|
|
| |