Showing 1–36 of 36 results for author: França, M

High-resolution segmentations of the hypothalamus and its subregions for training of segmentation models

Authors: Livia Rodrigues, Martina Bocchetta, Oula Puonti, Douglas Greve, Ana Carolina Londe, Marcondes França, Simone Appenzeller, Leticia Rittner, Juan Eugenio Iglesias

Abstract: Segmentation of brain structures on magnetic resonance imaging (MRI) is a highly relevant neuroimaging topic, as it is a prerequisite for different analyses such as volumetry or shape analysis. Automated segmentation facilitates the study of brain structures in larger cohorts when compared with manual segmentation, which is time-consuming. However, the development of most automated methods relies… ▽ More Segmentation of brain structures on magnetic resonance imaging (MRI) is a highly relevant neuroimaging topic, as it is a prerequisite for different analyses such as volumetry or shape analysis. Automated segmentation facilitates the study of brain structures in larger cohorts when compared with manual segmentation, which is time-consuming. However, the development of most automated methods relies on large and manually annotated datasets, which limits the generalizability of these methods. Recently, new techniques using synthetic images have emerged, reducing the need for manual annotation. Here we provide HELM, Hypothalamic ex vivo Label Maps, a dataset composed of label maps built from publicly available ultra-high resolution ex vivo MRI from 10 whole hemispheres, which can be used to develop segmentation methods using synthetic data. The label maps are obtained with a combination of manual labels for the hypothalamic regions and automated segmentations for the rest of the brain, and mirrored to simulate entire brains. We also provide the pre-processed ex vivo scans, as this dataset can support future projects to include other structures after these are manually segmented. △ Less

Submitted 27 June, 2024; originally announced June 2024.

The PLATO Mission

Authors: Heike Rauer, Conny Aerts, Juan Cabrera, Magali Deleuil, Anders Erikson, Laurent Gizon, Mariejo Goupil, Ana Heras, Jose Lorenzo-Alvarez, Filippo Marliani, Cesar Martin-Garcia, J. Miguel Mas-Hesse, Laurence O'Rourke, Hugh Osborn, Isabella Pagano, Giampaolo Piotto, Don Pollacco, Roberto Ragazzoni, Gavin Ramsay, Stéphane Udry, Thierry Appourchaux, Willy Benz, Alexis Brandeker, Manuel Güdel, Eduardo Janot-Pacheco , et al. (801 additional authors not shown)

Abstract: PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati… ▽ More PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution. The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases. △ Less

Submitted 8 June, 2024; originally announced June 2024.

H-SynEx: Using synthetic images and ultra-high resolution ex vivo MRI for hypothalamus subregion segmentation

Authors: Livia Rodrigues, Martina Bocchetta, Oula Puonti, Douglas Greve, Ana Carolina Londe, Marcondes França, Simone Appenzeller, Juan Eugenio Iglesias, Leticia Rittner

Abstract: The hypothalamus is a small structure located in the center of the brain and is involved in significant functions such as slee**, temperature, and appetite control. Various neurological disorders are also associated with hypothalamic abnormalities. Automated image analysis of this structure from brain MRI is thus highly desirable to study the hypothalamus in vivo. However, most automated segment… ▽ More The hypothalamus is a small structure located in the center of the brain and is involved in significant functions such as slee**, temperature, and appetite control. Various neurological disorders are also associated with hypothalamic abnormalities. Automated image analysis of this structure from brain MRI is thus highly desirable to study the hypothalamus in vivo. However, most automated segmentation tools currently available focus exclusively on T1w images. In this study, we introduce H-SynEx, a machine learning method for automated segmentation of hypothalamic subregions that generalizes across different MRI sequences and resolutions without retraining. H-synEx was trained with synthetic images built from label maps derived from ultra-high resolution ex vivo MRI scans, which enables finer-grained manual segmentation when compared with 1mm isometric in vivo images. We validated our method using Dice Coefficient (DSC) and Average Hausdorff distance (AVD) across in vivo images from six different datasets with six different MRI sequences (T1, T2, proton density, quantitative T1, fractional anisotrophy, and FLAIR). Statistical analysis compared hypothalamic subregion volumes in controls, Alzheimer's disease (AD), and behavioral variant frontotemporal dementia (bvFTD) subjects using the Area Under the Receiving Operating Characteristic curve (AUROC) and Wilcoxon rank sum test. Our results show that H-SynEx successfully leverages information from ultra-high resolution scans to segment in vivo from different MRI sequences. Our automated segmentation was able to discriminate controls versus Alzheimer's Disease patients on FLAIR images with 5mm spacing. H-SynEx is openly available at https://github.com/liviamarodrigues/hsynex. △ Less

Submitted 1 July, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Emissions Reporting Maturity Model: supporting cities to leverage emissions-related processes through performance indicators and artificial intelligence

Authors: Victor de A. Xavier, Felipe M. G. França, Priscila M. V. Lima

Abstract: Climate change and global warming have been trending topics worldwide since the Eco-92 conference. However, little progress has been made in reducing greenhouse gases (GHGs). The problems and challenges related to emissions are complex and require a concerted and comprehensive effort to address them. Emissions reporting is a critical component of GHG reduction policy and is therefore the focus of… ▽ More Climate change and global warming have been trending topics worldwide since the Eco-92 conference. However, little progress has been made in reducing greenhouse gases (GHGs). The problems and challenges related to emissions are complex and require a concerted and comprehensive effort to address them. Emissions reporting is a critical component of GHG reduction policy and is therefore the focus of this work. The main goal of this work is two-fold: (i) to propose an emission reporting evaluation model to leverage emissions reporting overall quality and (ii) to use artificial intelligence (AI) to support the initiatives that improve emissions reporting. Thus, this work presents an Emissions Reporting Maturity Model (ERMM) for examining, clustering, and analysing data from emissions reporting initiatives to help the cities to deal with climate change and global warming challenges. The Performance Indicator Development Process (PIDP) proposed in this work provides ways to leverage the quality of the available data necessary for the execution of the evaluations identified by the ERMM. Hence, the PIDP supports the preparation of the data from emissions-related databases, the classification of the data according to similarities highlighted by different clustering techniques, and the identification of performance indicator candidates, which are strengthened by a qualitative analysis of selected data samples. Thus, the main goal of ERRM is to evaluate and classify the cities regarding the emission reporting processes, pointing out the drawbacks and challenges faced by other cities from different contexts, and at the end to help them to leverage the underlying emissions-related processes and emissions mitigation initiatives. △ Less

Submitted 8 December, 2023; originally announced January 2024.

Urban Flood Drifters (UFDs): Onset of Movement

Authors: Daniel Valero, Arnau Bayón, Mário J. Franca

Abstract: Despite their catastrophic implications in flood events, the mobilization and transport of large, loose objects - termed Urban Flood Drifters (UFDs) - are often overlooked in flood management. This oversight stems from our limited understanding of how flowing water interacts with these heterogeneous objects. To bridge this knowledge gap, we introduce a mechanistic stability model that predicts the… ▽ More Despite their catastrophic implications in flood events, the mobilization and transport of large, loose objects - termed Urban Flood Drifters (UFDs) - are often overlooked in flood management. This oversight stems from our limited understanding of how flowing water interacts with these heterogeneous objects. To bridge this knowledge gap, we introduce a mechanistic stability model that predicts the onset of UFD mobilization across a diverse array of loose objects, from plastics to heavy vehicles. Built on an inventory of key physical properties of UFDs, this model is also validated against existing mobilization studies. Our model generates stability curves that delineate flow conditions leading to their mobilization. We further enhance the reliability of our model by incorporating a Monte Carlo-based probabilistic framework that accounts for uncertainties and interdependencies among the input parameters. These probabilistic stability curves enable us to estimate the likelihood of mobilization for specific categories of UFDs under certain flow conditions. When integrated with flood maps or two-dimensional (2D) hydrodynamic models, our stability curves can guide urban planning efforts to predict and mitigate the impacts of UFDs during extreme flood events. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: This preprint is currently under revision (24/11/2023)

ULEEN: A Novel Architecture for Ultra Low-Energy Edge Neural Networks

Authors: Zachary Susskind, Aman Arora, Igor D. S. Miranda, Alan T. L. Bacellar, Luis A. Q. Villon, Rafael F. Katopodis, Leandro S. de Araujo, Diego L. C. Dutra, Priscila M. V. Lima, Felipe M. G. Franca, Mauricio Breternitz Jr., Lizy K. John

Abstract: The deployment of AI models on low-power, real-time edge devices requires accelerators for which energy, latency, and area are all first-order concerns. There are many approaches to enabling deep neural networks (DNNs) in this domain, including pruning, quantization, compression, and binary neural networks (BNNs), but with the emergence of the "extreme edge", there is now a demand for even more ef… ▽ More The deployment of AI models on low-power, real-time edge devices requires accelerators for which energy, latency, and area are all first-order concerns. There are many approaches to enabling deep neural networks (DNNs) in this domain, including pruning, quantization, compression, and binary neural networks (BNNs), but with the emergence of the "extreme edge", there is now a demand for even more efficient models. In order to meet the constraints of ultra-low-energy devices, we propose ULEEN, a model architecture based on weightless neural networks. Weightless neural networks (WNNs) are a class of neural model which use table lookups, not arithmetic, to perform computation. The elimination of energy-intensive arithmetic operations makes WNNs theoretically well suited for edge inference; however, they have historically suffered from poor accuracy and excessive memory usage. ULEEN incorporates algorithmic improvements and a novel training strategy inspired by BNNs to make significant strides in improving accuracy and reducing model size. We compare FPGA and ASIC implementations of an inference accelerator for ULEEN against edge-optimized DNN and BNN devices. On a Xilinx Zynq Z-7045 FPGA, we demonstrate classification on the MNIST dataset at 14.3 million inferences per second (13 million inferences/Joule) with 0.21 $μ$s latency and 96.2% accuracy, while Xilinx FINN achieves 12.3 million inferences per second (1.69 million inferences/Joule) with 0.31 $μ$s latency and 95.83% accuracy. In a 45nm ASIC, we achieve 5.1 million inferences/Joule and 38.5 million inferences/second at 98.46% accuracy, while a quantized Bit Fusion model achieves 9230 inferences/Joule and 19,100 inferences/second at 99.35% accuracy. In our search for ever more efficient edge devices, ULEEN shows that WNNs are deserving of consideration. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Comments: 14 pages, 14 figures Portions of this article draw heavily from arXiv:2203.01479, most notably sections 5E and 5F.2

Urban Flood Drifters (UFDs): identification, classification and characterisation

Authors: Arnau Bayón, Daniel Valero, Mário J. Franca

Abstract: Extreme floods threaten lives, assets and ecosystems, with the largest impacts occurring in urbanised areas. However, flood mitigation schemes generally neglect the fact that urban floods carry a considerable amount of solid load. In this study, we define Urban Flood Drifters (UFDs) as loose objects present in the urban landscape that can become mobile under certain flow conditions, thereafter blo… ▽ More Extreme floods threaten lives, assets and ecosystems, with the largest impacts occurring in urbanised areas. However, flood mitigation schemes generally neglect the fact that urban floods carry a considerable amount of solid load. In this study, we define Urban Flood Drifters (UFDs) as loose objects present in the urban landscape that can become mobile under certain flow conditions, thereafter blocking drainage infrastructure and endangering both downstream and upstream communities. Based on 270 post-flood photographic records from 63 major inundations of the past quarter-century across 46 countries, we provide a comprehensive analysis of UFDs and their flood-hazard implications. We show that a variety of vehicles, furniture and a heterogeneous mixture of drifters are present in post-flooding scenarios. Plastic, construction debris and wood (natural or anthropogenic) dominate the statistics of transported drifters in urban floods (with frequencies of roughly 50-60% each), followed by cars (present in 31.5% of post-flood images). Other heavy vehicles are readily observed in post-flood imagery and furniture such as bins, garden sheds or water tanks also appear occasionally, therefore suggesting that they can play a relevant role in extreme floods. △ Less

Submitted 29 January, 2024; v1 submitted 4 April, 2023; originally announced April 2023.

Comments: This is an updated version (v2) of a preprint that is currently under revision (29/01/2024)

Microplastic and natural sediment in bed load saltation: material does not dictate the fate

Authors: James Lofty, Daniel Valero, Catherine A. M. E. Wilson, Mário J. Franca, Pablo Ouro

Abstract: Microplastic (MP) pollution is a well document threat to our aquatic and terrestrial ecosystems, however, the mechanisms by which MPs are transported in river flows are still unknown. The transport of MPs and natural sediment in aquatic flows could be somewhat comparable, as particles are similar in size. However, it is unknown how the lower density of MPs and their different material properties i… ▽ More Microplastic (MP) pollution is a well document threat to our aquatic and terrestrial ecosystems, however, the mechanisms by which MPs are transported in river flows are still unknown. The transport of MPs and natural sediment in aquatic flows could be somewhat comparable, as particles are similar in size. However, it is unknown how the lower density of MPs and their different material properties impact their transport dynamics. To answer this, novel laboratory experiments on bed load saltation dynamics in an open-channel flow, using high-speed camera imaging and the detection of 11,035 individual saltation events were used to identify the similarities and differences between spherical MPs and spherical natural sediments transport. The tested MPs varied in terms of size and material properties (density and elasticity). Our analysis shows that the Rouse number accurately describes saltation length, height, transport velocity and collision angles equally well for both MPs and natural sediments. Through statistical inference, the distribution functions of saltation trajectory characteristics for MPs were analogous to natural sediment with only one sediment experiment (1.4 % of cases) differing from all other plastic experiments. Similarly, only nine experiments (9.3 % of cases) showed that collision angles for MPs differed from those of natural sediment experiments. Differences observed in terms of restitution become negligible in overall transport dynamics as turbulence overcomes the kinetic energy lost at particle-bed impact, which keeps particle motion independent from impact. Overall, spherical MP particles behave similarly to spherical natural sediments in aquatic environments under the examined experimental conditions. This is significant because there is an established body of knowledge for sediment transport that can serve as a foundation for the study of MP transport. △ Less

Submitted 12 July, 2023; v1 submitted 27 March, 2023; originally announced March 2023.

Journal ref: Water Research, 120329 (2023)

Weightless Neural Networks for Efficient Edge Inference

Authors: Zachary Susskind, Aman Arora, Igor Dantas Dos Santos Miranda, Luis Armando Quintanilla Villon, Rafael Fontella Katopodis, Leandro Santiago de Araujo, Diego Leonel Cadette Dutra, Priscila Machado Vieira Lima, Felipe Maia Galvao Franca, Mauricio Breternitz Jr., Lizy K. John

Abstract: Weightless Neural Networks (WNNs) are a class of machine learning model which use table lookups to perform inference. This is in contrast with Deep Neural Networks (DNNs), which use multiply-accumulate operations. State-of-the-art WNN architectures have a fraction of the implementation cost of DNNs, but still lag behind them on accuracy for common image recognition tasks. Additionally, many existi… ▽ More Weightless Neural Networks (WNNs) are a class of machine learning model which use table lookups to perform inference. This is in contrast with Deep Neural Networks (DNNs), which use multiply-accumulate operations. State-of-the-art WNN architectures have a fraction of the implementation cost of DNNs, but still lag behind them on accuracy for common image recognition tasks. Additionally, many existing WNN architectures suffer from high memory requirements. In this paper, we propose a novel WNN architecture, BTHOWeN, with key algorithmic and architectural improvements over prior work, namely counting Bloom filters, hardware-friendly hashing, and Gaussian-based nonlinear thermometer encodings to improve model accuracy and reduce area and energy consumption. BTHOWeN targets the large and growing edge computing sector by providing superior latency and energy efficiency to comparable quantized DNNs. Compared to state-of-the-art WNNs across nine classification datasets, BTHOWeN on average reduces error by more than than 40% and model size by more than 50%. We then demonstrate the viability of the BTHOWeN architecture by presenting an FPGA-based accelerator, and compare its latency and resource usage against similarly accurate quantized DNN accelerators, including Multi-Layer Perceptron (MLP) and convolutional models. The proposed BTHOWeN models consume almost 80% less energy than the MLP models, with nearly 85% reduction in latency. In our quest for efficient ML on the edge, WNNs are clearly deserving of additional attention. △ Less

Submitted 2 March, 2022; originally announced March 2022.

Exponential Dichotomy for Noninvertible Linear Difference Equations

Authors: F. Battelli, M. Franca, K. J. Palmer

Abstract: In this article we study exponential dichotomies for noninvertible linear difference equations in finite dimensions. After giving the definition, we study the extent to which the projection $P(k)$ in a dichotomy is unique. For equations on $\mathbb{Z}$ it is unique but for equations on $\mathbb{Z}_+$ only its range is unique and for $\mathbb{Z}_-$ only its nullspace. Here we strengthen Kalkbrenn… ▽ More In this article we study exponential dichotomies for noninvertible linear difference equations in finite dimensions. After giving the definition, we study the extent to which the projection $P(k)$ in a dichotomy is unique. For equations on $\mathbb{Z}$ it is unique but for equations on $\mathbb{Z}_+$ only its range is unique and for $\mathbb{Z}_-$ only its nullspace. Here we strengthen Kalkbrenner's results and give a complete characterization of all possible projections. Next we study the possibility of extending the dichotomy to a larger interval. We reproduce the results of P\" otzsche but also show exactly when the original projection remains unchanged. Next we prove that the roughness theorem, well known for additive perturbations, holds for multiplicative perturbations also. The proof uses ideas of Zhou, Lu and Zhang. Finally, following Ducrot, Magal and Seydi, we mention that the results by Palmer on finite time conditions on dichotomy for the invertible case can be extended to the noninvertible case. △ Less

Submitted 8 November, 2021; originally announced November 2021.

Comments: The final version of the paper will appear in the Journal of difference equations and applications

MSC Class: 37D25; 39D25

Flow: the Axiom of Choice is independent from the Partition Principle in ZFU

Authors: Adonai Sant'Anna, Renato Brodzinski, Marcio de França, Otávio Bueno

Abstract: We introduce a formal theory called Flow where the intended interpretation of its terms is that of function. We prove ZF, ZFC and ZFU (ZF with atoms) can be immersed within Flow as natural consequences from our framework. Our first important application is the introduction of a model of ZFU where the Partition Principle holds but the Axiom of Choice fails, if Flow is consistent. So, our framework… ▽ More We introduce a formal theory called Flow where the intended interpretation of its terms is that of function. We prove ZF, ZFC and ZFU (ZF with atoms) can be immersed within Flow as natural consequences from our framework. Our first important application is the introduction of a model of ZFU where the Partition Principle holds but the Axiom of Choice fails, if Flow is consistent. So, our framework allows us to address the oldest open problem in set theory: if the Partition Principle entails the Axiom of Choice. △ Less

Submitted 30 March, 2021; originally announced March 2021.

Comments: 44 pages, 3 figures, 2 tables. This is a fully revised version of a previous work. arXiv admin note: substantial text overlap with arXiv:2010.03664

MSC Class: 03C30

Flow: the Axiom of Choice is independent from the Partition Principle

Authors: Adonai S. Sant'Anna, Otavio Bueno, Marcio P. P. de França, Renato Brodzinski

Abstract: We introduce a general theory of functions called Flow. We prove ZF, non-well founded ZF and ZFC can be immersed within Flow as a natural consequence from our framework. The existence of strongly inaccessible cardinals is entailed from our axioms. And our first important application is the introduction of a model of Zermelo-Fraenkel set theory where the Partition Principle (PP) holds but not the A… ▽ More We introduce a general theory of functions called Flow. We prove ZF, non-well founded ZF and ZFC can be immersed within Flow as a natural consequence from our framework. The existence of strongly inaccessible cardinals is entailed from our axioms. And our first important application is the introduction of a model of Zermelo-Fraenkel set theory where the Partition Principle (PP) holds but not the Axiom of Choice (AC). So, Flow allows us to answer to the oldest open problem in set theory: if PP entails AC. △ Less

Submitted 7 October, 2020; originally announced October 2020.

Comments: 37 pages, 4 Figures

What is the Best Grid-Map for Self-Driving Cars Localization? An Evaluation under Diverse Types of Illumination, Traffic, and Environment

Authors: Filipe Mutz, Thiago Oliveira-Santos, Avelino Forechi, Karin S. Komati, Claudine Badue, Felipe M. G. França, Alberto F. De Souza

Abstract: The localization of self-driving cars is needed for several tasks such as kee** maps updated, tracking objects, and planning. Localization algorithms often take advantage of maps for estimating the car pose. Since maintaining and using several maps is computationally expensive, it is important to analyze which type of map is more adequate for each application. In this work, we provide data for s… ▽ More The localization of self-driving cars is needed for several tasks such as kee** maps updated, tracking objects, and planning. Localization algorithms often take advantage of maps for estimating the car pose. Since maintaining and using several maps is computationally expensive, it is important to analyze which type of map is more adequate for each application. In this work, we provide data for such analysis by comparing the accuracy of a particle filter localization when using occupancy, reflectivity, color, or semantic grid maps. To the best of our knowledge, such evaluation is missing in the literature. For building semantic and colour grid maps, point clouds from a Light Detection and Ranging (LiDAR) sensor are fused with images captured by a front-facing camera. Semantic information is extracted from images with a deep neural network. Experiments are performed in varied environments, under diverse conditions of illumination and traffic. Results show that occupancy grid maps lead to more accurate localization, followed by reflectivity grid maps. In most scenarios, the localization with semantic grid maps kept the position tracking without catastrophic losses, but with errors from 2 to 3 times bigger than the previous. Colour grid maps led to inaccurate and unstable localization even using a robust metric, the entropy correlation coefficient, for comparing online data and the map. △ Less

Submitted 19 September, 2020; originally announced September 2020.

wisardpkg -- A library for WiSARD-based models

Authors: Aluizio S. Lima Filho, Gabriel P. Guarisa, Leopoldo A. D. Lusquino Filho, Luiz F. R. Oliveira, Felipe M. G. Franca, Priscila M. V. Lima

Abstract: In order to facilitate the production of codes using WiSARD-based models, LabZero developed an ML library C++/Python called wisardpkg. This library is an MIT-licensed open-source package hosted on GitHub under the license. In order to facilitate the production of codes using WiSARD-based models, LabZero developed an ML library C++/Python called wisardpkg. This library is an MIT-licensed open-source package hosted on GitHub under the license. △ Less

Submitted 2 May, 2020; originally announced May 2020.

Comments: 9 pages, 2 figures

Follow the Flow: sets, relations, and categories as special cases of functions with no domain

Authors: Adonai Sant'Anna, Otavio Bueno, Marcio de Franca

Abstract: We introduce, develop, and apply a new approach for dealing with the intuitive notion of function, called Flow Theory. Within our framework all functions are monadic and none of them has any domain. Sets, proper classes, categories, functors, and even relations are special cases of functions. In this sense, functions in Flow are not equivalent to functions in ZFC. Nevertheless, we prove both ZFC a… ▽ More We introduce, develop, and apply a new approach for dealing with the intuitive notion of function, called Flow Theory. Within our framework all functions are monadic and none of them has any domain. Sets, proper classes, categories, functors, and even relations are special cases of functions. In this sense, functions in Flow are not equivalent to functions in ZFC. Nevertheless, we prove both ZFC and Category Theory are naturally immersed within Flow. Besides, our framework provides major advantages as a language for axiomatization of standard mathematical and physical theories. Russell's paradox is avoided without any equivalent to the Separation Scheme. Hierarchies of sets are obtained without any equivalent to the Power Set Axiom. And a clear principle of duality emerges from Flow, in a way which was not anticipated neither by Category Theory nor by standard set theories. Besides, there seems to be within Flow an identification not only with the common practice of doing mathematics (which is usually quite different from the ways proposed by logicians), but even with the common practice of teaching this formal science. △ Less

Submitted 28 November, 2019; originally announced December 2019.

Comments: 61 pages, 10 figures

BUDA.ART: A Multimodal Content-Based Analysis and Retrieval System for Buddha Statues

Authors: Benjamin Renoust, Matheus Oliveira Franca, Jacob Chan, Van Le, Ayaka Uesaka, Yuta Nakashima, Hajime Nagahara, Jueren Wang, Yutaka Fujioka

Abstract: We introduce BUDA.ART, a system designed to assist researchers in Art History, to explore and analyze an archive of pictures of Buddha statues. The system combines different CBIR and classical retrieval techniques to assemble 2D pictures, 3D statue scans and meta-data, that is focused on the Buddha facial characteristics. We build the system from an archive of 50,000 Buddhism pictures, identify un… ▽ More We introduce BUDA.ART, a system designed to assist researchers in Art History, to explore and analyze an archive of pictures of Buddha statues. The system combines different CBIR and classical retrieval techniques to assemble 2D pictures, 3D statue scans and meta-data, that is focused on the Buddha facial characteristics. We build the system from an archive of 50,000 Buddhism pictures, identify unique Buddha statues, extract contextual information, and provide specific facial embedding to first index the archive. The system allows for mobile, on-site search, and to explore similarities of statues in the archive. In addition, we provide search visualization and 3D analysis of the statues △ Less

Submitted 17 September, 2019; originally announced September 2019.

Comments: Demo video at: https://www.youtube.com/watch?v=3XJvLjSWieY

Historical and Modern Features for Buddha Statue Classification

Authors: Benjamin Renoust, Matheus Oliveira Franca, Jacob Chan, Noa Garcia, Van Le, Ayaka Uesaka, Yuta Nakashima, Hajime Nagahara, Jueren Wang, Yutaka Fujioka

Abstract: While Buddhism has spread along the Silk Roads, many pieces of art have been displaced. Only a few experts may identify these works, subjectively to their experience. The construction of Buddha statues was taught through the definition of canon rules, but the applications of those rules greatly varies across time and space. Automatic art analysis aims at supporting these challenges. We propose to… ▽ More While Buddhism has spread along the Silk Roads, many pieces of art have been displaced. Only a few experts may identify these works, subjectively to their experience. The construction of Buddha statues was taught through the definition of canon rules, but the applications of those rules greatly varies across time and space. Automatic art analysis aims at supporting these challenges. We propose to automatically recover the proportions induced by the construction guidelines, in order to use them and compare between different deep learning features for several classification tasks, in a medium size but rich dataset of Buddha statues, collected with experts of Buddhism art history. △ Less

Submitted 6 October, 2019; v1 submitted 17 September, 2019; originally announced September 2019.

Exploring the Equivalence between Dynamic Dataflow Model and Gamma - General Abstract Model for Multiset mAnipulation

Authors: Rui R. Mello Junior, Leandro S. Araujo, Tiago A. O. Alves, Leandro A. J. Marzulo, Gabriel A. L. Paillard, Felipe M. G. França

Abstract: With the increase of the search for computational models where the expression of parallelism occurs naturally, some paradigms arise as options for the next generation of computers. In this context, dynamic Dataflow and Gamma - General Abstract Model for Multiset mAnipulation) - emerge as interesting computational models choices. In the dynamic Dataflow model, operations are performed as soon as th… ▽ More With the increase of the search for computational models where the expression of parallelism occurs naturally, some paradigms arise as options for the next generation of computers. In this context, dynamic Dataflow and Gamma - General Abstract Model for Multiset mAnipulation) - emerge as interesting computational models choices. In the dynamic Dataflow model, operations are performed as soon as their associated operators are available, without rely on a Program Counter to dictate the execution order of instructions. The Gamma paradigm is based on a parallel multiset rewriting scheme. It provides a non-deterministic execution model inspired by an abstract chemical machine metaphor, where operations are formulated as reactions that occur freely among matching elements belonging to the multiset. In this work, equivalence relations between the dynamic Dataflow and Gamma paradigms are exposed and explored, while methods to convert from Dataflow to Gamma paradigm and vice versa are provided. It is shown that vertices and edges of a dynamic Dataflow graph can correspond, respectively, to reactions and multiset elements in the Gamma paradigm. Implementation aspects of execution environments that could be mutually beneficial to both models are also discussed. This work provides the scientific community with the possibility of taking profit of both parallel programming models, contributing with a versatility component to researchers and developers. Finally, it is important to state that, to the best of our knowledge, the similarity relations between both dynamic Dataflow and Gamma models presented here have not been reported in any previous work. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Comments: Study submitted to the IPDPS 2019 - IEEE International Parallel and Distributed Processing Symposium

Ion backflow studies with a triple-GEM stack with increasing hole pitch

Authors: H. Natal da Luz, P. Bhattacharya, L. A. S. Filho, L. E. F. M. França

Abstract: Gas Electron Multipliers have undergone a very consistent development since their invention in 1997. Their production procedures have been tuned in such a way that nowadays it is possible to produce foils with areas of the order of the square meter that can operate at a reasonable gain, uniform over large areas and with a good stability in what concerns electrical discharges. For the third run of… ▽ More Gas Electron Multipliers have undergone a very consistent development since their invention in 1997. Their production procedures have been tuned in such a way that nowadays it is possible to produce foils with areas of the order of the square meter that can operate at a reasonable gain, uniform over large areas and with a good stability in what concerns electrical discharges. For the third run of LHC, they will be included in the CMS and ALICE experiments after significant upgrades of the detectors, confirming that these structures are suitable for very large experiments. In the special case of Time Projection Chambers, the ion backflow and the energy resolution are sensitive issues that must be addressed and the GEM has shown to be able to deal with both of them. In this work, a stack of three GEMs with different pitches has been studied as a possible future approach for ion-backflow suppression to be used in TPCs and other detection concepts. With this approach, an ion backflow of 1 % with an energy resolution of 12 % at 5.9 keV has been achieved with the detector operating in an Ar/CO2 (90/10) mixture at a gain of ~ 2000. △ Less

Submitted 1 June, 2018; v1 submitted 25 March, 2018; originally announced March 2018.

Comments: 15 pages, 11 figures

Decanting the Contribution of Instruction Types and Loop Structures in the Reuse of Traces

Authors: Andrey M. Coppieters, Sheila de Oliveira, Felipe M. G. França, Maurício L. Pilla, Amarildo T. da Costa

Abstract: Reuse has been proposed as a microarchitecture-level mechanism to reduce the amount of executed instructions, collapsing dependencies and freeing resources for other instructions. Previous works have used reuse domains such as memory accesses, integer or not floating point, based on the reusability rate. However, these works have not studied the specific contribution of reusing different subsets o… ▽ More Reuse has been proposed as a microarchitecture-level mechanism to reduce the amount of executed instructions, collapsing dependencies and freeing resources for other instructions. Previous works have used reuse domains such as memory accesses, integer or not floating point, based on the reusability rate. However, these works have not studied the specific contribution of reusing different subsets of instructions for performance. In this work, we analysed the sensitivity of trace reuse to instruction subsets, comparing their efficiency to their complementary subsets. We also studied the amount of reuse that can be extracted from loops. Our experiments show that disabling trace reuse outside loops does not harm performance but reduces in 12% the number of accesses to the reuse table. Our experiments with reuse subsets show that most of the speedup can be retained even when not reusing all types of instructions previously found in the reuse domain. △ Less

Submitted 17 November, 2017; originally announced November 2017.

On a nonlinear parabolic problem: Stability properties of Ground States

Authors: Luca Bisconti, Matteo Franca

Abstract: We consider the Cauchy-problem for the following parabolic equation: \begin{equation*} \displaystyle u_t = Δu+ f(u,|x|), \end{equation*} where $x \in \mathbb{R}^n$, $n >2$, and $f=f(u,|x|)$ is either critical or supercritical with respect to the Joseph-Lundgren exponent. Using a new unifying approach we extend to a larger class of nonlinear potentials $f$, some known results concerning stability a… ▽ More We consider the Cauchy-problem for the following parabolic equation: \begin{equation*} \displaystyle u_t = Δu+ f(u,|x|), \end{equation*} where $x \in \mathbb{R}^n$, $n >2$, and $f=f(u,|x|)$ is either critical or supercritical with respect to the Joseph-Lundgren exponent. Using a new unifying approach we extend to a larger class of nonlinear potentials $f$, some known results concerning stability and weak asymptotic stability of positive Ground States. △ Less

Submitted 28 February, 2018; v1 submitted 5 May, 2017; originally announced May 2017.

Comments: 1 figure

MSC Class: Primary 35K58; 35K91; 34E05; Secondary 35B08; 35B35

Entire solutions of superlinear problems with indefinite weights and Hardy potentials

Authors: Matteo Franca, Andrea Sfecci

Abstract: We provide the structure of regular/singular fast/slow decay radially symmetric solutions for a class of superlinear elliptic equations with an in- definite weight on the nonlinearity f (u, r). In particular we are interested in the case where f is positive in a ball and negative outside, or in the re- versed situation. We extend the approach to elliptic equations in presence of Hardy potentials.… ▽ More We provide the structure of regular/singular fast/slow decay radially symmetric solutions for a class of superlinear elliptic equations with an in- definite weight on the nonlinearity f (u, r). In particular we are interested in the case where f is positive in a ball and negative outside, or in the re- versed situation. We extend the approach to elliptic equations in presence of Hardy potentials. By the use of Fowler transformation we study the corresponding dynamical systems, presenting the construction of invariant manifolds when the global existence of solutions is not ensured. △ Less

Submitted 28 July, 2016; originally announced July 2016.

Journal ref: Journal of Dynamics and Differential Equations 30 (2018), 1081--1118

On a diffusion model with absorption and production

Authors: Matteo Franca, Andrea Sfecci

Abstract: We discuss the structure of radial solutions of some superlinear elliptic equations which model diffusion phenomena when both absorption and production are present. We focus our attention on solutions defined in R (regular) or in R \ {0} (singular) which are infinitesimal at infinity, discussing also their asymptotic behavior. The phenomena we find are present only if absorption and production coe… ▽ More We discuss the structure of radial solutions of some superlinear elliptic equations which model diffusion phenomena when both absorption and production are present. We focus our attention on solutions defined in R (regular) or in R \ {0} (singular) which are infinitesimal at infinity, discussing also their asymptotic behavior. The phenomena we find are present only if absorption and production coexist, i.e., if the reaction term changes sign. Our results are then generalized to include the case where Hardy potentials are considered. △ Less

Submitted 7 June, 2016; originally announced June 2016.

Journal ref: Nonlinear Analysis: Real World Applications 34 (2017), 41-60

On main eigenvalues of certain graphs

Authors: Nair Abreu, Domingos M. Cardoso, Francisca A. M. França, Cybele T. M. Vinagre

Abstract: An eigenvalue of the adjacency matrix of a graph is said to be \emph{main} if the all-1 vector is not orthogonal to the associated eigenspace. In this work, we approach the main eigenvalues of some graphs. The graphs with exactly two main eigenvalues are considered and a relation between those main eigenvalues is presented. The particular case of harmonic graphs is analyzed and they are characteri… ▽ More An eigenvalue of the adjacency matrix of a graph is said to be \emph{main} if the all-1 vector is not orthogonal to the associated eigenspace. In this work, we approach the main eigenvalues of some graphs. The graphs with exactly two main eigenvalues are considered and a relation between those main eigenvalues is presented. The particular case of harmonic graphs is analyzed and they are characterized in terms of their main eigenvalues without any restriction on its combinatorial structure. We give a necessary and sufficient condition for a graph $G$ to have $-1-λ_{\min}$ as an eigenvalue of its complement, where $λ_{\min}$ denotes the least eigenvalue of $G$. Also, we prove that among connected bipartite graphs, $K_{r,r}$ is the unique graph for which the index of the complement is equal to $-1-λ_{\min}$. Finally, we characterize all paths and all double stars (trees with diameter three) for which the smallest eigenvalue is non-main. Main eigenvalues of paths and double stars are identified. △ Less

Submitted 11 May, 2016; originally announced May 2016.

Comments: 15 pages, 1 figure

MSC Class: 05C50; 05C05; 05C38

Journal ref: Comp. Appl. Math. 39, 12 (2020)

RAdNet-VE: An Interest-Centric Mobile Ad Hoc Network for Vehicular Environments

Authors: F. B. Gonçalves, F. M. G. França, C. L. Amorim

Abstract: In this study, we propose a variation of the RAdNet for vehicular environments (RAdNet-VE). The proposed scheme extends the message header, mechanism for registering interest, and message forwarding mechanism of RAdNet. To obtain results, we performed simulation experiments involving two use scenarios and communication protocols developed from the Veins framework. Based on results obtained from th… ▽ More In this study, we propose a variation of the RAdNet for vehicular environments (RAdNet-VE). The proposed scheme extends the message header, mechanism for registering interest, and message forwarding mechanism of RAdNet. To obtain results, we performed simulation experiments involving two use scenarios and communication protocols developed from the Veins framework. Based on results obtained from these experiments, we compare the performance of RAdNet-VE against that of RAdNet, a basic content-centric network (CCN) using reactive data routing, (CCN$_R$), and a basic CCN using proactive data routing, CCN$_P$. These CCNs provide non-cacheable data services. Moreover, the communication radio standards adopted in the scenarios 1 and 2 were respectively IEEE 802.11n and IEEE 802.11p. The results shown that the performance of the RAdNet-VE was superior to than those of RAdNet, CCN$_R$ and CCN$_P$. In this sense, RAdNet-VE protocol (RVEP) presented low communication latencies among nodes of just 20.4ms (scenario 1) and 2.87 ms (scenario 2). Our protocol also presented high data delivery rates, i.e, 83.05\% (scenario 1) and 88.05\% (scenario 2). Based on these and other results presented in this study, we argue that RAdNet-VE is a feasible alternative to CCNs as information-centric network (ICN) model for VANET, because the RVEP satisfies all of the necessary communication requirements. △ Less

Submitted 6 January, 2017; v1 submitted 2 April, 2016; originally announced April 2016.

Comments: 24 pages, 12th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2016)

On a non-homogeneous and non-linear heat equation

Authors: Luca Bisconti, Matteo Franca

Abstract: We consider the Cauchy-problem for a parabolic equation of the following type: \begin{equation*} \frac{\partial u}{\partial t}= Δu+ f(u,|x|), \end{equation*} where $f=f(u,|x|)$ is supercritical. We supply this equation by the initial condition $u(x,0)=φ$, and we allow $φ$ to be either bounded or unbounded in the origin but smaller than stationary singular solutions. We discuss local existenc… ▽ More We consider the Cauchy-problem for a parabolic equation of the following type: \begin{equation*} \frac{\partial u}{\partial t}= Δu+ f(u,|x|), \end{equation*} where $f=f(u,|x|)$ is supercritical. We supply this equation by the initial condition $u(x,0)=φ$, and we allow $φ$ to be either bounded or unbounded in the origin but smaller than stationary singular solutions. We discuss local existence and long time behaviour for the solutions $u(t,x;φ)$ for a wide class of non-homogeneous non-linearities $f$. We show that in the supercritical case, Ground States with slow decay lie on the threshold between blowing up initial data and the basin of attraction of the null solution. Our results extend previous ones allowing Matukuma-type potential and more generic dependence on $u$. Then, we further explore such a threshold in the subcritical case too. We find two families of initial data $ζ(x)$ and $ψ(x)$ which are respectively above and below the threshold, and have arbitrarily small distance in $L^{\infty}$ norm, whose existence is new even for $f(u,r)=u^{q-1}$. Quite surprisingly both $ζ(x)$ and $ψ(x)$ have fast decay (i.e. $\sim |x|^{2-n}$), while the expected critical asymptotic behavior is slow decay (i.e. $\sim |x|^{2/q-2}$). △ Less

Submitted 9 March, 2015; originally announced March 2015.

Comments: 2 figures

Estereoscopio de Wheatstone 'Revival'

Authors: Jose Joaquin Lunazzi, Milena Cardoso Franca, Andrey da Silva Mori

Abstract: We describe the making of a two-mirrors stereoscope, identical to the first historical one, with the advantage of employing digital images on LCD monitors. We surprised the public with it, because they do not imagine being possible to watch 3D without needing goggless, neither the lack of knowledge of something so simple and old. Nowadays it is common to have two monitors at the exit of a computer… ▽ More We describe the making of a two-mirrors stereoscope, identical to the first historical one, with the advantage of employing digital images on LCD monitors. We surprised the public with it, because they do not imagine being possible to watch 3D without needing goggless, neither the lack of knowledge of something so simple and old. Nowadays it is common to have two monitors at the exit of a computer, so that the system is still a simple one. △ Less

Submitted 14 August, 2014; originally announced August 2014.

Comments: 9 pages, in Portuguese, 5 figures, submited to a brazilian journal

The Schrödinger equation, the zero-point electromagnetic radiation and the photoelectric effect

Authors: H. M. França, A. Kamimura, G. A. Barreto

Abstract: A Schrödinger type equation for a mathematical probability amplitude ψ(x,t), is derived from the generalized phase space Liouville equation valid for the motion of a microscopic particle, with mass M, moving in a potential V(x). The particle phase space probability density is denoted W(x,p,t) and the entire system is immersed in the "vacuum" zero-point electromagnetic radiation . We show that the… ▽ More A Schrödinger type equation for a mathematical probability amplitude ψ(x,t), is derived from the generalized phase space Liouville equation valid for the motion of a microscopic particle, with mass M, moving in a potential V(x). The particle phase space probability density is denoted W(x,p,t) and the entire system is immersed in the "vacuum" zero-point electromagnetic radiation . We show that the generalized Liouville equation is reduced to a non-quantized Liouville equation in the equilibrium limit where the small radiative corrections cancel each other approximately. Our derivation will be based on a simple Fourier transform of the non-quantized phase space probability distribution W(x,p,t). For convenience, we introduce in this Fourier transform an auxiliary constant α, with dimension of action, and an auxiliary coordinate denoted by y. We shall prove that α is equal to the Planck's constant present in the momentum operator of the Schrödinger equation. Moreover, we shall show that this momentum operator is deeply related with the ubiquitous zero-point electromagnetic radiation. It is also important to say that we do not assume that the mathematical amplitude ψ(x,t) is a de Broglie matter-wave, in other words, the wave-particle duality hypothesis is not used within our work. The implications of our study for the standard interpretation of the photoelectric effect is discussed by considering the main characteristics of the phenomenon. We also mention, briefly, the effects of the zero-point radiation in the tunnelling phenomenon and in the Compton's effect. △ Less

Submitted 18 July, 2012; v1 submitted 17 July, 2012; originally announced July 2012.

Comments: 20 pages and 2 figures

Origin and meaning of quantum nonlocality

Authors: L. de la Peña, A. M. Cetto, A. Valdés-Hernández, H. M. França

Abstract: Quantum nonlocality is revisited from a novel point of view by studying the problem of an originally classical particle immersed in the stochastic zero-point radiation field (zpf). The entire system is left to evolve until it reaches a state in which the radiative terms cancel each other in the mean in a first approximation. The ensuing approximate statistical description reduced to the particle's… ▽ More Quantum nonlocality is revisited from a novel point of view by studying the problem of an originally classical particle immersed in the stochastic zero-point radiation field (zpf). The entire system is left to evolve until it reaches a state in which the radiative terms cancel each other in the mean in a first approximation. The ensuing approximate statistical description reduced to the particle's configuration space contains a nonclassical term due to the dispersion of the momentum, which depends on the density of particles ρ(x) and thus is nonlocal. This description is shown to be equivalent to Schrödinger's equation and its complex conjugate. The nonlocal term is recognized as the so-called quantum potential, thus solving the long standing problem of the origin and meaning of this term. Further, the relationship between the Wigner function and a true Kolmogorovian probability density in phase space is discussed from the perspective provided by this theory. △ Less

Submitted 20 October, 2011; originally announced October 2011.

Couillard: Parallel Programming via Coarse-Grained Data-Flow Compilation

Authors: Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Vítor Santos Costa

Abstract: Data-flow is a natural approach to parallelism. However, describing dependencies and control between fine-grained data-flow tasks can be complex and present unwanted overheads. TALM (TALM is an Architecture and Language for Multi-threading) introduces a user-defined coarse-grained parallel data-flow model, where programmers identify code blocks, called super-instructions, to be run in parallel and… ▽ More Data-flow is a natural approach to parallelism. However, describing dependencies and control between fine-grained data-flow tasks can be complex and present unwanted overheads. TALM (TALM is an Architecture and Language for Multi-threading) introduces a user-defined coarse-grained parallel data-flow model, where programmers identify code blocks, called super-instructions, to be run in parallel and connect them in a data-flow graph. TALM has been implemented as a hybrid Von Neumann/data-flow execution system: the \emph{Trebuchet}. We have observed that TALM's usefulness largely depends on how programmers specify and connect super-instructions. Thus, we present \emph{Couillard}, a full compiler that creates, based on an annotated C-program, a data-flow graph and C-code corresponding to each super-instruction. We show that our toolchain allows one to benefit from data-flow execution and explore sophisticated parallel programming techniques, with small effort. To evaluate our system we have executed a set of real applications on a large multi-core machine. Comparison with popular parallel programming methods shows competitive speedups, while providing an easier parallel programing approach. △ Less

Submitted 22 September, 2011; originally announced September 2011.

Comments: 10 pages, 5 figures

Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations

Authors: Leandro A. J. Marzulo, Felipe M. G. França, Vítor Santos Costa

Abstract: The WaveScalar is the first DataFlow Architecture that can efficiently provide the sequential memory semantics required by imperative languages. This work presents an alternative memory ordering mechanism for this architecture, the Transaction WaveCache. Our mechanism maintains the execution order of memory operations within blocks of code, called Waves, but adds the ability to speculatively exe… ▽ More The WaveScalar is the first DataFlow Architecture that can efficiently provide the sequential memory semantics required by imperative languages. This work presents an alternative memory ordering mechanism for this architecture, the Transaction WaveCache. Our mechanism maintains the execution order of memory operations within blocks of code, called Waves, but adds the ability to speculatively execute, out-of-order, operations from different waves. This ordering mechanism is inspired by progress in supporting Transactional Memories. Waves are considered as atomic regions and executed as nested transactions. If a wave has finished the execution of all its memory operations, as soon as the previous waves are committed, it can be committed. If a hazard is detected in a speculative Wave, all the following Waves (children) are aborted and re-executed. We evaluate the WaveCache on a set artificial benchmarks. If the benchmark does not access memory often, we could achieve speedups of around 90%. Speedups of 33.1% and 24% were observed on more memory intensive applications, and slowdowns up to 16% arise if memory bandwidth is a bottleneck. For an application full of WAW, WAR and RAW hazards, a speedup of 139.7% was verified. △ Less

Submitted 7 December, 2007; originally announced December 2007.

Comments: Submitted to ACM International Conference on Computing Frontiers 2008, http://www.computingfrontiers.org/, 20 pages

ACM Class: C.1.3

On the conection between the Liouville equation and the Schrodinger equation

Authors: Edelver Carnovali Jr., Humberto M. Franca

Abstract: We derive a classical Schrodinger type equation from the classical Liouville equation in phase space. The derivation is based on a Wigner type Fourier transform of the classical phase space probability distribution, which depends on an arbitrary constant $α$ with dimension of action. In order to achieve this goal two requirements are necessary: 1) It is assumed that the classical probability amp… ▽ More We derive a classical Schrodinger type equation from the classical Liouville equation in phase space. The derivation is based on a Wigner type Fourier transform of the classical phase space probability distribution, which depends on an arbitrary constant $α$ with dimension of action. In order to achieve this goal two requirements are necessary: 1) It is assumed that the classical probability amplitude $Ψ(x,t)$ can be expanded in a complete set of functions $Φ_n(x)$ defined in the configuration space; 2) the classical phase space distribution $W(x,p,t)$ obeys the Liouville equation and is a real function of the position, the momentum and the time. We show that the constant $α$ appearing in the Fourier transform of the classical phase space distribution, and also in the classical Schrodinger type equation, has its origin in the spectral distribution of the vacuum zero-point radiation, and is identified with the Planck's constant $\hbar$. △ Less

Submitted 17 April, 2006; v1 submitted 6 December, 2005; originally announced December 2005.

Comments: Submitted to Physics Letters A. 16 pages

The vacuum electromagnetic fields and the Schrodinger picture

Authors: A. J. Faria, H. M. Franca, G. G. Gomes, R. C. Sponchiado

Abstract: Several authors have used the Heisenberg picture to show that the atomic transitions, the stability of the ground state and the position-momentum commutation relation [x,p]=ih, can only be explained by introducing radiation reaction and vacuum electromagnetic fluctuation forces. Here we consider the simple case of a nonrelativistic charged harmonic oscillator, in one dimension, to investigate ho… ▽ More Several authors have used the Heisenberg picture to show that the atomic transitions, the stability of the ground state and the position-momentum commutation relation [x,p]=ih, can only be explained by introducing radiation reaction and vacuum electromagnetic fluctuation forces. Here we consider the simple case of a nonrelativistic charged harmonic oscillator, in one dimension, to investigate how to take into account the radiation reaction and vacuum fluctuation forces within the Schrodinger picture. We consider the effects of both classical zero-point and thermal electromagnetic vacuum fields. We show that the zero-point electromagnetic fluctuations are dynamically related to the momentum operator p=-ih d/dx used in the Schrodinger picture. Consequently, the introduction of the zero-point electromagnetic fields in the vector potential A_x(t) used in the Schrodinger equation, generates ``double counting'', as was shown recently by A.J. Faria et al. (Physics Letters A 305 (2002) 322). We explain, in details, how to avoid the ``double counting'' by introducing only the radiation reaction and the thermal electromagnetic fields into the Schrodinger equation. △ Less

Submitted 17 April, 2006; v1 submitted 17 October, 2005; originally announced October 2005.

Comments: 15 pages. Submitted to Foundations of Physics

Tunneling as a classical escape rate induced by the vacuum zero-point radiation

Authors: A. J. Faria, H. M. Franca, R. C. Sponchiado

Abstract: We make a brief review of the Kramers escape rate theory for the probabilistic motion of a particle in a potential well U(x), and under the influence of classical fluctuation forces. The Kramers theory is extended in order to take into account the action of the thermal and zero-point random electromagnetic fields on a charged particle. The result is physically relevant because we get a non null… ▽ More We make a brief review of the Kramers escape rate theory for the probabilistic motion of a particle in a potential well U(x), and under the influence of classical fluctuation forces. The Kramers theory is extended in order to take into account the action of the thermal and zero-point random electromagnetic fields on a charged particle. The result is physically relevant because we get a non null escape rate over the potential barrier at low temperatures (T -> 0). It is found that, even if the mean energy is much smaller than the barrier height, the classical particle can escape from the potential well due to the action of the zero-point fluctuating fields. These stochastic effects can be used to give a classical interpretation to some quantum tunneling phenomena. Relevant experimental data are used to illustrate the theoretical results. △ Less

Submitted 17 September, 2004; originally announced September 2004.

Comments: 11 pages, 3 figures. To be published in "Quanta, Relativity and Electromagnetism: The Search for Unity in Physics", Proceedings of a Symposium in Honor of Jean-Pierre Vigier (Paris, September, 2003). Kluwer Academic Publishers

The Schrodinger picture and the zero-point radiation

Authors: A. J. Faria, H. M. Franca, C. P. Malta, R. C. Sponchiado

Abstract: Dalibard, Dupont-Roc and Cohen-Tannoudji (J. Physique 43 (1982) 1617; 45 (1984) 637) used the Heisenberg picture to show that the atomic transitions, and the stability of the ground state, can only be explained by introducing radiation reaction and vacuum fluctuation forces. Here we consider the simple case of nonrelativistic charged harmonic oscillator, in one dimension, to investigate how to t… ▽ More Dalibard, Dupont-Roc and Cohen-Tannoudji (J. Physique 43 (1982) 1617; 45 (1984) 637) used the Heisenberg picture to show that the atomic transitions, and the stability of the ground state, can only be explained by introducing radiation reaction and vacuum fluctuation forces. Here we consider the simple case of nonrelativistic charged harmonic oscillator, in one dimension, to investigate how to take into account the radiation reaction and vacuum fluctuation forces within the Schrodinger picture. We consider classical vacuum fields and large mass oscillator. △ Less

Submitted 17 September, 2004; originally announced September 2004.

Comments: 7 pages. To be published in "Quanta, Relativity and Electromagnetism: The Search for Unity in Physics", Proceedings of a Symposium in Honor of Jean-Pierre Vigier (Paris, September, 2003). Kluwer Academic Publishers

Maxwell Electromagnetic Theory, Planck's Radiation Law and Bose-Einstein Statistics

Authors: H. M. França, A. Maia Jr., C. P. Malta

Abstract: We give an example in which it is possible to understand quantum statistics using classical concepts. This is done by studying the interaction of charged matter oscillators with the thermal and zeropoint electromagnetic fields characteristic of quantum electrodynamics and classical stochastic electrodynamics. Planck's formula for the spectral distribution and the elements of energy $ \hbarω$ are… ▽ More We give an example in which it is possible to understand quantum statistics using classical concepts. This is done by studying the interaction of charged matter oscillators with the thermal and zeropoint electromagnetic fields characteristic of quantum electrodynamics and classical stochastic electrodynamics. Planck's formula for the spectral distribution and the elements of energy $ \hbarω$ are interpreted without resorting to discontinuities. We also show the aspects in which our model calculation complement other derivations of blackbody radiation spectrum without quantum assumptions. △ Less

Submitted 6 December, 1995; originally announced December 1995.

Comments: 19 pages, plain Latex