Search Results - C2Net~

Biomineralization From Molecular and Nano-structural Analyses to Environmental Science /

Table of Contents: “…-- 37 The Marsh's membrane: a key-role for a forgotten structure -- 38 Pearl production by implantation of outer epithelial cells isolated from the mantle of Pinctada fucata and the effects of blending of epithelial cells with different genetic backgrounds on pearl quality -- 39 Functional analyses of MMP genes in the ligament of Pinctada fucata -- 40 Chitin degraded by chitinolytic enzymes induces crystal defects of calcites -- 41 Screening for genes participating in the formation of prismatic and nacreous layers of the Japanese pearl oyster Pincatada fucata by RNA interference knockdown -- 42 Gene expression patterns in the mantle and pearl sac tissues of the pearl oyster Pinctada fucata -- Part IX Appendix -- 43 Selected SEM and TEM images.…”
Link to Metadata

Effectiveness of Schema Therapy and Group Cognitive Therapy on Anxiety in Women with High-Risk Sexual Behavior by Akbar Hemmati Sabet, Shokouh Navabi Nejad, Javad Khalatbari

Connect to this object online.

Effectiveness of Schema Therapy and Group Cognitive Therapy on Anxiety in Women with High-Risk Sexual Behavior by Akbar Hemmati Sabet, Shokouh Navabi Nejad, Javad Khalatbari

Connect to this object online.

The structure of changing of physical preparedness of the future rescue workers with different somatotypes at the stages of studying at the higher military educational institution. by Gonshovsky V.М

Connect to this object online.

Analisis Kemampuan Taruna Akademi Maritim Nusantara Dalam Memahami Konsep Fisika Mekanika by Andi Hermawan, Hari Sucahyowati

Connect to this object online.

A physical quality improvement of special operations force candidates by means of a proprietary program by Maksim Kuznetsov

Connect to this object online.

Calculus by Strang, Gilbert

Table of Contents: “…Chapter 1: Integration -- 1.1 Approximating Areas -- 1.2 The Definite Integral -- 1.3 The Fundamental Theorem of Calculus -- 1.4 Integration Formulas and the Net Change Theorem -- 1.5 Substitution -- 1.6 Integrals Involving Exponential and Logarithmic Functions -- 1.7 Integrals Resulting in Inverse Trigonometric Functions -- Chapter 2: Applications of Integration -- 2.1 Areas between Curves -- 2.2 Determining Volumes by Slicing -- 2.3 Volumes of Revolution: Cylindrical Shells -- 2.4 Arc Length of a Curve and Surface Area -- 2.5 Physical Applications -- 2.6 Moments and Centers of Mass -- 2.7 Integrals, Exponential Functions, and Logarithms -- 2.8 Exponential Growth and Decay -- 2.9 Calculus of the Hyperbolic Functions -- Chapter 3: Techniques of Integration -- 3.1 Integration by Parts -- 3.2 Trigonometric Integrals -- 3.3 Trigonometric Substitution -- 3.4 Partial Fractions -- 3.5 Other Strategies for Integration -- 3.6 Numerical Integration -- 3.7 Improper Integrals -- Chapter 4: Introduction to Differential Equations -- 4.1 Basics of Differential Equations -- 4.2 Direction Fields and Numerical Methods -- 4.3 Separable Equations -- 4.4 The Logistic Equation -- 4.5 First-order Linear Equations -- Chapter 5: Sequences and Series -- 5.1 Sequences -- 5.2 Infinite Series -- 5.3 The Divergence and Integral Tests -- 5.4 Comparison Tests -- 5.5 Alternating Series -- 5.6 Ratio and Root Tests -- Chapter 6: Power Series -- 6.1 Power Series and Functions -- 6.2 Properties of Power Series -- 6.3 Taylor and Maclaurin Series -- 6.4 Working with Taylor Series -- Chapter 7: Parametric Equations and Polar Coordinates -- 7.1 Parametric Equations -- 7.2 Calculus of Parametric Curves -- 7.3 Polar Coordinates -- 7.4 Area and Arc Length in Polar Coordinates -- 7.5 Conic Sections…”
Access online version

The effect of maritime English vocabulary for beginners module on the vocabulary learning outcomes by Mochamad Abduh, Juliandri Hasnur, Syafni Yelvi Siska

Connect to this object online.

Correlation of social frustration and basic beliefs, the personality traits, subjective control of servicemen of the National Guard of Russia by Sorokin, Alexey I., Shamionov, Rail M.

Connect to this object online.

Hubungan Coping Stress dan Kecerdasan Inteligensi dengan Prestasi Akademik Taruna Tingkat II Akademi Militer Magelang by Dinarsih, Mustika Dwi, , Dr. Nisa Rachmah N.A., M.Si.,Psi

Connect to this object online

Problems and ways of perfection of physical training of junior officers by A.V. Maglovanyy, A.M. Boyarchuk

Connect to this object online.

Problems and ways of perfection of physical training of junior officers by Maglovanyy A.V, Boyarchuk A.M

Connect to this object online.

Formation of the motivational and value component of future border guard officers' readiness for physical education of personnel by A. Melnykov, L. Rybak

Connect to this object online.

Differences in morphological parameters of judo athletes of different age groups and performance level by Miloš Štefanovský, Stanislav Kraček, Iľja Číž, Karin Czibulová

Connect to this object online.

Evaluation of the emotional-volitional sphere in the development of a training complex for a universal model of athletes in the military aviation pentathlon by Andriy Poltavets, Andriy Efremenko, Viacheslav Mulyk, Andriy Kyyko

Connect to this object online.

The effect of Problem-based Learning (PBL) with mockup media in learning programmable logic controller by Suhanto Suhanto, Mustaji Mustaji, Moch. Rifai, Lady Silk Moonlight, Asep Muhamad Soleh, Ahmad Fudholi

Connect to this object online.

Formation of the motivational and value component of future border guard officers' readiness for physical education of personnel by A. Melnykov, L. Rybak

Connect to this object online.

The raising of the professional orientation of physical training of future officers-communicators by Boroznyuk O.V

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

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 o...

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-BasedDependency 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).…”
Link to Metadata