Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Engineering & Applied Sciences 1,126
- Management 1,121
- Development 1,088
- Application software 917
- Computer Science 780
- Computer networks 617
- Database management 610
- Data processing 539
- Business & Economics 517
- Computer programs 516
- Education 487
- Python (Computer program language) 477
- Cloud computing 472
- Economic conditions 461
- Leadership 451
- Machine learning 414
- Economic policy 402
- Operating systems (Computers) 395
- Economics 373
- Examinations 367
- Artificial intelligence 364
- Web site development 345
- Security measures 341
- Electrical & Computer Engineering 317
- History 313
- Computer software 311
- Java (Computer program language) 309
- Information technology 308
- Computer programming 307
- Programming 303
-
16781Publicado 2011“…With over 3,550 current references, the book highlights the role of herbal medicine in national health care while providing case studies of widely used herbal remedies and their effects on human health and wellness and the need for the design and performance of methodologically sound clinical trials for the plethora of herbal medicines--Provided by publisher…”
Libro electrónico -
16782Publicado 2022Tabla de Contenidos: “…Reciprocal Adversarial Learning for Brain Tumor Segmentation: A Solution to BraTS Challenge 2021 Segmentation Task -- Unet3D with Multiple Atrous Convolutions Attention Block for Brain Tumor Segmentation -- BRATS2021: exploring each sequence in multi-modal input for baseline U-net performance -- Automatic Brain Tumor Segmentation using Multi-scale Features and Attention Mechanism -- Simple and Fast Convolutional Neural Network applied to median cross sections for predicting the presence of MGMT promoter methylation in FLAIR MRI scans -- MSViT: Multi Scale Vision Transformer forBiomedical Image Segmentation -- Unsupervised Multimodal -- HarDNet-BTS: A Harmonic Shortcut Network for Brain Tumor Segmentation -- Multimodal Brain Tumor Segmentation Algorithm -- Swin UNETR: Swin Transformers for Semantic Segmentation of Brain Tumors in MRI Images -- Multi-plane UNet++ Ensemble for Glioblastoma Segmentation -- Multimodal Brain Tumor Segmentation using Modified UNet Architecture -- A video data based transfer learning approach for classification of MGMT status in brain tumor MR images -- Multimodal Brain Tumor Segmentation Using a 3D ResUNet in BraTS 2021 -- 3D MRI brain tumour segmentation with autoencoder regularization and Hausdorff distance loss function -- 3D CMM-Net with Deeper Encoder for Semantic Segmentation of Brain Tumors in BraTS2021 Challenge -- Cascaded training pipeline for 3D brain tumor segmentation -- nnU-Net with Region-based Training and Loss Ensembles for Brain Tumor Segmentation -- Brain Tumor Segmentation Using Attention Activated U-Net with Positive Mining -- Automatic segmentation of brain tumor using 3D convolutional neural networks -- Hierarchical and Global Modality Interaction for Brain Tumor Segmentation -- Ensemble Outperforms Single Models in Brain Tumor Segmentation -- Brain Tumor Segmentation using UNet-Context Encoding Network -- Ensemble CNN Networks for GBM Tumors Segmentation using Multi-parametric MRI…”
Libro electrónico -
16783Publicado 2016“…Fairness in Educational Assessment and Measurement addresses issues pertaining to the construction, administration, and scoring of tests, the comparison of performance across test takers, grade levels and tests, and the uses of educational test scores. …”
Libro electrónico -
16784Publicado 2023Tabla de Contenidos: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCETTM: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification — SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn–Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). …”
Libro electrónico -
16785por Multidisciplinary Digital Publishing InstituteTabla de Contenidos: “…Eng. 2016, 4(3), 48; doi: 10.3390/jmse4030048 http://www.mdpi.com/2077-1312/4/3/48 .1 -- Deniz Velioglu, Rozita Kian, Ahmet Cevdet Yalciner and Andrey Zaytsev Performance Assessment of NAMI DANCE in Tsunami Evolution and Currents Using a Benchmark Problem Reprinted from: J. …”
Publicado 2017
Libro electrónico -
16786Publicado 2018Tabla de Contenidos: “…Hjertager Engineering Fluid Dynamics Reprinted from: Energies 2017, 10(10), 1467; doi: 10.3390/en10101467 . 1 Sun-Min Kim, Jun-Ho Jo, Ye-Eun Lee and Yeong-Seok Yoo Comparative Study of Shell and Helically-Coiled Tube Heat Exchangers with Various Dimple Arrangements in Condensers for Odor Control in a Pyrolysis System Reprinted from: 2016, 9(12), 1027; doi: 10.3390/en9121027 3 Lijuan Qian, Jianzhong Lin and Fubing Bao Numerical Models for Viscoelastic Liquid Atomization Spray Reprinted from: 2016, 9(12), 1079; doi: 10.3390/en9121079 17 Emma Frosina, Dario Buono and Adolfo Senatore A Performance Prediction Method for Pumps as Turbines (PAT) Using a Computational Fluid Dynamics (CFD) Modeling Approach Reprinted from: Energies 2017, 10(1), 103; doi: 10.3390/en10010103 . 34 Yixiang Liao and Dirk Lucas Possibilities and Limitations of CFD Simulation for Flashing Flow Scenarios in Nuclear Applications Reprinted from: Energies 2017, 10(1), 139; doi: 10.3390/en10010139 . 53 Ming Gao, Peixin Dong, Shenghui Lei and Ali Turan Computational Study of the Noise Radiation in a Centrifugal Pump When Flow Rate Changes Reprinted from: Energies 2017, 10(2), 221; doi: 10.3390/en10020221 . 75 S. …”
Libro electrónico -
16787por Clardy, Alan B.Tabla de Contenidos: “…; 2 "She's a Smart Enough Broad"; 3 Improving Performance in Business Services; 4 "Looney Tunes on Parade": Part 1-Getting Started on the Right (or Left?) …”
Publicado 2012
Libro electrónico -
16788Publicado 2018“…A series of essays written by some of the leading minds in software testing, How to Reduce the Cost of Software Testing provides tips, tactics, and techniques to help readers accelerate the testing process, improve the performance of the test teams, and lower costs.The distinguished team of contributors—that includes corporate test leaders, best paper authors, and keynote speakers from leading software testing conferences—supply concrete suggestions on how to find cost savings without sacrificing outcome. …”
Libro electrónico -
16789Publicado 2022Libro electrónico
-
16790Publicado 2023“…Unfortunately, the data cannot be ignored as it helps businesses to make better decisions, solve problems, understand performance, improve processes, and understand customers. …”
Libro electrónico -
16791Publicado 2022“…With the advancement in technology, new devices require high-performance, stretchable, bendable, twistable energy sources which can be integrated into next-generation wearable, compact, and portable electronics for medical, military, and civilian applications. …”
Libro electrónico -
16792Publicado 2022Tabla de Contenidos: “…CHAPTER 1 OPTICAL FIBER AND OPTICAL DEVICES; 1.1 Optical Fiber; 1.2 Light Source; 1.2.1 Semiconductor Laser; 1.2.2 Optical Fiber Laser; 1.3 Optical Amplifier; 1.3.1 Erbium Doped Fiber Amplifier; 1.3.2 Semiconductor Optical Amplifier; 1.4 Detector; 1.5 Optical Fiber Passive Device; 1.5.1 Optical Fiber Coupler; 1.5.2 Optical Fiber Isolator; 1.5.3 Optical Fiber Circulator; 1.5.4 Optical Fiber Polarizer; 1.5.5 Optical Fiber Switcher; 1.6 Optical Fiber Modulator; ; CHAPTER 2 OPTICAL FIBER BRAGG GRATING SENSING TECHNOLOGY; 2.1 Principle of Fiber Bragg Grating Sensing; 2.2 Photosensitivity of Ge-Doped Fiber; 2.3 Fabrication of Fiber Bragg Grating; 2.4 Package Design for Strain and Temperature Sensing; 2.4.1 Package Design for Strain Sensing; 2.4.2 Package Design for Temperature Sensing; 2.4.3 Performance Evaluation Under Cryogenic Temperature; 2.5 Demodulation of Fiber Bragg Grating Sensing for Space Application; 2.5.1 Demodulation Theory of Fiber Bragg Grating Sensing; 2.5.2 Demodulation Instrument Development; 2.5.3 Effect of Environment Temperature Variation; ; CHAPTER 3 EXTRINSIC-FABRY-PEROT-INTERFEROMETER-BASED OPTICAL FIBER SENSING TECHNOLOGY; 3.1 Principle of Fabry-Perot Interferometer; 3.2 Fabry-Perot Interferometer Based Optical Fiber Sensor Structure; 3.3 Silicon-Diaphragm Optical Fiber Sensor; 3.3.1 Silicon-Diaphragm Optical Fiber Pressure Sensor; 3.3.2 Silicon-Diaphragm Optical Fiber Temperature Sensor; 3.3.3 Non-Intrusive Optical Fiber Sensor Head Chip Inspection Method; 3.4 Polarization Low Coherence Interference Demodulation for Pressure Sensing; 3.4.1 Demodulation Theory; 3.4.2 Demodulation Instrument; 3.4.3 Demodulation Algorithm; 3.4.4 Low Coherence Interference Multiplexing; 3.5 Application; 3.5.1 Optical Fiber Pressure Sensing in Ocean Application; 3.5.2 Optical Fiber Pressure Sensing in Aviation Application; ; CHAPTER 4 EXTRINSIC-FABRY-PEROT-INTERFEROMETER-BASED OPTICAL FIBER ACOUSTIC SENSING TECHNOLOGY; 4.1 Polymer-Diaphragm; 4.2 Senor Design and Parameters Optimization; 4.3 Demodulation; 4.3.1 Quadrature Phase Demodulation Theory; 4.3.2 Dual-Laser Quadrature Phase Demodulation Instrument; 4.3.3 Phase-Shifting Demodulation Instrument Using Birefringence Crystals; 4.4 Optical Fiber Acoustic Sensing in Space Application; ; CHAPTER 5 EXTRINSIC-FABRY-PEROT-INTERFEROMETER-BASED OPTICAL FIBER HIGH TEMPERATURE SENSING TECHNOLOGY; 5.1 Sapphire Material Characteristic and Solid Cavity; 5.2 Sensor Design and Parameters Optimization; 5.3 Spectrum Demodulation Theory; 5.4 Spectrum Demodulation Instrument; 5.5 Optical Fiber High Temperature Sensing in Aviation Application; ; CHAPTER 6 ASSEMBLE FREE MICRO-INTERFEROMETER?…”
Libro electrónico -
16793Publicado 2012“…The pandemic has revealed the vulnerabilities of many organizations and regional economies, and it has accelerated trends that could lead to significant improvements in productivity, performance, and resilience, which will enable organizations and regions to thrive in the "next normal." …”
Libro electrónico -
16794por Frerks, GeorgTabla de Contenidos: “…Uphill Battle : Military Organisations' Reporting on Environmental Sustainability Performance -- Part 3. Adaptation -- Chapter 10. Climate Change and the Role of the Military in Crisis Management and Disaster Response -- Chapter 11. …”
Publicado 2024
Libro electrónico -
16795por Labriet, MaryseTabla de Contenidos: “…Implications of the NetZero Transition Across Spectrum of SDG Indicators: Linking Global Energy System and CGE Models -- 2. Accelerating the Performance of Large-Scale TIMES Models in the Modelling of SDGs -- 3. …”
Publicado 2024
Libro electrónico -
16796Publicado 2023Tabla de Contenidos: “…-- Choose a Version Control System -- Containerize the Application -- Ensure Code Has Sufficient Coverage -- Start Nightly Builds with Functional Testing -- Adopt Application Performance Monitoring -- Build for the Future -- Identify Bottlenecks and Optimize -- Estimate the Time -- Get Others on Board -- Chapter 9: Productivity: Amp It Up -- The Pomodoro Method -- The Productivity of Others -- Epilogue -- Index…”
Libro electrónico -
16797Publicado 1995Tabla de Contenidos: “…""NATIONAL AND LOCAL GUIDELINES""""FUTURE ROLES FOR AHCPR""; ""A Two-Stage Approach to Guidelines Development""; ""The Forum as Clearinghouse""; ""Assessing Guidelines Developed by Other Organizations""; ""Proficiency or Performance Guidelines""; ""Coordination with Other Government Agencies""; ""CONCLUSION""; ""References""; ""A Setting Priorities for Health Technology Assessment: A Model Process Executive Summary""; ""RATIONALE""; ""METHODS OF PRIORITY SETTING""; ""GUIDING PRINCIPLES""; ""THE PROCESS PROPOSED BY THE IOM COMMITTEE""; ""Steps in the Process""; ""Seven Criteria""…”
Libro electrónico -
16798Publicado 1996Tabla de Contenidos: “…Zoon -- REGULATORY INITIATIVES AT FDA -- FDA IN THE FUTURE -- INITIATIVES AT CBER -- WILLINGNESS TO EXPLORE PILOTS -- Jay Epstein -- INITIATIVES IN BLOOD REGULATION -- PARTICIPATORY DECISION-MAKING -- PUBLIC MEETINGS -- NATIONAL PERFORMANCE REVIEW -- EXPERIMENTS IN REGULATION -- THE FORCES OF CHANGE -- THE ROLE OF THE RULE-MAKING PROCESS -- Toby Simon -- COMMENTS AND QUESTIONS -- General Discussion of Issues for Negotiated Rule-Making -- CRITERIA FOR SELECTING ISSUES -- CANDIDATES FOR REG-NEG -- IV Congressional Oversight and Regulatory Initiatives -- Congressional Oversight of Blood Safety Issues -- THE WORK OF THE SUBCOMMITTEE -- THE QUESTION OF COSTS -- DHHS Task Force on HIV and the Blood Supply -- THE TASK FORCE CHARGE -- BLOOD PRODUCTS ADVISORY COMMITTEE -- DECISION-MAKING -- COST AS A FACTOR -- THE PUBLIC VIEW -- V Postscript -- Investing in Regulatory Quality -- REQUISITES OF REGULATORY PROCEDURES -- PUBLIC PERCEPTIONS -- Appendixes -- A Negotiated Rule-Making Procedure -- Preamble -- 561. …”
Libro electrónico -
16799Publicado 2022“…Strategy is not about setting financial targets, statements of desired outcomes, or performance goals, it is about finding the crux and taking decisive, coherent action-- Proporcionat per l'editor…”
Libro -
16800Publicado 2019Tabla de Contenidos: “…Front Cover -- 5G NR -- Copyright Page -- Contents -- Acknowledgments -- List of Abbreviations -- Introduction and Background -- 1 Introduction to 5G -- 2 Use Cases and Deployment Scenarios -- 2.1 Use Cases -- 2.2 Deployment Scenarios -- 3 Key Performance Indicators, Architectural, System, and Service Requirements -- 3.1 Definition of the Performance Metrics -- 3.2 Test Environments -- 3.3 High-Level Architectural Requirements -- 3.4 System Performance Requirements -- 3.5 Service Requirements -- 4 ITU-R IMT-2020 Standardization Activities -- 5 3GPP 5G Standardization Activities -- 6 Spectrum and Regulations -- 7 Future Outlook -- References -- ITU-R Specifications -- 3GPP Specifications -- Articles, Books, White Papers, and Application Notes -- 1 5G Network Architecture -- 1.1 Design Principles and Prominent Network Topologies -- 1.1.1 Network and Service Requirements -- 1.1.2 Virtualization of Network Functions -- 1.1.2.1 Architectural Aspects -- 1.1.2.2 Functional Aspects -- 1.1.2.3 Operational Aspects -- 1.1.2.4 Legacy Support and Interworking Aspects -- 1.1.3 Separation of Control and User Planes (Software-Defined Networks) -- 1.1.3.1 Architectural Aspects -- 1.1.4 Network Slicing -- 1.1.5 Heterogeneous and Ultra-dense Networks -- 1.1.6 Cloud-RAN and Virtual-RAN -- 1.1.6.1 Architectural Aspects -- 1.1.6.2 Fronthaul Transport and Functional Split Options -- 1.1.6.3 Backhaul Transport Options -- 1.1.7 Mobile Edge Computing -- 1.1.7.1 Service and Deployment Scenarios -- 1.1.7.2 Architectural Aspects -- 1.1.8 Network Sharing -- 1.2 Reference Architectures -- 1.2.1 Access Network -- 1.2.1.1 Reference Architecture: Network Entities and Interfaces -- 1.2.1.1.1 Xn Control-Plane/User-Plane Functions and Procedures -- 1.2.1.1.2 F1 Control-Plane/User-Plane Functions and Procedures -- 1.2.1.1.3 E1 Control-Plane Functions and Procedures…”
Libro electrónico