Filters








293,039 Hits in 4.5 sec

A modal analysis of staged computation

Rowan Davies, Frank Pfenning
2001 Journal of the ACM  
We show that a type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages in the context of typed lambda-calculi and functional  ...  We directly demonstrate the sense in which our calculus captures staging, and also give a conservative e m bedding of Nielson & Nielson's two-level functional language in our language, thus proving that  ...  Each w orld in the Kripke semantics of modal logic corresponds to a stage in the computation, and a term of type 2A corresponds to code to be executed in a future stage of the computation.  ... 
doi:10.1145/382780.382785 fatcat:gp6hiyvupbaqln7zkx5jwg5q5y

A modal analysis of staged computation

Rowan Davies, Frank Pfenning
1996 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96  
We show that a type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages in the context of typed lambda-calculi and functional  ...  We directly demonstrate the sense in which our calculus captures staging, and also give a conservative e m bedding of Nielson & Nielson's two-level functional language in our language, thus proving that  ...  Each w orld in the Kripke semantics of modal logic corresponds to a stage in the computation, and a term of type 2A corresponds to code to be executed in a future stage of the computation.  ... 
doi:10.1145/237721.237788 dblp:conf/popl/DaviesP96 fatcat:vwqtmbkhyfdonnqksd5dwkxila

A Modal Analysis of Staged Computation

Rowan Davies, Frank Pfenning
2018
We show that a type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages in the context of typed λ-calculi and functional languages  ...  We directly demonstrate the sense in which our λe→□-calculus captures staging, and also give a conservative embeddng of Nielson and Nielson's two-level functional language in our functional language Mini-ML  ...  Each world in the Kripke semantics of modal logic corresponds to a stage in the computation, and a term of type 2A corresponds to code to be executed in a future stage of the computation.  ... 
doi:10.1184/r1/6591035 fatcat:f55tgmi2xndhxcpbn5n2degh2m

MODE SHAPE ASSEMBLY FOR AMBIENT MODAL ANALYSIS USING A TWO-STAGE BAYESIAN SPECTRAL DENSITY APPROACH

W. Yan, L. Katafygiotis
2014 Proceedings of the 4th International Conference on Computational Methods in Structural Dynamics and Earthquake Engineering (COMPDYN 2013)   unpublished
A two-stage Bayesian spectral density approach was formulated for ambient modal analysis recently.  ...  The proposed method can be implemented in the environment of a wireless sensor network through a distributed computing strategy so that local mode shapes as well as their uncertainties confined to different  ...  CONCLUDING REMARKS A two-stage Bayesian spectrum density approach proposed for ambient modal analysis can be implemented in the environment of wireless sensor networks through a distributed computing strategy  ... 
doi:10.7712/120113.4607.c1738 fatcat:wmtrvctxc5bmppmj6svsa43p6q

Damping Methodology for Condensed Solid Rocket Motor Structural Models [chapter]

S. Fransen, H. Fischer, S. Kiryenko, D. Levesque, T. Henriksen
2011 Structural Dynamics, Volume 3  
This paper explains a methodology to compute the modal damping matrix of a superelement on the basis of the structural damping ratios assigned to the various materials in the associated finite element  ...  Part of the mission analysis is the so-called launcher-satellite coupled loads analysis which aims at computing the dynamic environment of the satellite for the most severe load cases in flight.  ...  The three solid rocket motor stages are the P80 (first stage, 88 tonnes of propellant), the Z23 (second stage, 24 tonnes of propellant) and the Z9 (third stage, 10 tonnes of propellant).  ... 
doi:10.1007/978-1-4419-9834-7_25 fatcat:n6svc6m5a5fhrh6jxemic7hwdi

Experimental and Computational Modal Analyses for Launch Vehicle Models considering Liquid Propellant and Flange Joints

Chang-Hoon Sim, Geun-Sang Kim, Dong-Goen Kim, In-Gul Kim, Soon-Hong Park, Jae-Sang Park
2018 International Journal of Aerospace Engineering  
In this research, modal tests and analyses are performed for a simplified and scaled first-stage model of a space launch vehicle using liquid propellant.  ...  This study aims to establish finite element modeling techniques for computational modal analyses by considering the liquid propellant and flange joints of launch vehicles.  ...  Conflicts of Interest The authors declare that there is no conflict of interest regarding the publication of this paper.  ... 
doi:10.1155/2018/4865010 fatcat:vzmsu3ry55bdjkqliql2ukgq34

Modal Profile Analysis: a Computer Program for Classification Research

Harvey A. Skinner, Hau Lei
1980 Educational and Psychological Measurement  
EDUCATIONAL AND PSYCHOLOGICAL MEASUREMENT 1980, 40 MODAL PROFILE ANALYSIS: A COMPUTER PROGRAM FOR CLASSIFICATION RESEARCH HARVEY A.  ...  The purpose of this paper was to describe a computer program, termed Modal Profile Analysis, that provides an unified strategy for classification research.  ... 
doi:10.1177/001316448004000322 fatcat:hbb5ziocojcu7e4w5z65khhz3u

Multimodal Language Analysis with Recurrent Multistage Fusion [article]

Paul Pu Liang, Ziyin Liu, Amir Zadeh, Louis-Philippe Morency
2018 arXiv   pre-print
Computational modeling of human multimodal language is an emerging research area in natural language processing spanning the language, visual and acoustic modalities.  ...  We provide visualizations to show that each stage of fusion focuses on a different subset of multimodal signals, learning increasingly discriminative multimodal representations.  ...  Computational analysis of persuasiveness in social multimedia: A novel dataset and multimodal predic- tion approach.  ... 
arXiv:1808.03920v1 fatcat:z6l6eod5sfd6bmers4f7aibfwa

Vibration Analysis of Aeroengine Blisk Structure Based on a Prestressed CMS Super-Element Method

Zhijun Li, Wenjun Yang, Huiqun Yuan
2016 Shock and Vibration  
For vibration analysis of aeroengine blisk structure, a prestressed component modal synthesis (CMS) super-element method is put forward with the fixed interface prestressing and free interface super-element  ...  Blade aspect ratio is a key factor of blisk vibration; the effects of blade aspect ratio on natural frequencies are different in the conditions of fixed width and fixed length.  ...  Acknowledgments The work is supported by the National Science Foundation of China (Grant no. 51275081) and the National Science Foundation of China (Grant no. 51335003).  ... 
doi:10.1155/2016/1021402 fatcat:ueprsue5vzd5jh7aiof636f2hq

Endoscopic ultrasonography compared with multidetector computed tomography for the preoperative staging of gastric cancer: a meta-analysis

Run-Cong Nie, Shu-Qiang Yuan, Xiao-Jiang Chen, Shi Chen, Li-Pu Xu, Yong-Ming Chen, Bao-Yan Zhu, Xiao-Wei Sun, Zhi-Wei Zhou, Ying-Bo Chen
2017 World Journal of Surgical Oncology  
The current study sought to perform a meta-analysis to compare the preoperative staging of endoscopic ultrasonography (EUS) and multidetector computed tomography (MDCT) in gastric carcinoma. , that compared  ...  Conclusion: This meta-analysis indicates that EUS may be superior to MDCT in preoperative T1 and N staging. Additionally, the low specificity values of EUS and MDCT for N staging merits attention.  ...  Funding This work was supported in part by a grant from National Natural Science Foundation of China (81302144) and the Guangdong Science and Technology Department (No2012B061700087).  ... 
doi:10.1186/s12957-017-1176-6 pmid:28577563 pmcid:PMC5457601 fatcat:wdpd3t2e75crpl44f5sontgq2u

A Modal Analysis of Metaprogramming, Revisited (Invited Talk)

Brigitte Pientka, Zena M. Ariola
2020 International Conference on Formal Structures for Computation and Deduction  
In this talk, we outline a modal type-theoretic foundation for multi-staged metaprogramming which supports the generation and the analysis of polymorphic code.  ...  Our work is a first step towards building a general type-theoretic foundation for multi-staged metaprogramming which on the one hand enforces strong type guarantees and on the other hand makes it easy  ...  This allows us to statically reason about different stages of computation.  ... 
doi:10.4230/lipics.fscd.2020.2 dblp:conf/fscd/Pientka20 fatcat:heiyhxjkwrdl3n75l6rvaa4zuu

The Effectiveness of CATA Software in Exploring the Significance of Modal Verbs in Large Data Texts

Ayman Farid Khafaga
2022 International Journal of Advanced Computer Science and Applications  
literary texts; and, second, the analysis showed that only a few occurrences out of the total number of frequencies of the modal verbs at hand are indicative in conveying the hidden ideologies of their  ...  This paper investigates the effectiveness of using and applying CATA (Computer-Aided Text Analysis) software in exploring the extent to which particular modals are significant in communicating the ideological  ...  take this opportunity to thank Prince Sattam Bin Abdulaziz University in Saudi Arabia alongside its Scientific Deanship, for all technical support it has unstintingly provided towards the fulfillment of  ... 
doi:10.14569/ijacsa.2022.0130292 fatcat:rniujnegezgbznbhha7qakb3ie

Prediction of Public Trust in Politicians Using a Multimodal Fusion Approach

Muhammad Shehram Shah Syed, Elena Pirogova, Margaret Lech
2021 Electronics  
text-modality achieved a 72.26% accuracy.  ...  It evaluates the effectiveness of each modality individually, and it investigates fusion approaches for integrating information from each modality for prediction using a multimodal setting.  ...  Related Works Advancements in computing technologies have led to the development of sophisticated technologies for the analysis of human behavior.  ... 
doi:10.3390/electronics10111259 fatcat:iut3b2grybhmhm2amyq5rymwpy

Integrated approach of the dynamic characteristics optimization for spacecraft's technical systems on the exploratory tests

Victor Dmitriev, Yuliya Britova, V.N. Borikov, A.G. Dolgih, V.S. Ivanova, A.A. Ignatovskaya
2016 MATEC Web of Conferences  
This paper shows that using results of the previous procedures on the further algorithm stages of exploratory tests and product verification is expedient.  ...  It provides maximum attainable optimality of the designed system.  ...  were determined by the modal frequency analysis in a computer-aided design.  ... 
doi:10.1051/matecconf/20164801005 fatcat:yfp5jzgkxfetpiw3uaharr4iva

Flow-Based Mode Changes: Towards Virtual Uniprocessor Models for Efficient Reduction-Based Schedulability Analysis of Distributed Systems

Praveen Jayachandran, Tarek Abdelzaher
2009 2009 30th IEEE Real-Time Systems Symposium  
Reduction-based analysis is a recent category of distributed system schedulability analysis techniques that reduces distributed real-time workloads to equivalent virtual uniprocessor ones for purposes  ...  of analysis using classical uniprocessor techniques.  ...  We consider Holistic analysis Network calculus Meta-schedulability test Using multi-modal analysis Figure 8 : Comparison of average per stage utilization for different number of stages in the system system  ... 
doi:10.1109/rtss.2009.44 dblp:conf/rtss/JayachandranA09 fatcat:btlqlz45preajpvfvz5o4ckh34
« Previous Showing results 1 — 15 out of 293,039 results