FERMAT Days 85 : mathematics for optimization /

Table of Contents: “…On connections between the maximum principle and the dynamic programming technique.…”
CONNECT

Modern technologies in manufacturing /

Table of Contents: “…Taguchi Design of Experiment versus Dynamic Programming Approach in the Optimization of Turning ProcessChapter 2: Metal Forming; Clinching of Steel Sheets Used in Automotive Industry; Manufacturing of Precision Seamless Steel Tubes Using Cold Drawing Technology: Simulation and Experiment; Method for Estimating the Manual Nesting Process Efficiency for Profiling Machines, Based upon Image Processing Techniques; How the Crystallization Process in Metal Casting is Influenced by the Mold Filling and Cooling Methods; Kinematic Process Plastic Cold Orbital Forming.…”
CONNECT

Mechatronic Systems and Materials VI : Selected, Peer Reviewed Papers from the 9th International Conference on Mechatronic Systems and Materials (MSM 2013), July 1-3, 2013, Vilnius...

Table of Contents: “…Investigation into the Properties of New Materials Having a Possible Effect on the Evaluation Parameters of Sound Insulation and Absorption; Approximate Dynamic Programming in the Sensor-Based Navigation of the Wheeled Mobile Robot; Electric Multi-Module Catapult Dynamics; An Estimation Method for the Torsional Vibration of the Marine Propulsion System; Vibration Damping Using Laminated Elastomeric Structures; Identification of the Prints Elastic Parameters Using Vibrational Methods; The Influence of a Torus Shaped Auto-Equalizer on the Vibrations of Rotary Systems.…”
CONNECT

Security, privacy, and anonymity in computation, communication, and storage : 10th International Conference, SpaCCS 2017, Guangzhou, China, December 12-15, 2017, Proceedings /

Table of Contents: “…Optimized Analysis Based on Improved Mutation and Crossover Operator for Differential Evolution Algorithm -- Revisiting Localization Attacks in Mobile App People-Nearby Services -- Lengthening Unidimensional Continuous-variable Quantum Key Distribution with Noiseless Linear Amplifier -- Research on Internet of Vehicles' Privacy Protection Based on Tamper-Proof with Ciphertext -- An Attack to an Anonymous Certi cateless Group Key Agreement Scheme and its Improvement -- A Space Effcient Algorithm for LCIS Problem -- Improving the Efficiency of Dynamic Programming in Big Data Computing -- Traceable and Complete Fine-Grained Revocable Multi-Authority Attribute-Based Encryption Scheme in Social Network -- The All Seeing Eye: Web to App Intercommunication for Session Fingerprinting in Android -- An Efficient Hierarchical Identity-Based Encryption Scheme for the Key Escrow -- An Improved Pre-Copy Transmission Algorithm in Mobile Cloud Computing -- Motivation of DDOS Attack-Aware Link Assignment between Switches to SDN Controllers -- TIM: A Trust Insurance Mechanism for Network Function Virtualization Based on Trusted Computing -- Personalized Semantic Location Privacy Preservation Algorithm Based on Query Processing Cost Optimization -- Smartphone Bloatware: An Overlooked Privacy Problem -- An ECC-Based off-line Anonymous Grouping-proof Protocol -- PCSD: A Tool for Android Malware Detection -- Authorship Analysis of Social Media Contents Using Tone and Personality Features -- Privacy-Preserving Handover Authentication Protocol from Lightweight Identity-Based Signature for Wireless Networks -- Spatial Outlier Information Hiding Algorithm Based on Complex Transformation -- A Reputation Model Considering Repurchase Behavior and Mechanism Design to Promote Repurchase -- Chinese Named Entity Recognition Based on B-LSTM Neural Network with Additional Features -- Amplified Locality-Sensitive Hashing for Privacypreserving Distributed Service Recommendation -- Learn to Accelerate Identifying New Test Cases in Fuzzing -- Service Selection Based on User Privacy Risk Evaluation -- An Efficient Lattice-Based Proxy Signature with Message Recovery -- FABAC: A Flexible Fuzzy Attribute-Based Access Control Mechanism -- Security Analysis and Improvement of An Anonymous Attribute-Based Proxy Re-encryption -- Relacha: Using Associative Meaning for Image Captcha Understandability -- Identification of Natural Images and Computer Generated Graphics Based on Multiple LBPs in Multicolor Spaces -- A Formal Android Permission Model Based on the B Method -- S-SurF: An Enhanced Secure Bulk Data Dissemination in Wireless Sensor Networks -- MCloud: Efficient Monitoring Framework for Cloud Computing Platforms -- Secure Vibration Control of Flexible Arms based on Operators' Behaviors -- A New Color Image Encryption Scheme Based on Chaotic Hn Map and Lstem -- A Distributed Authentication Protocol using Identity-based Encryption and Blockchain for LEO Network -- A Detection System for Distributed DoS Attacks Based on Automatic Extraction of Normal Mode and Its Performance Evaluation -- A Unified Model for Detecting Privacy Leakage on Android -- Multi-party Security Computation with Differential Privacy Over Outsourced Data -- REW-SMT: A New Approach for Rewriting XACML Request with Dynamic Big Data Security Policies -- Decoupling Security Services from IaaS Cloud Through Remote Virtual Machine Introspection -- Privacy Preserving Hierarchical Clustering over Multi-Party Data Distribution -- Improving MQTT by Inclusion of Usage Control -- Using JSON to Specify Privacy Preserving-enabled Attribute-based Access Control Policies -- Comprehensive Diversity in Recommender Systems -- Towards Intelligent System Wide Information Management for Air Traffic Management -- A Security Risk Management Model for Cloud Computing Systems: Infrastructure As A Service.…”
CONNECT

Computational systems bioinformatics : CSB2007 Conference proceedings, volume 6, University of California, San Diego, 13-17 August 2007 /

Table of Contents: “…Metrics for Breakpoint Selection; 2.3. Dynamic Programming for Breakpoint Selection; 3. RESULTS A N D DISCUSSION; 4. …”
CONNECT

Computational models of argument : Proceedings of COMMA 2012 /

Table of Contents: “…IV Demonstrations -- The Synergy: A Platform for Argumentation-Based Group Decision Making / Andrii Rubtsov -- Critiquing Justifications for Action Using a Semantic Model: Demonstration / Trevor Bench-Capon -- Evaluating Abstract Dialectical Frameworks with ASP / Johannes Peter Wallner -- dynPARTIX 2.0 -- Dynamic Programming Argumentation Reasoning Tool / Wolfgang Dvorak -- TOAST: Online ASPIC+ Implementation / Chris Reed -- Implementing ArguBlogging / Chris Reed -- Dialogues on the Argument Web: Mixed Initiative Argumentation with Arvina / Chris Reed -- AIFdb: Infrastructure for the Argument Web / Mark Snaith -- The Cameades Web Service / Thomas F. …”
CONNECT

Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
CONNECT

Workshop on Molecular Dynamics on Parallel Computers : John von Neumann Institute for Computing (NIC) Research Centre, Jülich, Germany, 8-10 February 1999 /

Table of Contents: “…Helms -- IMD -- A molecular dynamics program and applications / J. Roth -- Polymers. …”
CONNECT

Pacific Symposium on Biocomputing 2010, Kamuela, Hawaii, USA, 4-8 January 2010 /

Table of Contents: “…Improvement of structure conservation index with centroid estimators / Yohei Okada, Kengo Sato, Yasubumi Sakakibara. Dynamic programming algorithms for RNA structure prediction with binding sites / Unyanee Poolsap, Yuki Kato, Tatsuya Akutsu. …”
CONNECT

Pacific Symposium on Biocomputing 2005 : Hawaii, USA, 4-8 January 2005 /

Table of Contents: “…Holbrook -- An adaptive dynamic programming algorithm for the side chain placement problem / A. …”
CONNECT

Proceedings of the Sixth International Conference on Advances in Pattern Recognition : Indian Statistical Institute, Kolkata, India, 2-4 January 2007 /

Table of Contents: “…Non-contemporary robustness in text-dependent speaker-recognition using multi-session templates in an one-pass dynamic-programming framework / V. Ramasubramanian, V. Praveen Kumar and S. …”
CONNECT