Search

Your search keyword '"Ferreira, A F"' showing total 7,786 results

Search Constraints

Start Over You searched for: Author "Ferreira, A F" Remove constraint Author: "Ferreira, A F"
7,786 results on '"Ferreira, A F"'

Search Results

1. Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

2. Effects of Neutron Radiation on the Thermal Conductivity of Highly Oriented Pyrolitic Graphite

3. Consistent model selection for estimating functional interactions among stochastic neurons with variable-length memory

4. Holography and the internal structure of charmonium

5. Expected and unexpected routes to synchronization in a system of swarmalators

6. Groupwise Deformable Registration of Diffusion Tensor Cardiovascular Magnetic Resonance: Disentangling Diffusion Contrast, Respiratory and Cardiac Motions

7. Low-rank based motion correction followed by automatic frame selection in DT-CMR

8. CoqPyt: Proof Navigation in Python in the Era of LLMs

10. Contract Usage and Evolution in Android Mobile Applications

11. Leveraging Large Language Models to Boost Dafny's Developers Productivity

13. Amplitude analysis of B+→ ψ(2S)K+π+π− decays

14. Measurement of CP violation in B0→ D+D− and Bs0Ds+Ds−→Bs0Ds+Ds− decays

16. Analysis of Λb0→ pK−μ+μ− decays

17. Study of the rare decay J/ψ → μ+μ−μ+μ−

18. Measurement of the effective leptonic weak mixing angle

22. Stain Consistency Learning: Handling Stain Variation for Automatic Digital Pathology Segmentation

23. Style Transfer and Self-Supervised Learning Powered Myocardium Infarction Super-Resolution Segmentation

24. Bottomonium Dissociation in a Rotating Plasma

25. Efficient Post-processing of Diffusion Tensor Cardiac Magnetic Imaging Using Texture-conserving Deformable Registration

27. Ataxia-telangiectasia in Latin America: clinical features, immunodeficiency, and mortality in a multicenter study

28. Polyglot Code Smell Detection for Infrastructure as Code with GLITCH

29. A large topographic feature on the surface of the trans-Neptunian object (307261) 2002 MS$_4$ measured from stellar occultations

30. SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts

31. Probing the nature of the χc1(3872) state using radiative decays

32. Observation of muonic Dalitz decays of chib mesons and precise spectroscopy of hidden-beauty states

33. Transverse polarization measurement of Λ hyperons in pNe collisions at sNN = 68.4 GeV with the LHCb detector

34. Comprehensive analysis of local and nonlocal amplitudes in the B0→ K*0μ+μ− decay

36. MUFIN: Improving Neural Repair Models with Back-Translation

37. Deep Learning-based Diffusion Tensor Cardiac Magnetic Resonance Reconstruction: A Comparison Study

38. Magnetic-field-driven topological phase transition in the holograpic Weyl semimetal

39. Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study

40. NATO's Most Vulnerable Flank, but Not for the Reasons We Think

43. Algae biostimulant improves salt tolerance and visual quality of tropical ornamental herbaceous species/Bioestimulante de algas melhora a tolerância à salinidade e a qualidade visual de espécies herbáceas ornamentais tropicais

44. Configuration entropy of a rotating quark-gluon plasma from holography

47. Synchronization in a multilevel network using the Hamilton-Jacobi-Bellman (HJB) technique

48. Critical Exponents of Master-Node Network Model

50. Amplitude analysis and branching fraction measurement of B+→D∗−Ds+π+ decays

Catalog

Books, media, physical & digital resources