Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "linear temporal logic specifications"
University at Buffalo
Skills you'll gain: HVAC, Basic Electrical Systems, Engineering Calculations, Architectural Design, Electrical Engineering, Building Services Engineering, System Requirements, Electrical Safety, Design Specifications, Project Design, Architectural Engineering, Land Development, Semiconductors, Feasibility Studies, Design Reviews, Cost Benefit Analysis, Electronic Components, Submittals (Construction), Electrical Wiring, Safety Assurance
- Status: Free
Eindhoven University of Technology
Skills you'll gain: Electronic Systems, Electronic Components, Electrical Engineering, Wireless Networks, System Design and Implementation, Design Specifications, Simulations
University of Colorado Boulder
Skills you'll gain: Statistical Inference, Statistical Modeling, Statistical Hypothesis Testing, Regression Analysis, R Programming, Data Ethics, Experimentation, Research Design, Statistical Methods, Data Science, Data Analysis, Statistical Analysis, Data Modeling, Predictive Modeling, Predictive Analytics, Probability & Statistics, Mathematical Modeling, Forecasting, A/B Testing, Quantitative Research
University of Colorado Boulder
Skills you'll gain: Post-Production, Storyboarding, Storytelling, Media Production, Adobe Creative Cloud, Editing, Content Creation, Writing and Editing, Proposal Development, Data Import/Export, Writing, Graphic and Visual Design, Multimedia, Scripting, Creativity, Timelines, Aesthetics, File Management, Quality Assurance
University of Geneva
Skills you'll gain: Portfolio Management, Risk Management, Business Risk Management, Investments, Asset Management, Wealth Management, Financial Market, Financial Management, Probability Distribution, Correlation Analysis, Variance Analysis
- Status: Free
National Taiwan University
Skills you'll gain: Operations Research, Mathematical Modeling, Process Optimization, Applied Mathematics, Business Modeling, Industrial Engineering, Operations Management, Inventory Control, Resource Allocation, Business Analytics, Production Planning, Microsoft Excel, Scheduling, Linear Algebra, Decision Making, Portfolio Management, Complex Problem Solving
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Digital Communications, Electrical Engineering, Electrical and Computer Engineering, Programming Principles, Computer Engineering, Engineering Analysis, Advanced Mathematics, Numerical Analysis, Algorithms, Linear Algebra, Time Series Analysis and Forecasting, Applied Mathematics
University of California San Diego
Skills you'll gain: Data Modeling, Data Infrastructure, Databases, Data Architecture, Big Data, Data Management, Database Management Systems, Real Time Data, NoSQL, Database Design, Data Processing, Data Storage, Relational Databases, Scalability, Virtual Environment
- Status: Free
Skills you'll gain: Linear Algebra, Applied Mathematics, Algebra, Calculus, Advanced Mathematics, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis
California Institute of the Arts
Skills you'll gain: Information Architecture, Persona (User Experience), UI/UX Strategy, User Experience Design, Web Design, Wireframing, User Interface (UI), User Research, Mockups, Agile Methodology, Waterfall Methodology
University of Washington
Skills you'll gain: Classification And Regression Tree (CART), Applied Machine Learning, Supervised Learning, Predictive Modeling, Text Mining, Machine Learning Algorithms, Feature Engineering, Data Cleansing, Scalability, Machine Learning, Natural Language Processing, Regression Analysis, Real Time Data, Probability & Statistics, Algorithms
University of Colorado Boulder
Skills you'll gain: Internet Of Things, API Design, Amazon Web Services, Application Programming Interface (API), Network Protocols, Microservices, Cloud Applications, Cloud Platforms, Embedded Systems, Serverless Computing, Cybersecurity, Cloud Computing, Software Development, Wireless Networks
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Solar Energy for Engineers, Architects and Code Inspectors:Â University at Buffalo
- RF and millimeter-Wave Circuit Design:Â Eindhoven University of Technology
- Statistical Modeling for Data Science Applications:Â University of Colorado Boulder
- The Art of Visual Storytelling:Â University of Colorado Boulder
- Portfolio and Risk Management:Â University of Geneva
- Operations Research (1): Models and Applications:Â National Taiwan University
- Digital Signal Processing 1: Basic Concepts and Algorithms: École Polytechnique Fédérale de Lausanne
- Big Data Modeling and Management Systems:Â University of California San Diego
- Doğrusal Cebir I: Uzaylar ve İşlemciler / Linear Algebra I: Spaces and Operators: Koç University
- Web Design: Strategy and Information Architecture:Â California Institute of the Arts