形式关键词检索结果

超越参与:为什么高等教育必须从意义开始,而不是从形式开始

Beyond Engagement: Why Higher Education Must Start with Meaning, Not Modality

各学科的教师继续尝试新的教学策略来解决学生的参与问题——翻转课堂、主动学习、灵活的评估和模式选择。然而许多人仍然报告相同的结果:参与但没有所有权。学生完成任务,但学习常常是外在的——是对他们做的事情,而不是他们声称的事情。这表明挑战可能不在于教学法本身,而在于意义何时进入[…]《超越参与:为什么高等教育必须从意义开始,而不是形式》一文首先出现在《教师焦点》|高等教育教学与学习。

自动驾驶汽车安全评估的形式验证:Abdelrahman Sayed Sayed 访谈

Formal verification for safety evaluation of autonomous vehicles: an interview with Abdelrahman Sayed Sayed

在本访谈系列中,我们将与 AAAI/SIGAI 博士联盟的一些参与者会面,以了解有关他们研究的更多信息。我们与 Abdelrahman Sayed Sayed 坐下来讨论了他在自动驾驶汽车形式验证方面的工作。您能否告诉我们一些关于您在哪里学习以及您的 [...]

如果暗物质有两种形式怎么办?大胆的新假设可以解释宇宙之谜

What if Dark Matter Has Two Forms? Bold New Hypothesis Could Explain a Cosmic Mystery

一项新的研究表明,未能在某些星系中检测到暗物质信号可能与我们在星系中看到的证据并不矛盾。信号的缺失本身可能就具有意义。这是《宇宙学与天体粒子物理学杂志》(JCAP) 上发表的一项新研究的中心思想,该研究提出了一种不同的方法 [...]

KDE Linux 是我测试过的最纯粹的 Plasma 形式 - 但安装不适合温顺的人

KDE Linux is the purest form of Plasma I've tested - but the install isn't for the meek

Linux 发行版提供 KDE Plasma 以及针对该特定操作系统定制的版本。 KDE Linux 提供最纯净的版本。

俄罗斯承诺其隐形轰炸机将在 2021 年飞行——现在是 2026 年,PAK DA 几乎完全以新闻稿的形式存在

Russia Promised Its Stealth Bomber Would Be Flying by 2021 — It Is Now 2026 and the PAK DA Exists Almost Entirely as a Press Release

俄罗斯的 PAK DA 原本应该是世界上第二款隐形轰炸机,它是亚音速 B-2 的竞争对手,能够深入欧洲领空进行打击。塔斯社宣布开工六年后,该计划因技术故障、Tu-160 资金竞争和没有结束迹象的乌克兰战争而陷入停滞。俄罗斯承诺其隐形轰炸机将在 2021 年飞行——现在是 2026 年,PAK DA 几乎完全存在作为新闻稿首先出现在 19FortyFive 上。

随着考试形式的转变,雅思考试将结束纸笔考试

IELTS to end paper-based exams amid shift in test formats

世界上最广为人知的英语语言测试之一已确认到 2026 年中期将实现全面机考,并为写作部分提供选择性手写选项,以方便考生过渡。随着考试格式的转变,雅思考试结束纸笔考试的消息首先出现在《PIE 新闻》上。

Produce 推出以特别的“Spring Fling”形式回归皮卡汀尼

Produce launching returns to Picatinny in special ‘Spring Fling’

新泽西州皮卡汀尼阿森纳 - 尽管规模不同,但皮卡汀尼最喜欢的过去时光之一在 3 月 13 日星期五继续进行春季狂欢节,因为嗨...

欧盟委员会为何支持穆斯林兄弟会?

Why Does the European Commission Support the Muslim Brotherhood?

“欧洲机构表现出了与穆斯林兄弟会相关组织的持续接触和支持。最明显的例子是以直接资助的形式出现。” — Paul Stott 和 Tommaso Virgili,在报告“穆斯林

用于高级数据验证和质量检查的 5 个有用的 Python 脚本

5 Useful Python Scripts for Advanced Data Validation & Quality Checks

从缺失值到架构不匹配,数据问题以多种形式出现。这五个 Python 脚本为现代数据工作流程提供智能、自动的验证。

FSSAI 表示,营养保健品和补充剂中只允许使用 Ashwagandha 根

FSSAI says only Ashwagandha roots permitted in nutraceuticals, supplements

管理局补充说,阿尤什部在最近的信中还指示阿尤什药品和产品制造商仅使用 Ashwagandha 根及其提取物,而不是任何形式的叶子

了解 Samul Nori:韩国传统打击乐的雷霆

Mengenal Samul Nori: Gemuruh Perkusi Tradisional Korea

想象一下,您正站在喧闹的城市广场中央,突然听到低沉的鼓声和尖锐的金属碰撞声撕裂空气。振动不仅停留在您的耳朵上,还会渗透到您的肋骨,迫使您的心脏随着它们的跳动而有节奏地跳动。这就是 Samul Nori 的魅力,一种韩国传统打击乐形式,经过改造 [...]

本周太空播客:第 206 集 — 我想相信

This Week In Space podcast: Episode 206 — I Want to Believe

在《本周太空》第 206 集中,罗德·派尔 (Rod Pyle) 和塔里克·马利克 (Tariq Malik) 与波特兰州立大学的布莱恩·苏尔多夫斯基 (Brianne Suldovsky) 博士一起讨论了发现外星生命形式后会发生什么。

科学家对空气中随处发现的新发现的污染物表示担忧

Scientists Raise Concerns Over Newly Recognized Pollutant Found Everywhere in the Air

科学家们发现,全球空气中甲基硅氧烷的含量出乎意料地高,这表明存在一种隐藏的、广泛存在的污染。科学家们发现了一种在很大程度上被忽视的空气污染形式,隐藏在人们的视线中。一项新的研究发现,甲基硅氧烷(一种基于有机硅的化合物,用于从化妆品到工业润滑剂的各种领域)在 [...]

Amazon Bedrock 中的自动推理检查如何转变生成式 AI 合规性

How Automated Reasoning checks in Amazon Bedrock transform generative AI compliance

在这篇文章中,您将了解为什么概率 AI 验证在受监管行业中存在不足,以及自动推理检查如何使用形式验证来提供经过数学验证的结果。您还将看到六个行业的客户如何使用该技术来生成经过正式验证、可审计的人工智能输出,以及如何开始。

FSSAI 严厉打击在水果中使用违禁人工催熟剂

FSSAI acts tough against the use of banned artificial ripeners in fruits

印度食品监管机构 FSSAI 已下令各邦打击非法水果催熟方法,特别是使用违禁电石的行为。当局正在加强对芒果和香蕉等水果的检查,警告不要将它们浸入乙烯利中。为了保护消费者,也严格禁止以任何形式直接接触乙烯。

突破!休斯顿纪事报发表非危言耸听的气候专栏

Breakthrough! Houston Chronicle Publishes Non-alarmist Climate Op-ed

我的《休斯顿纪事报》专栏文章于上周日以印刷版形式出版。这打破了《进步左派纪事报》忽视我的意见时长达十多年的干旱。帖子突破! 《休斯顿纪事报》发表非危言耸听的气候专栏文章,首先出现在《Watts Up With That?》上。

科学家发现酶可以增强类似臭氧的减肥药物

Scientists Discover Enzyme That Could Supercharge Ozempic-Like Weight Loss Drugs

研究人员发现了一种多功能酶,能够将肽类药物重塑为更稳定、更持久的形式。犹他大学的化学研究人员发现了一种名为 PapB 的酶,它可以将治疗性肽(一种类似蛋白质的药物)“束缚”成紧凑的环状结构。这个过程称为大环化。根据新的研究,这种方法 [...]

经典航空电视:打造您的梦想机场

Classic Aero-TV: Building Your Dream Airport

从 2024 年开始(YouTube 版):加里·史蒂文斯 (Gary Stevens) 可以帮助您实现梦想 Aero-News Network 的雷克斯·亚历山大 (Rex Alexander) 采访了加里·史蒂文斯 (Gary Stevens),深入探讨了本土机场建设的情况。当然,美国联邦航空局以咨询通告的形式发布了一些指导意见,但世界很广阔,没有任何一份文件可以带领建筑商解决无数的头痛和问题。这就是史蒂文斯公司的所在地。加入“建设您的梦想机场”项目。它们帮助为机场建设者提供额外的现实生活指导,帮助他们应对发挥作用的监管和现实世界因素。