Arama Sonuçları - Communication circuit

Strategies and Solutions for Team Sports Athletes in Isolation due to COVID-19 Yazar: Igor Jukic, Julio Calleja-González, Francesc Cos, Francesco Cuzzolin, Jesús Olmo, Nicolas Terrados, Nenad Njaradi, Roberto Sassi, Bernardo Requena, Luka Milanovic, Ivan Krakan, Kostas Chatzichristos, Pedro E. Alcaraz

Connect to this object online.

Total anomalous connection of pulmonary veins to the portal vein. Value of multislice angiotomography. Report on three cases Yazar: Sara Alejandra Solórzano-Morales, Francisco Javier López-Elías, Javier Horacio López-Terrazas, Max Alberto Bernal-Moreno, Alexis Javier Palacios-, Alfredo Bobadilla-Aguirre

Connect to this object online.

Design and Control of an Active Wrist Orthosis for Rehabilitation Yazar: zahra vahabi, Ali Mokhtarian, mohammad taghi karimi, faezeh jahanshah, reza arefi

Connect to this object online.

Neuro-Immune Interactions in Inflammation and Autoimmunity Yazar: Valentin A. Pavlov

DOAB: download the publication
DOAB: description of the publication

"Narrating" Bodies. Physical "Reflexive" Activities between Gender Images and Socio-pedagogical Processes - Research on the Yoga's Representations Yazar: Giovanna Russo, Francesca Rossetti

Connect to this object online.

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

İçindekiler: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Aortico right atrial tunnel - Clinical presentation, transcatheter management, and follow-up from a large cohort of patients Yazar: Kothandam Sivakumar, Anil Kumar Singhi, Ramkishore Sankarakuttalam, Monica Rajendran

Connect to this object online.

Preliminary investigation of the effect of artificial sweat on a wearable textile sensing system Yazar: Valeria Galli, Tyler J. Cuthbert, Chakaveh Ahmadizadeh, Carlo Menon

Connect to this object online.

Micro-, Meso- and Macro-Connectomics of the Brain

İçindekiler: “…Parcellations and connectivity patterns in human and macaque cerebral cortex -- Nanoconnectomics -- Inhibitory cell cypes, circuits and receptive fields in mouse visual cortex -- Form meets function in the brain: observing the activity and structure of specific neural connections -- The network for intracortical communication in mouse visual cortex -- The brain in space -- In-vivo connectivity in monkeys -- Connectome networks: from cells to systems -- Intra- and Inter-hemispheric connectivity supporting hemispheric specialization -- Genetics of the connectome and the ENIGMA project.…”
Link to Metadata

Planar SIW diplexer using circular cavity resonator / Noor Hasimah Baba ... [et al.] Yazar: Baba, Noor Hasimah, Awang, Aziati, Ali, Mohd Tarmizi, Mohd Hizan, Hizamel

Link Metadata

MODEL PEMBINAAN DAN PENGEMBANGAN TENIS MEJA MELALUI SISTEM KOMPETISI ANTAR KLUB BERBASIS KECAKAPAN HIDUP Yazar: Yasri Mustaq Pratama, -

Link Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

İçindekiler: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Diagnóstico e intervención en escuelas desde la política de convivencia escolar y enfoque de derechos humanos / Diagnosis and intervention in schools from living school policy... Yazar: María Luisa Arancibia Muñoz

Connect to this object online.

A calculation pipeline of expectation maximization for admixture application Yazar: Alongkot Burutarchanai

Tam Metin Erişim

Giant brain aneurysm in a two-year-old girl Yazar: Prastiya Indra G, Hapsari Kusumawardani, Darto Saharso

Connect to this object online.

The 3rd International Conference on the Challenges, Opportunities, Innovations and Applications in Electronic Textiles

DOAB: download the publication
DOAB: description of the publication

Proceedings of the Scientific-Practical Conference "Research and Development - 2016"

Link to Metadata

Defunciones por COVID-19: no están todas las que son y no son todas las que están Yazar: Lluís Cirera, Andreu Segura, Ildefonso Hernández

Connect to this object online.

Management of Wolff-Parkinson-White Tachyarrhythmia Presenting as Syncope with Seizure-like Activity Yazar: Samuel Kaplan, Lindsey Spiegelman

Connect to this object online.

The gut-brain axis: Identifying new therapeutic approaches for type 2 diabetes, obesity, and related disorders Yazar: Paul Richards, Nancy A. Thornberry, Shirly Pinto

Connect to this object online.