Produção Nacional
Debora L. Gisch, B. E. J. Bodmann, Marco Túllio Menna Barreto de Vilhena,
... grandeza que representa a distribuição de poluentes de forma bilinear [5]. Esse coeficiente complexo torna a solução da ... onde a densidade de energia é descrita de forma bilinear em termos do campo elétrico. Consequentemente a solução ...
2015 - | Proceeding Series of the Brazilian Society of Computational and Applied Mathematics
Produção Nacional
Eduardo S. Tognetti, Ian R. Massa, Taís R. Calliero,
... em malha fechada. O controlador dinâmico possui termo bilinear de forma a atenuar o efeito da bilinearidade do sistema ...
Tópico(s): Stability and Control of Uncertain Systems
2018 - | Congresso Brasileiro de Automática
Valeria Leggieri, Sergio Ruggieri, G. Zagari, Giuseppina Uva,
... output of the procedure is represented by the bilinear capacity curves of the equivalent single degree of freedom models and by the values of the capacity/demand ratios. The entire approach has been firstly accurately defined and after applied on the pilot case study of the historical centre of the municipality of Foggia, Puglia, Southern Italy. The main advantage that META-FORMA offers is the possibility to generate a wide ...
Tópico(s): Structural Health Monitoring Techniques
2021 - Elsevier BV | Automation in Construction
Summary The main aim of this article is proving properties of bilinear operators on normed linear spaces formalized by means of Mizar [1]. In the first two chapters, algebraic structures [3] of bilinear operators on linear spaces are discussed. Especially, the space of bounded bilinear operators on normed linear spaces is developed here. In the third chapter, it is remarked that the algebraic structure of bounded bilinear operators to a certain Banach space also constitutes a Banach space. In the ...
Tópico(s): Cryptography and Data Security
2019 - De Gruyter Open | Formalized Mathematics
Produção Nacional
Revisado por pares
G. Vargas, Alex Duarte de Oliveira, Francisco Thiago Sacramento Aragão,
... do método dos elementos finitos e do modelo bilinear de zona coesiva, considerando apenas o modo I de fratura e três diferentes formas de carregamento. Os resultados obtidos (energia de fratura, resistência coesiva e curvas Força-CTOD) demonstraram que a forma de representar o carregamento exerce influência significativa sobre ...
Tópico(s): Structural Load-Bearing Analysis
2018 - Associação Nacional de Pesquisa e Ensino em Transportes | Transportes
Kazuhisa Nakasho, Yasunari Shidama,
Summary This article is devoted to the Mizar formalization of various properties of differentiability of Lipschitzian bilinear operators in real normed spaces. Main results include the Lipschitz continuity of partial derivatives, the representation of the total derivative in terms of partial derivatives, and the continuous differentiability of Lipschitzian bilinear operators on open subsets of the product space.
Tópico(s): Security in Wireless Sensor Networks
2024 - De Gruyter Open | Formalized Mathematics
Produção Nacional
Revisado por pares
... therapy and pharmaceutical challenges for Chagas diseaseBond-based bilinear indices for computational discovery of novel trypanosomicidal drug- ...
Tópico(s): Trypanosoma species research and implications
2006 - American College of Physicians | Annals of Internal Medicine
... 1 Jan 1998 Cross Ref A low-rank bilinear programming approach for sub-optimal solution of the ...
Tópico(s): Vehicle Routing Optimization Methods
1961 - Society for Industrial and Applied Mathematics | SIAM Review
... that it is always possible to find a bilinear form that makes a given linear operator symmetric. ... dimostra che è sempre possibile della trovure una forma bilineare che rende simmetrico un dato operatore lineare. ...
Tópico(s): Contact Mechanics and Variational Inequalities
1974 - Elsevier BV | International Journal of Engineering Science
Produção Nacional
Orlando Moreira Júnior, É. Comunello, C. R. Fietz,
... coordenadas de cada estação, utilizou-se um interpolador bilinear para recuperar os valores diários de radiação solar global nas bases disponibilizadas por Xavier et al. (2015) e pelo programa NASA/POWER. Originalmente os dados foram obtidos na forma de grade regular, tendo 0,25º e 1° ...
Tópico(s): Solar Radiation and Photovoltaics
2020 - | Agrometeoros
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama,
Summary In this article, we formalize a matrix of ℤ-module and its properties. Specially, we formalize a matrix of a linear transformation of ℤ-module, a bilinear form and a matrix of the bilinear form (Gramian matrix). We formally prove that for a finite-rank free ℤ-module V , determinant of its Gramian matrix is constant regardless of selection of its basis. ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm and cryptographic systems with lattices [ ...
2015 - De Gruyter Open | Formalized Mathematics
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama,
... the last section, we formalized that continuity of bilinear operator is equivalent to both Lipschitz continuity and ...
Tópico(s): Advanced Algebra and Logic
2018 - De Gruyter Open | Formalized Mathematics
Yuichi Futa, Yasunari Shidama,
Summary In this article, we formalize the definition of lattice of ℤ-module and its properties in the Mizar system [5].We formally prove that scalar products in lattices are bilinear forms over the field of real numbers ℝ. We also formalize the definitions of positive definite and integral lattices and their properties. Lattice of ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [14], and cryptographic systems with lattices [15] and coding theory [ ...
Tópico(s): graph theory and CDMA systems
2016 - De Gruyter Open | Formalized Mathematics
F.J. Gómez, M. A. Martín-Rengel, J. Ruiz-Hervías, A. Fathy,
... The starting point of the algorithm is a bilinear softening curve, on which a successive transformations are ... casos una curva de ablandamiento que ajusta de forma prácticamente perfecta los registros experimentales del ensayo de ...
Tópico(s): Innovative concrete reinforcement materials
2018 - Elsevier BV | Boletín de la Sociedad Española de Cerámica y Vidrio
Valeria Leggieri, Sergio Ruggieri, G. Zagari, Giuseppina Uva,
... have been performed on each model, obtaining the bilinear curves and the capacity demand ratios as output. ...
Tópico(s): Structural Health Monitoring Techniques
2023 - Elsevier BV | Procedia Structural Integrity
Akiko Ihori, Chihiro Kataoka, Daigo Yokoyama, Naotoshi Fujita, N. Yasuda, Akihiro Sugiura, Yoshie Kodera,
... and reduced it by using the nearest neighbor, bilinear, and bicubic interpolation methods. We displayed the reduced ... in the worst signal-detection performance, and the bilinear method was the most suitable for image reduction. ...
Tópico(s): Medical Imaging Techniques and Applications
2014 - | Forma
Mariline Candeias, Nuno Monteiro Azevedo, Maria Luísa Braga Farinha,
... um modelo de contacto com leis de enfraquecimento bilinear em tração e corte que conduz a valores ...
Tópico(s): Landslides and related hazards
2018 - | Geotecnia
Produção Nacional
Revisado por pares
Ricardo Luís Barbosa, Messias Meneguette Júnior, João Fernando Custódio Da Silva, Rodrigo Bezerra de Araújo Gallis, Otávio Yassuo Itame,
... técnicas de interpolação, sendo as mais conhecidas: linear, bilinear, bicúbica, quíntica, multiquádrica, inverso da distância ponderada etc. ...
Tópico(s): Geography and Environmental Studies
2009 - UNIVERSIDADE FEDERAL DE UBERLÂNDIA | Revista Brasileira de Cartografia
... space of multilinear operators and the space of bilinear operators. The latter shows the correspondence between the ...
Tópico(s): Security and Verification in Computing
2019 - De Gruyter Open | Formalized Mathematics