Analyse constructive

Science formelle
Logique
Logique classique
Calcul des prédicats

Publications associées (22)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Type II blow up solutions with optimal stability properties for the critical focussing nonlinear wave equation on $\R^{3+1}$

Joachim Krieger, Stefano Francesco Burzio

We show that the finite time type II blow up solutions for the energy critical nonlinear wave equation [ \Box u = -u^5 ] on

\R^{3+1}

constructed in \cite{KST}, \cite{KS1} are stable along a co-dimension one Lipschitz manifold of data perturbations in a ...

2022

Analysis of the sensitivity of the hydromorphological index of diversity, HMID

Anton Schleiss, Walter Gostner, Mário Jorge Rodrigues Pereira Da Franca, Severin Stähly, Christopher Robinson

Hydromorphological conditions are a key factor for the habitat diversity in riverine ecosystems. The Hydromorphological Index of Diversity (HMID) is a tool to quantify the habitat diversity in a river reach based on local flow depths and flow velocities. T ...

2018

Energy performance analysis in interdisciplinary education – Lessons learned from a simulation-based teaching approach

Marilyne Andersen, Sergi Aguacil Moreno, Emmanuel Rey, Émilie Nault

The education of building practitioners is challenged by the increasing need for interdisciplinary profiles in the professional practice. To progress toward the goal of a sustainable built environment, a common language must be shared among fields such as ...

2017

Undecidability through Fourier series

In computability theory a variety of combinatorial systems are encountered (word problems, production systems) that exhibit undecidability properties. Here we seek such structures in the realm of Analysis, more specifically in the area of Fourier Analysis. ...

Elsevier Science Bv2016

On low-rank approximability of solutions to high-dimensional operator equations and eigenvalue problems

Daniel Kressner, André Uschmajew

Low-rank tensor approximation techniques attempt to mitigate the overwhelming complexity of linear algebra tasks arising from high-dimensional applications. In this work, we study the low-rank approximability of solutions to linear systems and eigenvalue p ...

Elsevier Science Inc2016

Classification Framework for Analysis and Modeling of Physically Induced Reliability Violations

David Atienza Alonso

Technology downscaling is expected to amplify a variety of reliability concerns in future digital systems. A good understanding of reliability threats is crucial for the creation of efficient mitigation techniques. This survey performs a systematic classif ...

Assoc Computing Machinery2015

Meta-analysis of incomplete microarray studies

Anthony Christopher Davison, Darlene Goldstein, Alix Corinne Josiane Colette Zollinger

Meta-analysis of microarray studies to produce an overall gene list is relatively straightforward when complete data are available. When some studies lack information, for example, having only a ranked list of genes instead of complete primary data, it is ...

Oxford University Press2015

Numerical study on the suitability of centrifuge testing for capturing the thermal-induced mechanical behavior of energy piles

Lyesse Laloui, Alessandro Francesco Rotta Loria, Alice Di Donna

Currently, the suitability of centrifuge testing for capturing the thermal-induced mechanical behavior of full-scale energy piles has not been established, yet, despite their increasing worldwide development. Looking at this challenge, this paper investiga ...

American Society of Civil Engineers2015

Analysis of the CICC Performance Through the Measurement of the Thermal Strain Distribution of the Nb-3 Sn Filaments in the Cable Cross Section

Pierluigi Bruzzone, Ciro Calzolaio

The knowledge of the thermal strain distribution of the Nb3Sn filaments in a cable in conduit conductor (CICC) cross section is a key parameter in understanding the cable performance evolution when it undergoes electromagnetic (EM) cyclic loading. A CICC i ...

IEEE Institute of Electrical and Electronics Engineers2014

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Boris Buffoni

The system {-u '' + u = u(3) + lambda v, u(x)= u(-x) is an element of R, x is an element of R, -v '' + v = v(3) + lambda u, v(x) = v(-x) is an element of R, x is an element of R, describes pulses in nonlinear fiber couplers. It has the family (U1+lambda, - ...

Advanced Nonlinear Studies, Inc2012

Page 2 sur 3