Si mostrano 100 riferimenti a partire da 1 |

Per ulteriori informazioni selezionare i riferimenti di interesse.

- Saniga, M

Quadro-quartic Cremona transformations and four-dimensional pencil-space-times with the reverse signature*CHAOS SOLITONS & FRACTALS*

- Saniga, M

On 'spatially anisotropic' pencil-space-times associated with a quadro-cubic Cremona transformation*CHAOS SOLITONS & FRACTALS*

- Hong, Z; Shi, JJ; Tam, CM

Visual modeling and simulation for construction operations*AUTOMATION IN CONSTRUCTION*

- Stets, JE; Hammons, SA

Gender, control, and marital commitment*JOURNAL OF FAMILY ISSUES*

- Hsu, CL; Wu, WS; Wu, TC

Improvements of generalization of threshold signature and authenticated encryption for group communications*INFORMATION PROCESSING LETTERS*

- 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*

- 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*

- Beletsky, D; Schwab, DJ

Modeling circulation and thermal structure in Lake Michigan: Annual cycle and interannual variability*JOURNAL OF GEOPHYSICAL RESEARCH-OCEANS*

- 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*

- Groote, JF; Springintveld, J

Focus points and convergent process operators: a proof strategy for protocol verification*JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING*

- Zantema, H; van de Pol, J

A rewriting approach to binary decision diagrams*JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING*

- Rose, E; Rose, KH

Java access protection through typing*CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE*

- Klein, G; Nipkow, T

Verified lightweight bytecode verification*CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE*

- von Oheimb, D

Hoare logic for Java in Isabelle/HOL*CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE*

- Holzmann, GJ

Economics of software verification*ACM SIGPLAN NOTICES*

- 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*

- Murray, BG

Are ecological and evolutionary theories scientific?*BIOLOGICAL REVIEWS*

- Grimm, R; Ochsenschlager, P

Binding telecooperation - a formal model for electronic commerce*COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING*

- Deng, X; Milios, E; Mirzaian, A

Robot map verification of a graph world*JOURNAL OF COMBINATORIAL OPTIMIZATION*

- Kim, H; Lee, J; Yang, JH; Sull, S; Kim, WM; Song, SMH

Visual rhythm and shot verification*MULTIMEDIA TOOLS AND APPLICATIONS*

- 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*

- Lungu, E; Oksendal, B

Optimal harvesting from interacting populations in a stochastic environment*BERNOULLI*

- Wilks, DS

A skill score based on economic value for probability forecasts*METEOROLOGICAL APPLICATIONS*

- Baranski, JV; Petrusic, WM

Testing architectures of the decision-confidence relation*CANADIAN JOURNAL OF EXPERIMENTAL PSYCHOLOGY-REVUE CANADIENNE DE PSYCHOLOGIE EXPERIMENTALE*

- Mathey, S

Influence of orthographic neighborhood in word recognition tasks*CANADIAN JOURNAL OF EXPERIMENTAL PSYCHOLOGY-REVUE CANADIENNE DE PSYCHOLOGIE EXPERIMENTALE*

- 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*

- 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*

- 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*

- Roberts, MJ; Newton, EJ

Understanding strategy selection*INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES*

- Romney, AK; Moore, CC

Systemic culture patterns as basic units of cultural transmission and evolution*CROSS-CULTURAL RESEARCH*

- van der Maas, AAF; ter Hofstede, AHM; ten Hoopen, AJ

Requirements for medical modeling languages*JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION*

- 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*

- Ezhov, PV; Smirnova, TN; Tikhonov, EO

Characteristics of photopolymer holographic matched filters in a van der Lugt correlator*TECHNICAL PHYSICS*

- Koo, MW; Lee, CH; Juang, BH

Speech recognition and utterance verification based on a generalized confidence score*IEEE TRANSACTIONS ON SPEECH AND AUDIO PROCESSING*

- Jiang, H; Deng, L

A Bayesian approach to the verification problem: Applications to speaker verification*IEEE TRANSACTIONS ON SPEECH AND AUDIO PROCESSING*

- Tan, KC; Neo, SS; Yeo, BHC

Ellipsoid representation of reference templates for efficient speaker verification*IEEE TRANSACTIONS ON SPEECH AND AUDIO PROCESSING*

- De Robertis, A

Validation of acoustic echo counting for studies of zooplankton behavior*ICES JOURNAL OF MARINE SCIENCE*

- Gargantini, A; Morzenti, A

Automated deductive requirements analysis of critical systems*ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY*

- Picco, GP; Roman, GC; McCann, PJ

Reasoning about code mobility with mobile UNITY*ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY*

- 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*

- Rothermel, G; Burnett, M; Li, LI; Dupuis, C; Sheretov, A

A methodology for testing spreadsheets*ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY*

- Tsuchiya, T; Nagano, S; Paidi, RB; Kikuno, T

Symbolic model checking for self-stabilizing algorithms*IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS*

- 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*

- 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*

- Wang, HJ; Yang, ZS; Li, RJ; Zhang, J

A nonlinear RDF model for waves propagating in shallow water*SCIENCE IN CHINA SERIES B-CHEMISTRY*

- 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*

- Logi, F; Ritchie, SG

Development and evaluation of a knowledge-based system for traffic congestion management and control*TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES*

- Kim, T; Cha, S

Automated structural analysis of SCR-style software requirements specifications using PVS*SOFTWARE TESTING VERIFICATION & RELIABILITY*

- Holzmann, GJ; Smith, MH

Software model checking: extracting verification models from source code*SOFTWARE TESTING VERIFICATION & RELIABILITY*

- 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*

- 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*

- Bernardeschi, C; Fantechi, A; Gnesi, S

Formal validation of fault-tolerance mechanisms inside GUARDS*RELIABILITY ENGINEERING & SYSTEM SAFETY*

- Beerthuizen, PG; Kruidhof, W

System and software safety analysis for the ERA control computer*RELIABILITY ENGINEERING & SYSTEM SAFETY*

- Bhattacharjee, AK; Dhodapkar, SD; Shyamasundar, RK

PERTS: an environment for specification and verification of reactive systems*RELIABILITY ENGINEERING & SYSTEM SAFETY*

- Lee, J; Pan, JI; Kuo, JY

Verifying scenarios with time Petri-nets*INFORMATION AND SOFTWARE TECHNOLOGY*

- He, XD

PZ nets - a formal method integrating Petri nets with Z*INFORMATION AND SOFTWARE TECHNOLOGY*

- Yang, SH; Tan, LS; He, CH

Automatic verification of safety interlock systems for industrial processes*JOURNAL OF LOSS PREVENTION IN THE PROCESS INDUSTRIES*

- Kowalewski, S; Stursberg, O; Bauer, N

An experimental batch plant as a test case for the verification of hybrid systems*EUROPEAN JOURNAL OF CONTROL*

- Bemporad, A; Torrisi, FD; Morari, M

Discrete-time hybrid modeling and verification of the batch evaporator process benchmark*EUROPEAN JOURNAL OF CONTROL*

- Huuck, R; Lukoschus, B; Lakhnech, Y

Verifying untimed and timed aspects of the experimental batch plant*EUROPEAN JOURNAL OF CONTROL*

- Giesl, J; Arts, T

Verification of Erlang processes by dependency pairs*APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING*

- 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*

- Duftschmid, G; Miksch, S

Knowledge-based verification of clinical guidelines by detection of anomalies*ARTIFICIAL INTELLIGENCE IN MEDICINE*

- Bratt, SR

The International Data Centre of the Comprehensive Nuclear-Test-Ban Treaty: vision and progress*KERNTECHNIK*

- Jonker, CM; Treur, J

Agent-based simulation of animal behaviour*APPLIED INTELLIGENCE*

- Kim, IC; Chien, SI

Analysis of 3D hand trajectory gestures using stroke-based composite hidden Markov models*APPLIED INTELLIGENCE*

- 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*

- Hirabayashi, K

An algebraic approach to formal verification of microprocessors*JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS*

- Seshadri, S; Abraham, JA

Frequency response verification of analog circuits using global optimization techniques*JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS*

- 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*

- Herbreteau, F; Cassez, F; Roux, O

Application of partial-order methods to reactive programs with event memorization*REAL-TIME SYSTEMS*

- Susanto, KW; Melham, T

Formally analyzed dynamic synthesis of hardware*JOURNAL OF SUPERCOMPUTING*

- Bowen, JP; He, JF

An approach to the specification and verification of a hardware compilation scheme*JOURNAL OF SUPERCOMPUTING*

- 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*

- Maeda, T; Matsushita, M; Sasakawa, K

Identification algorithm using a matching score matrix*IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS*

- 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*

- Hsieh, CT; Wang, YC

A robust speaker identification system based on wavelet transform*IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS*

- 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*

- 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*

- 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*

- Nakao, MT; Watanabe, Y; Yamamoto, N

Verified numerical computations for an inverse elliptic eigenvalue problemwith finite data*JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS*

- 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*

- Minamoto, T

Numerical existence and uniqueness proof for solutions of semilinear parabolic equations*APPLIED MATHEMATICS LETTERS*

- Ryoo, CS

Verified computation of solutions for obstacle problems with guaranteed L-infinity error bound*APPLIED MATHEMATICS LETTERS*

- Carballo, G; Alvarez-Nodarse, R; Dehesa, JS

Chebychev polynomials in a speech recognition model*APPLIED MATHEMATICS LETTERS*

- Quek, C; Tan, KB; Sagar, VK

Pseudo-outer product based fuzzy neural network fingerprint verification system*NEURAL NETWORKS*

- Kupferman, O; Vardi, MY; Wolper, P

Module checking*INFORMATION AND COMPUTATION*

- San Jose, MJ; Olazar, M; Izquierdo, MA; Alvarez, S; Bilbao, J

Spout geometry in shallow spouted beds*INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH*

- Ligeza, A

Toward logical analysis of tabular rule-based systems*INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS*

- Coenen, F; Eaglestone, B; Ridley, M

Verification, validation, and integrity issues in expert and database systems: Two perspectives*INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS*

- 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*

- Marzban, C; Witt, A

A Bayesian neural network for severe-hail size prediction*WEATHER AND FORECASTING*

- Pettit, J; Joiner, TE

Negative-feedback seeking leads to depressive symptom increases under conditions of stress*JOURNAL OF PSYCHOPATHOLOGY AND BEHAVIORAL ASSESSMENT*

- Tasiran, S; Keutzer, K

Coverage metrics for functional validation of hardware designs*IEEE DESIGN & TEST OF COMPUTERS*

- Gold, B; Bergeron, J; Lachtermacher-Triunfol, M; Dean, M

Human duplex sex determination PCR*BIOTECHNIQUES*

- Dong, M; Chen, FF

Process modeling and analysis of manufacturing supply chain networks usingobject-oriented Petri nets*ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING*

- Li, J

Capnography alone is imperfect for endotracheal tube placement confirmation during emergency intubation*JOURNAL OF EMERGENCY MEDICINE*

- Fekete, A; Lynch, N; Shvartsman, A

Specifying and using a partitionable group communication service*ACM TRANSACTIONS ON COMPUTER SYSTEMS*

- Fafard, M; Boudjelal, MT; Bissonnette, B; Cloutier, A

Three-dimensional viscoelastic model with nonconstant coefficients*JOURNAL OF ENGINEERING MECHANICS-ASCE*

- 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