الأبحاث المرتبطة بالكلمة المفتاحية: الوحدانية (علم الأحياء)
-
مشهد البرمجيات لمجموعة إعادة تشكيل مصفوفة الكثافة
2026 | المؤلف: Per Sehlstedt وآخرون | المجلة: Computer Physics Communications | المجال: الفيزياء الإحصائية وغير الخطية (Statistical and Nonlinear Physics)خوارزمية مجموعة إعادة تشكيل مصفوفة الكثافة (DMRG) هي أداة حسابية محورية لاستكشاف أنظمة الجسيمات الكمية المتعددة، معروفة بدقتها ومرونتها. تستعرض هذه الدراسة المشهد المتنامي لبرامج DMRG، وتحلل 37 حزمة متميزة لمقارنة ميزاتها، لا سيما في مجالات مثل استراتيجيات التوازي للحوسبة عالية الأداء والصيغ المتكيفة مع التناظر. تشير النتائج إلى تداخل كبير بين هذه الحزم، مما…
-
التسلسلات الرنانة: إطار متعدد المقاييس للديناميات التذبذبية في الدماغ
2026 | المؤلف: A. C. Snyder | المجلة: Frontiers in Psychology | المجال: علم الأعصاب الإدراكي (Cognitive Neuroscience)تقدم ورقة البحث مراجعة شاملة وإطار عمل جديد يسمى “الهرمية الرنانة”، الذي يضع النشاط الدماغي المتذبذب في سياق هيكلي متعدد المقاييس. يؤكد على أن التذبذبات، مثل إيقاعات ألفا وبيتا وغاما، لا ينبغي أن تُعتبر وحدات معرفية ثابتة بل خصائص ناشئة تنشأ من تفاعل الرنين الشجيري، والتنظيم الطبقي، وتأخيرات التوصيل بعيدة المدى. يبرز هذا المنظور كيف…
-
يتميز الانتكاس في الاعتماد على الكحول باضطراب تنظيم الشبكة الدماغية المودولارية
2026 | المؤلف: Justin Böhmer وآخرون | المجلة: European Archives of Psychiatry and Clinical Neuroscience | المجال: علم الأعصاب الإدراكي (Cognitive Neuroscience)تدرس هذه الدراسة التغيرات في الشبكة المتوسطة الحجم لدى المرضى الذين يعانون من الاعتماد على الكحول (AD) وارتباطها بمخاطر الانتكاس. باستخدام خوارزمية كشف المجتمع المعتمدة على البيانات، قام الباحثون بتحليل الهيكل الوحدوي للشبكات الدماغية الوظيفية في ثلاث مجموعات: المنتكسين (REL، ن = 59)، الممتنعين (ABS، ن = 28)، والمجموعة الضابطة المتطابقة في العمر والجنس (CON،…
-
وظائف التجريد كأنواع: التحقق المعياري للتكلفة والسلوك في نظرية الأنواع المعتمدة
2026 | المؤلف: Zhenyun Du | المجلة: Proceedings of the ACM on Programming Languages | المجال: الذكاء الاصطناعي (Artificial Intelligence)تقدم هذه الورقة نهجًا جديدًا للتحقق المعياري في تطوير البرمجيات من خلال دمج منهجية هوار ضمن نظرية الأنواع المعتمدة غير القابلة للتغيير. تتناول القيود المفروضة على طرق التحقق التقليدية، التي تفصل بين التنفيذ والمواصفات دون دعم لغوي للحفاظ على هذا الفصل. يقدم المؤلفون تمييزًا بين المراحل يشفر وظائف التجريد كأنواع، مما يسمح بإنشاء لاصق يربط…
