Results 51 to 60 of about 8,824,973 (236)

Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory

AAAI Conference on Artificial Intelligence, 2019
Currently, detecting and isolating faults in hybrid systems is often done manually with the help of human operators. In this paper we present a novel model-based diagnosis approach for automatically diagnosing hybrid systems.
Alexander Diedrich, A. Maier, O. Niggemann   +2 more
semanticscholar   +1 more source

Data‐Driven Modeling of Forces Exerted by Pneumatic Actuators for a Pediatric Exosuit

Advanced Intelligent Systems, EarlyView.
This work presents the experimental analysis and data‐driven modeling of the interaction forces between soft pneumatic actuators designed to assist upper‐extremity motion in a pediatric exosuit and an engineered test rig, across different experimental conditions: (A) force profiling of shoulder actuators, with varying actuator anchoring points and ...
Mehrnoosh Ayazi, Ipsita Sahin, Caio Mucchiani, Elena Kokkoni, Konstantinos Karydis   +4 more
wiley   +1 more source

Short‐Term Scheduling Optimization of a Single‐Pipeline Refining System With High Melting Point Crude Oil

Asia-Pacific Journal of Chemical Engineering, EarlyView.
ABSTRACT In order to reflect the actual production situation more comprehensively and optimize the production cost, this paper solves the short‐term scheduling optimization problem for a single pipeline containing high melting point crude oil. Based on the refining plan given by the upper layer, a multi‐objective optimization model with high melting ...
Jing Yao, Xianxin Liu, Zhen Pan, Chengming Hao, Xiangwei Xu, Wei Jia   +5 more
wiley   +1 more source

Materiais compósitos particulados em matriz epóxi reforçados com serragem, cimento e silicato de magnésio

Ambiente Construído
Este trabalho tem como objetivo investigar propriedades físicas (densidade volumétrica e absorção de água) e mecânicas (módulo de elasticidade e resistência à compressão) de materiais compósitos particulados em matriz epóxi reforçados com serragem de ...
Zélia Maria Velloso Missagia, Júlio Cesar Santos, Túlio Hallak Panzera, Lincoln Cardoso Brandão, Diogo Aparecido Lopes Silva, André Luis Christoforo   +5 more
doaj   +1 more source

Coherence‐Gated Wrapped‐Phase InSAR With Matrix‐Based Uncertainty Diagnostics for Burial‐Mound Hotspot Ranking (Sicily, Italy)

Archaeological Prospection, EarlyView.
ABSTRACT Burial mounds are key elements of Mediterranean funerary landscapes, but in intensively cultivated coastal plains their low‐relief expression is easily obscured by ploughing, levelling and rapidly changing surface conditions, making single‐date observations unreliable.
Salvatore Polverino, Hourakhsh Ahmadnia, Rokhsaneh Rahbarianyazd Ahmadnia   +2 more
wiley   +1 more source

Estudo comparativo entre valores teóricos e resultados experimentais de módulo de elasticidade de concretos produzidos com diferentes tipos de agregado graúdo

Ambiente Construído
Resumo O módulo de elasticidade do concreto é uma propriedade importante para os profissionais envolvidos na indústria da construção civil, uma vez que seu valor é determinante para o controle das deformações.
Antonio Carlos dos Santos, Angela Maria de Arruda, Turibio José da Silva, Paula de Carvalho Palma Vitor   +3 more
doaj   +1 more source

Non‐negative Gaussian estimation of variance components in random effects models

Canadian Journal of Statistics, EarlyView.
Abstract When used to estimate variance components (VCs), confidence intervals (CIs) can be truncated at zero, have a point estimate not in the quoted CI, be empty with positive probability, or be all‐inclusive. This is because they have conflicting dual roles, since they are considered to cover the parameter with a specified probability while also ...
André Plante, Michael Plante
wiley   +1 more source

Obstetric emergency simulation training course: experience of a private-public partnership in Brazil

Reproductive Health, 2019
Resumo Introdução Deficiências na capacidade de diagnosticar e tratar emergências obstétricas contribuem para um tratamento hospitalar de menor qualidade e mortes maternas evitáveis no Brasil.
Monica Maria Siaulys, Lissandra Borba da Cunha, Maria Regina Torloni, Mario Macoto Kondo   +3 more
doaj   +1 more source

A Deterministic Matrix Design Method Based on the Difference Set Modulo Subgroup for Computational Ghost Imaging

IEEE Access, 2022
Computational ghost imaging is a novel technique, which has a wide range of applications in many fields. As a key part of computational ghost imaging, the measurement matrix plays an important role in imaging quality and system practicability. To improve
Jiefei Han, Liying Sun, Bobo Lian, Yu Tang   +3 more
doaj   +1 more source

Self‐Similar Blowup for the Cubic Schrödinger Equation

Communications on Pure and Applied Mathematics, EarlyView.
ABSTRACT We give a rigorous proof for the existence of a finite‐energy, self‐similar solution to the focusing cubic Schrödinger equation in three spatial dimensions. The proof is computer‐assisted and relies on a fixed point argument that shows the existence of a solution in the vicinity of a numerically constructed approximation.
Roland Donninger, Birgit Schörkhuber
wiley   +1 more source