Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where soggetti phrase all words 'VERIFICATION' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 2182 riferimenti
Si mostrano 100 riferimenti a partire da 1
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Saniga, M
      Quadro-quartic Cremona transformations and four-dimensional pencil-space-times with the reverse signature

      CHAOS SOLITONS & FRACTALS
    2. Saniga, M
      On 'spatially anisotropic' pencil-space-times associated with a quadro-cubic Cremona transformation

      CHAOS SOLITONS & FRACTALS
    3. Hong, Z; Shi, JJ; Tam, CM
      Visual modeling and simulation for construction operations

      AUTOMATION IN CONSTRUCTION
    4. Stets, JE; Hammons, SA
      Gender, control, and marital commitment

      JOURNAL OF FAMILY ISSUES
    5. Hsu, CL; Wu, WS; Wu, TC
      Improvements of generalization of threshold signature and authenticated encryption for group communications

      INFORMATION PROCESSING LETTERS
    6. Narahari, CR; Randers-Eichhorn, L; Strong, JC; Ramasubramanyan, N; Rao, G; Frey, DD
      Purification of recombinant green fluorescent protein using chromatofocusing with a pH gradient composed of multiple stepwise fronts

      BIOTECHNOLOGY PROGRESS
    7. Hasegawa, T; Miura, K; Ohmameuda, T; Ito, H
      Test generation for sequential circuits using state transition diagram andtest generation for combinatorial circuit part

      ELECTRONICS AND COMMUNICATIONS IN JAPAN PART II-ELECTRONICS
    8. Beletsky, D; Schwab, DJ
      Modeling circulation and thermal structure in Lake Michigan: Annual cycle and interannual variability

      JOURNAL OF GEOPHYSICAL RESEARCH-OCEANS
    9. Belghazi, M; Bathany, K; Hountondji, C; Grandier-Vazeille, X; Manon, S; Schmitter, JM
      Analysis of protein sequences and protein complexes by matrix-assisted laser desorption/ionization mass spectrometry

      PROTEOMICS
    10. Groote, JF; Springintveld, J
      Focus points and convergent process operators: a proof strategy for protocol verification

      JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
    11. Zantema, H; van de Pol, J
      A rewriting approach to binary decision diagrams

      JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
    12. Rose, E; Rose, KH
      Java access protection through typing

      CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
    13. Klein, G; Nipkow, T
      Verified lightweight bytecode verification

      CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
    14. von Oheimb, D
      Hoare logic for Java in Isabelle/HOL

      CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
    15. Holzmann, GJ
      Economics of software verification

      ACM SIGPLAN NOTICES
    16. Belghazi, M; Bathany, K; Hountondji, C; Grandier-Vazeille, X; Manon, S; Schmitter, JM
      Analysis of protein sequences and protein complexes by matrix-assisted laser desorption/ionization mass spectrometry

      EUROPEAN JOURNAL OF MASS SPECTROMETRY
    17. Murray, BG
      Are ecological and evolutionary theories scientific?

      BIOLOGICAL REVIEWS
    18. Grimm, R; Ochsenschlager, P
      Binding telecooperation - a formal model for electronic commerce

      COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING
    19. Deng, X; Milios, E; Mirzaian, A
      Robot map verification of a graph world

      JOURNAL OF COMBINATORIAL OPTIMIZATION
    20. Kim, H; Lee, J; Yang, JH; Sull, S; Kim, WM; Song, SMH
      Visual rhythm and shot verification

      MULTIMEDIA TOOLS AND APPLICATIONS
    21. Hiscock, M; Caroselli, JS; Kimball, LE; Panwar, N
      Performance on paced serial addition tasks indicates an associative network for calculation

      JOURNAL OF CLINICAL AND EXPERIMENTAL NEUROPSYCHOLOGY
    22. Lungu, E; Oksendal, B
      Optimal harvesting from interacting populations in a stochastic environment

      BERNOULLI
    23. Wilks, DS
      A skill score based on economic value for probability forecasts

      METEOROLOGICAL APPLICATIONS
    24. Baranski, JV; Petrusic, WM
      Testing architectures of the decision-confidence relation

      CANADIAN JOURNAL OF EXPERIMENTAL PSYCHOLOGY-REVUE CANADIENNE DE PSYCHOLOGIE EXPERIMENTALE
    25. Mathey, S
      Influence of orthographic neighborhood in word recognition tasks

      CANADIAN JOURNAL OF EXPERIMENTAL PSYCHOLOGY-REVUE CANADIENNE DE PSYCHOLOGIE EXPERIMENTALE
    26. Liu, WC; Hsu, MH; Kuo, AY
      A modeling study of water quality in main channel and estuarine wetland

      JOURNAL OF ENVIRONMENTAL SCIENCE AND HEALTH PART A-TOXIC/HAZARDOUS SUBSTANCES & ENVIRONMENTAL ENGINEERING
    27. Cunningham, RK; Lippmann, RP; Webster, SE
      Detecting and displaying novel computer attacks with macroscope

      IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
    28. Yoshimura, I; Yoshimura, M
      Evaluation of signature quality as a function of nationality via an off-line signature verification system

      INTELLIGENT AUTOMATION AND SOFT COMPUTING
    29. Roberts, MJ; Newton, EJ
      Understanding strategy selection

      INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES
    30. Romney, AK; Moore, CC
      Systemic culture patterns as basic units of cultural transmission and evolution

      CROSS-CULTURAL RESEARCH
    31. van der Maas, AAF; ter Hofstede, AHM; ten Hoopen, AJ
      Requirements for medical modeling languages

      JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION
    32. Strehl, K; Thiele, L; Gries, M; Ziegenbein, D; Ernst, R; Teich, J
      FunState - An internal design representation for codesign

      IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
    33. Ezhov, PV; Smirnova, TN; Tikhonov, EO
      Characteristics of photopolymer holographic matched filters in a van der Lugt correlator

      TECHNICAL PHYSICS
    34. Koo, MW; Lee, CH; Juang, BH
      Speech recognition and utterance verification based on a generalized confidence score

      IEEE TRANSACTIONS ON SPEECH AND AUDIO PROCESSING
    35. Jiang, H; Deng, L
      A Bayesian approach to the verification problem: Applications to speaker verification

      IEEE TRANSACTIONS ON SPEECH AND AUDIO PROCESSING
    36. Tan, KC; Neo, SS; Yeo, BHC
      Ellipsoid representation of reference templates for efficient speaker verification

      IEEE TRANSACTIONS ON SPEECH AND AUDIO PROCESSING
    37. De Robertis, A
      Validation of acoustic echo counting for studies of zooplankton behavior

      ICES JOURNAL OF MARINE SCIENCE
    38. Gargantini, A; Morzenti, A
      Automated deductive requirements analysis of critical systems

      ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
    39. Picco, GP; Roman, GC; McCann, PJ
      Reasoning about code mobility with mobile UNITY

      ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
    40. Bible, J; Rothermel, G; Rosenblum, DS
      A comparative study of coarse- and fine-grained safe regression test-selection techniques

      ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
    41. Rothermel, G; Burnett, M; Li, LI; Dupuis, C; Sheretov, A
      A methodology for testing spreadsheets

      ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
    42. Tsuchiya, T; Nagano, S; Paidi, RB; Kikuno, T
      Symbolic model checking for self-stabilizing algorithms

      IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
    43. Butter, C; Hartung, WM; Kay, GN; Willems, R; Zhang, G; Lang, DJ; Fleck, E
      Clinical validation of new pacing-sensing configurations for atrial automatic capture verification in pacemakers

      JOURNAL OF CARDIOVASCULAR ELECTROPHYSIOLOGY
    44. Liao, H; Ge, ZY; Yan, XL
      Ideal root architecture for phosphorus acquisition of plants under water and phosphorus coupled stresses: From simulation to application

      CHINESE SCIENCE BULLETIN
    45. Wang, HJ; Yang, ZS; Li, RJ; Zhang, J
      A nonlinear RDF model for waves propagating in shallow water

      SCIENCE IN CHINA SERIES B-CHEMISTRY
    46. Liu, SP; Hu, GC; Gong, J; Hao, FH; Xiang, YC
      Conceptual study of spectral blankout technique on inspecting of some surrogated nuclear warheads

      ACTA PHYSICA SINICA
    47. Logi, F; Ritchie, SG
      Development and evaluation of a knowledge-based system for traffic congestion management and control

      TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES
    48. Kim, T; Cha, S
      Automated structural analysis of SCR-style software requirements specifications using PVS

      SOFTWARE TESTING VERIFICATION & RELIABILITY
    49. Holzmann, GJ; Smith, MH
      Software model checking: extracting verification models from source code

      SOFTWARE TESTING VERIFICATION & RELIABILITY
    50. Vine, EL; Sathaye, JA; Makundi, WR
      An overview of guidelines and issues for the monitoring, evaluation, reporting, verification, and certification of forestry projects for climate change mitigation

      GLOBAL ENVIRONMENTAL CHANGE-HUMAN AND POLICY DIMENSIONS
    51. Gonzalez-Miret, ML; Coello, MT; Alonso, S; Heredia, FJ
      Validation of parameters in HACCP verification using univariate and multivariate statistics. Application to the final phases of poultry meat production

      FOOD CONTROL
    52. Bernardeschi, C; Fantechi, A; Gnesi, S
      Formal validation of fault-tolerance mechanisms inside GUARDS

      RELIABILITY ENGINEERING & SYSTEM SAFETY
    53. Beerthuizen, PG; Kruidhof, W
      System and software safety analysis for the ERA control computer

      RELIABILITY ENGINEERING & SYSTEM SAFETY
    54. Bhattacharjee, AK; Dhodapkar, SD; Shyamasundar, RK
      PERTS: an environment for specification and verification of reactive systems

      RELIABILITY ENGINEERING & SYSTEM SAFETY
    55. Lee, J; Pan, JI; Kuo, JY
      Verifying scenarios with time Petri-nets

      INFORMATION AND SOFTWARE TECHNOLOGY
    56. He, XD
      PZ nets - a formal method integrating Petri nets with Z

      INFORMATION AND SOFTWARE TECHNOLOGY
    57. Yang, SH; Tan, LS; He, CH
      Automatic verification of safety interlock systems for industrial processes

      JOURNAL OF LOSS PREVENTION IN THE PROCESS INDUSTRIES
    58. Kowalewski, S; Stursberg, O; Bauer, N
      An experimental batch plant as a test case for the verification of hybrid systems

      EUROPEAN JOURNAL OF CONTROL
    59. Bemporad, A; Torrisi, FD; Morari, M
      Discrete-time hybrid modeling and verification of the batch evaporator process benchmark

      EUROPEAN JOURNAL OF CONTROL
    60. Huuck, R; Lukoschus, B; Lakhnech, Y
      Verifying untimed and timed aspects of the experimental batch plant

      EUROPEAN JOURNAL OF CONTROL
    61. Giesl, J; Arts, T
      Verification of Erlang processes by dependency pairs

      APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING
    62. Platzner, I; Ehrlich, S; Halicz, L
      Isotope-ratio measurements of lead in NIST standard reference materials bymultiple-collector inductively coupled plasma mass spectrometry

      FRESENIUS JOURNAL OF ANALYTICAL CHEMISTRY
    63. Duftschmid, G; Miksch, S
      Knowledge-based verification of clinical guidelines by detection of anomalies

      ARTIFICIAL INTELLIGENCE IN MEDICINE
    64. Bratt, SR
      The International Data Centre of the Comprehensive Nuclear-Test-Ban Treaty: vision and progress

      KERNTECHNIK
    65. Jonker, CM; Treur, J
      Agent-based simulation of animal behaviour

      APPLIED INTELLIGENCE
    66. Kim, IC; Chien, SI
      Analysis of 3D hand trajectory gestures using stroke-based composite hidden Markov models

      APPLIED INTELLIGENCE
    67. Streppel, AH; Lutters, D; ten Brinke, E; Pijlman, HH; Kals, HJJ
      Process modelling for air bending: validation by experiments and simulations

      JOURNAL OF MATERIALS PROCESSING TECHNOLOGY
    68. Hirabayashi, K
      An algebraic approach to formal verification of microprocessors

      JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS
    69. Seshadri, S; Abraham, JA
      Frequency response verification of analog circuits using global optimization techniques

      JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS
    70. Ganai, M; Yalagandula, P; Aziz, A; Kuehlmann, A; Singhal, V
      SIVA: A system for coverage-directed state space search

      JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS
    71. Herbreteau, F; Cassez, F; Roux, O
      Application of partial-order methods to reactive programs with event memorization

      REAL-TIME SYSTEMS
    72. Susanto, KW; Melham, T
      Formally analyzed dynamic synthesis of hardware

      JOURNAL OF SUPERCOMPUTING
    73. Bowen, JP; He, JF
      An approach to the specification and verification of a hardware compilation scheme

      JOURNAL OF SUPERCOMPUTING
    74. Topilski, LN; Masson, X; Porfiri, MT; Pinna, T; Sponton, LL; Andersen, J; Takase, K; Kurihara, R; Sardain, P; Girard, C
      Validation and benchmarking in support of ITER-FEAT safety analysis

      FUSION ENGINEERING AND DESIGN
    75. Maeda, T; Matsushita, M; Sasakawa, K
      Identification algorithm using a matching score matrix

      IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    76. Komiya, Y; Ohishi, T; Matsumoto, T
      A pen input on-line signature verifier integrating position, pressure and inclination trajectories

      IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    77. Hsieh, CT; Wang, YC
      A robust speaker identification system based on wavelet transform

      IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    78. Miyajima, C; Hattori, Y; Tokuda, K; Masuko, T; Kobayashi, T; Kitamura, T
      Text-independent speaker identification using Gaussian mixture models based on multi-space probability distribution

      IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    79. Kim, BM; Kim, HS; Kim, W
      Construction of global state transition graph for verifying specificationswritten in message sequence charts for telecommunications software

      IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    80. Tseng, YM; Jan, JK; Chien, HY
      On the security of generalization of threshold signature and authenticatedencryption

      IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
    81. Nakao, MT; Watanabe, Y; Yamamoto, N
      Verified numerical computations for an inverse elliptic eigenvalue problemwith finite data

      JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS
    82. Laita, LM; Roanes-Lozano, E; Maojo, V; Roanes-Macias, E; De Ledesma, L; Laita, L
      An expert system for managing medical appropriateness criteria based on computer algebra techniques

      COMPUTERS & MATHEMATICS WITH APPLICATIONS
    83. Minamoto, T
      Numerical existence and uniqueness proof for solutions of semilinear parabolic equations

      APPLIED MATHEMATICS LETTERS
    84. Ryoo, CS
      Verified computation of solutions for obstacle problems with guaranteed L-infinity error bound

      APPLIED MATHEMATICS LETTERS
    85. Carballo, G; Alvarez-Nodarse, R; Dehesa, JS
      Chebychev polynomials in a speech recognition model

      APPLIED MATHEMATICS LETTERS
    86. Quek, C; Tan, KB; Sagar, VK
      Pseudo-outer product based fuzzy neural network fingerprint verification system

      NEURAL NETWORKS
    87. Kupferman, O; Vardi, MY; Wolper, P
      Module checking

      INFORMATION AND COMPUTATION
    88. San Jose, MJ; Olazar, M; Izquierdo, MA; Alvarez, S; Bilbao, J
      Spout geometry in shallow spouted beds

      INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH
    89. Ligeza, A
      Toward logical analysis of tabular rule-based systems

      INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
    90. Coenen, F; Eaglestone, B; Ridley, M
      Verification, validation, and integrity issues in expert and database systems: Two perspectives

      INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
    91. Colle, BA; Mass, CF; Ovens, D
      Evaluation of the timing and strength of MM5 and eta surface trough passages over the eastern Pacific

      WEATHER AND FORECASTING
    92. Marzban, C; Witt, A
      A Bayesian neural network for severe-hail size prediction

      WEATHER AND FORECASTING
    93. Pettit, J; Joiner, TE
      Negative-feedback seeking leads to depressive symptom increases under conditions of stress

      JOURNAL OF PSYCHOPATHOLOGY AND BEHAVIORAL ASSESSMENT
    94. Tasiran, S; Keutzer, K
      Coverage metrics for functional validation of hardware designs

      IEEE DESIGN & TEST OF COMPUTERS
    95. Gold, B; Bergeron, J; Lachtermacher-Triunfol, M; Dean, M
      Human duplex sex determination PCR

      BIOTECHNIQUES
    96. Dong, M; Chen, FF
      Process modeling and analysis of manufacturing supply chain networks usingobject-oriented Petri nets

      ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING
    97. Li, J
      Capnography alone is imperfect for endotracheal tube placement confirmation during emergency intubation

      JOURNAL OF EMERGENCY MEDICINE
    98. Fekete, A; Lynch, N; Shvartsman, A
      Specifying and using a partitionable group communication service

      ACM TRANSACTIONS ON COMPUTER SYSTEMS
    99. Fafard, M; Boudjelal, MT; Bissonnette, B; Cloutier, A
      Three-dimensional viscoelastic model with nonconstant coefficients

      JOURNAL OF ENGINEERING MECHANICS-ASCE
    100. Tatara, CP; Newman, MC; Mulvey, M
      Effect of mercury and Gpi-2 genotype on standard metabolic rate of easternmosquitofish (Gambusia holbrooki)

      ENVIRONMENTAL TOXICOLOGY AND CHEMISTRY


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 12/08/20 alle ore 23:06:35