Showing 13,061 - 13,080 results of 28,739 for search '"computability"', query time: 0.16s Refine Results
  1. 13061

    Equivalence classes of matrices over a finite field by Gary L. Mullen

    Published 1979-01-01
    “…If A,BϵF(m,q) then A is equivalent to B relative to Ω if there exists ϕϵΩ such that ϕ(A)=B where ϕ(A) is computed by substitution. Formulas are given for the number of equivalence classes of a given order and for the total number of classes induced by a cyclic group of permutations.…”
    Get full text
    Article
  2. 13062

    Stemming and N-gram matching for term conflation in Turkish texts by F. Çuna Ekmekçioglu, Michael F. Lynch, Peter Willett

    Published 1996-01-01
    “…One way to alleviate this problem is to use a conflation algorithm, a computational procedure that is designed to bring together words that are semantically related, and to reduce them to a single form for retrieval purposes. …”
    Get full text
    Article
  3. 13063

    Cost of Producing Processed Oranges in Southwest Florida in 2017/18 by Ariel Singerman

    Published 2019-04-01
    “…Typical users of these estimates include growers and consultants, who use them as a benchmark; property appraisers, who use them to compute the taxes for property owners; and researchers, who use the estimates to evaluate the economic feasibility of potential new technologies. …”
    Get full text
    Article
  4. 13064

    A Modified STAP Estimator for Superresolution of Multiple Signals by Zhongbao Wang, Junhao Xie, Zilong Ma, Taifan Quan

    Published 2013-01-01
    “…The estimator combines the incremental multiparameter (IMP) algorithm and the existing beam-space preprocessing techniques yielding a computationally cheap algorithm for the superresolution of multiple signals. …”
    Get full text
    Article
  5. 13065

    Parametrically excited nonlinear systems: a comparison of two methods by A. F. El-Bassiouny

    Published 2002-01-01
    “…Steady state solutions and their stability are computed for selected values of the system parameters. …”
    Get full text
    Article
  6. 13066

    Alloy-based verification of Web service composition by Jiu-xin CAO, Jiang-lin WU, Guo-jin WANG, Bo LIU, Peng-wei YANG, Dan DONG

    Published 2012-11-01
    “…Service composition was the core problem of service computing,the validity and reliability of service composition had become the premise of service execution.A method was presented which utilizes the finite state machine (FSM)to model the business process’s state transitions,and described the required properties with Alloy language.Then,Alloy model was used to formalize the service FSM and the required properties of the system.Finally,Alloy Analyzer was used to verify the model that whether the required properties were satisfied.It is shown that the method of Alloy-based verification of the service composition is of good feasibility.…”
    Get full text
    Article
  7. 13067

    Analysis of Horn Antennas in Receiving Mode as an EM Field Sensor by Maifuz Ali, Seong-Ook Park

    Published 2012-01-01
    “…Also, the gain of horn antennas are computed in receiving mode using FDTD technique, and the results are compared with published measured result and far-field gain formula.…”
    Get full text
    Article
  8. 13068

    Simulation of Thermopower Influence on Fuel Core of Power Rod in Nuclear Power Plant (NPP) Active Zone by I. S. Kulikov, P. I. Shirvel

    Published 2010-06-01
    “…The paper contains simulation concerning a fuel core section of a nuclear reactor heat-generating element with subsequent solution of a temperature and thermoelastic problem in computer program complex FEA ANSYS Workbench 11.0. …”
    Get full text
    Article
  9. 13069

    Decrease of Mutual Information in Brain Electrical Activity of Patients with Relapsing-Remitting Multiple Sclerosis by Bruno Lenne, Jean-Luc Blanc, Jean-Louis Nandrino, Philippe Gallois, Patrick Hautecæur, Laurent Pezard

    Published 2013-01-01
    “…Cortical communication is quantified here in control subjects and patients with relapsing-remitting multiple sclerosis (RRMS) on the basis of mean coherence in the δ, θ, α, β and γ bands and using mutual information computed between pairs of bipolar EEG signals recorded during resting condition. …”
    Get full text
    Article
  10. 13070

    Advancing civil infrastructure assessment through robotic fleets by Kay Smarsly, Kosmas Dragos

    Published 2024-01-01
    “…Modern civil engineering structures, instrumented with Internet-of-Things-enabled smart sensors and actuators, are considered cyber-physical systems that integrate physical processes with computational and communication elements. This short communication aims to portray a milestone in the field of monitoring and inspection of civil infrastructure, collaboratively conducted by autonomous, robotic devices orchestrated in robotic fleets. …”
    Get full text
    Article
  11. 13071

    Florida Greenhouse Design by R. A. Bucklin

    Published 2018-02-01
    “…It includes descriptions of framing types and materials, design load consideration with appropriate resources, heating and cooling systems including materials, computer monitoring systems as well as recommendations for maintenance. …”
    Get full text
    Article
  12. 13072

    Florida Greenhouse Design by R. A. Bucklin

    Published 2018-02-01
    “…It includes descriptions of framing types and materials, design load consideration with appropriate resources, heating and cooling systems including materials, computer monitoring systems as well as recommendations for maintenance. …”
    Get full text
    Article
  13. 13073

    SOS-21, jeu de sensibilisation aux enjeux du réchauffement climatique by Michel Arnaud

    Published 2008-12-01
    “…Computer games that simulate climate change can help citizens to understand the threats and to adopt environmentally safe behaviours which, in turn, contribute to a sustainable development. …”
    Get full text
    Article
  14. 13074

    Monitoring of Large Raptors Using a Smart System in the South of Kostanay Region, Kazakhstan by Alexey Yu. Timoshenko, Alexander V. Putilin, Radik R. Salemgareev, Georgy Yu. Timoshenko, Kanat Batyrkhanuly

    Published 2023-10-01
    “…The SMART method is based on the use of mobile application and a computer program; data is collected during field research and by SMART specialist during cameral processing. …”
    Get full text
    Article
  15. 13075

    Learning-Based Image Restorations of Sparse-View CT Data: Is It Reliable? by Philip Maurice Trapp, Elias Eulig, Joscha Maier, Frederic Ballach, Raoul Christoph, Ralf Christoph, Marc Kachelrieß

    Published 2025-02-01
    “…  Learning-based methods for the restoration of computed tomography (CT) images promise very good image quality even in areas with insufficient data sampling and thus suggest enormous savings in measurement time. …”
    Get full text
    Article
  16. 13076

    Cryptanalysis and design of signature schemes with identity ambiguity in the standard model by ZHANG Ming-wu1, YANG Bo1, YAO Jin-tao1, ZHANG Wen-zheng2

    Published 2011-01-01
    “…The security and flaw of the two anonymous signature schemes called ZLW(2008) and LHMM(2009) were analyzed,where the ZLW scheme couldn’t provide signed message verifiability and the LHMM scheme couldn’t resist on the multiple-known-signature existential forgery.A novel anonymous signature scheme was proposed that enforced the security level to Model3 security and reduced the computational cost,which only needed two multiple calculations in G in signing phase and n+1 bilinear pairing operators in verifying algorithm.…”
    Get full text
    Article
  17. 13077

    ANALYSIS OF PRESSURE LOSS COMPONENTS IN AN INDUSTRIAL EXTRACT DUCT SYSTEM by JOHN IRISOWENGIBIA SODIKI

    Published 2016-03-01
    “… The frictional head loss and the loss through fittings are computed for branch duct runs of an industrial extract ventilation system. …”
    Get full text
    Article
  18. 13078

    RFID – Making It So…With Some Help From the University of Florida by Bruce A. Welt, Jean-Pierre Emond

    Published 2005-10-01
    “…Briefly, modern passive RFID involves “smart” labels, readers and associated transmitting and receiving antennas, and back-end computer control and database management systems. Figure 1 gives examples of typical RFID components. …”
    Get full text
    Article
  19. 13079

    Analysis of the Fault Attack ECDLP over Prime Field by Mingqiang Wang, Tao Zhan

    Published 2011-01-01
    “…Applying the fault attack on these curves, the discrete logarithm on the curve can be computed in subexponential time of Lp(1/2,1+o(1)). …”
    Get full text
    Article
  20. 13080

    Ontologies, Data Modeling, and TEI by Øyvind Eide

    Published 2015-04-01
    “…This paper discusses the relationships between TEI and ontologies from the perspective of computer-based modeling, understood here as a way to establish meaning. …”
    Get full text
    Article