Search Results - Optus~

Yo puedo segundos pasos by Silvaggio-Adams, Elizabeth, Vallejo-Alegre, Rocío

Table of Contents: “…Introducción -- Vocabulary Lists & Glossaries -- Unidad 1: Los conceptos que debes saber -- Unidad 2: De compras y la ropa -- Unidad 3: Las comidas y los restaurantes -- Unidad 4: Estudiando en el extranjero -- Unidad 5: Consejos para tus estudios en el extranjero -- Verbos y conjugaciones con traducción -- Verbs: Spanish to English -- Glosario Español -- Glosario Inglés -- Objetivos por unidad…”
Access online version

Pro Git Everything You Need to Know About Git (Español) by Chacon, Scott, Straub, Ben

Table of Contents: “…Inicio - Sobre el Control de Versiones -- Fundamentos de Git -- Ramificaciones en Git -- Git en el Servidor -- Git en entornos distribuidos -- GitHub -- Herramientas de Git -- Personalización de Git -- Git y Otros Sistemas -- Los entresijos internos de Git -- Apéndice A: Git en otros entornos -- Apéndice B: Integrando Git en tus Aplicaciones -- Apéndice C: Comandos de Git…”
Access online version

Multiscale Biomechanics and Tribology of Inorganic and Organic Systems In memory of Professor Sergey Psakhie /

Table of Contents: “…In Memory of Professor Sergey Grigorievich Psakhie -- Biomechanical and Tribological Aspects of Orthopaedic Implants -- A New Method for Seismically Safe Managing of Seismotectonic Deformations in Fault Zones -- Particle-Based Approach for Simulation of Nonlinear Material Behavior in Contact Zones -- A Tool for Studying the Mechanical Behavior of the Bone-Endoprosthesis System Based on Multi-scale Simulation -- Abstract Methods on Mesoscopic Scales of Friction -- Study of Dynamics of Block-Media in the Framework of Minimalistic Numerical Models -- Material Transfer by Friction Stir Processing -- Nanomaterials Interaction with Cell Membranes: Computer Simulation Studies -- Application of Crumpled Aluminum Hydroxide Nanostructures for Cancer Treatment -- Influence of Lattice Curvature and Nanoscale Mesoscopic Structural States on the Wear Resistance and Fatigue Life of Austenitic Steel -- Autowave Mechanics of Plastic Flow -- Three-Component Wear-Resistant PEEK-Based Composites Filled with PTFE and MoS2: Composition Optimization, Structure Homogenization, and Self-Lubricating Effect -- Regularities of Structural Rearrangements in Single- and Bicrystals Near the Contact Zone -- Fault Sliding Modes - Governing, Evolution and Transformation -- Multilayer Modelling of Lubricated Contacts: A New Approach Based on a Potential Field Description -- Microstructure-Based Computational Analysis of Deformation and Fracture in Composite and Coated Materials Across Multiple Spatial Scales -- Formation of a Nanostructured Hardened Surface Layer on the TiC-(Ni-Cr) Metal-Ceramic Alloy by Pulsed Electron-Beam Irradiation -- Adhesion of a Thin Soft Matter Layer: The Role of Surface Tension -- Adhesion Hysteresis Due to Chemical Heterogeneity -- Theoretical Study of Physico-Mechanical Response of Permeable Fluid-Saturated Materials under Complex Loading Based on the Hybrid Cellular Automaton Method -- Transfer of a Biological Fluid Through a Porous Wall of a Capillary -- Failure Mechanisms of Alloys with a Bimodal Graine Size Distribution -- Self-Reproduction Cycles of Living Matter and Energetics of Human Activity -- Seeing what Lies in Front of Your Eyes: Understanding and Insight in Teaching and Research.…”
Link to Metadata

Molecular Beams in Physics and Chemistry From Otto Stern's Pioneering Exploits to Present-Day Feats /

Table of Contents: “…On Otto Stern, Max Born and other physicists in the 1920s (Arne Schirrmacher) -- Otto Sackur, Otto Stern, and the Beginning of the Quantum Theory of Gases (Massimiliano Badino) -- From Stern's beam experiments to modern biomolecular NMR spectroscopy (Christian Griesinger) -- Quantum or classical perception: The Imaging Theorem and the Ensemble Picture (John Briggs) -- Reduction of the atomic wave function in the Stern-­Gerlach magnetic field (Michael Devereux) -- Precision experiments for the revised SI -­ and the future of time (Joachim Ullrich) -- Precision Physics in Penning Traps Using the Continuous Stern-­Gerlach-­Effect (Klaus Blaum) -- Frankfurt Physicists (Michael Eckert) -- Our Patrimony from Otto Stern and My Memories of Otto Frisch (Dan Kleppner) -- Ultracold Chemical reactions with molecules in slow motion (Kang-Kuen Ni) -- Choreographing Quantum Spin Dynamics with Light (Monika Schleier-Smith) -- Stern's relation to Gerlach (Horst Schmidt-­Böcking) -- Manipulation and control of molecular beams (Gerard Meijer) -- Quantum effects in cold and controlled molecular dynamics (Christiane Koch) -- Otto Stern and Wave-­Particle Duality (Peter Toennies) -- Macromolecular Matter Wave Interferometry and Talbot-­Lau Deflectometry (Markus Arndt) -- Rotating rotationless: nonadiabatic alignment of the helium dimer and trimer (Maksim Kunitski) -- Grating Diffraction of Molecular Beams: Present Day Implementations of Otto Stern's Concept (Wieland Schöllkopf) -- Interaction effects in ultra cold atom systems (Dörte Blume) -- Laser cooling and magneto-­optical trapping of molecules (Mike Tarbutt) -- Microdroplet Chemistry (Dick Zare) -- TBA (Manfred Faubel) -- From Liquid Rays to Gas Rays: The Non-­Maxwellian Evaporation of Helium from Water Microjets (Gil Nathanson) -- Laser-­induced rotation and alignment of molecules in helium nanodroplets (Henrik Stapelfeldt) -- Far-from-equilibrium dynamics of molecules in helium nanodroplets (Mikhail Lemeshko).…”
Link to Metadata

Technologies and Applications for Big Data Value

Table of Contents: “…Technologies and Applications for Big Data Value -- Part I: Technologies and Methods -- Trade-Offs and Challenges of Serverless Data Analytics -- Big Data and AI Pipeline Framework: Technology Analysis from a Benchmarking Perspective -- An Elastic Software Architecture for Extreme-Scale Big Data Analytics -- Privacy-Preserving Technologies for Trusted Data Spaces -- Leveraging Data-Driven Infrastructure Management to Facilitate AIOps for Big Data Applications and Operations -- Leveraging High-Performance Computing and Cloud Computing with Unified Big-DataWorkflows: The LEXIS Project -- Part II: Processes and Applications -- The DeepHealth Toolkit: A Key European Free and Open-Source Software for Deep Learning and Computer Vision Ready to Exploit Heterogeneous HPC and Cloud Architectures -- Applying AI to Manage Acute and Chronic Clinical Condition -- 3D Human Big Data Exchange Between the Healthcare and Garment Sectors -- Using a Legal Knowledge Graph for Multilingual Compliance Services in Labor Law, Contract Management, and Geothermal Energy -- Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case -- Data-Driven Artificial Intelligence and Predictive Analytics for the Maintenance of Industrial Machinery with Hybrid and Cognitive Digital Twins -- Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case -- Next-Generation Big Data-Driven Factory 4.0 Operations and Optimization: The Boost 4.0 Experience -- Big Data-Driven Industry 4.0 Service Engineering Large-Scale Trials: The Boost 4.0 Experience -- Model-Based Engineering and Semantic Interoperability for Trusted Digital Twins Big Data Connection Across the Product Lifecycle -- A Data SciencePipeline for Big Linked Earth Observation Data -- Towards Cognitive Ports of the Futures -- Distributed Big Data Analytics in a Smart City -- Processing Big Data in Motion: Core Components and System Architectures with Applications to the Maritime Domain -- Knowledge Modeling and Incident Analysis for Special Cargo.…”
Link to Metadata

No Truth Without Beauty God, the Qur'an, and Women's Rights / by El-Ali, Leena

Table of Contents: “…Nuptials: Women DoHave the Right to Choose Their Own Spouse, and How the Qur'anic Nuptial Agreement Advocates for the Bride -- 14. …”
Link to Metadata

Language Technologies for the Challenges of the Digital Age 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings /

Table of Contents: “…Examining the Impact of Implicitness on the Perception of Hate Speech -- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication -- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource -- How Social Media Text Analysis Can Inform Disaster Management -- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks -- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena -- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors -- Twitter Geolocation Prediction Using Neural Networks -- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy -- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems -- Supporting Sustainable Process Documentation -- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information -- Using Argumentative Structure to Grade Persuasive Essays.…”
Link to Metadata

Innovative Medicine Basic Research and Development /

Table of Contents: “…Development of a new in vivo optical probe for biological diagnosis and therapy -- 23. …”
Link to Metadata

Taxation, International Cooperation and the 2030 Sustainable Development Agenda

Table of Contents: “…The Promise of Non-Arm's Length Practices: Is the Destination-Based Cash Flow Tax or Unitary Taxation the Panacea of which Developing Countries are in Search? (Afton Titus) -- Chapter 3. The Suitability of BEPS in Developing Countries (Emphasis on Latin America and the Caribbean) (Isaác Gonzalo Arias Esteban and Anarella Calderoni) -- Part II: External assistance for tax capacity building ((Chapters on external assistance, including issues for donors) -- Chapter 4. …”
Link to Metadata

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL Tboxes -- Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance -- A Unifying Splitting Framework -- Integer Induction in Saturation -- Superposition with First-Class Booleans and Inprocessing Clausification -- Superposition for Full Higher-Order Logic -- Implementation and Application -- Making Higher-Order Superposition Work -- Dual Proof Generation for Quantified Boolean Formulas with a BDD-Based Solver -- Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant -- An Automated Approach to the Collatz Conjecture -- Verified Interactive Computation of Definite Integrals -- ATP and AI -- Confidences for Commonsense Reasoning -- Neural Precedence Recommender -- Improving ENIGMA-Style Clause Selection While Learning From History -- System Descriptions -- A Normative Supervisor for Reinforcement Learning Agents (System Description) -- Automatically Building Diagrams for Olympiad Geometry Problems (System Description) -- The Fusemate Logic Programming System (System Description) -- Twee: An Equational Theorem Prover (System Description) -- The Isabelle/Naproche Natural Language Proof Assistant (System Description) -- The Lean 4 Theorem Prover and Programming Language (System Description) -- Harpoon: Mechanizing Metatheory Interactively (System Description).…”
Link to Metadata

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

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
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

The Word on College Reading and Writing by Babin, Monique, Burnell, Carol, Pesznecker, Susan, Rosevear, Nicole, Wood, Jaime

Table of Contents: “…-- Building Strong Reading Skills -- Read Effectively -- Create an Optimal Setting for Reading -- Use Pre-reading Strategies -- Read Efficiently -- Annotate and Take Notes -- Do Quick Research -- Discover What a Text is Trying to Say -- Explore the Ways the Text Affects You -- Reflect -- Troubleshoot Your Reading -- Writing about Texts -- Reading Critically -- Exploring the Structure of a Text -- Dialectic Note-taking -- Analyzing Content and Rhetoric -- Sentence-Level Analysis -- Point of View -- Word Choice -- Paragraph Analysis -- Summarizing a Text -- Critiquing a Text -- Drawing Conclusions, Synthesizing, and Reflecting -- What is Information Literacy? …”
Access online version

Technological Imagination in the Green and Digital Transition

Table of Contents: “…From a liquid society, through technological imagination, to beyond the knowledge society -- Opening lecture: Digital spaces and the material culture -- Part 1: Innovation -- Innovation for the digitization process of the AECO sector -- The digital revolution and the art of co-creation -- Towards a new humanism of technological innovation in design of the built environment -- A bim-based approach to energy analysis of existing buildings in the Italian context -- Short-term wind speed forecasting model using hybrid neural networks and wavelet packet decomposition -- COGNIBUILD: Cognitive digital twin framework for advanced building management and predictive maintenance -- Design of CCHP system with the help of combined chiller system, solar energy, and gas microturbine -- Digital construction and management the public's infrastructures -- An innovative multi-objective optimization digital workflow for social housing deep energy renovation design process -- Digital information management in thebuilt environment: Data-driven approaches for building process optimization -- Immersive facility management - A methodological approach based on BIM and mixed reality for training and maintenance operations -- A digital information model for coastal maintenance and waterfront recovery -- Sustainable workplace: Space planning model to optimize environmental impact -- Digital twin models supporting cognitive buildings for ambient assisted living -- Less automation more information: A learning tool for a post-occupancy operation and evaluation -- A prosumer approach for feeding the digital twin. …”
Link to Metadata

The Cold War in the Classroom International Perspectives on Textbooks and Memory Practices /

Table of Contents: “…Ambivalence and the illusion of hegemony: Remembering the Cold War in Germany and Switzerland; Barbara Christophe -- Chapter 14. 1968 in German-speaking Switzerland: Controversies and interpretations; Nadine Ritzer -- Chapter 15. Reconciling opposing discourses: Narrating and teaching the Cold War in an East-German classroom; Eva Fischer -- PART III. …”
Link to Metadata

Buildings for Education A Multidisciplinary Overview of The Design of School Buildings /

Table of Contents: “…The fundamental role of nature in urban transformation processes -- The quality of the project and the MIUR standards for the control and funding of the buildings for education and training -- The scholastic typology in post-earthquake reconstruction in Central Italy -- Design for schools -- PART 2: THE PATHS TO INNOVATION: TOOLS MODELS AND PROCESSES, A BIM-based process from building design to construction: a case study, the school of Melzo -- A collaborative approach for AEC industry digital tranformation: a case study, the school of Liscate -- Use of predictive analyses for BIM-based space quality optimization: a case study, progetto Iscol -- The technical-scientific support for the reconstruction of school buildings involved in seismic events. …”
Link to Metadata

Advancing the Science of Cancer in Latinos Building Collaboration for Action /

Table of Contents: “…Engaging Latinos in Cancer Research -- Chapter 9. Optimizing Engagement of the Latino Community in Cancer Research -- Part VII. …”
Link to Metadata

Time Predictions Understanding and Avoiding Unrealism in Project Planning and Everyday Life / by Halkjelsvik, Torleif, Jørgensen, Magne

Table of Contents: “…Overoptimistic Predictions: 4.1 Optimism, overoptimism, and overoptimistic predictions -- 4.2 The benefits of overoptimism -- 4.3 The desire to control time -- 4.4 Motivation to make accurate time usage predictions -- 4.5 Selection bias -- 4.6 Deception -- 4.7 Who makes the most realistic time predictions? …”
Link to Metadata

Digital Transformation of the Design, Construction and Management Processes of the Built Environment

Table of Contents: “…PART I: INTEROPERABLE MANAGEMENT OF THE PROCESS, National BIM digital platform for construction (INNOVance project) -- From cloud to BIM model of the built environment: the digitized process for competitive tender, project, construction and management -- The construction contract execution through the integration of Blockchain technology -- The BIMReL Project, the BIM interoperable library in the Lombardy Region -- Life cycle BIM-oriented data collection: a framework for supporting practitioners -- Decision-making BIM platform for chemical building products -- BIM electrical objects plug-in for industry 4.0 -- Da.Ma.Tra: Material Traceability Database -- Natural language processing for information and project management -- Structure of a general Exchange Information Requirements (EIR) for tenders according to the UNI 11337:2017 standard -- PART II: DESIGN STAGE, Clash detection and code checking BIM platform for the Italian market -- Digital tool for optimization -- Performance-based designapproach for tailored acoustic surfaces -- Do Smart City policies work? …”
Link to Metadata

Nanoscale Photonic Imaging

Table of Contents: “…Robisch) -- Basic Knowledge: X-ray Focusing & Optics (T. Salditt and M. Osterhoff) -- Statistical Foundations of Nanoscale Photonic Imaging (A. …”
Link to Metadata