Search Results - (((((((ant OR cwanton) OR semantic) OR mind) OR cantor) OR anne) OR plane) OR hints) algorithms.

Towards 5G : Applications, Requirements and Candidate Technologies. by Vannithamby, Rath

Table of Contents: “…2.2.6 Broadcast Services2.2.7 Summary; 2.3 General Requirements; 2.3.1 Capacity Requirements; 2.3.2 User Data-rate Requirements ; 2.3.3 Latency Requirements; 2.3.3.1 User-plane Latency ; 2.3.3.2 Control-plane Latency ; 2.3.4 Massive Device Connectivity; 2.3.5 Energy Saving and€Robustness against Emergencies; 2.3.6 Summary; References; Chapter 3 Collaborative 5G Research within the EU Framework of funded research ; 3.1 Rationale for€5G Research and€the€EU's Motivation; 3.2 EU Research; 3.2.1 History; 3.2.2 EU Bodies, Structure, Roles, and€Project Creation; 3.2.3 Project Creation and€Operation.…”
Full text (MFA users only)

Aggregating Dialectology, Typology, and Register Analysis : Linguistic Variation in Text and Speech

Table of Contents: “…Kretzschmar -- A weakly supervised multivariate approach to the study of language variation / Sascha Diwersy, Stefan Evert, and Stella Neumann -- Semantic weighting mechanisms in scalable lexical sociolectometry / Tom Ruette, Dirk Geeraerts, Yves Peirsman and Dirk Speelman -- Temperature in the word space : Sense exploration of temperature expressions using word-space modelling / Maria Koptjevskaja-Tamm and Magnus Sahlgren -- The perfect map : Investigating the cross-linguistic distribution of TAME categories in a parallel corpus / Östen Dahl -- Explorations into variation across Slavic : Taking a bottom-up approach / Ruprecht von Waldenfels -- Where Alice fell into : Motion events from a parallel corpus / Annemarie Verkerk -- Algorithmic typology and going from known to similar unknown categories within and across languages / Bernhard Wälchli -- Inducing place distinctions of consonants from their distribution in words / Thomas Mayer -- Laws of language and text in quantitative and synergetic linguistics / Reinhard Köhler.…”
Full text (MFA users only)

Pulmonary arterial hypertension : diagnosis and evidence-based treatment

Table of Contents: “…Combination therapy in pulmonary arterial hypertension / Anne Keogh and Marius Hoeper -- Interventional and surgical modalities of treatment for pulmonary arterial hypertension / Julio Sandoval and Ramona Doyle -- End points and clinical trial design in pulmonary arterial hypertension : clinical and regulatory perspectives / Andrew J. …”
Full text (MFA users only)

Selected papers of Alan Hoffman with commentary by Hoffman, Alan J.

Table of Contents: “…On the foundations of inversion geometry -- Cyclic affine planes -- On the number of absolute points of a correlation / with M. …”
Full text (MFA users only)

Pattern Recognition in Computational Molecular Biology : Techniques and Approaches by Elloumi, Mourad, Iliopoulos, Costas, Wang, Jason T. L., Zomaya, Albert Y.

Full text (MFA users only)

Verification of communication protocols in web services : model-checking service compositions by Mukherjee, Anshuman

Table of Contents: “…8.2 Overview of the Problem and Solution8.3 Related Work; 8.4 Colored Petri Net Semantics for BPEL; 8.4.1 Component A; 8.4.2 Component B; 8.4.3 Object Model for BPEL Activities; 8.4.4 XML Templates; 8.4.5 Algorithm for Cloning Templates; 8.5 Results; 8.6 Discussion; 8.7 Summary; References; 9 CONCLUSIONS AND OUTLOOK; 9.1 Results; 9.2 Discussion; 9.3 What Could Be Improved?…”
Full text (MFA users only)

Handbook of power systems. II

Table of Contents: “…Cover -- Handbook of Power Systems II13; -- Preface of Volume II13; -- Contents of Volume II13; -- Contents13; of Volume I -- Contributors13; -- Part I Transmission and Distribution Modeling -- Recent Developments in Optimal Power Flow Modeling Techniques -- 1 Introduction -- 2 Physical Network Representation -- 3 Operational Constraints -- 4 Tap-Changing and Regulating Transformers -- 5 FACTS Devices -- 6 OPF Objective Functions and Formulations -- 7 OPF Solution Techniques -- 8 Numerical Examples -- 9 Conclusion -- References -- Algorithms for Finding Optimal Flows in Dynamic Networks -- 1 Optimal Dynamic Network Flow Models and Power Industry -- 2 Minimum Cost Dynamic Single: Commodity Flow Problems and Algorithms for Their Solving -- 3 Minimum Cost Dynamic Multicommodity Flow Problems and Algorithms for Their Solving -- References -- Signal Processing for Improving Power Quality -- 1 Wavelet-based Algorithm for Harmonics Analysis -- 2 Wavelet-based Algorithm for Nonstationary Power System Waveform Analysis -- 3 Wavelet-GA-ANN Based Hybrid Model for Accurate Prediction of Short-term Load Forecast -- 4 Conclusions -- References -- Transmission Valuation Analysis based on Real Options with Price Spikes -- 1 Introduction -- 2 Behavior of Commodity Prices -- 3 Valuation of Obligations and Options -- 4 Valuation in the Presence of Spikes -- 5 Conclusions -- References -- Part II Forecasting in Energy -- Short-term Forecasting in Power Systems: A Guided Tour -- 1 Introduction -- 2 Electricity Load Forecasting -- 3 Wind Power Forecasting -- 4 Forecasting Electricity Prices -- 5 Conclusions -- References -- State-of-the-Art of Electricity Price Forecasting in a Grid Environment -- 1 Introduction -- 2 State-of-the-Art Techniques of Electricity Price Forecasting -- 3 Input8211;Output Specifications of Electricity Price Forecasting Techniques -- 4 Comparing Existing Statistical Techniques for Electricity Price Forecasting -- 5 Implementations of Electricity Price Forecasting in a Grid Environment -- 6 Conclusions -- References -- Modelling the Structure of Long-Term Electricity Forward Prices at Nord Pool -- 1 Introduction -- 2 Long-term Forward Price Process -- 3 Model Estimation -- 4 Conclusions -- References -- Hybrid Bottom-Up/Top-Down Modeling of Prices in Deregulated Wholesale Power Markets -- 1 Introduction -- 2 Top-Down Models for Electricity Price Forecasting -- 3 Hybrid Bottom-Up/Top-Down Modeling -- 4 A Hybrid Model for the New Zealand Electricity Market -- 5 A Hybrid Model for the Australian Electricity Market -- 6 Conclusions -- References -- Part III Energy Auctions and Markets -- Agent-based Modeling and Simulation of Competitive Wholesale Electricity Markets -- 1 Introduction -- 2 Agent-based Modeling and Simulation -- 3 Behavioral Modeling -- 4 Market Modeling -- 5 Conclusions -- References -- Futures Market Trading for Electricity Producers and Retailers -- 1 Introduction: Futures Market Trading -- 2 Producer Trading -- 3 Retailer Trading -- 4 Conclusions -- References -- A Decision Support System for Generation Planning and Operation in Electricity Markets -- 1 Introduction -- 2 Long-term Stochastic Market Planning Model -- 3 Medium-term Stochastic Hydrothermal Coordination Model -- 4 Medium-term Stochastic Simulation Model -- T$29828.…”
Full text (MFA users only)

Heterogeneous networks in LTE-Advanced by Acharya, Joydeep

Table of Contents: “…1.4.1 3 GPP Standardization Process References; Part I Overview; Chapter 2 Fundamentals of LTE; 2.1 Introduction; 2.2 LTE Core Network; 2.2.1 Control Plane; 2.2.2 User Plane; 2.2.3 Practical Implementations of the Core Network; 2.3 LTE Radio Access Network; 2.3.1 Control Plane; 2.3.2 User Plane; 2.4 Connectivity Among eNodeBs: The X2 Interface; 2.4.1 Load- and Interference-Related Information; 2.4.2 Handover-Related Information; 2.5 Technologies in LTE; 2.5.1 Orthogonal Frequency Division Multiplexing; 2.5.2 Multiple Antenna Communications; References.…”
Full text (MFA users only)

There's Something about Gödel : The Complete Guide to the Incompleteness Theorem. by Berto, Francesco

Table of Contents: “…. -- 6 ... and the unsatisfied logicists, Frege and Russell -- 7 Bits of set theory -- 8 The Abstraction Principle -- 9 Bytes of set theory -- 10 Properties, relations, functions, that is, sets again -- 11 Calculating, computing, enumerating, that is, the notion of algorithm…”
Full text (MFA users only)

Engineering risk assessment with subset simulation by Au, Siu-Kui

Table of Contents: “…3.8 Correlation through Constraint3.8.1 Uniform in Sphere; 3.8.2 Gaussian on Hyper-plane; 3.9 Stationary Gaussian Process; 3.9.1 Autocorrelation Function and Power Spectral Density; 3.9.2 Discrete-Time Process; 3.9.3 Sample Autocorrelation Function and Periodogram; 3.9.4 Time Domain Representation; 3.9.5 The ARMA Process; 3.9.6 Frequency Domain Representation; 3.9.7 Remarks; 3A.1 Appendix: Variance of Linear System Driven by White Noise; 3A.2 Appendix: Verification of Spectral Formula; References; 4 Markov Chain Monte Carlo; 4.1 Problem Context; 4.2 Metropolis Algorithm; 4.2.1 Proposal PDF.…”
Full text (MFA users only)

Cognitive Electronic Warfare : An Artificial Intelligence Approach. by Haigh, Karen

Table of Contents: “…-- 1.5 Reader's Guide -- 1.6 Conclusion -- References -- 2 Objective Function -- 2.1 Observables That Describe the Environment -- 2.1.1 Clustering Environments -- 2.2 Control Parameters to Change Behavior -- 2.3 Metrics to Evaluate Performance -- 2.4 Creating a Utility Function -- 2.5 Utility Function Design Considerations -- 2.6 Conclusion -- References -- 3 ML Primer -- 3.1 Common ML Algorithms -- 3.1.1 SVMs -- 3.1.2 ANNs -- 3.2 Ensemble Methods -- 3.3 Hybrid ML -- 3.4 Open-Set Classification -- 3.5 Generalization and Meta-learning -- 3.6 Algorithmic Trade-Offs -- 3.7 Conclusion -- References -- 4 Electronic Support -- 4.1 Emitter Classification and Characterization -- 4.1.1 Feature Engineering and Behavior Characterization -- 4.1.2 Waveform Classification -- 4.1.3 SEI -- 4.2 Performance Estimation -- 4.3 Multi-Intelligence Data Fusion -- 4.3.1 Data Fusion Approaches -- 4.3.2 Example: 5G Multi-INT Data Fusion for Localization -- 4.3.3 Distributed-Data Fusion -- 4.4 Anomaly Detection -- 4.5 Causal Relationships -- 4.6 Intent Recognition -- 4.6.1 Automatic Target Recognition and Tracking -- 4.7 Conclusion -- References -- 5 EP and EA -- 5.1 Optimization -- 5.1.1 Multi-Objective Optimization -- 5.1.2 Searching Through the Performance Landscape -- 5.1.3 Optimization Metalearning -- 5.2 Scheduling -- 5.3 Anytime Algorithms -- 5.4 Distributed Optimization -- 5.5 Conclusion.…”
Full text (MFA users only)

Three Views of Logic : Mathematics, Philosophy, and Computer Science. by Loveland, Donald W.

Table of Contents: “…Proof Theory; 1 Propositional Logic; 1.1 Propositional Logic Semantics; 1.2 Syntax: Deductive Logics; 1.3 The Resolution Formal Logic; 1.4 Handling Arbitrary Propositional Wffs; 2 Predicate Logic; 2.1 First-Order Semantics; 2.2 Resolution for the Predicate Calculus; 2.2.1 Substitution; 2.2.2 The Formal System for Predicate Logic; 2.2.3 Handling Arbitrary Predicate Wffs; 3 An Application: Linear Resolution and Prolog; 3.1 OSL-Resolution; 3.2 Horn Logic; 3.3 Input Resolution and Prolog; Appendix A: The Induction Principle.…”
Full text (MFA users only)

Seismic Data Interpretation using Digital Image Processing by Al-Shuhail, Abdullatif A., Al-Dossary, Saleh A., Mousa, Wail A.

Table of Contents: “…5.5 Two-Dimensional Second-Order Derivative Operator5.5.1 The Coherence Attribute; 5.5.2 The Dip Attribute; 5.6 The Curvature Attribute; 5.7 Curvature of the Surface; 5.7.1 Curve, Velocity, and Curvature; 5.7.2 Surface, Tangent Plane, and Norm; 5.8 Shape Operator, Normal Curvature, and Principal Curvature; 5.8.1 Normal Curvature; 5.8.2 Shape Operator; 5.8.3 The Principal Curvatures; 5.8.4 Calculation of the Principal Curvatures; 5.8.5 Summary of Calculation of Principal Curvature for a Surface; 5.9 The Randomness Attribute; 5.10 Technique for Two-Dimensional Images.…”
Full text (MFA users only)

Advances in product development and reliability III : selected, peer reviewed papers from the 3rd International Conference on Advances in Product Development and Reliability (PDR 2...

Table of Contents: “…Advances in Product Development and Reliability III; Preface and Organizing Committee; Table of Contents; Solving the Flexible Job Shop Scheduling Problem Based on Memetic Algorithm; The Optimal Combination Research of System Configuration and T&M Policy of Standby Safety System; Black Box System Multi-Objective Optimization Based on Design of Experiment; Strength and Reliability Analysis of Hydraulic Support; Equipment Performance Degradation Modeling for Reliability Prediction Based on n-ARIMA Model; Research on Fault Diagnosis Based on BP-SOM Hybrid Algorithms for NC Machine…”
Full text (MFA users only)

Chemical, mechanical and materials engineering : selected, peer reviewed papers from the 2011 International Conference on Chemical, Mechanical and Materials Engineering (CMME2011),...

Table of Contents: “…Preparation and Exothermic Characterization of Dioctyl Sebacate (DOS)-Coated Aluminum NanopowdersApplication of Genetic Algorithm in Chemical Reaction Kinetics; Molten Slag Structure and Diffusion Coefficients of Cr3+ and Si4+ during Micro-Carbon Cr-Fe Alloy Production; Dynamic Crushing of Hexagonal Honeycombs under In-Plane Loading; Application of LOD Technology in the 3DVR Remote Control Platform for Shearer; Bearing Fault Diagnosis Based on Probability Boxes Theory and SVM Method; Study on Industry Process of the Rubber Anti-Oxidant RD…”
Full text (MFA users only)

Big data in medical science and healthcare management : diagnosis, therapy, side effects

Table of Contents: “…Autopilot and "doctor algorithm"? -- 1. Intro big data for healthcare? / Peter Langkafel -- 2. …”
Full text (MFA users only)

Real-time database systems : architecture and techniques

Full text (MFA users only)

Quantum theory : a philosopher's overview by Cannavo, S. (Salvator)

Table of Contents: “…6. Explanatory and Algorithmic Nomologicals: Of Which Kind is Quantum Theory?…”
Full text (MFA users only)

Anechoic and Reverberation Chambers : Theory, Design and Measurements. by Xu, Qian

Table of Contents: “…2.4.2 Analytical Expression of a Reflected Field from a Curved Surface2.4.3 Alternative GO Form; 2.5 GO-FEM Hybrid Method; 2.6 Summary; References; Chapter 3 Computer-aided Anechoic Chamber Design; 3.1 Introduction; 3.2 Framework; 3.3 Software Implementation; 3.3.1 3D Model Description; 3.3.2 Algorithm Complexities; 3.3.3 Far-Field Data; 3.3.4 Boundary Conditions; 3.3.5 RAM Description; 3.3.6 Forward Algorithm; 3.3.7 Inverse Algorithm; 3.3.8 Post Processing; 3.4 Summary; References; Chapter 4 Anechoic Chamber Design Examples and Verifications; 4.1 Introduction; 4.2 Normalised Site Attenuation.…”
Full text (MFA users only)

Gradience in grammar : generative perspectives

Table of Contents: “…Frisch and Adrienne Stearns -- Intermediate syntactic variants in a dialect : standard speech repertoire and relative acceptability / Leonie Cornips -- Gradedness and optionality in mature and developing grammars / Antonella Sorace -- Decomposing gradience : quantitative versus qualitative distinctions / Matthias Schlesewsky, Ina Bornkessel, and Brian McElree -- Gradient perception of intonation / Caroline Féry and Ruben Stoel -- Prototypicality judgements as inverted perception / Paul Boersma -- Modelling productivity with the gradual learning algorithm : the problem of accidentally exceptionless generalizations / Adam Albright and Bruce Hayes -- Gradedness as relative efficiency in the processing of syntax and semantics / John A. …”
Full text (MFA users only)