علم الدلالة الشكلي

في المعلوماتية النظرية، علم الدلالة الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب.
تنبؤ بالمورثات
إيجاد المورثات مصطلح يشير إلى أحد حقول علم الأحياء الحاسوبي الذي يهتم بالتمييز الخوارزمي لقطع من التسلسلات، عادة ما تكون جينومية من الدنا الوراثي
فيزياء المسرعات
فيزياء المسرعات أو فيزياء المعجلات Accelerator physics هي فرع الفيزياء الذي يتعامل مع مشكلة بناء وتشغيل مسرعات الجسيمات
نظرية الحقل الموحد
تشكل جنين الثدييات
تخلّق جنين الثدييات ‏ هي العملية التي تتكون من الانقسام الخلوي والتمايز الخلوي والتي تقود لتخلّق (تشكّل) جنين
قائمة المعادلات النسبوية
علوم مبتدئة
العلوم المبتدئة Protoscience هو مجموعة العلوم التي تظهر بأنها نتيجة تطبيق أولي وبدئي لمنهج علمي، بالاعتماد على معلومات مجمعة لتشكيل فرضيات hypothesis
قائمة تكاملات الدوال غير الكسرية
فيما يلي قائمة لتكاملات التوابع غير المنطقة
بناء المترجمات البرمجية
بناء المترجمات أحد فروع المعلوماتية النظرية الذي يهتم بدراسة تشكيل المترجمات البرمجية Compilers، عادة تقوم هذه المترجمات بتحوبل الشفرة
إنزيم أكسدة واختزال
في الكيمياء الحيوية، إنزيم أكسدة-اختزال ‏ أحد أنواع الإنزيمات التي تحفز نقل إلكترون من جزيئة ، أو تدعى أيضا قابل الهيدروجين أو مانح الإلكترون
مدارس المهندسين في المغرب
يتميز التعليم العالي العلمي في المغرب بجانب الجامعات بوجود مدارس المهندسين. تتميز هذه المدارس على وجه الخصوص بمباريات الولوج وعدد المقاعد