Search Results - (((((((ant OR wkantin) OR semantics) OR wind) OR cantor) OR anne) OR plane) OR hints) algorithms.

Advanced manufacturing and industrial engineering : selected, peer reviewed papers from the 4th International Conference on Advanced Engineering Materials and Technology (AEMT 2014...

Full text (MFA users only)

Computational intelligence in aerospace sciences

Table of Contents: “…Coello Coello and Oliver Schütze ; Function landscapes and the difficulty of global optimization / Marco Locatelli ; Stochastic methods for single objective global optimization / Christian Lorenz Müller ; Uncertainty quantification in computational science / Gianluca Iaccarino ; Basic concepts of game theory for aerospace engineering applications / Lina Mallozzi -- Autonomy and robotics: Nonlinear state estimation algorithms for autonomous vehicles / Kumar Pakki Bharani Chandra and Da-Wei Gu ; Path planning algorithms in 2-D and 3-D obstacle-rich environments / Rosli Omar, Batu Pahat, Da-Wei Gu; Semantics of perception and action for symbolic reasoning in aerospace systems Sandor M. …”
Full text (MFA users only)

Parallel computing : technology trends

Table of Contents: “…Feedback-Driven Performance and Precision Tuning for Automatic Fixed Point Exploitation -- Parallel Programming -- A GPU-CUDA Framework for Solving a Two-Dimensional Inverse Anomalous Diffusion Problem -- Parallelization Strategies for GPU-Based Ant Colony Optimization Applied to TSP -- DBCSR: A Blocked Sparse Tensor Algebra Library -- Acceleration of Hydro Poro-Elastic Damage Simulation in a Shared-Memory Environment -- BERTHA and PyBERTHA: State of the Art for Full Four-Component Dirac-Kohn-Sham Calculations -- Prediction-Based Partitions Evaluation Algorithm for Resource Allocation…”
Full text (MFA users only)

Topology and Geometry : Commemorating SISTAG. by Berrick, A.J

Table of Contents: “…""On 4-dimensional mapping tori""""Algorithms for essential surfaces in 3-manifolds""; ""On counting special Lagrangian homology 3-spheres""; ""E*-homology spheres for a connective spectrum E""; ""Some applications of mirror principle""; ""Bifurcating nodoids""; ""Formal formal schemes""; ""Holomorphic volume preserving maps and special Lagrangian submanifolds""; ""On a new curve evolution problem in the plane""; ""Some applications of the theory of critical points""; ""On complete submanifolds with parallel mean curvature in Rn+p""; ""Semi-classical asymptotics""…”
Full text (MFA users only)

Automata and Computability. by Kozen, Dexter, 1951-

Table of Contents: “…Miscellaneous Exercises Turing Machines and Effective ComputabilityHints for Selected Miscellaneous Exercises; Solutions to Selected Miscellaneous Exercises; References; Notation and Abbreviations; Index.…”
Full text (MFA users only)

Arithmetic, geometry, and coding theory : proceedings of the international conference held at Centre International de Rencontres Mathématiques (CIRM), Luminy, France, June 28-July...

Table of Contents: “…Aubry and M. Perret -- An algorithm for characterizing linear bidimensional product codes / A.I. …”
Full text (MFA users only)

Media Backends : Digital Infrastructures and Sociotechnical Relations. by Parks, Lisa

Full text (MFA users only)

Acoustics of Ducts and Mufflers. by Munjal, M. L.

Table of Contents: “…Propagation of Waves in Ducts; 1.1 Plane Waves in an Inviscid Stationary Medium; 1.2 Three-Dimensional Waves in an Inviscid Stationary Medium; 1.2.1 Rectangular Ducts; 1.2.2 Circular Ducts; 1.3 Waves in a Viscous Stationary Medium; 1.4 Plane Waves in an Inviscid Moving Medium; 1.5 Three-Dimensional Waves in an Inviscid Moving Medium; 1.6 One-Dimensional Waves in a Viscous Moving Medium; 1.7 Waves in Ducts with Compliant Walls (Dissipative Ducts); 1.7.1 Rectangular Duct with Locally Reacting Lining; 1.7.2 Circular Duct with Locally Reacting Lining.…”
Full text (MFA users only)

Bridge health monitoring, maintenance and safety : special topic volume with invited peer reviewed papers only

Table of Contents: “…Modal test and analysis of a bridge under the varying temperature condition -- Bridge significant failure mode identification strategy under traffic-load -- Fatigue reliability analysis of the stay cables of cable-stayed bridge under combined loads of stochastic traffic and wind -- Updating the finite element model of a bridge model using a hybrid optimization method -- An improved Taguchi method and its application in finite element model updating of bridges -- Nonlinear seismic response analysis of half through CFST arch bridge under 3-D earthquake waves -- Simplified seismic response assessment method and parametric study of multi-girder skew bridges -- Seismic testing of a long-span concrete filled steel tubular arch bridge -- Study on finite element model of bridge multi-pile foundation -- Sensor optimal placement for bridge structure based on single parents genetic algorithm with different fitness functions.…”
Full text (MFA users only)

Emitter detection and geolocation for electronic warfare by O'Donoughue, Nicholas A.

Table of Contents: “…7.3 DOPPLER-BASED DIRECTION FINDING -- 7.3.1 Formulation -- 7.3.2 Implementation -- 7.3.3 Performance -- 7.4 PHASE INTERFEROMETRY -- 7.4.1 Implementation -- 7.4.2 Performance -- 7.4.3 Resolving Ambiguities with Multiple Baselines -- 7.5 PERFORMANCE COMPARISON -- 7.6 MONOPULSE DIRECTION FINDING -- 7.6.1 Performance -- 7.7 PROBLEM SET -- References -- Chapter 8 Array-Based AOA -- 8.1 BACKGROUND -- 8.1.1 Nonstandard Array Configurations -- 8.2 FORMULATION -- 8.2.1 Multiple PlaneWaves -- 8.2.2 Wideband Signals -- 8.2.3 Array Beamforming -- 8.2.4 Nonisotropic Element Patterns…”
Full text (MFA users only)

Java programming interviews exposed by Markham, Noel

Table of Contents: “…Chapter 18: Useful LibrariesRemoving Boilerplate Code with Apache Commons; Developing with Guava Collections; Using Joda Time; Summary; Chapter 19: Developing with Build Tools; Building Applications with Maven; Ant; Summary; Chapter 20: Android; Basics; User Interface; Persistence; Android Hardware; Summary; Appendix: Introducing Scala; Scala Basics; Functions as Values; Immutability; Summary; Index.…”
Full text (MFA users only)

Advanced Mathematical And Computational Tools In Metrology Vi. by Ciarlini, P.

Table of Contents: “…Forbes and R. BoudjemaaAlgorithms for the Calibration of Laser-Plane Sensors on CMMs C. …”
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)

Selected papers from the 11th international symposium on electromagnetics fields in electrical engineering ISEF 2003 by Wiak, S.

Table of Contents: “…Finite element modelling of stacked thin regions with non-zero global currentsReliability-based topology optimization for electromagnetic systems; A "quasi-genetic" algorithm for searching the dangerous areas generated by a grounding system; Development of optimizing method using quality engineering and multivariate analysis based on finite element method; An improved fast method for computing capacitance; Power losses analysis in the windings of electromagnetic gear; Finite element analysis of the magnetorheological fluid brake transients; Magnetic stimulation of knee -- mathematical model…”
Full text (MFA users only)

Insight into Theoretical and Applied Informatics : Introduction to Information Technologies and Computer Science. by Yatsko, Andrzej

Table of Contents: “…1.2.7 Informatics and Economics1.3 Information Theory; 1.3.1 Quantities of Information; 1.3.1.1 Units for Measuring Computer Information; 1.3.1.2 Quantities of Information in Information Theory; 1.3.2 Coding Theory; 1.3.3 Semiotics; 1.3.3.1 Computational Semiotics; 2 Algorithmics; 2.1 The Science of Algorithms; 2.1.1 Algorithm Design; 2.1.2 Algorithmic Complexity Theory; 2.1.3 Algorithm Analysis; 2.2 Data Science (Datalogy); 2.2.1 Raw Data; 2.2.2 Data Structures; 2.2.3 Data Analysis (Data Analytics); 2.2.4 Data Mining; 3 Computer Programming; 3.1 Computer Programming Languages.…”
Full text (MFA users only)

Ill-posed boundary-value problems by Temirbolat, S. E.

Table of Contents: “…Two-dimensional acoustic problem3.3. Linearized plane problem of gas dynamics -- Bibliography…”
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)

Research Progress of Magnetic Levitating Bearings and Some Advanced Technology. by Xiping, Wang

Table of Contents: “…Magnetic Force Characteristics and Structure of a Novel Radial Hybrid Magnetic BearingMethod of Variable Parameter PID Control Applied for AMB System; Research on Adaptive Feedforward Control Algorithm of Electromagnetic Active Vibration Isolation System; Rotor Eddy Current Losses Analysis on BPMSM Using FEM; Self Adaptive Integral-Type Sliding Mode Control for Supporting Structure of a Magnetic Vertical Axis Wind Turbine; Sensorless Control of IPMSM Using Extended Flux Estimation Method; Sensorless Control of IPMSM Using Modified Current Slope Estimation Method…”
Full text (MFA users only)

Materials Science and Intelligent Technologies Applications : Selected, Peer Reviewed Papers from the 2014 3rd International Conference on Key Engineering Materials and Computer Sc...

Table of Contents: “…A Bending Sequence Planning Algorithm Based on Multiple-Constraint Model; Effects of the Stress Concentration and Plane Stress on the Essential Work of Fracture (EWF) Method; The Fabrication and the Properties of Gradient Porous Titanium by Centrifugal Deposition and Sintering; Acid Fracture Conductivity Behavior of Tahe Carbonate: High Closure Stress, Long-Term Conductivity, and Composite Conductivity; Effective Atomic Displacements in [alpha]-Zirconium under Neutron Irradiation; Ultrasonic Cavitation Based Processing of Metal Matrix Nanocomposites: An Overview.…”
Full text (MFA users only)

Tsunamis : causes, characteristics, warnings and protection

Table of Contents: “…Model of Hydrogen Sulfide Down-Wind Dispersion""; ""8.4. Model Implementation""; ""8.4.1. …”
Full text (MFA users only)