Log in

Relevant bibliographies by topics / Tensor Programs / Journal articles

To see the other types of publications on this topic, follow the link: Tensor Programs.

Journal articles on the topic 'Tensor Programs'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Tensor Programs.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Deeds, Kyle, Willow Ahrens, Magdalena Balazinska, and Dan Suciu. "Galley: Modern Query Optimization for Sparse Tensor Programs." Proceedings of the ACM on Management of Data 3, no. 3 (2025): 1–24. https://doi.org/10.1145/3725301.

Full text

Abstract:

The tensor programming abstraction is a foundational paradigm which allows users to write high performance programs via a high-level imperative interface. Recent work on sparse tensor compilers has extended this paradigm to sparse tensors (i.e., tensors where most entries are not explicitly represented). With these systems, users define the semantics of the program and the algorithmic decisions in a concise language that can be compiled to efficient low-level code. However, these systems still require users to make complex decisions about program structure and memory layouts to write efficient

APA, Harvard, Vancouver, ISO, and other styles

2

Gallego, Samuel V., Jesus Etxebarria, Luis Elcoro, Emre S. Tasci, and J. Manuel Perez-Mato. "Automatic calculation of symmetry-adapted tensors in magnetic and non-magnetic materials: a new tool of the Bilbao Crystallographic Server." Acta Crystallographica Section A Foundations and Advances 75, no. 3 (2019): 438–47. http://dx.doi.org/10.1107/s2053273319001748.

Full text

Abstract:

Two new programs, MTENSOR and TENSOR, hosted on the open-access website known as the Bilbao Crystallographic Server, are presented. The programs provide automatically the symmetry-adapted form of tensor properties for any magnetic or non-magnetic point group or space group. The tensor is chosen from a list of 144 known tensor properties gathered from the scientific literature or, alternatively, the user can also build a tensor that possesses an arbitrary intrinsic symmetry. Four different tensor types are considered: equilibrium, transport, optical and nonlinear optical susceptibility tensors.

APA, Harvard, Vancouver, ISO, and other styles

3

Pemantle, Robin, James Propp, and Daniel Ullman. "On Tensor Powers of Integer Programs." SIAM Journal on Discrete Mathematics 5, no. 1 (1992): 127–43. http://dx.doi.org/10.1137/0405011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Yadav, Rohan, Michael Garland, Alex Aiken, and Michael Bauer. "Task-Based Tensor Computations on Modern GPUs." Proceedings of the ACM on Programming Languages 9, PLDI (2025): 396–420. https://doi.org/10.1145/3729262.

Full text

Abstract:

Domain-specific, fixed-function units are becoming increasingly common in modern processors. As the computational demands of applications evolve, the capabilities and programming interfaces of these fixed-function units continue to change. NVIDIA’s Hopper GPU architecture contains multiple fixed-function units per compute unit, including an asynchronous data movement unit (TMA) and an asynchronous matrix multiplication unit (Tensor Core). Efficiently utilizing these units requires a fundamentally different programming style than previous architectures; programmers must now develop warp-special

APA, Harvard, Vancouver, ISO, and other styles

5

Kovach, Scott, Praneeth Kolichala, Tiancheng Gu, and Fredrik Kjolstad. "Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs." Proceedings of the ACM on Programming Languages 7, PLDI (2023): 1169–93. http://dx.doi.org/10.1145/3591268.

Full text

Abstract:

We introduce indexed streams, a formal operational model and intermediate representation that describes the fused execution of a contraction language that encompasses both sparse tensor algebra and relational algebra. We prove that the indexed stream model is correct with respect to a functional semantics. We also develop a compiler for contraction expressions that uses indexed streams as an intermediate representation. The compiler is only 540 lines of code, but we show that its performance can match both the TACO compiler for sparse tensor algebra and the SQLite and DuckDB query processing l

APA, Harvard, Vancouver, ISO, and other styles

6

Asada, Yuki, Victor Fu, Apurva Gandhi, et al. "Share the tensor tea." Proceedings of the VLDB Endowment 15, no. 12 (2022): 3598–601. http://dx.doi.org/10.14778/3554821.3554853.

Full text

Abstract:

We demonstrate Tensor Query Processor (TQP): a query processor that automatically compiles relational operators into tensor programs. By leveraging tensor runtimes such as PyTorch, TQP is able to: (1) integrate with ML tools (e.g., Pandas for data ingestion, Tensorboard for visualization); (2) target different hardware (e.g., CPU, GPU) and software (e.g., browser) backends; and (3) end-to-end accelerate queries containing both relational and ML operators. TQP is generic enough to supports the TPC-H benchmark, and it provides performance that are comparable to, and often better than, that of sp

APA, Harvard, Vancouver, ISO, and other styles

7

Bažant, Zdeněk P., Mahendra Gattu, and Jan Vorel. "Work conjugacy error in commercial finite-element codes: its magnitude and how to compensate for it." Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 468, no. 2146 (2012): 3047–58. http://dx.doi.org/10.1098/rspa.2012.0167.

Full text

Abstract:

Most commercial finite-element programs use the Jaumann (or co-rotational) rate of Cauchy stress in their incremental (Riks) updated Lagrangian loading procedure. This rate was shown long ago not to be work-conjugate with the Hencky (logarithmic) finite strain tensor used in these programs, nor with any other finite strain tensor. The lack of work-conjugacy has been either overlooked or believed to cause only negligible errors. Presented are examples of indentation of a naval-type sandwich plate with a polymeric foam core, in which the error can reach 28.8 per cent in the load and 15.3 per cen

APA, Harvard, Vancouver, ISO, and other styles

8

Krastev, Aleksandar, Nikola Samardzic, Simon Langowski, Srinivas Devadas, and Daniel Sanchez. "A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption." Proceedings of the ACM on Programming Languages 8, PLDI (2024): 126–50. http://dx.doi.org/10.1145/3656382.

Full text

Abstract:

Fully Homomorphic Encryption (FHE) enables computing on encrypted data, letting clients securely offload computation to untrusted servers. While enticing, FHE has two key challenges that limit its applicability: it has high performance overheads (10,000× over unencrypted computation) and it is extremely hard to program. Recent hardware accelerators and algorithmic improvements have reduced FHE’s overheads and enabled large applications to run under FHE. These large applications exacerbate FHE’s programmability challenges. Writing FHE programs directly is hard because FHE schemes expose a restr

APA, Harvard, Vancouver, ISO, and other styles

9

Yang, Dong Won, Eun Ye Lim, Seunghee Nae, YongSoo Shim, Bora Yoon, and Yun Jeong Hong. "P2-274: Reliability of Three Diffusion Tensor Imaging Processing Programs." Alzheimer's & Dementia 12 (July 2016): P734. http://dx.doi.org/10.1016/j.jalz.2016.06.1534.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

He, Dong, Supun C. Nakandala, Dalitso Banda, et al. "Query processing on tensor computation runtimes." Proceedings of the VLDB Endowment 15, no. 11 (2022): 2811–25. http://dx.doi.org/10.14778/3551793.3551833.

Full text

Abstract:

The huge demand for computation in artificial intelligence (AI) is driving unparalleled investments in hardware and software systems for AI. This leads to an explosion in the number of specialized hardware devices, which are now offered by major cloud vendors. By hiding the low-level complexity through a tensor-based interface, tensor computation runtimes (TCRs) such as PyTorch allow data scientists to efficiently exploit the exciting capabilities offered by the new hardware. In this paper, we explore how database management systems can ride the wave of innovation happening in the AI space. We

APA, Harvard, Vancouver, ISO, and other styles

11

Liu, Amanda, Gilbert Bernstein, Adam Chlipala, and Jonathan Ragan-Kelley. "A Verified Compiler for a Functional Tensor Language." Proceedings of the ACM on Programming Languages 8, PLDI (2024): 320–42. http://dx.doi.org/10.1145/3656390.

Full text

Abstract:

Producing efficient array code is crucial in high-performance domains like image processing and machine learning. It requires the ability to control factors like compute intensity and locality by reordering computations into different stages and granularities with respect to where they are stored. However, traditional pure, functional tensor languages struggle to do so. In a previous publication, we introduced ATL as a pure, functional tensor language capable of systematically decoupling compute and storage order via a set of high-level combinators known as reshape operators. Reshape operators

APA, Harvard, Vancouver, ISO, and other styles

12

Kumar, B., C. H. Huang, P. Sadayappan, and R. W. Johnson. "A Tensor Product Formulation of Strassen's Matrix Multiplication Algorithm with Memory Reduction." Scientific Programming 4, no. 4 (1995): 275–89. http://dx.doi.org/10.1155/1995/636457.

Full text

Abstract:

In this article, we present a program generation strategy of Strassen's matrix multiplication algorithm using a programming methodology based on tensor product formulas. In this methodology, block recursive programs such as the fast Fourier Transforms and Strassen's matrix multiplication algorithm are expressed as algebraic formulas involving tensor products and other matrix operations. Such formulas can be systematically translated to high-performance parallel/vector codes for various architectures. In this article, we present a nonrecursive implementation of Strassen's algorithm for shared m

APA, Harvard, Vancouver, ISO, and other styles

13

Gao, Chao, Jingwei Chen, Tong Mo, et al. "A Memory-Bounded Best-First Beam Search and Its Application to Scheduling Halide Programs." Proceedings of the International Symposium on Combinatorial Search 15, no. 1 (2022): 74–82. http://dx.doi.org/10.1609/socs.v15i1.21754.

Full text

Abstract:

Beam search is a popular algorithm for solving real-world problems --- especially where search space is an enormously large tree but real-time solutions are most preferred. We present a memory-bounded best-first beam search (MB2FBS), which can be viewed as an improved and generalized version of standard beam search in trees. The algorithm takes three parameters --- in contrast to the singular parameter beam size in standard beam search. We discuss how to recover standard beam search and how to realize other search behavior by setting these three parameters correspondingly. In particular, we sh

APA, Harvard, Vancouver, ISO, and other styles

14

Blumenstein, Valeriy, and Konstantin Petrenko. "Features of Creation of Surface Layer Mechanical Condition Parameters in Orthogonal Cutting." MATEC Web of Conferences 297 (2019): 05006. http://dx.doi.org/10.1051/matecconf/201929705006.

Full text

Abstract:

In this article, the technique and research results on creation of surface layer mechanical conditions parameters at orthogonal cutting are presented. Stress tensor, strain rate tensor and general mechanical condition factors distribution along flow lines were obtained. Distributions of stresses, strain rates, mean normal stress and stress state index along flow lines consist of three steps of quasi-monotonous deformation. On every step there is a monotonous increasing or decreasing of these parameters. It is demonstrated that creation of surface layer mechanical condition parameters in metal

APA, Harvard, Vancouver, ISO, and other styles

15

Battagel, J. M. "The Aetiology of Class III Malocclusion Examined by Tensor Analysis." British Journal of Orthodontics 20, no. 4 (1993): 283–95. http://dx.doi.org/10.1179/bjo.20.4.283.

Full text

Abstract:

This study compares and contrasts the differences in facial pattern between groups of young people, employing a modified tensor analysis. One-hundred-and-thirty-eight children with Class III malocclusions were compared with 105 control individuals of similar ages: 126 subjects were prepubertal (age range 7 to 10 years), whilst the remaining 117 were between 15 and 22 years of age. Males and females were examined separately. The tensor analysis permitted the computation of differences in form (that is in size and shape) without specifically measuring either. Mean values for 18 conventional ceph

APA, Harvard, Vancouver, ISO, and other styles

16

Alsakar, Yasmin M., Nagham E. Mekky, and Noha A. Hikal. "Detecting and Locating Passive Video Forgery Based on Low Computational Complexity Third-Order Tensor Representation." Journal of Imaging 7, no. 3 (2021): 47. http://dx.doi.org/10.3390/jimaging7030047.

Full text

Abstract:

Great attention is paid to detecting video forgeries nowadays, especially with the widespread sharing of videos over social media and websites. Many video editing software programs are available and perform well in tampering with video contents or even creating fake videos. Forgery affects video integrity and authenticity and has serious implications. For example, digital videos for security and surveillance purposes are used as evidence in courts. In this paper, a newly developed passive video forgery scheme is introduced and discussed. The developed scheme is based on representing highly cor

APA, Harvard, Vancouver, ISO, and other styles

17

Zhao, Yan, Wenqi Lu, Yikang Rui, and Bin Ran. "Classification of the Traffic Status Subcategory with ETC Gantry Data: An Improved Support Tensor Machine Approach." Journal of Advanced Transportation 2023 (March 30, 2023): 1–21. http://dx.doi.org/10.1155/2023/2765937.

Full text

Abstract:

Accurate and reliable traffic state identification is the prerequisite for developing intelligent traffic programs. With the improvement of intelligent traffic control measures, the traffic state of some highways has gradually stabilized. The current research on traffic state identification needs to fully meet the highly informative intelligent traffic system and traffic state subcategory analysis. To fill the gap above, we propose an improved support tensor machine (STM) method based on self-training and multiclassification for traffic state subcategory identification (ISTM) with ETC gantry d

APA, Harvard, Vancouver, ISO, and other styles

18

Verma, Gaurav, Siddhisanket Raskar, Murali Emani, and Barbara Chapman. "Cross-Feature Transfer Learning for Efficient Tensor Program Generation." Applied Sciences 14, no. 2 (2024): 513. http://dx.doi.org/10.3390/app14020513.

Full text

Abstract:

Tuning tensor program generation involves navigating a vast search space to find optimal program transformations and measurements for a program on the target hardware. The complexity of this process is further amplified by the exponential combinations of transformations, especially in heterogeneous environments. This research addresses these challenges by introducing a novel approach that learns the joint neural network and hardware features space, facilitating knowledge transfer to new, unseen target hardware. A comprehensive analysis is conducted on the existing state-of-the-art dataset, Ten

APA, Harvard, Vancouver, ISO, and other styles

19

Gibson, Perry, José Cano, Elliot Crowley, Amos Storkey, and Michael O'Boyle. "DLAS: A Conceptual Model for Across-Stack Deep Learning Acceleration." ACM Transactions on Architecture and Code Optimization 22, no. 1 (2025): 1. https://doi.org/10.1145/3688609.

Full text

Abstract:

Deep Neural Networks (DNNs) are very computationally demanding, which presents a significant barrier to their deployment, especially on resource-constrained devices. Significant work from both the machine learning and computing systems communities has attempted to accelerate DNNs. However, the number of techniques available and the required domain knowledge for their exploration continue to grow, making design space exploration (DSE) increasingly difficult. To unify the perspectives from these two communities, this article introduces the Deep Learning Acceleration Stack (DLAS), a conceptual mo

APA, Harvard, Vancouver, ISO, and other styles

20

Soloviev, A. N., and R. V. Kirichevsky. "Development of a Finite Element Method and Its Application in a CAD." Vestnik NSU. Series: Information Technologies 19, no. 4 (2022): 67–84. http://dx.doi.org/10.25205/1818-7900-2021-19-4-67-84.

Full text

Abstract:

The presented review of existing domestic and foreign CAD systems showed that the use of FEM in their structure remains quite relevant before other methods in the speed of calculations, sufficient accuracy and software implementation in the CAD structure. To solve the problems of mechanics of elastomers and composites based on them, an over-view of the developed domestic software MIRELA+ is presented in more detail. This complex solves many problems of solid mechanics: it has a special focus on solving problems of dissipative heating, parameters of fracture mechanics of massive elastomeric str

APA, Harvard, Vancouver, ISO, and other styles

21

Park, S. K., and D. W. Livelybrooks. "Quantitative interpretation of rotationally invariant parameters in magnetotellurics." GEOPHYSICS 54, no. 11 (1989): 1483–90. http://dx.doi.org/10.1190/1.1442612.

Full text

Abstract:

Use of rotationally invariant parameters derived from the magnetotelluric impedance tensor avoids problems with identification of electrical strike. However, quantitative analysis of an invariant must be used with caution. Layered models from inversion of invariant sounding curves accurately estimate the structure, as does one‐dimensional inversion of an invariant parameter, if the site is away from conductive three‐dimensional (3‐D) heterogeneities. Inversions at sites both above and away from a resistive heterogeneity and above a conductive heterogeneity result in errors. The errors are most

APA, Harvard, Vancouver, ISO, and other styles

22

Bastani, Mehrdad, Juliane Hübert, Thomas Kalscheuer, Laust B. Pedersen, Alberto Godio, and Jean Bernard. "2D joint inversion of RMT and ERT data versus individual 3D inversion of full tensor RMT data: An example from Trecate site in Italy." GEOPHYSICS 77, no. 4 (2012): WB233—WB243. http://dx.doi.org/10.1190/geo2011-0525.1.

Full text

Abstract:

Tensor radiomagnetotelluric (RMT) and electrical resistivity tomography (ERT) data were acquired along 10 parallel lines to image electrical resistivity of the vadose and the saturated zone in an area near Trecate, 45 km west of Milan in Italy. In 1994, the area was exposed to an oil contamination caused by a tank explosion and has since been subject to monitoring and remediation programs. For the first time, we have examined a 3D inversion of full tensor RMT data and have compared the results with 2D joint inversion of RMT and ERT data. First, a synthetic 3D resistivity model with similar var

APA, Harvard, Vancouver, ISO, and other styles

23

Pivnyak, Gennadiy, Roman Dychkovskyi, Oleksandr Bobyliov, Edgar Cáceres Cabana, and Adam Smoliński. "Mathematical and Geomechanical Model in Physical and Chemical Processes of Underground Coal Gasification." Solid State Phenomena 277 (June 2018): 1–16. http://dx.doi.org/10.4028/www.scientific.net/ssp.277.1.

Full text

Abstract:

The formation of the stress-strain state of rocks in the several phase gasification processes was considered. Proceeding from the well-known principles of thermodynamics and phase formation of the multi-type rockmass under the influence of the temperature field, a geomechanical model of a two-layer artificially-formed shell formed during the gasification process by the method of variation feeding of the blowing mixture to the body of the gas generator was developed. The Neumann principle is used for the magnitude determination of the maximum stress vector, which involves the definition of the

APA, Harvard, Vancouver, ISO, and other styles

24

Bluhm, Marcus, Marlene Nahrgang, Thomas Schäfer, and Steffen A. Bass. "Fluctuating fluid dynamics for the QGP in the LHC and BES era." EPJ Web of Conferences 171 (2018): 16004. http://dx.doi.org/10.1051/epjconf/201817116004.

Full text

Abstract:

In an era of high-precision determinations of QGP properties a full incorporation of fluid dynamical fluctuations into our models has become crucial, in particular, when describing the dynamics of small systems or near the conjectured QCD critical point. In this talk we discuss some effects of the propagation of these fluctuations. For LHC physics we focus on fluctuations in the energy-momentum tensor, while the impact of fluctuations in the diffusive net-baryon density is studied to improve our knowledge on the formation of critical fluctuations being searched in current and future BES progra

APA, Harvard, Vancouver, ISO, and other styles

25

Kichenko, Alexander. "MATHEMATICAL MODELING OF CANCELLOUS BONE TISSUE ADAPTATION APPLIED TO THE HUMAN MAXILLODENTAL SYSTEM." Applied Mathematics and Control Sciences, no. 3 (October 5, 2020): 35–48. http://dx.doi.org/10.15593/2499-9873/2020.3.02.

Full text

Abstract:

The bone tissue in different parts of the skeleton conforms to Wolff’s law: it aims to become optimal for the loading which acts on the corresponding bone; the bone is remodelling by means of osteosynthesis and resorption mechanisms. The modern problems of biomechanics demand research on the history of formation of bone structures in the course of time at both physiological and pathological loadings. Ever changing loadings of different nature have influence on development and functioning of the trabecular bone tissue. The mandible is one of the most liable to external and internal changes bone

APA, Harvard, Vancouver, ISO, and other styles

26

Al-Kaabi, Muntadher, Dania Hantoosh, and Wathiq Abdulnaby. "Relocation and Stress Analysis of the 2018 Mandali-Sumar Earthquake Sequence, Iraq-Iran Border." IRAQI BULLETIN OF GEOLOGY AND MINING 20, no. 2 (2024): 93–109. http://dx.doi.org/10.59150/ibgm2002a07.

Full text

Abstract:

The 2018 Mandali-Sumar earthquake sequence started in January 2018 at the Iraq – Iran border within the Low Folded Zone of the Zagros Fold-Thrust Belt. To study the fault that is responsible for this earthquake sequence, the relocation of 32 earthquakes was conducted. In addition, moment tensor solutions of 9 large earthquakes were collected to know the fault motion and stress regime in the study area. The Computer Programs in Seismology (CPS) was used to analyze waveform data taken from 33 seismic stations located in Iraq and Iran to relocate earthquakes. The location of the earthquake sequen

APA, Harvard, Vancouver, ISO, and other styles

27

Chen, Ethan, Jiwon Chang, and Yuhao Zhu. "CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming." Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024): 846–75. http://dx.doi.org/10.1145/3689741.

Full text

Abstract:

Color programmers manipulate lights, materials, and the resulting colors from light-material interactions. Existing libraries for color programming provide only a thin layer of abstraction around matrix operations. Color programs are, thus, vulnerable to bugs arising from mathematically permissible but physically meaningless matrix computations. Correct implementations are difficult to write and optimize. We introduce CoolerSpace to facilitate physically correct and computationally efficient color programming. CoolerSpace raises the level of abstraction of color programming by allowing program

APA, Harvard, Vancouver, ISO, and other styles

28

Kichenko, Alexander. "Cancellous bone tissue remodelling: mathematical modelling." Russian journal of biomechanics. 23, no. 3 (2019): 284–304. http://dx.doi.org/10.15593/rjbiomech/2019.3.02.

Full text

Abstract:

Bone tissue is a heterogeneous, anisotropic material and consists of compact and cancellous bone tissues. The structure of cancellous bone tissue in different parts of the skeleton is not the same. It conforms to Wolff’s law: it aims to become optimal for the loading which acts on the corresponding bone; the bone remodelling by means of osteosynthesis and resorption mechanisms. The modern problems of biomechanics demand research of the history of formation of bone structures in the course of time at both physiological and pathological loadings. The mandible is one of the most liable to externa

APA, Harvard, Vancouver, ISO, and other styles

29

Romero, Alessandro Gerlinger, and Luiz Carlos Gadelha De Souza. "Stability Evaluation of the SDRE Technique based on Java in a CubeSat Attitude and Orbit Control Subsystem." WSEAS TRANSACTIONS ON SYSTEMS 20 (January 29, 2021): 1–8. http://dx.doi.org/10.37394/23202.2021.20.1.

Full text

Abstract:

In 2013, the STRaND (University of Surrey and Surrey Satellite Technology Ltd) and the PhoneSat (NASA) programs attracted the attention of the aerospace community applying commercial off-the-shelf smartphones in CubeSats. Both programs deployed CubeSats using smartphones based on Google's Android, in which application development is mainly based on Java programming language. Some of these CubeSats had actuators, e.g., STRaND-1 had three reaction wheels mounted in an orthogonal configuration to provide three-axis control, whereas PhoneSat 2.0 beta had magnetorquers to de-tumble the spacecraft.

APA, Harvard, Vancouver, ISO, and other styles

30

Lemenkova, Polina. "Seismic moment tensor solutions for geophysical mapping of the Philippine sea basin by GMT." Romanian Reports in Physics 74, no. 3 (2022): 707. https://doi.org/10.5281/zenodo.7064200.

Full text

Abstract:

This paper presents a GMT scripting technique for mapping seismic moment tensor solutions. The underlying geophysical properties and settings of the Philippine Sea Plate (PSP) situated on the margins of the Pacific Ocean are analysed. Active volcanism and high seismicity of this region located along the margins of the Philippine Sea Basin (PSB) results in a series of earthquake events caused by geodynamic processes of tectonic plate subduction. The proposed console-based framework of cartographic workflow is designed to perform mapping of the earthquake events using Generic Mapping Tools (GMT)

APA, Harvard, Vancouver, ISO, and other styles

31

Gladshtein, Vladimir, Qiyuan Zhao, Willow Ahrens, Saman Amarasinghe, and Ilya Sergey. "Mechanised Hypersafety Proofs about Structured Data." Proceedings of the ACM on Programming Languages 8, PLDI (2024): 647–70. http://dx.doi.org/10.1145/3656403.

Full text

Abstract:

Arrays are a fundamental abstraction to represent collections of data. It is often possible to exploit structural properties of the data stored in an array (e.g., repetition or sparsity) to develop a specialised representation optimised for space efficiency. Formally reasoning about correctness of manipulations with such structured data is challenging, as they are often composed of multiple loops with non-trivial invariants. In this work, we observe that specifications for structured data manipulations can be phrased as hypersafety properties, i.e., predicates that relate traces of k programs.

APA, Harvard, Vancouver, ISO, and other styles

32

Fang, Jingzhi, Yanyan Shen, Yue Wang, and Lei Chen. "ETO." Proceedings of the VLDB Endowment 15, no. 2 (2021): 183–95. http://dx.doi.org/10.14778/3489496.3489500.

Full text

Abstract:

Recently, deep neural networks (DNNs) have achieved great success in various applications, where low inference latency is important. Existing solutions either manually tune the kernel library or utilize search-based compilation to reduce the operator latency. However, manual tuning requires significant engineering effort, and the huge search space makes the search cost of the search-based compilation unaffordable in some situations. In this work, we propose ETO, a framework for speeding up DNN operator optimization based on reusing the information of performant tensor programs. Specifically, E

APA, Harvard, Vancouver, ISO, and other styles

33

Akkurt, Lütfiye, İpek Alemdaroğlu Gürbüz, Ayşe Karaduman, and Öznur Tunca Yilmaz. "Lower Limb Flexibility in Children With Duchenne Muscular Dystrophy: Effects on Functional Performance." Pediatric Exercise Science 31, no. 1 (2019): 42–46. http://dx.doi.org/10.1123/pes.2018-0115.

Full text

Abstract:

Objective: To investigate the effects of lower limb flexibility on the functional performance of children with Duchenne muscular dystrophy. Methods: Thirty children, whose functional levels were at 1 or 2 according to the Brooke Lower Extremity Functional Classification Scale, were included in this study. The flexibilities of the hamstrings, hip flexors, tensor fascia latae, and gastrocnemius muscles were evaluated in the children’s dominant lower limbs. The children’s functional performance was assessed using 6-minute walk tests and timed performance tests. The correlations between the flexib

APA, Harvard, Vancouver, ISO, and other styles

34

Noor, Abdul Rafae, Dhruv Baronia, Akash Kothari, Muchen Xu, Charith Mendis, and Vikram S. Adve. "MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations." Proceedings of the ACM on Programming Languages 9, PLDI (2025): 1269–92. https://doi.org/10.1145/3729301.

Full text

Abstract:

Using program synthesis to select instructions for and optimize input programs is receiving increasing attention. However, existing synthesis-based compilers are faced by two major challenges that prohibit the deployment of program synthesis in production compilers: exorbitantly long synthesis times spanning several minutes and hours; and scalability issues that prevent synthesis of complex modern compute and data swizzle instructions, which have been found to maximize performance of modern tensor and stencil workloads. This paper proposes MISAAL, a synthesis-based compiler that employs a nove

APA, Harvard, Vancouver, ISO, and other styles

35

Hardcastle, Kenneth C., and L. Scott Hills. "BRUTE3 and SELECT: QUICKBASIC 4 programs for determination of stress tensor configurations and separation of heterogeneous populations of fault-slip data." Computers & Geosciences 17, no. 1 (1991): 23–43. http://dx.doi.org/10.1016/0098-3004(91)90078-r.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Courtney, S. B., M. J. Tricard, and R. W. Hendricks. "PC-Based Management and Analysis of X-Ray Residual Stress Data." Advances in X-ray Analysis 36 (1992): 535–41. http://dx.doi.org/10.1154/s0376030800019169.

Full text

Abstract:

AbstractThe authors have developed two independent software packages that store x-ray peak locations, integrated intensities and full-width half-maximum intensity data as a function of diffractometer tilt and orientation angle; this information is used to compute residual stress tensor values. Each program retrieves the fitted x-ray peak locations from a dBASE-compatible data set that is independent of both x-ray diffractometer and acquisition software. Machine-specific routines have been coded to transfer peak data and general diffraction setup information from several different x-ray acquisi

APA, Harvard, Vancouver, ISO, and other styles

37

Belyavskii, V. V. "Geoelectric Model of the Northwestern Caucasus: Three-Dimensional Inversion." Физика земли 2023, no. 2 (2023): 78–93. http://dx.doi.org/10.31857/s0002333722060023.

Full text

Abstract:

Interpretation of magnetotelluric observations made within the Northwestern Caucasus, by means of one-dimensional, two-dimensional inversion and three-dimensional mathematical modeling programs, has helped build testing and starting geoelectric models that are necessary to test and adapt the program of three-dimensional inversion of the impedance tensor components. The performed three-dimensional inversion of the experimental magnetotelluric data has significantly changed the parameters of conducting blocks within the folded structures of the region, identified at the previous stages of MT dat

APA, Harvard, Vancouver, ISO, and other styles

38

Zhou, Rui, Kangqian Huang, Dejun Xiang, and Xin Hu. "Research on Grid Data Analysis and Intelligent Recommendation System by Introducing Neural Tensor Network Model." Scalable Computing: Practice and Experience 25, no. 5 (2024): 3996–4004. http://dx.doi.org/10.12694/scpe.v25i5.3152.

Full text

Abstract:

In the landscape of modern smart homes, the prevalence of intelligent devices, notably smart televisions (TVs), has surged, emphasizing the need for sophisticated content recommendation systems. However, the automatic provision of personalized content recommendations for smart TV users remains an underexplored domain. Existing literature has delved into recommendation systems across diverse applications, yet a distinctive void exists in addressing the intricate challenges specific to smart TV users, particularly the incorporation of the smart TV camera module for user image capture and validat

APA, Harvard, Vancouver, ISO, and other styles

39

Rafea, Huda Farhan, Emad A. Al-Heety, and Wathiq Abdulnaby. "Crustal Velocity Structure of Western Iraq from Inversion of Receiver Functions at Anbar Seismic Station." Iraqi Geological Journal 55, no. 2B (2022): 25–34. http://dx.doi.org/10.46717/igj.55.2b.3ms-2022-08-19.

Full text

Abstract:

The inversion of the teleseismic P-wave receiver functions was employed to determine the structure of the crust under Anbar broadband seismic station. Some of the computer programs in seismology were used to analyze the receiver functions of nine teleseismic earthquakes. Results of inversion show that the crustal structure (Moho depth) beneath the ANB1 station is 44 km. The sedimentary cover thickness (basement depth) at the ANB1 station is 12km. In general, the obtained sedimentary cover and crustal thicknesses are consistent with the results of some previous studies in the Mesopotamian plain

APA, Harvard, Vancouver, ISO, and other styles

40

Manevich, A. I., R. V. Shevchuk, I. V. Losev, V. I. Kaftan, D. I. Urmanov, and A. I. Shakirov. "Deformation analysis and visualization from GNSS observations in Python 3 and QGIS 3." Geodesy and Cartography 1002, no. 12 (2024): 17–26. http://dx.doi.org/10.22389/0016-7126-2023-1002-12-17-26.

Full text

Abstract:

The authors present the results of developing a library designed for GNSS deformation measurement upshot analysis in the Python 3 environment and their visualization in the QGIS 3 geographic information system. Development of global navigation satellite systems (permanent networks, data publications, creation of software for processing satellite measurement results) has led to increase in the number of researches in the field of studying modern crustal movements. Deformation analysis is a key component in exploring modern crustal and earth’s surface movements. Despite the large number of comme

APA, Harvard, Vancouver, ISO, and other styles

41

Gallego, Samuel V., J. Manuel Perez-Mato, Luis Elcoro, et al. "MAGNDATA: towards a database of magnetic structures. II. The incommensurate case." Journal of Applied Crystallography 49, no. 6 (2016): 1941–56. http://dx.doi.org/10.1107/s1600576716015491.

Full text

Abstract:

A free web page under the nameMAGNDATA, which provides detailed quantitative information on more than 400 published magnetic structures, has been made available at the Bilbao Crystallographic Server (http://www.cryst.ehu.es). It includes both commensurate and incommensurate structures. In the first article in this series, the information available on commensurate magnetic structures was presented [Gallego, Perez-Mato, Elcoro, Tasci, Hanson, Momma, Aroyo & Madariaga (2016).J. Appl. Cryst.49, 1750–1776]. In this second article, the subset of the database devoted to incommensurate magnetic st

APA, Harvard, Vancouver, ISO, and other styles

42

Im, Sang-Jin, Ji-Yeon Suh, Jae-Hyuk Shim, and Hyeon-Man Baek. "Deterministic Tractography Analysis of Rat Brain Using SIGMA Atlas in 9.4T MRI." Brain Sciences 11, no. 12 (2021): 1656. http://dx.doi.org/10.3390/brainsci11121656.

Full text

Abstract:

Preclinical studies using rodents have been the choice for many neuroscience researchers due totheir close reflection of human biology. In particular, research involving rodents has utilized MRI to accurately identify brain regions and characteristics by acquiring high resolution cavity images with different contrasts non-invasively, and this has resulted in high reproducibility and throughput. In addition, tractographic analysis using diffusion tensor imaging to obtain information on the neural structure of white matter has emerged as a major methodology in the field of neuroscience due to it

APA, Harvard, Vancouver, ISO, and other styles

43

Fenn, T. D., D. Ringe, and G. A. Petsko. "POVScript+: a program for model and data visualization using persistence of vision ray-tracing." Journal of Applied Crystallography 36, no. 3 (2003): 944–47. http://dx.doi.org/10.1107/s0021889803006721.

Full text

Abstract:

Macromolecular visualization is hampered by the fragmented set of available programs and the lack of cooperativity among them. The amount of visual information required for robust structural analysis is relatively difficult to generate and rarely allows further high-quality three-dimensional graphic rendering. Here, a modification ofMolScript[Kraulis (1991).J. Appl. Cryst.24, 946–950] is presented which contains the capability of the originalMolScript, the ability to carry out a majority of the options available in most other crystallographic visualization packages, as well as several new feat

APA, Harvard, Vancouver, ISO, and other styles

44

SLAVOLYUBOVA , YAROSLAVNA. "APPLICATION OF COMPUTER MATHEMATICS SYSTEMS FOR SOLVING PROBLEMS OF CONTACT GEOMETRY." Computational Nanotechnology 9, no. 3 (2022): 37–44. http://dx.doi.org/10.33693/2313-223x-2022-9-3-37-44.

Full text

Abstract:

Task. The development of research in the field of contact geometry is impossible without the use of computer mathematics systems. Carrying out a computational experiment allows not only obtaining numerical results, analytical expressions, but also highlighting the correct and promising direction in obtaining theoretical results. Purpose of the work: to consider the application of computer mathematics systems to solving problems of contact geometry. Achieving the goals set in the work is carried out on the basis of the integrated use of computer algebra methods, mathematical modeling, the theor

APA, Harvard, Vancouver, ISO, and other styles

45

Hayashi, Masahito, and Yingkai Ouyang. "Tight Cramér-Rao type bounds for multiparameter quantum metrology through conic programming." Quantum 7 (August 29, 2023): 1094. http://dx.doi.org/10.22331/q-2023-08-29-1094.

Full text

Abstract:

In the quest to unlock the maximum potential of quantum sensors, it is of paramount importance to have practical measurement strategies that can estimate incompatible parameters with best precisions possible. However, it is still not known how to find practical measurements with optimal precisions, even for uncorrelated measurements over probe states. Here, we give a concrete way to find uncorrelated measurement strategies with optimal precisions. We solve this fundamental problem by introducing a framework of conic programming that unifies the theory of precision bounds for multiparameter est

APA, Harvard, Vancouver, ISO, and other styles

46

Bračevac, Oliver, Guannan Wei, Songlin Jia, et al. "Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies." Proceedings of the ACM on Programming Languages 7, OOPSLA2 (2023): 400–430. http://dx.doi.org/10.1145/3622813.

Full text

Abstract:

Graph-based intermediate representations (IRs) are widely used for powerful compiler optimizations, either interprocedurally in pure functional languages, or intraprocedurally in imperative languages. Yet so far, no suitable graph IR exists for aggressive global optimizations in languages with both effects and higher-order functions: aliasing and indirect control transfers make it difficult to maintain sufficiently granular dependency information for optimizations to be effective. To close this long-standing gap, we propose a novel typed graph IR combining a notion of reachability types with a

APA, Harvard, Vancouver, ISO, and other styles

47

VIEILLE, LAETITIA, LILIAN BERLU, BRUNO COMBOURIEU, and PHILIP HOGGAN. "A QUANTUM CHEMISTRY GIAO MOLECULAR SITE APPROACH OF NMR CHEMICAL SHIFTS GENERALIZED TO THE WHOLE PERIODIC TABLE." Journal of Theoretical and Computational Chemistry 01, no. 02 (2002): 295–308. http://dx.doi.org/10.1142/s0219633602000245.

Full text

Abstract:

An accurate and rapid quantum chemistry approach to predicting chemical shifts is applied to 15 N natural abundance NMR spectra of benzothiazoles. This method is of interest in the study of toxic contaminants of biological media. A GIAO approach is used to calculate the nuclear shielding tensor in a perturbational scheme. Similar methods had previously been used for both ab initio and semi-empirical calculations programmed in Gaussian and MOPAC respectively but atomic orbitals specific to molecular sites are shown to improve accuracy in the present work. Some molecular sites are defined in ord

APA, Harvard, Vancouver, ISO, and other styles

48

HAUCOURT, EMMANUEL, and NICOLAS NININ. "Unique decomposition of homogeneous languages and application to isothetic regions." Mathematical Structures in Computer Science 29, no. 5 (2018): 681–730. http://dx.doi.org/10.1017/s0960129518000294.

Full text

Abstract:

A language is said to be homogeneous when all its words have the same length. Homogeneous languages thus form a monoid under concatenation. It becomes freely commutative under the simultaneous actions of every permutation group on the collection of homogeneous languages of length n ∈ ℕ. One recovers the isothetic regions from (Haucourt 2017, to appear (online since October 2017)) by considering the alphabet of connected subsets of the space |G|, viz the geometric realization of a finite graph G. Factoring the geometric model of a conservative program amounts to parallelize it, and there exists

APA, Harvard, Vancouver, ISO, and other styles

49

Bordelon, Blake, and Cengiz Pehlevan. "Self-consistent dynamical field theory of kernel evolution in wide neural networks ^*." Journal of Statistical Mechanics: Theory and Experiment 2023, no. 11 (2023): 114009. http://dx.doi.org/10.1088/1742-5468/ad01b0.

Full text

Abstract:

Abstract We analyze feature learning in infinite-width neural networks trained with gradient flow through a self-consistent dynamical field theory. We construct a collection of deterministic dynamical order parameters which are inner-product kernels for hidden unit activations and gradients in each layer at pairs of time points, providing a reduced description of network activity through training. These kernel order parameters collectively define the hidden layer activation distribution, the evolution of the neural tangent kernel (NTK), and consequently, output predictions. We show that the fi

APA, Harvard, Vancouver, ISO, and other styles

50

Ahmed, Omar Qadir, and Ahmed Muslim Attallah Khawaja. "Seismicity and Focal Mechanism Analysis of The Local Earthquakes in the Zagros Fold-Thrust Belt of the Iraqi Kurdistan Region." IRAQI BULLETIN OF GEOLOGY AND MINING 20, no. 1 (2024): 43–51. http://dx.doi.org/10.59150/ibgm2001a03.

Full text

Abstract:

During the period of 2020 to May 2022, the Iraqi Kurdistan region experienced several small to moderate size earthquakes. The seismic waveform data of these earthquakes were collected from regional and local broadband seismic stations. Waveform data was analyzed for seventy earthquakes to determine their source parameters, which may contribute to the active tectonics in those areas. Moment tensor inversion is estimated for the detected local earthquakes by analysis of observed seismic waveforms in different selected areas. The waveform inversion determines the seismic moment, depth, and kind o

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!