Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Development 1,400
- Application software 1,242
- History 1,188
- Historia 743
- Management 741
- Artificial intelligence 628
- Python (Computer program language) 606
- Computer programs 597
- Data processing 580
- Cloud computing 535
- Social aspects 530
- Machine learning 514
- Computer networks 493
- Engineering & Applied Sciences 476
- Security measures 403
- Design 393
- Computer programming 364
- Computer security 360
- Computer software 360
- Programming 358
- Operating systems (Computers) 354
- Philosophy 347
- Web site development 341
- Computer Science 337
- Information technology 331
- History and criticism 327
- Education 325
- Filosofía 324
- Technological innovations 313
- Data mining 312
-
6141por Heinström, Jannica, 1970-Tabla de Contenidos: “…Cover; From Fear to Flow: Personality and information interaction; Copyright; Contents; List of figures and tables; About the author; List of acronyms; 1 Introduction; Making the most of strengths; The whole is more than the sum of the parts; 2 Personality; Trait theory; Consistency; Genetic base; Five-factor model; 3 Openness to experience - the exploration dimension; Introduction; Open information interaction; Innovation and discovery; Joy of learning; Intuitive decision-making; Incidental information acquisition; Curiosity; Tip-of-the-tongue experience; Risk-taking…”
Publicado 2010
Libro electrónico -
6142por Mirza, Abbas A.Tabla de Contenidos: “…25 Earnings Per Share (IAS 33)26 Interim Financial Reporting (IAS 34); 27 Impairment of Assets (IAS 36); 28 Provisions, Contingent Liabilities, and Contingent Assets (IAS 37); 29 Intangible Assets (IAS 38); 30 Investment Property (IAS 40); 31 Agriculture (IAS 41); 32 First-Time Adoption of International Financial Reporting Standards (IFRS 1); 33 Share-Based Payments (IFRS 2); 34 Business Combinations (IFRS 3); 35 Insurance Contracts (IFRS 4); 36 Noncurrent Assets Held for Sale and Discontinued Operations (IFRS 5); 37 Exploration for and Evaluation of Mineral Resources (IFRS 6)…”
Publicado 2011
Libro electrónico -
6143por Coalson, NathanielTabla de Contenidos: “…NATURE PHOTOGRAPHY PHOTO WORKSHOP; ABOUT THE AUTHOR; CONTENTS; FOREWORD; INTRODUCTION; CHAPTER 1: AWAKENING TO NATURE PHOTOGRAPHY; EXPLORING YOUR RELATIONSHIP TO NATURE; ETHICS AND ETIQUETTE; SAFETY; LOCATION SCOUTING; CHAPTER 2: WAYS OF SEEING THE NATURAL WORLD; HUMAN VISION AND PERCEPTION; LEARNING TO SEE; WHAT MAKES A COMPELLING NATURE PHOTOGRAPH?…”
Publicado 2010
Libro electrónico -
6144Publicado 2014Tabla de Contenidos: “…Sharing beautiful ideas -- Henderson and Clark's four types of innovation -- Rogers' adoption and diffusion curve -- Abernathy and Utterback's three phases of innovation -- Chesbrough's open innovation -- March's exploration vs. exploitation -- Johnson and Johnson's constructive controversy cycle -- Powell and Grodal's networks for innovation -- Boyd's OODA loop -- Final words -- More reading for curious people -- Index…”
Libro electrónico -
6145por Weston, AnthonyTabla de Contenidos: “…Extended Arguments; 29: Explore the issue…”
Publicado 2008
Libro electrónico -
6146Publicado 2008Tabla de Contenidos: “…Not So Fast; Swimming Lesson #3-The Deep End: Exploring All Options; Plympton's Dogma; The Fragile Emotion; Life in Short; Conversation with Tom Quinn and Carter Pilcher; Rudiments of the Short Film; What's a Short Film, Really?…”
Libro electrónico -
6147Publicado 2012Tabla de Contenidos: “…Cover; Contents; Series foreword; Acknowledgements; 1 Introduction; Further reading; 2 A brief history of online research methods; The growth of the internet; Researching online and online methods; Online research methods as a field; The growth of online surveys; Exploring the potential for online qualitative research; Doing fieldwork without a field; Beginning to experiment online; In summary; Further reading; 3 Dealing with ethical issues in online research; Ethics in social science research; Ethics in online research; Privacy; Informed consent; Anonymity and confidentiality; Legal issues…”
Libro electrónico -
6148Publicado 2015Tabla de Contenidos: “…-Part V: Implementation and Case Studies of Life Cycle Management in Different Business and Industry Sector -- Exploring Challenges and Opportunities of Life Cycle Management in the Electricity Sector -- Life Cycle Management Applied to Urban Fabric Planning -- Implementing Life Cycle Engineering in Automotive Development as a Helpful Management Tool to Support Design for Environment -- Managing Life cycle Sustainability Aspects in the Automotive Industry -- Life Cycle Management as a Way to Operationalize the Creating Shared Value Concept in the Food and Beverage Industry: A Case Study…”
Libro electrónico -
6149Publicado 2009Tabla de Contenidos: “…; 16 Disability and Polyamory: Exploring the Edges of Inter-Dependence, Gender and Queer Issues in Non-Monogamous Relationships; Part V Extending Non-Monogamies; 17 Strategies in Polyamorous Parenting; 18 'To Pass, Border or Pollute': Polyfamilies Go to School; 19 Developing a 'Responsible' Foster Care Praxis: Poly as a Framework for Examining Power and Propriety in Family Contexts…”
Libro electrónico -
6150Publicado 2007Tabla de Contenidos: “…Centeno and Willard Gingerich -- Exploring the grammar of Spanish-speaking children with specific language impairment / Raquel T. …”
Libro electrónico -
6151Publicado 2023Tabla de Contenidos: “…Variational Autoencoders -- Introduction -- Autoencoders -- The Fashion-MNIST Dataset -- The Autoencoder Architecture -- The Encoder -- The Decoder -- Joining the Encoder to the Decoder -- Reconstructing Images -- Visualizing the Latent Space -- Generating New Images -- Variational Autoencoders -- The Encoder -- The Loss Function -- Training the Variational Autoencoder -- Analysis of the Variational Autoencoder -- Exploring the Latent Space -- The CelebA Dataset…”
Libro electrónico -
6152Publicado 2023Tabla de Contenidos: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner’s Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration…”
Libro electrónico -
6153Publicado 2024Tabla de Contenidos: “…. / Nancy Reagin -- Popular music heritage in Ekaterinburg : from seeking authorisation and nostalgia for Soviet Rock to participatory place-making / Alexandra Kolesnik and Alisa Maximova -- Negotiating dark and light magic : witch-themed tourism in Harz, Germany, in a transcultural context / Timo Thelen -- What about the locals? Exploring residents' interest in and suggestions for the development of film tourism in Seville, Spain / Deborah Castro -- Film tourism in Brazil : learning from local perspectives / Débora Póvoa -- Developing and managing film-related tourism at film studios with the design of cultural and heritage features : the case of Hengdian World Studios (China) / Xin Cui, Les Roberts and Wallis Motta -- Promoting popular culture (and) tourism as national policies : comparing "Cool Japan" and "Korean Wave" / Kyungjae Jang and Sean Kim -- Destination Nollywood : the connections between film and tourism in Nigeria, 2012-2022 / Emiel Martens and Edmund Onwuliri…”
Libro electrónico -
6154Publicado 2014Tabla de Contenidos: “…The impact of the European Court of Human Rights on Tenancy Law; Exploring interfaces between social long-term contracts and European law through tenancy law; Das koreanische Wohnungsmietschutzgesetz und die Notwendigkeit der Kontrolle des Mietwuchers…”
Biblioteca de la Universidad de Navarra (Otras Fuentes: Biblioteca Universidad de Deusto)Libro -
6155Publicado 2009Tabla de Contenidos: “…From web pages to distance learning: technology in the foreign language curriculum / Robert Blake -- Writing as process and online education: matching pedagogy with delivery / Kristine Blair -- Tools for Teaching Language and Literature Online / Elizabeth Hanson-Smith -- Teaching world languages online / Mary Ann Lyman-Hager -- Humane studies in digital space / Jerome McGann -- Between language and literature: digital text exploration / Stéfan Sinclair and Geoffrey Rockwell -- Case studies in thelanguages : Fostering cohesion and community in asynchronous online courses -- -- Stephen l. …”
Libro -
6156Publicado 2007Tabla de Contenidos: “…Centeno and Willard Gingerich -- Exploring the grammar of Spanish-speaking children with specific language impairment / Raquel T. …”
Libro -
6157Publicado 2024Tabla de Contenidos: “…The relevance of situated expectancy-value theory to understanding motivation and emotion in different contexts / Allan Wigfield and Jacquelynne S. Eccles -- Exploring interest theory and its reciprocal relation to achievement goals, self-efficacy, and self-regulation / K. …”
Libro -
6158Publicado 2018Tabla de Contenidos: “…Dynamic programming -- Value iteration -- Policy iteration -- Solving the frozen lake problem -- Value iteration -- Policy iteration -- Summary -- Questions -- Further reading -- Chapter 4: Gaming with Monte Carlo Methods -- Monte Carlo methods -- Estimating the value of pi using Monte Carlo -- Monte Carlo prediction -- First visit Monte Carlo -- Every visit Monte Carlo -- Let's play Blackjack with Monte Carlo -- Monte Carlo control -- Monte Carlo exploration starts -- On-policy Monte Carlo control -- Off-policy Monte Carlo control -- Summary -- Questions -- Further reading -- Chapter 5: Temporal Difference Learning -- TD learning -- TD prediction -- TD control -- Q learning -- Solving the taxi problem using Q learning -- SARSA -- Solving the taxi problem using SARSA -- The difference between Q learning and SARSA -- Summary -- Questions -- Further reading -- Chapter 6: Multi-Armed Bandit Problem -- The MAB problem -- The epsilon-greedy policy -- The softmax exploration algorithm -- The upper confidence bound algorithm -- The Thompson sampling algorithm -- Applications of MAB -- Identifying the right advertisement banner using MAB -- Contextual bandits -- Summary -- Questions -- Further reading -- Chapter 7: Deep Learning Fundamentals -- Artificial neurons -- ANNs -- Input layer -- Hidden layer -- Output layer -- Activation functions -- Deep diving into ANN -- Gradient descent -- Neural networks in TensorFlow -- RNN -- Backpropagation through time -- Long Short-Term Memory RNN -- Generating song lyrics using LSTM RNN -- Convolutional neural networks -- Convolutional layer -- Pooling layer -- Fully connected layer -- CNN architecture -- Classifying fashion products using CNN -- Summary -- Questions -- Further reading -- Chapter 8: Atari Games with Deep Q Network -- What is a Deep Q Network? …”
Libro electrónico -
6159Publicado 2018Tabla de Contenidos: “…Downloading the diff of pull requests -- A global list of your open pull requests -- Adding a LICENSE file using the web editor -- Creating new directories using the web editor -- Summary -- Chapter 5: GitHub Pages and Web Analytics -- GitHub Pages -- Creating a user or an organization page -- Creating a project page -- Choosing a theme to style your page -- Using a custom domain -- Introducing Jekyll -- Installing Jekyll -- Customizing your page using Jekyll -- Read more about Jekyll -- Web analytics -- Pulse -- Contributors - additions/deletions -- Community profile -- Commits over time -- Code frequency -- Dependency graph -- Network -- Forks -- Traffic -- Tips and tricks -- Making use of Github Pages' metadata with Jekyll -- Summary -- Chapter 6: Exploring the User and Repository Settings -- User settings -- Profile -- Setting up multiple emails -- Managing your SSH keys -- Setting up two-factor authentication -- Repository settings -- Changing the default branch that appears in a repository's main page -- Enabling/disabling the wiki -- Enabling/disabling the issue tracker -- Adding collaborators -- Transferring ownership - user to organization -- Deleting a repository -- Tips and tricks -- Finding the size of your repositories -- Fine-tuning email notifications -- Summary -- Other Books You May Enjoy -- Index…”
Libro electrónico -
6160Publicado 2019Tabla de Contenidos: “…Reconnect to what you are awesome at - your strengths -- It's time to own it (time that is) -- Part III Combat burn out -- chapter 6 Define what's important -- The cost of Burn Out -- The universal truth -- Your values - from obscure to clear -- Explore your unique blend -- Identify your values -- Listen to the rumblings -- Know what presses your buttons -- Explore your top five lists -- The bullshit of balance -- chapter 7 Design a values-aligned life -- From diminished to amplified -- Your intention drives your attention -- Your behaviours show your intentions -- Your environment reflects your values -- Rituals are your anchor -- Refresh and redesign -- chapter 8 Defend the sacred -- From exposed to protected -- Let go of #FOMO -- Draw the line -- Mitigate the impact -- Delegate like a boss -- Eliminate it, stat -- Leadership: defend what's sacred in your workplace -- Set non-negotiables -- Make it public -- Celebrate and reward -- Know the 'why' behind the 'what' -- Part IV Tackle freak out -- chapter 9 Map it -- From blindfolded to blueprint -- Getting found when we're feeling lost -- Five essential components of maps -- 1. …”
Libro electrónico