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 'AUTOMATIC-GENERATION' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 176 riferimenti
Si mostrano 100 riferimenti a partire da 1
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Sumathi, R; Carstensen, HH; Green, WH
      Reaction rate prediction via group additivity, part 2: H-abstraction from alkenes, alkynes, alcohols, aldehydes, and acids by H atoms

      JOURNAL OF PHYSICAL CHEMISTRY A
    2. Sumathi, R; Carstensen, HH; Green, WH
      Reaction rate prediction via group additivity Part 1: H abstraction from alkanes by H and CH3

      JOURNAL OF PHYSICAL CHEMISTRY A
    3. Kim, H; Hayes, JP
      Delay fault testing of IP-based designs via symbolic path modeling

      IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
    4. Borgi, A; Akdag, H
      Knowledge based supervised fuzzy-classification: An application to image processing

      ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
    5. Meudec, C
      ATGen: automatic test data generation using constraint logic programming and symbolic execution

      SOFTWARE TESTING VERIFICATION & RELIABILITY
    6. Farritor, S; Dubowsky, S
      On modular design of field robotic systems

      AUTONOMOUS ROBOTS
    7. Fummi, F; Boschini, M; Yu, XM; Rudnick, EM
      Sequential circuit test generation using a symbolic/genetic hybrid approach

      JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS
    8. Kim, E; Lee, JG; Lee, DI
      Automatic process-oriented asynchronous control unit generation from control data flow graphs

      IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
    9. Nobile, E; Bose, A; Tomsovic, K
      Feasibility of a bilateral market for load following

      IEEE TRANSACTIONS ON POWER SYSTEMS
    10. Donde, V; Pai, MA; Hiskens, IA
      Simulation and optimization in an AGC system after deregulation

      IEEE TRANSACTIONS ON POWER SYSTEMS
    11. Bjorner, NS; Manna, Z; Sipma, HB; Uribe, TE
      Deductive verification of real-time systems using STeP

      THEORETICAL COMPUTER SCIENCE
    12. Fei, YQ; Zhao, XF; Song, LB
      A method for modular robots generating dynamics automatically

      ROBOTICA
    13. Son, YJ; Wysk, RA
      Automatic simulation model generation for simulation-based, real-time shopfloor control

      COMPUTERS IN INDUSTRY
    14. Michael, CC; McGraw, G; Schatz, MA
      Generating software test data by evolution

      IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
    15. Tarr, MJ; Kriegman, DJ
      What defines a view?

      VISION RESEARCH
    16. Islam, MM; Khondoker, MRH; Rahman, CM
      Application of artificial intelligence techniques in automatic hull form generation

      OCEAN ENGINEERING
    17. Field, DA
      Automatic generation of transitional meshes

      INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING
    18. Krysl, P; Ortiz, M
      Extraction of boundary representation from surface triangulations

      INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING
    19. Lee, CK
      On curvature element-size control in metric surface mesh generation

      INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING
    20. Matheu, DM; Lada, TA; Green, WH; Dean, AM; Grenda, JM
      Rate-based screening of pressure-dependent reaction networks

      COMPUTER PHYSICS COMMUNICATIONS
    21. Strange, R; Manby, FR; Knowles, PJ
      Automatic code generation in density functional theory

      COMPUTER PHYSICS COMMUNICATIONS
    22. Kang, SW; Shin, JW; Kim, M
      Interoperability test suite derivation for communication protocols

      COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING
    23. Hsiao, MS; Rudnick, EM; Patel, JH
      Dynamic state traversal for sequential circuit test generation

      ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
    24. Long, DE; Iyer, MA; Abramovici, M
      FILL and FUNI: Algorithms to identify illegal states and sequentially untestable faults

      ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
    25. Triantafyllidis, DG; Labridis, DP
      An automatic mesh generator for handling small features in open boundary power transmission line problems using artificial neural networks

      COMMUNICATIONS IN NUMERICAL METHODS IN ENGINEERING
    26. Singh, M; Nowick, SM
      Synthesis for logical initializability of synchronous finite-slate machines

      IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
    27. Martinez, MT; Favrel, J; Ghodous, P
      Product family manufacturing plan generation and classification

      CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS
    28. Nathan, MK; Prasanna, S; Muthuveerappan, G
      Three-dimensional mesh generation using principles of finite element method

      ADVANCES IN ENGINEERING SOFTWARE
    29. Wimmel, G; Lotzbeyer, H; Pretschner, A; Slotosch, O
      Specification based test sequence generation with propositional logic

      SOFTWARE TESTING VERIFICATION & RELIABILITY
    30. Moussa, F; Kolski, C; Riahi, M
      A model based approach to semi-automated user interface generation for process control interactive applications

      INTERACTING WITH COMPUTERS
    31. Ravindranath, MN; Kumar, RK
      Simulation of cold forging using contact and practical adaptive meshing algorithms

      JOURNAL OF MATERIALS PROCESSING TECHNOLOGY
    32. Lyubashevskiy, I; Strumpen, V
      Fault-tolerant file-I/O for portable checkpointing systems

      JOURNAL OF SUPERCOMPUTING
    33. Cheung, KW; Shamsollahi, P; Sun, D; Milligan, J; Potishnak, M
      Energy and ancillary service dispatch for the interim ISO New England Electricity Market

      IEEE TRANSACTIONS ON POWER SYSTEMS
    34. Chown, GA; Coetzee, MG
      Implementation of regulation as an Ancillary Service in Eskom and the use of Eskom Internal Web for this service

      IEEE TRANSACTIONS ON POWER SYSTEMS
    35. Chen, HF; Li, JF; Yao, JH; Yuan, SG; Zheng, CZ
      Automatic generation of virtual bio-active compounds

      ACTA CHIMICA SINICA
    36. Nishida, Y; Toumiya, T; Kaite, T; Asaka, T; Ono, T; Yoshida, M
      A method of accelerating distributed test pattern generation

      NEC RESEARCH & DEVELOPMENT
    37. Yang, ZR; Zwolinski, M; Chalk, CD; Williams, AC
      Applying a robust heteroscedastic probabilistic neural network to analog fault detection and classification

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    38. Childs, SJ
      The energetic implications of the time discretization in implementations of the ALE equations

      INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS
    39. Badertscher, M; Korytko, A; Schulz, KP; Madison, M; Munk, ME; Portmann, P; Junghans, M; Fontana, P; Pretsch, E
      Assemble 2.0: a structure generator

      CHEMOMETRICS AND INTELLIGENT LABORATORY SYSTEMS
    40. Evans, EW; Johnson, SP; Leggett, PF; Cross, M
      Automatic and effective multi-dimensional parallelisation of structured mesh based codes

      PARALLEL COMPUTING
    41. Berry, G; Bouali, A; Fornari, X; Ledinot, E; Nassor, E; de Simone, R
      ESTEREL: a formal method applied to avionic software development

      SCIENCE OF COMPUTER PROGRAMMING
    42. Hermanns, H; Katoen, JP
      Automated compositional Markov chain generation for a plain-old telephone system

      SCIENCE OF COMPUTER PROGRAMMING
    43. Kone, O; Castanet, R
      Test generation for interworking systems

      COMPUTER COMMUNICATIONS
    44. Chung, KW; Chan, HSY; Chen, N
      General Mandelbrot sets and Julia sets with color symmetry from equivariant mappings of the modular group

      COMPUTERS & GRAPHICS-UK
    45. Warth, V; Battin-Leclerc, F; Fournet, R; Glaude, PA; Come, GM; Scacchi, G
      Computer based generation of reaction mechanisms for gas-phase oxidation

      COMPUTERS & CHEMISTRY
    46. Malaviya, A; Peters, L
      Fuzzy handwriting description language: FOHDEL

      PATTERN RECOGNITION
    47. Fummi, F; Sciuto, D
      A hierarchical test generation approach for large controllers

      IEEE TRANSACTIONS ON COMPUTERS
    48. Glaude, PA; Battin-Leclerc, F; Fournet, R; Warth, V; Come, GM; Scacchi, G
      Construction and simplification of a model for the oxidation of alkanes

      COMBUSTION AND FLAME
    49. Glaude, PA; Battin-Leclerc, F; Judenherc, B; Warth, V; Fournet, R; Come, GM; Scacchi, G; Dagaut, P; Cathonnet, M
      Experimental and modeling study of the gas-phase oxidation of methyl and ethyl tertiary butyl ethers

      COMBUSTION AND FLAME
    50. Battin-Leclerc, F; Glaude, PA; Warth, V; Fournet, R; Scacchi, G; Come, GM
      Computer tools for modelling the chemical phenomena related to combustion

      CHEMICAL ENGINEERING SCIENCE
    51. Alfonseca, M; de Lara, J
      Integration of simulation and multimedia in automatically generated internet courses

      COMPUTERS AND EDUCATION IN THE 21ST CENTURY
    52. Okuda, O
      Automatic generation of triangular mesh utilizing the bucket method for finite element method

      JSME INTERNATIONAL JOURNAL SERIES A-SOLID MECHANICS AND MATERIAL ENGINEERING
    53. Green, SJ
      Building hypertext links by computing semantic similarity

      IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
    54. Hamzaoglu, I; Patel, JH
      New techniques for deterministic test pattern generation

      JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS
    55. Talaq, J; Al-Basri, F
      Adaptive fuzzy gain scheduling for load frequency control

      IEEE TRANSACTIONS ON POWER SYSTEMS
    56. Olson, JT; Britanik, J; Marefat, MM
      Combined discrete/continuous simulation of process plans II: Automatic model generation

      TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL
    57. Aditya, SK; Das, D
      Application of battery energy storage system to load frequency control of an isolated power system

      INTERNATIONAL JOURNAL OF ENERGY RESEARCH
    58. Tragoudas, S; Karayiannis, D
      A fast nonenumerative automatic test pattern generator for path delay faults

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    59. Krstic, A; Cheng, KT; Chakradhar, ST
      Primitive delay faults: Identification, testing, and design for testability

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    60. Lin, CC; Chen, KC; Marek-Sadowska, M
      Logic synthesis for engineering change

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    61. Corno, F; Glaser, U; Prinetto, P; Reorda, MS; Vierhaus, HT; Violante, M
      SymFony: A hybrid topological-symbolic ATPG exploiting RT-level information

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    62. Einspahr, KL; Mehta, SK; Seth, SC
      A synthesis for testability scheme for finite state machines using clock control

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    63. Mukherjee, R; Jain, J; Takayama, K; Fujita, M; Abraham, JA; Fussell, DS
      An efficient filter-based approach for combinational verification

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    64. Peterson, RC; Jimack, PK; Kelmanson, MA
      The solution of two-dimensional free-surface problems using automatic meshgeneration

      INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS
    65. Azzam, M
      Robust automatic generation control

      ENERGY CONVERSION AND MANAGEMENT
    66. Hattangady, NV; Fridy, JM; Vemuri, KR; Dick, RE
      Image processing to automate mesh generation

      ENGINEERING WITH COMPUTERS
    67. Leski, J; Czogala, E
      A new artificial neural network based fuzzy inference system with moving consequents in if-then rules and selected applications

      FUZZY SETS AND SYSTEMS
    68. Weyuker, EJ
      Evaluation techniques for improving the quality of very large software systems in a cost-effective way

      JOURNAL OF SYSTEMS AND SOFTWARE
    69. Thompson, HA; Benitez-Perez, H; Lee, D; Ramos-Hernandez, DN; Fleming, PJ; Legge, CG
      A CANbus-based safety-critical distributed aeroengine control systems architecture demonstrator

      MICROPROCESSORS AND MICROSYSTEMS
    70. Fischer, S
      Towards the automatic generation of quality-of-service-preserving implementations from formal specifications

      COMPUTER COMMUNICATIONS
    71. Lee, CK; Hobbs, RE
      Automatic adaptive finite element mesh generation over arbitrary two-dimensional domain using advancing front technique

      COMPUTERS & STRUCTURES
    72. So, B; Lew, A
      Automatic code generation for simulating information systems

      SIMULATION
    73. Yokoyama, T; Cingoski, V; Kaneda, K; Yamashita, H
      3-D automatic mesh generation for FEA using dynamic bubble system

      IEEE TRANSACTIONS ON MAGNETICS
    74. Rudnick, EM; Patel, JH
      Efficient techniques for dynamic test sequence compaction

      IEEE TRANSACTIONS ON COMPUTERS
    75. Klinke, DJ; Broadbelt, LJ
      Construction of a mechanistic model of Fischer-Tropsch synthesis on Ni(111) and Co(0001) surfaces

      CHEMICAL ENGINEERING SCIENCE
    76. Parsons, PJ; Rabhi, FA
      Generating parallel programs from skeleton based specifications

      JOURNAL OF SYSTEMS ARCHITECTURE
    77. VICECONTI M; BELLINGERI L; CRISTOFOLINI L; TONI A
      A COMPARATIVE-STUDY ON DIFFERENT METHODS OF AUTOMATIC MESH GENERATIONOF HUMAN FEMURS

      Medical engineering & physics
    78. Zannoni, C; Mantovani, R; Viceconti, M
      Material properties assignment to finite element models of bone structures: a new method

      MEDICAL ENGINEERING & PHYSICS
    79. JOU JY; NIEN MC
      POWER-ORIENTED PARTIAL-SCAN DESIGN APPROACH

      IEE proceedings. Circuits, devices and systems
    80. OHSUGA S
      TOWARD TRULY INTELLIGENT INFORMATION-SYSTEMS - FROM EXPERT-SYSTEMS TOAUTOMATIC PROGRAMMING

      Knowledge-based systems
    81. CHOWN GA; HARTMAN RC
      DESIGN AND EXPERIENCE WITH A FUZZY-LOGIC CONTROLLER FOR AUTOMATIC-GENERATION CONTROL (AGC)

      IEEE transactions on power systems
    82. STANKOVIC AM; TADMOR G; SAKHARUK TA
      ON ROBUST-CONTROL ANALYSIS AND DESIGN FOR LOAD FREQUENCY REGULATION

      IEEE transactions on power systems
    83. FINK LH; VANSON PJM
      ON SYSTEM CONTROL WITHIN A RESTRUCTURED INDUSTRY

      IEEE transactions on power systems
    84. SHOULTS RR; YAO M; KELM R; MARATUKULAM D
      IMPROVED SYSTEM AGC PERFORMANCE WITH ARC FURNACE STEEL MILL LOADS

      IEEE transactions on power systems
    85. ZHU JZ; CHANG CS; XU GY
      A NEW MODEL AND ALGORITHM OF SECURE AND ECONOMIC AUTOMATIC-GENERATIONCONTROL

      Electric power systems research
    86. HU Y; RANDOLPH MF
      A PRACTICAL NUMERICAL APPROACH FOR LARGE-DEFORMATION PROBLEMS IN SOIL

      International journal for numerical and analytical methods in geomechanics
    87. HSIAO MS; RUDNICK EM; PATEL JH
      APPLICATION OF GENETICALLY-ENGINEERED FINITE-STATE-MACHINE SEQUENCES TO SEQUENTIAL-CIRCUIT ATPG

      IEEE transactions on computer-aided design of integrated circuits and systems
    88. SRINIVASAN R; MUNJAL ML
      A FULLY-AUTOMATIC 3-D ANALYSIS TOOL FOR EXPANSION CHAMBER MUFFLERS

      Sadhana
    89. GREEN SJ
      AUTOMATED LINK GENERATION - CAN WE DO BETTER THAN TERM REPETITION

      Computer networks and ISDN systems
    90. Kim, YC; Saluja, KK
      Sequential test generators: past, present and future

      INTEGRATION-THE VLSI JOURNAL
    91. Hong, IK; Kirovski, D; Kornegay, K; Potkonjak, M
      High-level synthesis techniques for functional test pattern execution

      INTEGRATION-THE VLSI JOURNAL
    92. SUMI Y; WANG ZN
      A FINITE-ELEMENT SIMULATION METHOD FOR A SYSTEM OF GROWING CRACKS IN A HETEROGENEOUS MATERIAL

      Mechanics of materials
    93. GULDBERG RE; HOLLISTER SJ; CHARRAS GT
      THE ACCURACY OF DIGITAL IMAGE-BASED FINITE-ELEMENT MODELS

      Journal of biomechanical engineering
    94. Lim, KY; Wang, YY; Guo, GX; Zhou, RJ
      A new decentralized robust controller design for multi-area load-frequencycontrol via in complete state feedback

      OPTIMAL CONTROL APPLICATIONS & METHODS
    95. BRICE AA; JOHNS WR
      OPTIMIZATION OF FLOWSHEET DRAWING LAYOUT USING A GENETIC ALGORITHM

      Computers & chemical engineering
    96. LEE CK; HOBBS RE
      AUTOMATIC ADAPTIVE FINITE-ELEMENT MESH GENERATION OVER RATIONAL B-SPLINE SURFACES

      Computers & structures
    97. LO SH; LEE CK
      SELECTIVE REGIONAL REFINEMENT PROCEDURE FOR ADAPTIVE FINITE-ELEMENT ANALYSIS

      Computers & structures
    98. DHOLLANDER EH; ZHANG FB; WANG Q
      THE FORTRAN PARALLEL TRANSFORMER AND ITS PROGRAMMING ENVIRONMENT

      Information sciences
    99. KANAI Y; SATO K
      AUTOMATIC MESH GENERATION FOR 3D ELECTROMAGNETIC-FIELD ANALYSIS BY FD-TD METHOD

      IEEE transactions on magnetics
    100. WARTH V; STEF N; GLAUDE PA; BATTINLECLERC F; SCACCHI G; COME GM
      COMPUTER-AIDED DERIVATION OF GAS-PHASE OXIDATION MECHANISMS - APPLICATION TO THE MODELING OF THE OXIDATION OF N-BUTANE

      Combustion and flame


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 20/10/20 alle ore 09:17:54