Mostrando 1,781 - 1,800 Resultados de 11,995 Para Buscar '"Largs"', tiempo de consulta: 0.10s Limitar resultados
  1. 1781
    por GPCE (Conference)
    Publicado 2005
    Tabla de Contenidos: “…Invited Talks -- Object-Oriented Reengineering Patterns — An Overview -- abc: The AspectBench Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language -- On Domain-Specific Languages Reengineering -- Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language -- Aspect-Oriented Programming -- AOP++: A Generic Aspect-Oriented Programming Framework in C++ -- Model Compiler Construction Based on Aspect-Oriented Mechanisms -- FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming -- Shadow Programming: Reasoning About Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax -- A Versatile Kernel for Multi-language AOP -- Semi-inversion of Guarded Equations -- Generative Techniques I -- A Generative Programming Approach to Interactive Information Retrieval:Insights and Experiences -- Optimizing Marshalling by Run-Time Program Generation -- Applying a Generative Technique for Enhanced Genericity and Maintainability on the J2EE Platform -- Multi-stage Programming -- Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code -- Implicitly Heterogeneous Multi-stage Programming -- Generative Techniques II -- Source-Level Optimization of Run-Time Program Generators -- Statically Safe Program Generation with SafeGen -- A Type System for Reflective Program Generators -- Sorting Out the Relationships Between Pairs of Iterators, Values, and References -- Components and Templates -- Preprocessing Eden with Template Haskell -- Syntactic Abstraction in Component Interfaces -- Component-Oriented Programming with Sharing: Containment is Not Ownership -- Generic Programming -- Language Requirements for Large-Scale Generic Libraries -- Mapping Features to Models: A Template Approach Based on Superimposed Variants -- Demonstrations -- Developing Dynamic and Adaptable Applications with CAM/DAOP: A Virtual Office Application -- Metamodeling Made Easy – MetaEdit+ (Tool Demonstration)…”
    Libro electrónico
  2. 1782
    Publicado 2013
    Tabla de Contenidos: “…Chapter 13 - Flow and Dispersion in Street Canyons*Chapter 14 - Air Flow through Tunnels; Chapter 15 - Sound Outdoors and Noise Pollution; Chapter 16 - Riverine Transport, Mixing, and Dispersion; Chapter 17 - Ocean Outfalls; Chapter 18 - Modeling Oil Spills to Mitigate Coastal Pollution; Chapter 19 - Miscible and Immiscible Pollutants in Subsurface Systems; Chapter 20 - Turbulent Flow Modeling; Chapter 21 - Direct and Large Eddy Simulation of Environmental Flows; Chapter 22 - Multiscale Nesting and High Performance Computing…”
    Libro electrónico
  3. 1783
    por Mednieks, Zigurd
    Publicado 2014
    Tabla de Contenidos:
    Libro electrónico
  4. 1784
    por St. Denis, Tom
    Publicado 2007
    Tabla de Contenidos: “…Encrypt and Authenticate Modes; Introduction; Design and Implementation; Putting It All Together; Frequently Asked Questions; Chapter 8. Large Integer Arithmetic; Introduction; What Are BigNums?…”
    Libro electrónico
  5. 1785
    por Orol, Ronald D.
    Publicado 2008
    Tabla de Contenidos: “…Chapter 5: Why Activists Target Certain Corporations and Leave Others AloneFending Off Activists: A New Corporate Agenda; Chapter 6: Overperked and Overpaid; Chapter 7: Hedge Specialization; Chapter 8: Regulation and Activists; Part Two: INSTITUTIONAL INVESTORS AND ACTIVISTS; Chapter 9: Institutional Investors on Activist Hedge Funds; Chapter 10: Activists Taking on Large Corporations Must Have Institutional Support; Chapter 11: Institutions and Activist Hedge Funds; Chapter 12: Just Vote No and No and No Again…”
    Libro electrónico
  6. 1786
    Publicado 2007
    Tabla de Contenidos:
    Libro electrónico
  7. 1787
    Tabla de Contenidos: “…Cover -- Contents -- Introduction -- Part I: Core Concepts -- Chapter 1 Crypto Refresh -- Confidentiality, Integrity, Authenticity, Nonrepudiation -- Asymmetric Encryption -- Other Crypto Functions -- Internet Key Exchange (IKE) -- Device Configuration: Certificates -- Summary -- Chapter 2 Understanding PKI Building Blocks -- Certificates -- Certification Authority (CA) -- Subordinate Certification Authorities (Sub-CA) -- Registration Authority (RA) -- Endpoint Entities: Users and Devices -- Key and Certificate Storage -- Summary -- Chapter 3 PKI Processes and Procedures -- Enrollment -- Certificate Expiration and Renewal -- Certificate Verification and Enforcement -- PKI Resiliency -- Summary -- Chapter 4 Troubleshooting -- Keying Material Generation -- Enrollment Process -- Certificate Use and Validation -- Troubleshooting Flow Charts -- Summary -- Part II: Design and Solutions -- Chapter 5 Generic PKI Designs -- Basic Design with Flat CA Architecture -- Hierarchical Architecture -- Hierarchical Architecture Without Chaining -- Hierarchical Architecture with Chaining -- Summary -- Chapter 6 Integration in Large-Scale Site-to-Site VPN Solutions -- How Do VPN Technologies Use PKI as a Service? …”
    Libro electrónico
  8. 1788
    Publicado 2015
    Tabla de Contenidos: “…DIRECT NUMERICAL SIMULATION; 3. LARGE EDDY SIMULATION; 4. DETACHED EDDY SIMULATION; REFERENCES; Chapter 5 - Cluster Classification; 1. …”
    Libro electrónico
  9. 1789
    Publicado 2010
    Tabla de Contenidos: “…Chapter 7: Philanthropic Venture Capital: A New Model of Financing for Social EntrepreneursPart II: The Structure of Venture Capital Investments; Chapter 8: Financial Contracts and Venture Capitalists' Value-Added; Chapter 9: Venture Capitalists, Monitoring and Advising; Chapter 10: Project Externalities and Moral Hazard; Chapter 11: Doing It Not Alone: Antecedents, Dynamics, and Outcomes of Venture Capital Syndication; Part III: Venture Capital Value-Added and Conflicts; Chapter 12: Time to Grow Up: Large Sample Evidence on the Maturation Dynamics of Private Venture-Backed Firms…”
    Libro electrónico
  10. 1790
    Publicado 2022
    Tabla de Contenidos: “…Part I: Getting Started -- Chapter 1: The Internet of Things, V and V, and Testing -- Chapter 2: IoT Technology in Time and Space -- Chapter 3: Big Picture Lessons Learned in IoT Project Test Planning -- Chapter 4: Factors Driving IoT Testing/V and V Selection and Planning -- Chapter 5: Beginner Keys for Starting IoT Test Planning -- Part II: IoT Planning, Test, Strategy and Architecture - Team Leadership -- Chapter 6: IoT Test Plan: Strategy and Architecture Introductions -- Chapter 7: IoT Test Planning and Strategy for Hardware and Software -- Chapter 8: Planning for the IoT Tester on Environments and Testing Details -- Chapter 9: System Engineering Concepts in IoT Test Planning -- Part III: IoT Test Designs and Security Assessments -- Chapter 10: IoT Test Design: Frameworks, Techniques, Attacks, Patterns, and Tours -- Chapter 11: Classic IoT V and V/Test Concepts, Techniques, and Practices -- Chapter 12: Test Approaches and Quality Assessments for IoT Agile/DevOps -- Chapter 13: IoT Software Security Test Attacks and Designs -- Chapter 14: OWASP IoT Information Pointer, and Logging Events -- Chapter 15: Internal Security Team Penetration Test Process -- Chapter 16: IoT Test Environment Introduction -- Part IV: IoT Architectures, Environments, and Integrated Independent Testing -- Chapter 17: Architectures Critical to Project Success -- Chapter 18: Overview of IoT Software Architectures: Products and Testing Support -- Chapter 19: IoT STA System: Software Integration Lab (SIL) Environments -- Chapter 20: Tools for the Software-System Integration Lab (SIL) -- Chapter 21: Environments for Independent Testing and V and V on Large IoT Systems -- Chapter 22: Self-Organizing Data Analytics (SODA): IoT Data Analytics, AI, and Statistics -- Appendix A: IoT Supporting Interface, Hardware, Platform, and Protocol Standards -- Appendix B: Careers in IoT Testing -- Appendix C: IoT Testing Start-up Checklist…”
    Libro electrónico
  11. 1791
    Publicado 2018
    Tabla de Contenidos: “…About the Special Issue Editor -- Preface to "Hybrid Modelling and Multi-Parametric Control of Bioprocesses" -- Karen Schwab, Jennifer Lauber and Friedemann Hesse Fluorometric In Situ Monitoring of an Escherichia coli Cell Factory with Cytosolic Expression of Human Glycosyltransferase GalNAcT2: Prospects and Limitations -- Karen Schwab and Friedemann Hesse Estimating Extrinsic Dyes for Fluorometric Online Monitoring of Antibody Aggregation in CHO Fed-Batch Cultivations -- Maike Kuschel, Flora Siebler and Ralf Takors Lagrangian Trajectories to Predict the Formation of Population Heterogeneity in LargeScale Bioreactors -- Dominik Egger, Ivo Schwedhelm, Jan Hansmann and Cornelia Kasper Hypoxic Three-Dimensional Scaffold-Free Aggregate Cultivation of Mesenchymal Stem Cells in a Stirred Tank Reactor -- Dominik Egger, Monica Fischer, Andreas Clementi, Volker Ribitsch, Jan Hansmann and Cornelia Kasper Development and Characterization of a Parallelizable Perfusion Bioreactor for 3D Cell Culture -- Dennis Vier, Stefan Wambach, Volker Schnemann and Klaus-Uwe Gollmer Multivariate Curve Resolution and Carbon Balance Constraint to Unravel FTIR Spectra fromFed-Batch Fermentation Samples -- Julian Kopp, Christoph Slouka, Sophia Ulonska, Julian Kager, Jens Fricke, Oliver Spadiut and Christoph Herwig Impact of Glycerol as Carbon Source onto Specific Sugar and Inducer Uptake Rates and Inclusion Body Productivity in E. coli BL21(DE3) -- Rimvydas Simutis and Andreas Lubbert Hybrid Approach to State Estimation for Bioprocess Control -- Thomas Zahel, Lukas Marschall, Sandra Abad, Elena Vasilieva, Daniel Maurer, Eric M. …”
    Libro electrónico
  12. 1792
    por AISC 2010
    Publicado 2010
    Tabla de Contenidos: “…-- How to Correctly Prune Tropical Trees -- From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals -- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar -- Contributions to Calculemus 2010 -- Some Considerations on the Usability of Interactive Provers -- Mechanized Mathematics -- Formal Proof of SCHUR Conjugate Function -- Symbolic Domain Decomposition -- A Formal Quantifier Elimination for Algebraically Closed Fields -- Computing in Coq with Infinite Algebraic Data Structures -- Formally Verified Conditions for Regularity of Interval Matrices -- Reducing Expression Size Using Rule-Based Integration -- A Unified Formal Description of Arithmetic and Set Theoretical Data Types -- Contributions to MKM 2010 -- Against Rigor -- Smart Matching -- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System -- An OpenMath Content Dictionary for Tensor Concepts -- On Duplication in Mathematical Repositories -- Adapting Mathematical Domain Reasoners -- Integrating Multiple Sources to Answer Questions in Algebraic Topology -- An Integrated Development Environment for Collections -- Proofs, Proofs, Proofs, and Proofs -- Dimensions of Formality: A Case Study for MKM in Software Engineering -- Towards MKM in the Large: Modular Representation and Scalable Software Architecture -- The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents -- Notations Around the World: Census and Exploitation -- Evidence Algorithm and System for Automated Deduction: A Retrospective View -- On Building a Knowledge Base for Stability Theory -- Proviola: A Tool for Proof Re-animation -- A Wiki for Mizar: Motivation, Considerations, and Initial Prototype…”
    Libro electrónico
  13. 1793
    Publicado 2005
    Tabla de Contenidos: “…Urban outfitting: the city and the spaces of fashion culture / David Gilbert -- Fashioning new forms of consumption: the case of Paul Smith / Louise Crewe and Alison Goodrum -- Be our brand: fashion and personalization on the web / Sarah Berry -- Visual seduction and perverse compliance: reviewing food fantasies, large appetites and grotesque bodies / Lorraine Gamman -- "No one expects me anywhere": invisible women, ageing and the fashion industry / Pamela Church Gibson. …”
    Libro
  14. 1794
    Publicado 2004
    Tabla de Contenidos: “…Pond, III -- Music 200, "Understanding Music" : an inquiry-guided approach to music appreciation / Jonathan Kramer and Alison Arnold -- Scale-up : bringing inquiry-guided learning to large enrollment courses / Maria Oliver-Hoyo and Robert Beichner -- Inquiry-guided learning and the foreign language classroom / Ana Kennedy and Susan Navey-Davis -- Incorporating active learning, critical thinking, and problem-based learning in an advanced French culture and civilization course / Arlene Malinowski -- Enhancing inquiry-guided learning with technology in history courses / Richard W. …”
    Sumario
    Libro
  15. 1795
    por Boorstin, Daniel J., 1914-2004
    Publicado 1999
    Tabla de Contenidos: “…A personal note to the reader -- Book One: An ancient heritage -- Part 1: The way of prophets: a higher authority -- From seer to prophet: Moses' test of obedience -- A covenanting God: Isaiah's test of faith -- Struggles of the believer: Job -- A world self-explained: evil in the East -- Part II: The way of philosophers: a wondrous instrument within -- Socrates' discovery of ignorance -- The life in the spoken word -- Plato's other-world of ideas -- Paths to utopia: virtues writ large -- Aristotle: an outsider in Athens -- On paths of common sense -- Aristotle's God for a changeful world -- Part III: The Christian way: experiments in community -- Fellowship of the faithful: the Church -- Islands of faith: monasteries -- The way of disputation: universities -- Varieties of the Protestant way: Erasmus, Luther, Calvin -- Book Two: Communal search -- Part IV: Ways of discovery: in search of experience -- The legacy of Homer: myth and the heroic past -- Herodotus and the birth of history -- Thucydides creates a political science -- From myth to literature: Virgil -- Thomas More's new paths to utopia -- Francis Bacon's vision of old idols and new dominions -- From the soul to the self: Descartes' island within -- Part V: The liberal way -- Machiavelli's reach for a nation -- John Locke defines the limits of knowledge and of government -- Voltaire's summons to civilization -- Rousseau seeks escape -- Jefferson's American quest -- Hegel's turn to "the divine idea on earth" -- Book Three: Paths to the future -- Part VI: The momentum of history: ways of social science -- A gospel and a science of progress: Condorcet to Comte -- Karl Marx's pursuit of destiny -- From nations to cultures: Spengler and Toynbee -- A world in revolution? …”
    Sumario
    Libro
  16. 1796
    Publicado 2021
    Tabla de Contenidos: “…Managing Acquisition Data for Developing Large Sesotho, English, and French Corpora for CHILDES -- 32. …”
    Libro electrónico
  17. 1797
    Publicado 2023
    Tabla de Contenidos: “…Choose Your Mix of Quantitative and Qualitative Data Visualizations -- Developing Effective DEI Scorecards and Dashboards -- Choosing between DEI Scorecards and Dashboards -- Determining DEI Impact -- Collecting New Data -- Evaluating Results -- Generating Findings -- The Power of DEI Storytelling -- DEI Data Storytelling -- Continuing the Five-Step Cycle of Data-Driven DEI -- 6 Conclusion: Conclusion: The Future of Data-Driven DEI -- DEI and Equitable AnalyticsTM -- Step 1: Determine the Focus of Analysis -- Step 2: Build a Causal Logic Model -- Step 3: Develop an Analytical Framework -- Step 4: Conduct Precision Modeling -- Step 5: Perform an Equity Assessment -- Step 6: Produce Actionable Insights -- DEI and Deep Learning -- Large Language Models -- Large Language Models and DEI -- DEI and Transparency/Ubiquity -- DEI Integrated Platforms -- DEI and DNA -- Notes -- About the Author -- Index -- EULA…”
    Libro electrónico
  18. 1798
    Publicado 2024
    Tabla de Contenidos: “…Chapter 6: Understanding Domain Adaptation for Large Language Models -- Demystifying domain adaptation - understanding its history and importance -- Practice project: Transfer learning for the finance domain -- Training methodologies for financial domain adaptation -- Evaluation and outcome analysis - the ROUGE metric -- Summary -- References -- Chapter 7: Mastering the Fundamentals of Prompt Engineering -- The shift to prompt-based approaches -- Basic prompting - guiding principles, types, and structures -- Guiding principles for model interaction -- Prompt elements and structure -- Elevating prompts - iteration and influencing model behaviors -- LLMs respond to emotional cues -- Effect of personas -- Situational prompting or role-play -- Advanced prompting in action - few-shot learning and prompt chaining -- Practice project: Implementing RAG with LlamaIndex using Python -- Summary -- References -- Chapter 8: Addressing Ethical Considerations and Charting a Path Toward Trustworthy Generative AI -- Ethical norms and values in the context of generative AI -- Investigating and minimizing bias in generative LLMs and generative image models -- Constrained generation and eliciting trustworthy outcomes -- Constrained generation with fine-tuning -- Constrained generation through prompt engineering -- Understanding jailbreaking and harmful behaviors -- Practice project: Minimizing harmful behaviors with filtering -- Summary -- References -- Index -- About Packt -- Other Books You May Enjoy…”
    Libro electrónico
  19. 1799
    Publicado 2017
    Tabla de Contenidos: “…a speed control remote with central steering wheel -- linear actuators -- large linear actuator -- small linear actuator -- linear actuators vs. pneumatics -- extension wires -- miscellaneous elements -- switch -- LED lights -- Chapter 15: the RC system -- overview of the LEGO RC systems -- RC proper system and its components -- the control unit -- the remote -- the steering attachment -- motors -- putting it all together -- RC system vs. …”
    Libro electrónico
  20. 1800
    Publicado 2022
    Tabla de Contenidos: “…Chapter 10: Semantic Role Labeling with BERT-Based Transformers -- Getting started with SRL -- Defining semantic role labeling -- Visualizing SRL -- Running a pretrained BERT-based model -- The architecture of the BERT-based model -- Setting up the BERT SRL environment -- SRL experiments with the BERT-based model -- Basic samples -- Sample 1 -- Sample 2 -- Sample 3 -- Difficult samples -- Sample 4 -- Sample 5 -- Sample 6 -- Questioning the scope of SRL -- The limit of predicate analysis -- Redefining SRL -- Summary -- Questions -- References -- Chapter 11: Let Your Data Do the Talking: Story, Questions, and Answers -- Methodology -- Transformers and methods -- Method 0: Trial and error -- Method 1: NER first -- Using NER to find questions -- Location entity questions -- Person entity questions -- Method 2: SRL first -- Question-answering with ELECTRA -- Project management constraints -- Using SRL to find questions -- Next steps -- Exploring Haystack with a RoBERTa model -- Exploring Q&amp -- A with a GTP-3 engine -- Summary -- Questions -- References -- Chapter 12: Detecting Customer Emotions to Make Predictions -- Getting started: Sentiment analysis transformers -- The Stanford Sentiment Treebank (SST) -- Sentiment analysis with RoBERTa-large -- Predicting customer behavior with sentiment analysis -- Sentiment analysis with DistilBERT -- Sentiment analysis with Hugging Face's models' list -- DistilBERT for SST -- MiniLM-L12-H384-uncased -- RoBERTa-large-mnli -- BERT-base multilingual model -- Sentiment analysis with GPT-3 -- Some Pragmatic I4.0 thinking before we leave -- Investigating with SRL -- Investigating with Hugging Face -- Investigating with the GPT-3 playground -- GPT-3 code -- Summary -- Questions -- References -- Chapter 13: Analyzing Fake News with Transformers -- Emotional reactions to fake news…”
    Libro electrónico