Results 91 to 100 of about 4,194,434 (347)

Mixed-integer Quadratic Programming is in NP [PDF]

, 2014
Mixed-integer quadratic programming is the problem of optimizing a quadratic function over points in a polyhedral set where some of the components are restricted to be integral. In this paper, we prove that the decision version of mixed-integer quadratic
Del Pia, Alberto, Dey, Santanu S., Molinaro, Marco   +2 more
core  

Optimal Placement of Valves in a Water Distribution Network with CLP(FD)

, 2011
This paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constraint Logic Programming to solve a hard ...
Alvisi, Stefano, Cattafi, Massimiliano, Franchini, Marco, Gavanelli, Marco, Nonato, Maddalena   +4 more
core   +1 more source

Fetal Brain Tumor Harboring a Unique ROCK1::BRAF Fusion

Pediatric Blood &Cancer, EarlyView.
Marllon Cindra Sant'Ana, Mariana Maschietto, Daniela Paz Leal, Ricardo de Santos de Oliveira, Mayara Ferreira Euzébio, Antonio Carlos dos Santos, Luciano Neder, Carlos Alberto Scrideli, Elvis Terci Valera   +8 more
wiley   +1 more source

Transferrin receptor 1‐mediated iron uptake supports thermogenic activation in human cervical‐derived adipocytes

FEBS Letters, EarlyView.
In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai, Mizuki Seo, Gyath Karadsheh, Fachrur Rizal Mahendra, Máté Á Demény, Ferenc Győry, János András Mótyán, László Fésüs, Endre Kristóf, Rini Arianti   +9 more
wiley   +1 more source

Program Equivalence in the Erlang Actor Model

Computers
This paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky, Dániel Horpácsi, Simon Thompson   +2 more
doaj   +1 more source

Tau acetylation at K331 has limited impact on tau pathology in vivo

FEBS Letters, EarlyView.
We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto, Yukio Matsuba, Mika Takahashi, Takaomi C. Saido   +3 more
wiley   +1 more source

The role of concurrency in an evolutionary view of programming abstractions

, 2015
In this paper we examine how concurrency has been embodied in mainstream programming languages. In particular, we rely on the evolutionary talking borrowed from biology to discuss major historical landmarks and crucial concepts that shaped the ...
Crafa, Silvia
core   +1 more source

O-177 The importance of an onco-fertility program for pediatric oncology patients [PDF]

, 2023
Irene M. IJgosse, Leendert H. J. Looijenga, Aart J. Klijn, R Oude Ophuis, M Heuvel-Eibrink van den, Margreet A. Veening, Ângelo José Gonçalves Bós, Stefan Bröer, J Leeuwen van, L Steeg van der, S Sriram, M Perk van der, M Wetering van de   +12 more
openalex   +1 more source

Structural insights into an engineered feruloyl esterase with improved MHET degrading properties

FEBS Letters, EarlyView.
A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa, Konstantinos Makryniotis, Theofani‐Iosifina Sousani, Evangelos Topakas, Vangelis Daskalakis, Maria Dimarogona   +5 more
wiley   +1 more source

Team-oriented process programming [PDF]

, 1991
Team-oriented process programming promises to provide significant support for the planning, directing, and controlling of software engineering projects.
Taylor, Richard N., Young, Patrick S.
core