Results 141 to 150 of about 184,254 (308)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

European Warrant for Obtaining Evidence

EIRP Proceedings, 2012
This paper concerns a general examination of the European legislative act regulating the activity of obtaining evidence for their use in criminal proceedings, its importance resulting from the novelty that it represents.
Minodora-Ioana Balan-Rusu
doaj  

Organ‐Specific and Conserved Regulatory Logic Orchestrates Gene Expression in the Embryonic Mesothelium

Advanced Science, EarlyView.
Integrated multi‐omic profiling maps the gene‐regulatory landscape of the coelomic mesothelium across heart, lung, and pancreas. A cardiac‐restricted regulatory program is uncovered in which TBX20 activates heart mesothelial (epicardial) cis‐regulatory elements, while MAF emerges as a conserved regulator of mesothelial identity.
Quang Minh Dang, Nicola Smart, Andia Nicole Redpath, Joaquim Miguel Vieira   +3 more
wiley   +1 more source

Long‐Tea‐CLIP: An Expert‐Level Multimodal AI Framework for Fine‐Grained Green Tea Grading Across Five Sensory Dimensions

Advanced Science, EarlyView.
Long‐Tea‐CLIP (Contrastive Language‐Image Pre‐training) presents a multimodal AI framework that integrates visual, metabolomic, and sensory knowledge to grade green tea across appearance, soup color, aroma, taste, and infused leaf. By combining expert‐guided modeling with CLIP‐supervised learning, the system delivers fine‐grained quality evaluation and
Yanqun Xu, Zhengfang Xue, Qing Luo, Xu Liu, Yongquan Xu, Huang Jing, Xingcai Zhang, Xinyuan Zhang, Zhonghua Liu, Zisheng Luo   +9 more
wiley   +1 more source

Targeting PRKCN, an Essential Driver Orchestrating mTOR‐IRF4 Axis Independently of Kinase Activity, in Multiple Myeloma

Advanced Science, EarlyView.
Constitutive PRKCN expression is driven by super‐enhancers and modulated by NF‐κB signaling in multiple myeloma (MM). PRKCN activates mTORC1/2‐IRF4 signaling axis and favors tumor cell growth independently of its kinase activity. IRF4 reciprocally promotes PRKCN transcription, creating a feed‐forward loop.
Koukou Tang, Dongpeng Jiang, Peng Ke, Xiaosen Bian, Lili Zhang, Ying Zhang, Tingting Zhu, Weiwei Qu, Wenhui Qi, Yang Xu, Chengcheng Fu, Depei Wu, Jianhong Chu   +12 more
wiley   +1 more source

Tailored Organogel Systems for Optimized Pesticide Delivery: Mechanistic Insights and Agricultural Applications

Advanced Science, EarlyView.
Utilizing molecular engineering for network design, three pesticide‐loaded organogels (PLOs) carriers exhibiting varying degrees of flexibility were prepared. The mechanical properties of these carriers, tunable via their network molecular structures, enhance their structural adaptability and retention stability at biological interfaces, thereby ...
Yue Wang, SiYu Xv, Chao Wu, Nan Li, GuoPeng Teng, XuePing Huang, Jian Luo   +6 more
wiley   +1 more source

Machine Learning‐Guided Engineering of Protein Phase Separation Properties in Immune Regulation

Advanced Science, EarlyView.
PScalpel, a machine learning model integrating protein structure extraction, graph contrastive learning, and a genetic algorithm, guides the engineering of protein phase separation ability. It adopts transfer learning methods to provide predictive recommendations for protein phase separation ability changes through single amino acid mutations in a ...
Chenqiu Zhang, Jia Wang, Zhe Wang, Liyan Zhu, Sihui Cai, Luzhi Zhan, Haorui Liang, Yaoxing Wu, Jianqiang Li, Jun Cui   +9 more
wiley   +1 more source

Politică versus Justiție sau o scurtă istorie a reformei magistraturii (Politics versus Justice or a short history of magistracy’s reform)

Polis: Revista de Stiinte Politice, 2014
In a democratic society, the state is organized according to the classic principle of separation of powers. These powers are separated, but they should work together. To strengthen the rule of law in Romania, justice reform was essential.
Cristi DANILEȚ
doaj  

Rapid and Direct Detection of Methamphetamine in Biofluids using a MXene‐Enabled Electrochemical Sensor

Advanced Science, EarlyView.
A MXene‐enhanced electrochemical sensor enables the rapid and direct detection of methamphetamine. Molecular simulations reveal that specific MXene surface functional groups act as key signal amplifiers by facilitating interfacial interactions. The sensor demonstrates high sensitivity and robust performance in complex biological matrices.
Ri Wang, Xiaofei Deng, Bo Chen, Jienan Shen, Wei Xu, Yingjie Zhu, Yi Zhang, Hui Yang   +7 more
wiley   +1 more source

AI and digital justice in EU labor law. A comparative study on predictive tools and judicial transformation. [PDF]

Front Artif Intell
Molinari M, Giacalone M.
europepmc   +1 more source