ABZ 2014: The Landing Gear Case Study [[electronic resource] ] : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 161 p. 47 illus.) |
Disciplina | 005.1015113 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Computer logic
Mathematical logic Computers Computer simulation Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Simulation and Modeling |
ISBN | 3-319-07512-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation. |
Record Nr. | UNINA-9910298563803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Accelerated Lattice Boltzmann Model for Colloidal Suspensions [[electronic resource] ] : Rheology and Interface Morphology / / by Hassan Farhat, Joon Sang Lee, Sasidhar Kondaraju |
Autore | Farhat Hassan |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | New York, NY : , : Springer US : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (161 p.) |
Disciplina |
003.3
530.138 620 620.1064 |
Soggetto topico |
Fluid mechanics
Computer simulation Engineering Fluid Dynamics Simulation and Modeling |
ISBN | 1-4899-7402-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- 1. Introduction -- 2. Overview of Related Studies -- 3. Accelerated Lattice Boltzmann Method -- 4. Hybrid LBM for Surfactant-Covered Droplets -- 5. Suppressing the Coalescence in the LBM: Colloids Rheology -- 6. Non-Uniform Interfacial Tension LBM for RBC Modeling -- Appendix -- References -- Index. |
Record Nr. | UNINA-9910299724203321 |
Farhat Hassan | ||
New York, NY : , : Springer US : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Accelerating discovery : the future of scientific computing at the Department of Energy : hearing before the Subcommittee on Energy of the Committee on Science, Space, and Technology, House of Representatives, One Hundred Seventeenth Congress, first session, May 19, 2021 |
Pubbl/distr/stampa | Washington : , : U.S. Government Publishing Office, , 2021 |
Descrizione fisica | 1 online resource (iv, 109 pages) : illustration |
Soggetto topico |
Computers - United States
Computers - Technological innovations - United States Computer simulation Computer software - Reusability |
Soggetto genere / forma | Legislative hearings. |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Accelerating discovery |
Record Nr. | UNINA-9910717045803321 |
Washington : , : U.S. Government Publishing Office, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ACM SIGSIM-PADS 2022 : proceedings of the 2022 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation : ACM SIGSIM PADS'22 : June 8-10, 2022, Virtual/On-line Event / / editors, Kalyan Perumalla [and three others] |
Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2022 |
Descrizione fisica | 1 online resource (144 pages) : illustrations |
Disciplina | 003.83 |
Collana | ACM Conferences |
Soggetto topico |
Discrete-time systems
Computer science Computer simulation Electronic data processing - Distributed processing Neural networks |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910580195103321 |
New York : , : Association for Computing Machinery, , 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ACM transactions on modeling and computer simulation : a publication of the Association for Computing Machinery |
Pubbl/distr/stampa | New York, NY, : The Association, ©1991- |
Disciplina | 006.6 |
Collana | ACM series on computing methodologies |
Soggetto topico |
Computer simulation
Mathematical models Simulation par ordinateur Modèles mathématiques Computersimulaties Computermodellen |
Soggetto genere / forma | Periodicals. |
ISSN | 1558-1195 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Transactions on modeling and computer simulation
TOMACS |
Record Nr. | UNISA-996207533603316 |
New York, NY, : The Association, ©1991- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
ACM transactions on modeling and computer simulation : a publication of the Association for Computing Machinery |
Pubbl/distr/stampa | New York, NY, : The Association, ©1991- |
Disciplina | 006.6 |
Collana | ACM series on computing methodologies |
Soggetto topico |
Computer simulation
Mathematical models Simulation par ordinateur Modèles mathématiques Computersimulaties Computermodellen |
Soggetto genere / forma | Periodicals. |
ISSN | 1558-1195 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Transactions on modeling and computer simulation
TOMACS |
Record Nr. | UNINA-9910375864003321 |
New York, NY, : The Association, ©1991- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Acoustics and Vibration of Mechanical Structures—AVMS-2023 [[electronic resource] ] : Proceedings of the 17th AVMS, Timişoara, Romania, May 26–27, 2023 / / edited by Nicolae Herisanu, Vasile Marinca |
Autore | Herisanu Nicolae |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (381 pages) |
Disciplina | 534 |
Altri autori (Persone) | MarincaVasile |
Collana | Springer Proceedings in Physics |
Soggetto topico |
Acoustics
Noise control Mathematical physics Computer simulation Mechanics, Applied Acoustical engineering Noise Control Computational Physics and Simulations Engineering Mechanics Engineering Acoustics Mathematical Methods in Physics |
ISBN | 3-031-48087-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Parametric Resonance of Electrostatically Actuated MEMS Angled Uniform Cantilever Resonators: Amplitude-Frequency Response -- The Sample Entropy of Human Knee with Osteoarthritis -- Effect of Mechanical Impact and Electromagnetic Actuation on the Nonlinear Vibration of a Beam -- Three-dimensional model of wind turbine NREL-monopile 5 MW for vibration characterisation -- Nonlinear Forced Vibration of an Axially Functionally Graded Beam under Combined Effects of an Electromagnetic Actuator and Mechanical Impact -- Dynamic behavior of vibratory system to discrete variation of viscous damping in linear viscoelastic material processing technologies -- Considerations regarding the dynamic stability in case of a damage for tower cranes -- Application of Spectral Element Method and Machine Learning Technique in the composite concrete beam damage prediction -- Analysis of a Structures with Three Identical Parts -- Measurement and prediction of highway noise – case study from Serbia. |
Record Nr. | UNINA-9910847595503321 |
Herisanu Nicolae | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Acta simulatio |
Pubbl/distr/stampa | Semsa, Slovak Republic : , : 4S go, s.r.o., , [2015]- |
Descrizione fisica | 1 online resource |
Soggetto topico |
Simulation methods
Computer simulation |
Soggetto genere / forma | Periodicals. |
Soggetto non controllato | Operations Research |
ISSN | 1339-9640 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910136942403321 |
Semsa, Slovak Republic : , : 4S go, s.r.o., , [2015]- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Acta simulatio |
Pubbl/distr/stampa | Semsa, Slovak Republic : , : 4S go, s.r.o., , [2015]- |
Descrizione fisica | 1 online resource |
Soggetto topico |
Simulation methods
Computer simulation |
Soggetto genere / forma | Periodicals. |
Soggetto non controllato | Operations Research |
ISSN | 1339-9640 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996321122003316 |
Semsa, Slovak Republic : , : 4S go, s.r.o., , [2015]- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Active Media Technology [[electronic resource] ] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / / edited by Jiming Liu, Jinglong Wu, Yiyu Y. Yao, Toyoaki Nishida |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XV, 530 p.) |
Disciplina | 004n/a |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Information storage and retrieval
Computer simulation Artificial intelligence Application software Multimedia information systems User interfaces (Computer systems) Information Storage and Retrieval Simulation and Modeling Artificial Intelligence Information Systems Applications (incl. Internet) Multimedia Information Systems User Interfaces and Human Computer Interaction |
Soggetto genere / forma |
Kongress.
Peking (2009) |
ISBN | 3-642-04875-7 |
Classificazione |
DAT 614f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote Talks -- Using Neural Imaging to Inform the Instruction of Mathematics -- Distributed Human-Machine Systems: Progress and Prospects -- Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem -- How Midazolam Can Help Us Understand Human Memory: 3 Illustrations and a Proposal for a New Methodology -- Research on Brain-Like Computer -- A Framework for Machine Learning with Ambiguous Objects -- Special Session on Conversational Informatics -- Implementing a Multi-user Tour Guide System with an Embodied Conversational Agent -- Actively Adaptive Agent for Human-Agent Collaborative Task -- Low-Overhead 3D Items Drawing Engine for Communicating Situated Knowledge -- A Method to Detect Lies in Free Communication Using Diverse Nonverbal Information: Towards an Attentive Agent -- An Integrative Agent Model for Adaptive Human-Aware Presentation of Information during Demanding Tasks -- Special Session on Human-Web Interaction -- Consumer Decision Making in Knowledge-Based Recommendation -- Incremental Learning of Triadic PLSA for Collaborative Filtering -- Interactive Storyboard: Animated Story Creation on Touch Interfaces -- Comparative Evaluation of Reliabilities on Semantic Search Functions: Auto-complete and Entity-Centric Unified Search -- Integrated Recommender Systems Based on Ontology and Usage Mining -- Active Media Retrieval and Sharing -- Knowledge-Based Concept Score Fusion for Multimedia Retrieval -- Example-Based Query Analysis Using Functional Conceptual Graphs -- Checking Satisfactions of XML Referential Integrity Constraints -- A Verification Method of Hyponymy between Chinese Terms Based on Concept Space -- Sharing Mobile Multimedia Annotations to Support Inquiry-Based Learning Using MobiTOP -- Understanding Perceived Gratifications for Mobile Content Sharing and Retrieval in a Game-Based Environment -- Why We Share: A Study of Motivations for Mobile Media Sharing -- Active Support Systems and Intelligent Interfaces -- The Layout of Web Pages: A Study on the Relation between Information Forms and Locations Using Eye-Tracking -- Human Characteristics on Length Perception with Three Fingers for Tactile Intelligent Interfaces -- A Model and Environment for Improving Multimedia Intensive Reading Practices -- Study on Adaptive Computer-Assisted Instruction for In-Service Training -- Research on Recreational Sports Instruction Using an Expert System -- Smart Digital Media -- Using 6LowPAN UPnP and OSGi to Implement Adaptable Home Ambient Intelligence Network Platform -- Low Frequency Domain Aided Texture Synthesis for Intra Prediction -- A Novel Geometry Image Coding -- Musical Style Classification Using Low-Level Features -- Multi-agent Systems and Autonomy-Oriented Computing -- Enterprise Cluster Dynamics and Innovation Diffusion: A New Scientific Approach -- A Novel Application of Organic Plant Farming Analysis System – Using Game Theory and Multi-Agent Technique -- A Dynamic Trust Network for Autonomy-Oriented Partner Finding -- Modeling an Educational Multi-Agent System in MaSE -- Enhancing Decentralized MAS-Based Framework for Composite Web Services Orchestration and Exception Handling by Means of Mobile Agents Technology -- Multi-objective Analysis on Optimization of Negotiation Support -- Data Mining and Ontology Mining in Active Media -- Rough Set Based Personalized Recommendation in Mobile Commerce -- SpamTerminator: A Personal Anti-spam Add-In for Outlook -- Classifying Images with Image and Text Search Clickthrough Data -- A Novel Fast Inter Mode Decision Algorithm in H.264/AVC for Forest Fire Prevention Surveillance -- A Method for Analyzing Software Faults Based on Mining Outliers’ Feature Attribute Sets -- Web Intelligence -- Unifying Web-Scale Search and Reasoning from the Viewpoint of Granularity -- The Quest for Parallel Reasoning on the Semantic Web -- A Model for Personalized Web-Scale Case Base Maintenance -- X3D-Based Web 3D Resources Integration and Reediting -- Providing Relevant Answers for Queries over E-Commerce Web Databases -- Detecting News Event from a Citizen Journalism Website Using Tags -- Networks and Security -- A New Mechanism for Job Scheduling in Computational Grid Network Environments -- Efficient and Provably Secure Self-certified Signature Scheme -- A Reversible Watermarking Scheme for 3D Meshes -- Neighbor-List Based Pairwise Key Management Scheme in Wireless Sensor Networks. |
Record Nr. | UNISA-996465866003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|